共查询到20条相似文献,搜索用时 578 毫秒
1.
为了提高武器装备软件工程化水平,在对武器装备设计定型软件测评工作中发现的软件问题进行分析、归纳的基础上,总结提出了武器装备软件问题产生的7种可能原因:装备软件指标可操作性差、软件需求分析不充分、软件设计说明内容不详实、软件编程不规范、软件文档评审不严谨、软件研制单位内部软件测试不落实、软件研制过程的软件工程化管理水平不高,阐述了武器装备软件问题产生原因的各种表现,并通过具体软件问题实例对每一个软件问题产生原因进行了进一步的说明,这对从根本上减少或避免装备软件问题的产生具有促进作用。 相似文献
2.
在开放网络环境下软件容易受到攻击,导致软件故障,需要进行安全性测试,针对无监督类测试方法开销较大和复杂度较高的问题,提出一种基于半监督自适应学习算法的软件安全性测试方法。首先采用模糊度量原理构建软件安全测试的半监督学习数学模型,分析软件产生安全性故障的数组特征,然后通过软件故障的熵特征分布方法进行软件的可靠性度量,在开放式网络环境下建立软件可靠性云决策模型,实现安全性测试和故障定位。最后通过仿真实验进行性能验证,结果表明,采用该方法进行软件安全性测试,对软件故障定位的准确度较高,测试的实时性较好,保障了软件的安全可靠运行。 相似文献
3.
4.
5.
利用光学设计软件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米量级,完全可以满足望远镜皮米级稳定性精度要求。本研究可为后续引力波望远镜光机结构方案设计中光程差分析提供技术参考。 相似文献
6.
7.
CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。 相似文献
8.
测控数据实时监测软件是测控系统中的关键分系统之一,承担着大量测控信息的实时监视任务,由于其监测的数据具有信息量大、发送频率高、种类多样等特点,如何提升软件的性能和效率,成为了测控软件领域的一项重要课题。为实现该软件信息监测功能实时、全面、可靠,从软硬件平台、软件架构和算法设计等方面开展研究。采用多线程设计实现大量并行数据的接收,利用面向对象程序设计方法使数据处理层和展现层分离,对有曲线显示需求的数据存储方法进行了算法优化,从而实现软件的全面效能提升设计。设计的软件经实际环境测试,设计方法能够有效提升软件的效能,保证了测控数据监测功能的实时性和可靠性,增强了测控数据实时监测软件的数据承载能力。同时该方法设计的软件具有较好的可扩展性和可维护性。 相似文献
9.
10.
11.
12.
从理论上推导了在液面下的小球何时达到收尾速度公式,并给出一组实验数据,得出小球从液面自由下落时很快能达到收尾速度的结论。 相似文献
13.
14.
15.
多组元液体混合物的理论极限过热度 总被引:1,自引:0,他引:1
1引言纯物质液体的极限过热度问题研究,已引起人们充分重视。通常研究液体过热的方法分为热力学极限和动力学极限过热度方法。但这两种方法并不能真正确定液体的极限过热度。为此,本文作者之一提出了一个假说,并从统计热力学涨落理论出发,建立了一个确定液体极限过热度的新方法山。文献[2]中的计算证实了新方法的正确性。一定条件下,当多组元液体混合物中发生核化时,存在与纯质液体核化不同的效应,即气相也是混合物。气核内部各组元成份通常与液体对应组元的成份不同。其原因在于不同组元具有不同挥发性。因此,相平衡条件必须包括… 相似文献
16.
介绍应用几何光学点列图仿真平行光斜入射于axicon透镜后的焦点光斑的程序设计方案,给出并讨论了点列图计算结果。 相似文献
17.
亥姆霍兹线圈磁场的均匀性分析 总被引:20,自引:8,他引:20
引入磁场均匀度的概念,对亥姆霍兹线圈磁场的均匀性进行了定量分析,并通过计算机模拟,得出了同一精度下,形成亥姆霍兹线圈均匀磁场的最佳条件. 相似文献
18.
19.
本介绍一种自由落体重力加速度测量仪。利用自由落体运动规律,可得到当地的重力加速度。仪器具有结构简单、测量方便、结果准确等特点。 相似文献
20.