电子商务网络协议的形式化分析理论与应用

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

Tensors and Riemannian geometry: with applications to differential equations = 张量与黎曼几何: 微分方程应用

现代数学译丛 随机微分方程导论与应用 原书第6版

本书之所以长盛不衰，一版再版，广受读者喜爱。主要在于它通过大量的举例，以浅显、简明、通俗易懂的方法来介绍书中的内容。不同于其它的数学书，它并不追求理论的严谨、完整和精深。它侧重于理论在其它各个领域的...

对称方法在偏微分方程中的应用 英文版

本书是一部讲述偏微分方程的对称方法的入门书籍。是作者2002年出版的Symmetry and Integration Methods for Differential Equations的续篇，包括守恒定律、局部对称、高阶对称、接触变换、局部映射、局部无...

应用偏微分方程讲义

偏微分方程已成为研究自然科学、工程技术以及经济管理等领域各种实际课题的重要工具。为了帮助应用数学、计算数学、运筹与控制等专业的教师、研究生和高年级大学生，应用部门的教学和研究人员以及研究生熟练...

中国科协三峡科技出版资助计划 分数阶微分方程边值问题理论及应用

本专著在介绍分数阶微分方程的基础上，首先介绍了分数阶微分方程的基础，然后介绍了分数阶微分方程边值问题的基本理论及其应用。选材上既介绍了非线性泛函分析和分数阶微积分理论的若干重要概念和结论，又偏重于...

工业关键系统的形式化方法 应用综述

形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...

微分博弈论在导弹和自主系统制导中的应用

本书是作者多年来在英国、美国以及澳大利亚等国的空间发展与防御组织从事导弹制导控制系统研究的结晶，部分内容被用于美国与澳大利亚本科生与研究生教学。本书旨在唤起航天工程领域与控制工程领域的专家学者...

Applications of symmetry methods to partial differential equations Volume 168 = 对称方法在偏微分方程中的应用

变指数函数空间在偏微分方程上的应用

本书介绍了变指数函数空间在偏微分方程上应用的一些最新进展，主要内容包括：次临界增长的p(x)-Laplace方程弱解的存在性，集中紧致性原理与临界增长的p(x) -Laplace方程弱解的存在性，p(x) -Laplace半变分不等式问...