描述认识进程的抽象逻辑

定义了一种公理化的抽象逻辑，它以经典逻辑所具有的证明论性质及模型论性质为公理，可以用于构造抽象的开放逻辑理论，因而可以用于描述认识进程，理论的核心是一种形式化的导出关系，可以证明：经典逻辑，直觉主义逻辑的推出关系，模型论弱力迫关系，非单调推理中的语句与论域限定理论的关系都是该形式化导出关系的具体实例，可以用来构造具体的抽象逻辑，也可以用于描述认识进程，还明确了不同抽象逻辑间的差异主要表现在所对应的     

整体退火遗传算法及其收敛充要条件

针对常用时齐（比例选择下）遗传算法的强不收敛性和 设置合理停机准则的弊端，提出一类非时齐（整体退火选择下），保证收敛且容易判断收敛的新型遗传算法，证明允许父代参加竞争是这类新算法收敛的充要条件。数值实验表明：这类新算法收敛速度快，有极强的避免过早收敛及避免局部极值的全局优化能力。     

Sugeno测度空间上学习理论的关键定理和一致收敛速度的界

讨论了Sugeno测度这类有代表性的非可加测度的性质，给出了Sugeno测度空间上的gλ随机变量及其分布函数、期望和方差的定义及性质，证明了Sugeno测度空间上的Markov不等式、Chebyshev不等式和Khinchine大数定律；给出了Sugeno测度空间上的经验风险泛函、期望风险泛函以及ERM原则严格一致收敛的定义，在此基础上给出并证明了Sugeno测度空间上的学习理论的关键定理、学习过程一致收敛速度的界以及这些界与函数集容量之间的关系．     

基于价格协调的供需链宏观水平调度问题

供需链作为整体参与市场竞争要求企业能够相互协调，以达到全局优化．研究了一种针对按订单生产的汇集型供需链的协调优化方案，提出了组合订单竞争策略，建立了宏观水平调度模型．该方案通过松弛企业之间的交货期约束把供需链按企业分解为独立的子问题，从而可以使企业在协调中心的指导下，按照局部信息进行分布式决策，从而对试探订单进行分配，对合同订单进行调度．方案中对偶问题的优化是关键的理论技术，定义了广义对偶函数和广义代理次梯度，提出了一种不依赖于任何先验知识的变直径广义代理次梯度投影算法，并给出了算法的收敛性和收敛效率的证明．仿真算例结果表明，价格实现了收敛，订单分配和优化是合理的．     

一种可重构模块机器人中心构形的选择方法

可重构模块机器人具有多种构形以适应不同环境和任务的要求，构形的多变增加了构形研究的难度．在可重构模块机器人的众多构形中，中心构形作为可重构模块机器人的首选构形或基准构形，对系统的实际应用有重要参考价值．文中提出了一种在所有构形中选择一个中心构形的方法．根据构形之间可以相互转化的拓扑特征，利用网络图中的基本思想和原理对可重构模块机器人的构形进行建模；相应定义了构形转换耗值矩阵和构形中心因子，根据最大构形中心因子可以对中心构形进行选择．以中国科学院沈阳自动化研究所研制的三模块可重构机器人AMOEBA-1为例，利用仿真计算的结果对机器人9种构形的中心因子进行计算和比较，验证了该方法的可行性．最后根据构形邻接数，给出了中心构形选择方法的应用举例．此方法还可以适用于其他可重构模块机器人系统中心构形的选择．     

开放逻辑及其与限制逻辑的关系

基于模型论定义开放逻辑作为一种进程非单调逻辑，给出一些开放逻辑的新概念和结果，研究了逻辑与限制逻辑之间的相互关系，并由此指出开放逻辑和其他主要非单调逻辑的关系问题。     

方形截面飞行器多配平点时的运动特性分析

飞行器从发射阶段到巡航阶段,飞行速度跨度很大,而随着马赫数的变化,飞行器的稳定特性可能会发生显著改变,甚至会发生配平点数量改变的极端情况,对飞行安全产生不利影响.针对某方形截面细长飞行器外形,采用数值模拟的手段,研究飞行器由稳定转变为不稳定、由单个配平点转变为3个配平点后,其运动特性变化的问题.研究表明,该飞行器存在一临界马赫数,低于该马赫数,飞行器俯仰方向存在唯一的配平攻角;大于临界马赫数,飞行器配平点转变为3个,新衍生的两个配平点是稳定的,而原有的配平点转变为不稳定的.在3个配平点情况下,飞行器的俯仰运动在相图上呈现鞍结点分岔形态,且最终收敛位置对初值条件高度敏感.飞行器可能收敛到其中的一个稳定配平点,但来流条件的微小变化,就有可能使飞行器的收敛位置转变到另一个配平点.     

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

试论全球化进程及其对中国现代化的启示

本文从对“全球化”概念辨识出发，先从三个方面着重探讨了全球化进程。第一，全球化进程的动力因素，即资本主义生产方式的建立及其所带动的生产力的大发展、科学技术与经济发展的推动、全球性问题的出现。第二，全球化进程的主要标志，即交通全球化、信息全球化、市场经济全球化、知识技术全球化、国际性社会问题解决的全球化。第三，全球化对世界政治、经济、文化及人的社会心理的正负两方面的重大影响。以此为基础，作者最后分析了全球化进程对中国现代化发展的几点启示。     

Ontology及其在知识管理中的应用

