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

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

Σ-演算的范畴模型

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

现代对策论研究

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

排队论的局限与排队模拟的数学本质

排队现象是工程技术和社会生活中广泛存在的一种现象。对它进行量的研究将有助于通信、计算机、航天和电子对抗领域一大类问题的解决。排队论［１］为此己做出了重要贡献,但有局限。排队模拟可克服这些局限,提出了排队系统的新定义;对排队论己有成果进行了回顾和分析;指出用Ｌｉｎｄｌｅｙ定理验证非泊松到达的等待时间｛Ｗｎ｝的分布函数之所以十分困难的原因;提出排队论的三点局限;分析了排队模拟的数学本质;指出排队模拟实际上是数列环上的运算。     

空管扇区开放计算机辅助决策模型及算法

从空中交通管制需要出发,管制空域常被划分成一些扇区,每个管制扇区由一组管制员负责。当空域情况、交通特性一定时,管制自动化中的一个问题是如何确定扇区开放的形式和数量使得既满足空管服务要求,又在管制员的可承受工作强度之内,且占用资源最少。针对上述问题,本文提出了基于排队论的计算机辅助决策模型和算法,并通过实例给予了验证说明。     

飞机外形参数的气动与隐身综合优化设计

以气动力及雷达散射截面参数为目标函数,主要优化对总体外形和飞机性能影响较大的机翼、尾翼的平面形状几何参数以及少数几个机身几何参数;根据第4代战斗机的设计要求,确定各个目标的理想值、最低可接受值,以及各个约束的满足区间,应用模糊优化理论,建立各个目标的满意度函数及各个约束条件的满足度函数,并使用多目标总满意度函数和常权、变权的不同组合,建立了5种外形参数模糊优化模型,使设计人员可以根据不同的设计思想和设计目的选择优化模型与翼面形状的组合.     

k/N（G）结构系统初始备件配置方法

针对现有备件冗余度建模中无限呼叫总体假设不合理、供应可用度计算困难的问题,提出一种k/N（G）结构系统初始备件配置方法。首先,采用有限源排队论获取备件短缺数概率分布。然后,给出计算k/N（G）结构系统供应可用度的方案,并证明了方案的正确性。该方案在计算随机挑选的一套系统未因备件短缺而停机的概率基础上,利用k（或更多）套系统良好的二项分布概率估计系统供应可用度。最后,应用边际分析算法确定各项备件的数量。实例分析表明：该方法能优化k/N（G）结构系统各组成部件的库存数量,且与单项法相比具有明显的优势,能以较少的备件费用达到相同的供应可用度目标。     

基于轮询的高级在轨系统多路复用包时延分析

目前的高级在轨系统(AOS,Advanced Orbiting Systems)多路复用研究主要以仿真为主,很少有文献给出专门的理论分析.针对基于轮询的AOS多路复用包时延进行研究,通过采用排队论中非空竭限量服务的休假排队系统建立模型,并采用循环再生法进行分析,得到了多路复用包时延计算公式,并给出包时延的下限值.仿真结果表明,在包到达率取值分别为1,2,3包/s,在各种不同的下行速率(范围240~330 bit/s)之下,包时延的仿真值曲线均高于理论下限值曲线,从而论证了理论推导的正确性.研究结果可以为工程设计提供一定的参考作用.     

离散拓扑业务模型中多媒体LEO网络性能分析

针对快速发展的多媒体卫星网络,提出一种新的低地球轨道卫星网络性能的定量研究模型。该模型考虑了星座动态拓扑变化和全球业务需求变化的复杂特点,建立了离散时间下的业务和拓扑映射关系;依据马尔科夫过程理论和卫星链路带宽约束条件,对实时和非实时两种类型业务采用概率分析方法,推导出定量计算阻塞概率、排队时延等网络性能参数的公式。大量仿真结果表明理论分析方法的正确性和有效性。该研究方法可用于多媒体低地球轨道卫星网络QoS路由管理和资源分配设计的参考。