支持社会技术系统构造的程序设计模型和语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。     

导弹自动驾驶仪改进遗传模糊控制器设计

针对导弹飞行控制系统具有参考模型不精确,非线性时变的特点,设计了一种新型的导弹自动驾驶仪的模拟退火遗传模糊PID控制器。该控制器是利用模糊控制器的模糊推理能力,在线整定PID控制器参数,再采用遗传算法与模拟退火算法结合,离线搜索寻优模糊控制器中的隶属函数参数集。Matlab仿真实验结果表明,所设计的控制器能够使系统具有良好的动态性能、鲁棒性以及全弹道性能,利用模糊查询表可满足系统的实时性要求,工程应用前景较好。     

一种基于GPU的数字信道化处理方法

为了减少数字信道化接收机的开发成本,提高吞吐量与处理速度,对被动雷达截获信号数字信道化接收机的结构进行了研究,提出了一种基于GPU的数字信道化接收机的实现方法。该高效结构不仅节省了硬件成本,缩短了开发周期,而且加快了处理速度,达到了准实时性。实验结果表明:基于GPU的运算平台与CPU平台相比较,处理速度提高一倍左右。     

适用于link22超网结构的时隙分配算法

通过分析link22战术数据链超级网络的结构特点,在典型时隙分配算法的基础上,提出一种新的时隙分配算法,该算法能较好地应用于link22超级网络.通过仿真分析,该算法在处理大容量、快响应业务以及在强电磁干扰的情况下,性能良好.     

高速气流条件下的喷嘴与火焰稳定器匹配特性研究

针对亚燃冲压发动机燃烧室内部流动特点,在二元稳定器气流试验装置中使用拍摄OH基自发光辐射的方法,研究了火焰稳定器与喷嘴以不同间距匹配情况下的燃烧特性,利用气液两相流模型数值仿真手段,分析了试验工况下燃油雾化液滴与稳定器后方油气比的分布情况.通过对比分析认为,高速气流条件下喷嘴与火焰稳定器间距变化对反应流场影响明显,喷-...     

岸/舰双基地地波超视距雷达抗电离层干扰研究

针对现阶段困扰低纬度地区高频地波雷达发展的电离层干扰问题,分析了电离层的干扰特性,提出双基地体制下利用收发之间的位置相互关系减小高仰角区的电离层干扰的方案;通过对发射天线进行优化设计,增加天线在俯仰维的孔径,减小向上的能量辐射,达到降低电离层干扰的目的.仿真验证了该方法的有效性.     

Virtools环境下虚拟装备行为控制方法

为解决当前基于Virtools的装备虚拟训练系统中外观模型与机理模型紧密耦合所导致的模型开发效率低、不可重用的问题,分析了虚拟装备仿真模型结构,提出了一种基于Virtools消息机制的虚拟装备行为控制方法,实现了机理模型与外观模型相互分离、彼此独立的开发和维护,提高了模型的可维护性和可重用性。基于该方法开发的“某高炮虚拟训练系统”,已推广至军事院校的教学、训练,其验证了该方法的可行性。     

一类具有时滞和捕获的食物链模型的周期解

研究一类具有时滞和捕获的食物链模型,借助重合度理论中的Mawhin延拓引理,得到了保证系统至少存在8个正周期解的充分条件。     

具有时滞和变消耗率的比率型Chemostat模型稳定性分析

研究了一类具有时滞和变消耗率的比率型Chemostat模型,讨论了边界平衡点和正平衡点的局部稳定性以及Hopf分支的存在性;利用比较原理和构造Lyapunov泛函,给出了边界平衡点和正平衡点的全局稳定性的充分性条件;并通过数值模拟验证了理论结果。     

Nucleus Plus操作系统的实时性分析与测试

针对操作系统的实时性,以NucleusPlus嵌入式实时操作系统为研究对象,分析其内核的实时机制及上下文切换时间、中断响应时间这两个重要的实时性指标。设计了一个交替等待/获取信号量的方法来测试上下文切换时间,该方法主要是利用信号量的等待和获取来发生上下文切换,经实验验证,比原有的方法所测得的结果更精确,适用范围更广,可为实时应用在选择合适的操作系统方面做参考。