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

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

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

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

柔性背腔鼓型消声器声学特性分析

现有的鼓型消声器由具有刚性背腔的膨胀腔和张紧的薄膜构成,利用薄膜的振动辐射声场与原声场叠加作用,使得透射过消声器的声能减少,达到消声的目的。为使消声器兼具隔振作用,提出了新型柔性背腔鼓型消声器,基于Fourier-Galerkin方法建立其声学理论模型,将传递损失特性与现有的刚性背腔模型进行比较,进一步研究柔性背腔鼓形消声器的消声机理,并分析了背腔参数对性能的影响。计算结果表明,柔性背腔有效提高了消声器低频消声效果,较相同结构尺寸条件下的刚性背腔消声器,显著拓宽了有效消声带宽。     

利用整帧翻转的SRAM型FPGA故障注入加速算法

不可恢复异常比特位(unrecoverable-sensitive bits, UR-SB)不能通过定时刷新修复,会造成卫星载荷在轨服务的长时间中断,是地面故障注入试验需要着重评估和改善的。但UR-SB占比极低,若采用传统逐位翻转故障注入方法,其测试耗时太长,效率极低。提出了一种基于整帧翻转的静态随机存取存储器型现场可编程门阵列的故障注入加速算法,其通过整帧翻转能够快速筛除不存在UR-SB的配置帧,并进一步用二分法对存在UR-SB的配置帧进行快速搜索,有效加速了UR-SB的精确定位过程。以在轨常用XQR2V3000器件为例,理论分析在较差情况下测试效率可提升207倍,信号生成载荷实测结果最高可提升949倍,理论分析和实测结果均验证了所提加速算法的有效性。