可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

基于Matlab四杆式液压起落机构运动学与动力学分析

提出了一种可用于加油卷盘升降的四杆式液压起落机构的设计方案。分析了四杆式液压起落机构的工作原理,采用复数向量法建立了运动学和动力学数学模型。利用Matlab软件编制了相应的程序进行实例分析和计算,得到了机构关键点的仿真轨迹和有关构件的角位移、角速度及角加速度曲线。运用理论分析计算和软件仿真,验证了机构设计的合理性和方案的可行性。     

一种新的双输入多通道直流变换器

在传统的含储能单元分布式供电系统中,一般都需要多个单向直流变换器和双向直流变换器才能实现其功能。提出一种新的双输入多通道直流变换器,它的功能等效于一个单向直流变换器和一个双向直流变换器。分析了双输入多通道直流变换器的工作原理,给出了变换器的稳态关系式以及能量管理方法,并运用Saber软件进行仿真,验证了理论分析的正确性。该直流变换器除具有双输入Buck直流变换器的优点外,还能实现可再生能源向储电输入源充电。     

别让微信成＂危＂信

微信是腾讯公司2011年1月推出的一款通过网络快速发送语音短信、视频、图片和文字,支持多人群聊的手机聊天软件。其众多实用、新颖的功能和较低的收费使其成为通信领域的新宠,据统计目前用户已超过三亿。     

浅议加强军用装备软件工程化管理

软件工程化是用工程的方法开发软件,即采用可定义、可量化、可再生产和管理的工程实践方法,实现软件产品的开发过程。软件工程化是系统化、规范化、数量化地进行装备软件开发和维护最为有效的途径,是对装备软件采取有组织的质量保证和全面质量管理的重要方法和手段,是提高软件质量和可靠性水平的必要保证。随着我军向实现机械化和信息化的目标跨越式地迈进,大量新型装备陆续开始研制或投入生产,提高装备软件质量重要性日益突出,积极推进软件工程化,将有效的解决当前装备软件质量管理工作中存在的问题,提高装备软件质量水平。     

目标航迹处理软件性能的验收实践

根据防空火控目标航迹处理性能的动态特性,在不增加任何硬件设备的前提下,探讨了如何应用软件方法去实现该性能便捷、实时、有效的验收.     

基于现场总线的设备自动化监控系统

从设备信息管理系统的升级和业务功能扩展的角度,阐述了采用现场总线技术构成的设备监控系统的必要性和作用,并结合某工程背景,介绍了基于现场总线设备自动化监控系统的体系结构、网络拓扑结构及应用软件设计等关键技术。     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

软件化卫星抗干扰技术的研究

本文对卫星抗干扰技术的发展和研究进行了阐述,并提出一种卫星抗干扰软件化的硬件平台．采用动态配置技术来实现不同的抗干扰技术及其组合。该平台借鉴了软件无线电的思想,基于FPGA+DSP的结构来实现高速数字信号处理技术,具有较强的开放性和扩展性,为最大限度地发挥抗干扰能力提供了可能。     

Ad6624芯片仿真及改进

数字下变频是软件无线电的核心技术之一。本文介绍了ADI公司生产的Ad6624芯片的工作原理,仿真了芯片的工作过程,并提出利用可编程的多相滤波器替代芯片中的可编程FIR滤波器的方案,仿真结果证明此方案是可用的,同时可以提高运算速度,节省芯片资源。