一个模糊软件可靠性确认模型

模糊软件可靠性模型不仅适用于刻划测试阶段的软件可靠性行为,而且适用刻划确认(验收)阶段的软件可靠性行为。并给出在确认(验收)阶段判定软件是否达到可靠性目标的准则。     

面向流场计算的并行计算机结构研究

分析了流场计算的基本特点 ;提出了用于流场计算的、基于 Transputer的动态星形立方体 ( DSC)结构。证明对于流场计算 ,采用 DSC结构在一定程度上优于目前常用的超立方体和超环两种结构。其优点是 :通信算法简单 ;系统扩充方便 ;全局性通信性能好。最后以实例说明了DSC结构在流场计算中的应用     

基于VISA的程控直流电源控制技术在热流模拟中的应用

程控直流电源在真空热环境试验中的作用是为红外加热器提供电流,满足航天器外热流模拟的需要。文章以LabVIEW软件的VISA模块为基础,介绍了程控直流电源驱动控制器的设计方法和软件编程,描述了电源驱动控制器在真空热环境试验中的应用。该程控直流电源控制系统界面友好,实现了模块固化,提高了系统的可靠性。     

准循环LDPC码译码器的FPGA实现

文章提出了一种可以兼容不同码率规则和非规则准循环低密度校验码（LDPC）的部分并行译码结构,基于该部分并行结构在Altera公司的StratixII—EP2S90器件上验证并实现了DTMB标准中三种准循环低密度校验码的译码器。FPGA资源统计表明,在并行路数相同的情况下,采用该部分并行结构可以节省大约45％的逻辑单元。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

On Exploring Method and Software for Evaluating Effectiveness of Military Training Aircraft

The evaluation of training effectiveness (TE) of military training aircraft, though obviously very important, appears to have attracted much less attention than what it deserves in the open literature. This article aims to start from previous studies and explore further. First, TE of military training aircraft is discussed and our ideas for evaluating TE which are expressed mathematically are proposed. Then, using the presented mathematical models, software is developed that takes into consideration the influence of parameters of flight performance and quality on TE. The software's environment is Borland C++ and it sets up the parameters of trainer, training standard databases and training documents; it can analyze and then give the operational cost and cost-effectiveness ratio of military trainer. Finally, the software is utilized to compare the TEs of HAWK and MB339 with that of Chinese Air Force TF-6. The results of comparison show that the TE of TF-6 is the lowest.     

导弹安保机构测试系统的设计与实现

针对某型空空导弹安全和解除保险机构,利用计算机及高新技术,实现了安保机构的高精度、高准确性和高效率的测试。较详细地介绍了安全和解除保险机构自动测试系统的硬件设计、软件设计及抗干扰措施。实践表明,该系统具有较高的测试精度及智能化程度,并具有良好的通用性。     

仿真网格下的节点选择

仿真网格是一个将网格技术和建模与仿真技术相结合的网络化仿真平台,节点选择是提高仿真网格下仿真执行性能的重要手段.根据仿真网格下资源异构性的特点,提出一套形式化的节点性能评价标准,以此标准为依据建立节点选择的数学模型,并给出选择最优节点集合的节点选择算法.算法实验表明,该算法以节点的计算能力为优先考虑,同时顾及节点之间的通信性能,并能够回避通信性能参差不齐时好的通信性能掩盖住差的通信性能的情况,能够起到提高仿真执行效率目的.     

CABAC算术编码器硬件优化实现

为了解决上下文自适应二进制算术编码器(CABAC,Context-based Adaptive Binary Arithmetic Coder)硬件实现吞吐率难以提高的问题,提出了基于数据流动态特性的电路优化方法.通过建立算法的数据流模型,提取出限制硬件实现性能的数据流反馈环路.针对上下文环路,采用3条迭代周期不同的子环路更新具有不同依赖周期的上下文变量,提高了时钟频率和吞吐率;对于字节打包环路,通过提取一类可简化电路结构的数据元素,并为之构建快速旁路,增加了环路的处理速度.基于上述方法并辅以基本的电路优化手段,设计实现在现场可编程门阵列(FPGA,Field-Programmable Gate Array)平台上频率可达309MHz,并且每个时钟周期处理一个编码符号.     

软件研制过程的管理

从软件工程化管理的观点出发,提出了做好软件研制过程的管理的几点设想、对规范软件研制全过程控制和把握软件研制过程管理几个关键环节进行了有益的探讨。