论述了Ontology的定义、分类、构造、对知识管理的作用,着重阐述了知识管理构建Ontology的一般流程和方法以及利用Ontology实现知识管理的知识组织。     

基于分阶段学习的盲信号分离

首先定义了描述信号分离状态的信号相依性测度, 并利用此测度将传统算法中的学习速率参数推广至二维矩阵, 从而提出了一种基于分阶段学习的盲信号分离算法, 即整个信号分离过程被分成三个阶段进行: 初始阶段、捕捉阶段和跟踪阶段, 每个阶段的学习速率由信号的分离程度自适应选取. 理论分析表明, 该算法满足等变化性和分离矩阵的非奇异性条件. 仿真结果证实, 新算法具有比使用固定和其他自适应学习速率的算法更快的收敛速度、更好的稳态性能和更高的数值稳定性.     

遗传算法过早收敛现象的特征分析及其预防

通过引入种群早熟集和种群多样度的概念，分析了遗传算法中过早收敛现象的起因与特征。阐明了杂交过程的成熟化效应是引起遗传算法过早收敛的主因，而遗传算法过早收敛的过程特征表现为种群序列多样度的单调减少及种群分量为零的个体适应比的偏差渐趋于１／２。依据所作的理论分析，提出了一种可以预防和克服过早收敛的新型遗传算法，并从理论上证明了该算法依概率收敛到全局最优动态。     

ConEntity：一种基于进程的自主并发实体编程模型及其实现

摘要本文在虚拟计算环境之上，研究支持具有自主能力、高并发的新型互联网应用开发方法，在已有的基于进程、面向并发的编程模型中引入实体建模机制，扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity，并给出了形式化定义和描述．ConEntity模型具有表达性、并发性和可伸缩性的特点，能对虚拟计算环境资源高效、透明访问．通过扩展Erlang／OTP将其实现为Erlang语言设施UniAgent．本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持．     

自适应混沌克隆进化规划算法

结合混沌和抗体克隆选择学说，提出一种新的人工免疫系统算法——自适应混沌克隆进化规划算法．新算法基于Logistic混沌序列；利用个体质量、进化代数和个体分布情况构造混沌变异算子；通过Logistic混沌序列自适应调整变异尺度，理论分析和仿真实验表明，与标准的遗传算法和采用随机变异的克隆选择算法相比，该算法收敛速度快，求解精度高，稳定性好，并有效抑制了早熟现象。     

π-演算的符号迁移图及其早互模拟验证算法

提出符号迁移图作为π－演算进程直观而高效的表示模型，并给出了符号迁移图我种版本的早操作语义，在此基础上定义了相应版本的早互模拟和观察同余。同时引入了符号观察图和符号同余图以及τ－循环和τ－边消去定理。最后给出了关于强／弱早互模拟等价和早观察同余的符号验证算法，并证明了其正确性。     

正交平衡对称的区问多小波研究

研究基于任意紧支长度γ的L2(R)上2重对称／反对称正交多小波的区间多小波系统构造理论与性质．主要贡献是：(1)系统研究了保持消失矩不降低的一般正交区间多小波的构造，得到了区间多小波的参数化表示；(2)给出了区间多小波的分解重构公式；(3)定义了区间多小波的平衡性概念，研究了正交平衡多小波的构造，这是以往工作所忽视的；(4)研究了区间多小波关于给定对称性的充要条件．     

创新的内涵、外延和经济学意义

创新的内涵指在世界上首次引入新东西、引入新概念、制造新变化，其中，“新”指在结构、功能、原理、性质、方法、过程等方面的、首次的、显著性的变化。创新的外延包括知识创新、技术创新、制度创新等。熊彼特的“创新理论”、技术创新理论和知识创新理论反映了创新经济学研究的不同阶段。创新导致暂时垄断，产生超额创新利润，并从价值和利润决定的角度，将市场经济“一分为二”：遵循“劳动价值论”的普通商品市场，遵循“创新价值论”的创新商品市场。     

基于局部对偶框架的数字脊波重构

给出了数字脊波重构算法的全局对偶框架（GDF）表示，提出了局部对偶框架（LDF）的新概念，并讨论了LDF的性质，在此基础上给出了一种基于LDF的新的数字脊波重构算法。该算法减少了脊波重构的冗余，保持了快速计算的特点。用该算法对图像进行压缩和去噪，得到了很好的结果。     

网络环境下的信息对抗理论与技术

信息对抗是信息安全界最近才发展起来的一个研究领域其研究内容和内容和内涵人们还比较模糊，本文的主要目的是进一步明确这些问题。首先给出了研究信息对抗的背景和意义；其次，其于作者这对一研究领域的认识给出了信息对抗的定义，阐述了信息对抗的研究内容，并指出了每项研究中所解决的关键问题。     

基于鞍点问题对偶组合的有限元法及其理论

将要求Ｂａｂｕｓｋａ－Ｂｒｅｚｚｉ条件满足的鞍点型有限元格式，改变为不要求或基本上不要求Ｂ－Ｂ条件满足的混合／杂交元方法，称为稳定化的混合元格式，利用鞍点问题对偶特性，将同一问题的Ｐｒｉｍａｌ和Ｄｕａｌ两种鞍点问题表达加权组合，提出组合型稳定化的混合／杂交元方法。在抽象理论框架下，建立了普遍适用的关于解的存在唯一性和近似解收敛误差估计的定理，作为一个应用，Ｒａｖｉａｒｔ－Ｔｈｏｍａｓ混合元的稳定化