柏拉图理念论及其在西方认识发展史中的地位

柏拉图理念论作为哲学与神学的交汇点，形式是神学的，所阐述的内容却并非都是消极的。它以特定的方式论述了一般、共相是认识的唯一对象，以极端的方式肯定了主体认识结构在认识中的作用，以颠倒的形式阐述了认识是一个由感性上升到理性的辩证过程。这一学说对认识对象、认识起源以及认识过程所做的深刻揭示，对以后的西方认识发展史产生了深远影响。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

现代对策论研究

对策论是研究斗争局势中冲突问题的数学理论,笔者长期以来在此领域进行了大量的研究探讨,本文概要介绍了主要工作。     

现代空袭作战模式研究

依据近期空袭作战的实际战例,以及空袭兵器的电子信息装备的发展水平,阐述现代航空航天兵器的空袭基本作战模式,以及现代空袭模式的可能发展变化.重点论述了空袭电子战作战模式.     

基于AHP与模糊集值统计法的直升机选型研究

使用层次分析法建立了选型指标的层次结构模型,对层次结构模型中每一层选型指标做成对比较得到了判断矩阵,计算出权重值,利用模糊集值统计法对专家打分进行处理得出了选型指标特征值,与权重值相乘求和即机型总评分.利用救护直升机选型进行了实例分析,得到直-15直升机更能满足要求的结论.     

基于领域专家知识的发动机模糊可靠性分配方法

提出了一种基于多领域专家知识的发动机模糊可靠性分配方法,以降低决策者主观偏好以及分配过程中模糊和不确定因素对分配结果的影响.基于对影响发动机可靠性因素的分析,建立了发动机模糊可靠性分配的数学模型,并以三角模糊数代替常规层次分析法中的标度,提出了一种模糊评判矩阵方法来确定影响可靠性因素的权重.在可靠性分配过程中,充分考虑多领域专家的意见和产品开发过程的风险性.以应用实例对提出方法的有效可行性进行了验证.      

基于FGN输入流的G/D/1排队模拟

传统的排队理论不适于分析高速网络表现出的自相似流量.通过实验仿真,主要考察平均等待时间和在队列分别为无限和有限情形下的队列尾部特征等参数,并对以FGN为输入流的G/D/1排队模型作了定性分析.结果表明在输入流的强度和方差基本相等且系统利用律大于某一阈值的情况下,队列平均等待时间随Hurst参数增大而显著增长.同时指出在相同的条件下考察队列尾部特征,具有有限队列长度的G/D/1排队模拟结果要远优于无限队列长度下的理论分析结果.