关于武器装备软件问题产生原因分析

为了提高武器装备软件工程化水平,在对武器装备设计定型软件测评工作中发现的软件问题进行分析、归纳的基础上,总结提出了武器装备软件问题产生的7种可能原因：装备软件指标可操作性差、软件需求分析不充分、软件设计说明内容不详实、软件编程不规范、软件文档评审不严谨、软件研制单位内部软件测试不落实、软件研制过程的软件工程化管理水平不高,阐述了武器装备软件问题产生原因的各种表现,并通过具体软件问题实例对每一个软件问题产生原因进行了进一步的说明,这对从根本上减少或避免装备软件问题的产生具有促进作用。     

开放网络环境下软件安全性测试技术研究

在开放网络环境下软件容易受到攻击,导致软件故障,需要进行安全性测试,针对无监督类测试方法开销较大和复杂度较高的问题,提出一种基于半监督自适应学习算法的软件安全性测试方法。首先采用模糊度量原理构建软件安全测试的半监督学习数学模型,分析软件产生安全性故障的数组特征,然后通过软件故障的熵特征分布方法进行软件的可靠性度量,在开放式网络环境下建立软件可靠性云决策模型,实现安全性测试和故障定位。最后通过仿真实验进行性能验证,结果表明,采用该方法进行软件安全性测试,对软件故障定位的准确度较高,测试的实时性较好,保障了软件的安全可靠运行。     

基于CppUnit的虚拟试验单元测试研究

虚拟试验是通过大量平台软件验证实物试验的可行性,达到“以实验虚 以虚辅实 以虚预实”的目的。这对平台软件的稳健性具有较高的要求,软件测试是提高软件产品质量的重要手段,而其中的单元测试是对软件模块的功能测试。CppUnit主要用于实现对软件的单元测试,本文基于CppUnit提出了一种应用于虚拟试验平台软件的单元测试方法,实现了对平台软件功能的单元测试,平台使用者在软件开发阶段不仅能较好地验证软件的稳健性,而且能提高虚拟试验验证的效率,为实物试验提供参考依据。     

莫尔条纹软件计数法

针对常规莫尔条纹计数法中的缺陷 ,设计了一种软件计数法。软件计数具有可靠性高、适应性强、智能化程度高等特点。介绍了莫尔条纹软件计数的原理 ,以及基于 DSP的莫尔条纹信号软件计数的实现     

基于ZEMAX和Python软件的空间引力波望远镜光程差算法研究与实现

利用光学设计软件ZEMAX和Python软件联合实现空间引力波望远镜光程差(optical path difference, OPD)精密求解;通过动态数据交换(dynamic data exchange, DDE)实现ZEMAX软件和Python软件数据交换:首先,Python软件对有限元分析后望远镜镜面数据进行处理,并将分析结果通过DDE传输给ZEMAX进行光线追迹;其次,ZEMAX软件对追迹后的光线坐标再通过DDE传回Python软件;最后,Python软件通过全局坐标系,计算刚体平移带来的光程差和波前的变化。模拟1 mK温度变化下引力波望远镜的受力变形,通过ZEMAX软件和Python软件求解空间引力波望远镜光程差和波前变化,结果表明光程差精度为1e-13米量级,完全可以满足望远镜皮米级稳定性精度要求。本研究可为后续引力波望远镜光机结构方案设计中光程差分析提供技术参考。     

基于动态数据交换技术实现Tracepro的二次开发

利用动态数据交换通信技术对Tracepro软件进行了二次开发。提出通过使用动态数据交换通信协议中的连接、发送、请求等通用方法,实现二次开发软件传输脚本到Tracepro中仿真,以及调取仿真结果返回二次开发软件的功能。在软件中可以实现模型自动生成、参数自动配置、自动仿真、优化分析等功能,提高了设计效率。以设计LED杯型建模仿真软件的设计为例,在软件中实现了与Tracepro交互,完成了LED快速建模、设计及仿真。     

应用ETDFA生成CBTC联锁软件形式化模型的方法

CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。     

测控数据实时监测软件设计方法研究

