基于公理设计的捷联导航系统设计方法

按照公理化设计原理,设计公理为设计者提供了一种设计指导框架。在此框架的指导下,大大降低了系统设计的复杂度,由此提高了系统的设计质量,缩短了系统的开发周期。本文应用公理化设计理论,采用结构模块化设计原则,对捷联式惯性导航系统的设计过程进行分析,给出了捷联式惯性导航系统的功能需求与设计参数间的映射与分解过程。结果表明,设计的分解过程是合理的,满足独立性公理。     

序列成本定价机制的公理化分析

研究了序列成本定价机制对同质分配模型公理体系的满足情况，并着重探讨了该机制与上限性、下限性、免费午餐、需求可控性和一致性公理的关系．在同质模型的前提下，序列成本定价满足除去成本函数单调性、一致性和需求可控性之外的所有公理特性要求．比较了序列成本定价机制和平均成本定价机制满足上限性、下限性、免费午餐、需求可控性等公理的情况．结果表明，当代理人的需求不易控制时，平均成本定价具有明显优势；反之序列成本定价较好．     

数学化、公理化和形式化

本文从区分非方法性学科和方法性学科入手，一方面狭义地分析了数学化、公理化和形式化的基本功能和目标，从而得出结论：按上述顺序，这“三化”形成了由低到高的三个层次，对它们的逻辑要求依次提高，使用限制依次严格。另一方面，从广义上综合，“三化”又同属方法性学科范畴，它们语言相通，推理的逻辑基础相同，因而在应用中互相渗透，交融壁合。最后简述了“三化”产生和发展的历史，指出它们是一脉相承的，公理化和形式化实际上也是广义的数学化。     

广义满意度原理及其特性分析

采用系统分析法，定义并分析了广义满意度、满意序、满意标准、满意解等基本概念．通过对广义满意度原理公理化系统的构造，分析了广义满意度原理应用过程中满意解的获取、识别、转化等重要性质，并得出了满意度和满意水平的运算关系。     

高等教育研究与理论体系建构--兼对"公理化方法"和"高等教育学的研究偏向"的质疑

围绕建构高等教育学理论体系问题，分析了正确处理体系问题，分析了正确处理高等教育研究和建构理论体系的关系，对“公理化方法”和“高等教育学的研究偏向”观点提出了质疑。     

Finite axiomatization for symbolic probabilistic π-calculus

This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.