形式化方法在列车运行控制系统中的应用

为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足。分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。     

前弗雷格时期的思维形式化

思维形式化是人工智能(以下简称AI)中符号主义研究纲领的核心假设,虽然其具体含义、发展脉络尚待精确描述和梳理,但包括物理符号系统假设、逻辑主义在内的符号主义,不仅主导着AI这门年轻学科的早期发展脉络,而且迄今仍是核心纲领之一。弗雷格所建立的一阶逻辑是前AI时期思维形式化发展的一个重要里程碑,因此对弗雷格之前的思维形式化从观念和实践上进行历史考察,不仅有助于理解AI主要纲领的思想来源和发生过程,而且为该学科当下竞争的不同研究纲领和未来发展方向提供了一个评判视角。     

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

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

时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。     

不可微规划的Kuhn—Tucker充分条件

本文引入了广义严格伪凸函数，广义伪凸函数。广义拟凸函数和广义弱拟凸函数，并讨论了它们之间的关系及性质，在这些广义凸性条件下，证明了不可微规划极值的Kuhn-Tucker充分条件。     

独立试验次数的数字特征

转移概率流图模型是获取随机过程转移路径的转移概率函数和某些重要随机变量的概率母函数的有效方法．借助于该方法,讨论了多项分布;给出了广义几何分布和广义帕斯卡分布的概率母函数;导出了它们的数学期望、方差和分布律等．     

格值命题逻辑系统LP(X)中广义文字的α-归结域

格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续．该逻辑系统的逻辑真值域是格蕴涵代数．讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。     

一类面向多属性评价的广义聚合算子MAAO

多属性评价问题中不确定性、不精确性和非独立性导致的非可加性以及可鉴别性是评价中的难点问题.本文基于模糊测度和模糊积分提出一种广义的多属性聚合算子,给出了形式化表达、性质分析和多维描述.该算子能够聚合得到解决上述问题的综合评价结果,对于建立切合实际的定量化评估方法具有较好的现实意义.     

形式方法在CAD软件开发中的应用

针对设计问题的特点，将以数学为基础的形式化方法应用于ＣＡＤ软件开发中，分层次形式化表达ＣＡＤ系统。可以沟通用户，系统分析员，程序员以及测试工程师之对系统的理解，达到共识。同时为软件模块的重复利用提供了可能性。     

从记数法到复数域:数系理论的历史发展

数系理论的历史发展表明，数的概念的每一次扩张都标志着数学的进步，但是这种进步并不是按照数学教科书的逻辑步骤展开的。希腊人关于无理数的发现暴露出有理数系的缺陷，而实数系的完备性一直要到19世纪才得以完成。“四元数”的发明，打开了通向抽象代数的大门，同时也宣告在保持传统运算定律的意义下，复数是数系扩张的终点。人类发明的记数法并没有束缚自己的想象力，中国古代“数穷则变”的思想对于当代数学哲学仍具有积极的意义。     

广义泰勒公式新证法及“中间点”的渐近性

给出广义泰勒公式2种直接简单的新证法，并通过研究“中间点”的渐近性，得到了微积分中5个中值定量“中间点”渐近性的一个统一公式。     

30CrMnSi钢高强韧化工艺的研究

对工业上常用的３０ＣｒＭｎＳｉ钢进行了几种实用的，易于推广的强韧化工艺试验，并对它们的强韧性作了对比，对显微组织和冲击断口进行了观察。找出了３０ＣｒＭｎＳｉ钢较理想的强韧化方法，称之为“高强韧化”方法。     

安全苛求系统的形式化开发方法

从系统工程的角度出发，基于形式化理论，对安全苛求系统的开发方法进行了研究。首先介绍了安全苛求系统的形式化方法，分析了形式化方法对安全苛求系统的作用；提出了一种安全苛求系统的形式化开发模型（FDM），给出了具体的应用实例。     

泛逻辑运算电路实现方案研究

讨论了泛非，泛与／或等基本泛逻辑的运算模型和它们的硬件电路实现方案，根据泛逻辑体系和运算的特点，泛逻辑更接近于模糊逻辑，泛逻辑中与／或运算的连续可控性在数学上是完全可以实现的，并可以用多种形式如指数、多项式和三角函数等形式来实现，指出几种指数形式的泛逻辑运算模型，并通过仿真曲线加以比较，得到较理想的运算模型，从而证明泛逻辑在理论上是完全可以实现的，同时介绍了一种较理想模型的硬件电路，通过测试的数据泛逻辑运算用模拟电路是完全可以实现的，实验效果良好。     

关于经济学“学格”与出路的思考

从经济学的科学性谈起，阐述了经济学应该具有的“学格”，即致用性、异变性、批判性，通过对当今经济学存在根本性困扰即“同质化困扰”的分析，探讨了经济学发展的“异质化出路”．     

邓小平理论体系构建的几个特点

邓小平理论的科学性与其构建理论体系方法的科学性是分不开的，作为建设有中国特色社会主义这个意义上的邓小平理论，它的理论体系的构建有以下几个特点：一、以“社会主义初级阶段”概念为逻辑起点，“实事求是”不是逻辑起点，而是研究遵循的科学方法；二、从生产力高度来认识社会主义和构建社会主义理论；三、“猫论”与“摸论”结合的思维方式，突破了单纯演绎思维的局限，又使非演绎思维沿着正确的方向进行，从而使社会主义理论得到创新。     

论邓小平理论创新的方法论基础：邓小平“摸论”与“猫论”的哲学意义

邓小平同志抓住马克思主义、毛泽东思想“实事求是”的精髓，实现了对传统的理论研究方法和思维方式的两个重大的突破，一是突破了以逻辑结论为逻辑起点的思维方式，克服了逻辑推演的缺陷；二是突破了形式决定论的思维方式，抓住了事物的本质，本文通过对“摸论”与“猫论”揭示了邓小平理论创新的马克思主义科学方法论基础。     

大灯碎片运动力学参数的试验研究

基于广义抛物理论模型，以汽车大灯碎片为例，提出了广义抛物模型的两个重要参数（角度和速度损失系数）的测试方法，并利用数理统计方法获得它们的统计结果，使得广义抛物模型更接近实用。     

基于完全剩余格值逻辑上的不分明化理想

使用应明生教授提出的完全剩余格值逻辑L语义的方法介绍了环R中的不分明化左理想（L－左理想），右理想（L－右理想），理想（L－理想），并讨论了它们的一些代数性质。     

基于拓扑变换的一种不确定性推理方法

不确定性推理的研究是人工智能研究领域的核心问题之一，也是近年来一个很活跃的研究方向，关于解决和处理不确定性推理问题的方法有很多，但从数学本质上来看，它们都是在推埋的前提和结论之间建立一种变换关系，并利用该变换关系去处理该推理问题，本文用模糊拓扑和模糊数学的方法给出了一种基于拓扑变换的不确定性推理方法，这为处理不性推理问题提供了一种合适的方法。