测控数据实时监测软件是测控系统中的关键分系统之一,承担着大量测控信息的实时监视任务,由于其监测的数据具有信息量大、发送频率高、种类多样等特点,如何提升软件的性能和效率,成为了测控软件领域的一项重要课题。为实现该软件信息监测功能实时、全面、可靠,从软硬件平台、软件架构和算法设计等方面开展研究。采用多线程设计实现大量并行数据的接收,利用面向对象程序设计方法使数据处理层和展现层分离,对有曲线显示需求的数据存储方法进行了算法优化,从而实现软件的全面效能提升设计。设计的软件经实际环境测试,设计方法能够有效提升软件的效能,保证了测控数据监测功能的实时性和可靠性,增强了测控数据实时监测软件的数据承载能力。同时该方法设计的软件具有较好的可扩展性和可维护性。     

应变式负荷传感器温度补偿研究

作为软件密集型装备,指挥系统的软件保障需求明显。简要介绍装备系统软件结构及主要功能,对其在部队使用过程中出现的问题进行分析;提出软件保障工具的主要功能及系统设计方案,并对系统实现方法进行详细说明。应用表明：指挥系统软件保障系统对提高部队软件保障能力具有重要意义。     

基于DSP的弹载导引头软件设计与实现

摘　要 为满足弹载计算机对导引头软件的实时性要求,本文基于主从DSP的硬件架构设计实现了红外导引头软件。其中,ADSP2187N为从DSP,负责接收外部输入并形成目标识别所需的各类信号;TMS320C6414为主DSP,负责接收ADSP2187N发送的信号,并完成目标识别、跟踪、跟踪输出等功能。此外,本文设计实现的串行加载软件能够完成导引头软件的自动加载运行,并为后续软件升级提供了方便的途径。     

力学量算符的本征函数的计算

给出一种利用升或降算符力学量算符本征函数一般表达形式的方法，这种方法比其它方法简单得多。     

落球法测液体的粘滞系数小球收尾速度的研究

从理论上推导了在液面下的小球何时达到收尾速度公式，并给出一组实验数据，得出小球从液面自由下落时很快能达到收尾速度的结论。     

Richtmyer-Meshkov失稳的数值模拟

利用五阶迎风紧致差分格式加群速度控制方法对激波与轻气体柱形界面的干扰问题进行直接数值模拟,并研究了涡量的产生及其发展和界面的变形,分析了柱形界面的失稳过程,得知在线性发展阶段,重气体以恒定的速度进入到轻气体中,并形成尖钉结构;在非线性发展阶段,在尖钉头部的两侧形成一对旋转方向相反的涡结构.同时证实了激波与界面的相互干扰有助于增加混合.并将所得的数值解与实验结果进行了比较.     

溶液折射率公式的一种验证方法

给出了通过阿贝折射仪测溶液折射率和百分比浓度来验证其折射率公式的一种方法。     

多组元液体混合物的理论极限过热度

1引言纯物质液体的极限过热度问题研究，已引起人们充分重视。通常研究液体过热的方法分为热力学极限和动力学极限过热度方法。但这两种方法并不能真正确定液体的极限过热度。为此，本文作者之一提出了一个假说，并从统计热力学涨落理论出发，建立了一个确定液体极限过热度的新方法山。文献［2］中的计算证实了新方法的正确性。一定条件下，当多组元液体混合物中发生核化时，存在与纯质液体核化不同的效应，即气相也是混合物。气核内部各组元成份通常与液体对应组元的成份不同。其原因在于不同组元具有不同挥发性。因此，相平衡条件必须包括…     

axicon透镜焦点光斑的点列图计算

介绍应用几何光学点列图仿真平行光斜入射于axicon透镜后的焦点光斑的程序设计方案，给出并讨论了点列图计算结果。     

亥姆霍兹线圈磁场的均匀性分析

引入磁场均匀度的概念，对亥姆霍兹线圈磁场的均匀性进行了定量分析，并通过计算机模拟，得出了同一精度下，形成亥姆霍兹线圈均匀磁场的最佳条件．     

用电流源法测量非线性元件的伏安特性

本文报导了一种新的用于测量非线性元件伏安特性的实验电路，该电路采用的是以电流为信号变量的电流模式测量电路，并分析与比较了该电路与传统的以电压作为信号变量的电压模式测量电路的不同．     

一种自由落体重力加速度测量仪的研制

本介绍一种自由落体重力加速度测量仪。利用自由落体运动规律，可得到当地的重力加速度。仪器具有结构简单、测量方便、结果准确等特点。     

对质点系角动量定理的讨论

对理论力学教材中角动量定理的各种不同表达式进行了归纳、比较、讨论、明确了它们之间的区别、联系及其适用条件。