安全关键软件安全性评估方法

软件安全性评估的目的是评价软件是否达到系统所要求的安全性,对于保证和确认软件的安全性具有非常重要的意义.阐述了安全性评估方法的发展历程及优缺点,分析了推动安全性评估方法发展的原因.总结了各类安全性评估方法的所需数据、安全性参数、评估对象及适用阶段,剖析了安全性评估方法目前存在的问题.在此基础上,对未来的安全性评估方法的研究重点提出了两点建议,供其他研究人员参考,期望能推动软件安全性评估研究领域的深入开展.     

梁式转换结构的ABAQUS非线性有限元分析

为研究梁式转换结构在竖向荷载作用下应力的分布及承载力情况,运用ABAQUS软件对文献[9]中的满跨剪力墙梁式转换结构ZHL-1进行有限元分析,并将有限元计算与文献报道的试验进行结果对比。分析表明:数值模拟与试验所得极限承载力误差仅为4.17%;该结构中转换梁与上部剪力墙共同作用所产生的应力拱效应分布及变形发展全过程与试验吻合较好;引入的损伤参数可以有效体现混凝土的拉伸开裂变化和压缩破坏特征。因此,运用ABAQUS软件,结合混凝土损伤塑性模型梁式转换结构所作的非线性有限元分析结果,可以为类似的剪力墙梁式转换结构设计和试验提供参考。     

系统可靠性分配的研究进展

系统可靠性分配是可靠性设计的重要任务之一,其主要作用是为可靠性设计提供辅助决策。给出了可靠性分配流程,研究了可靠性分配模型的发展状况,重点介绍了可靠性分配问题的求解算法,指出了各类算法在分配中的应用及其需进一步解决的问题,同时分析了国内外典型的分配软件,总结了各软件中可靠性分配的主要功能,最后对可靠性分配提出了进一步的研究展望。     

加强高技术资源潜力数据管理

为适应未来战争动员的需要,近年来地方各级陆续展开了高技术资源潜力调查,并取得了大量珍贵的数据。今后,应加强高技术资源潜力数据的管理。 一、要建立自动化管理系     

法瑞鱼雷挑战美国货

1999年5～9月号的“国际预测”发布了欧洲几型鱼雷的市场动态,其中法意公司的Mu-90直航式鱼雷和瑞典的Tp2000鱼雷的动力系统引人注意,这是因为：     

单片机系统常用软硬件抗干扰措施

抗干扰性能是微机系统可靠性的重要指标,抗干扰设计是单片机系统研制中不容忽视的重要内容。单片机系统的可靠性由多种因素决定,从干扰的来源和途径,分析干扰对单片机主要硬件CPU、SFR、RAM、ROM及软件的影响,探索抗干扰的原理和设计方法。提出从电源、输入通道、印制板电路加强硬件抗干扰;通过开机自检、掉电保护、睡眠抗干扰及"看门狗"等技术,采用指令冗余和软件陷阱等软件措施,及时发现干扰导致的错误,使系统尽快恢复正常或及时报警,最大限度降低干扰对系统的影响,有效提高单片机系统在恶劣工况下运行的可靠性。     

弹载能源非接触测量系统设计

论述一种弹载能源非接触测量系统,适用于各型弹载化学电池性能参数的非接触测量,该系统采用红外光介质从电磁场中传递信号,克服了传统测量方法精度低和“交直流界线”及其导致的“多系数”等问题,大大提高了弹载能源性能参数非接触测量的准确度。     

数字化装甲营作战仿真实验室的支撑软件设计

介绍了数字化装甲营作战仿真实验室的支撑软件组成、结构和功能.军事指挥人员(建模人员)利用支撑软件按照自己的意图,快速制定作战想定,兵力、兵器部署的系统模型,通过系统模型的运行,实现战斗进程的逼真模拟,实施人在环、部分实装在环的装甲兵分队作战指挥对抗演习和实验,完成装甲兵分队的战术和技术训练任务,为装甲兵部队作战理论研究,人员训练,装备作战效能评估,技术保障研究和院校各专业技术人才培养提供高技术的软件平台,并且快速确定系统模型的可信度指标,为上级机关决策的合理化提供有力的支持.     

用软件信号生成和数字信号重建方法实现GPS的建模和仿真

应用ＧＰＳ卫星仿真器测试装置可以检查ＧＰＳ接收机及春增强系统的软硬件。一般,它们包括卫星信号仿真器,差分增强功能仿真器和接口仿真器。所有的试验都是实时运行的,需要大量的设备和人力资源,要被仿真的动态场景必须精心设计并存储在仿真器控制计算机中。此场景规定了所有的相关参数,包括ＧＳＰ接收机的轨道、卫星星座、信号功率、波形和环境,环境中还包括传播误差和干扰效应。一般有大量的设备设置和校正工作必须在实际试     

舰艇无线电通信系统的发展

现代海战对信息和信息传输的需求忧为制胜的关键,基于软件无线电的舰艇通信系统模块化技术是能舰艇通信系统适应未来作战需求的重要环节。舰艇通信系统有着与陆军野战通信系统不同的作战使用环境和战术需求,因此,根据舰艇通信系统的特点,研究其数字化、模块化技术的发展途径,是非常重要的。