一种地空导弹武器系统战术软件设计的分析方法

在地空导弹武器系统软件的研制过程中,随着型号研制要求的不断变化,战术软件的研制需求往往不能一步到位,导致软件在研制过程中,需要不断进行完善,延长了软件设计周期、增加了软件设计的难度。对软件进行系统化的设计,可以缩短软件设计周期和降低软件设计难度。在总结以往系统软件设计的基础上,给出了一种地空导弹武器系统战术软件系统设计的分析方法,包括系统环境分析、系统任务处理层次、逻辑网的原始形成、逻辑网的归并和逐层分析生成结果。该方法能为战术软件系统设计人员在将来的系统软件设计中,如何入手分析系统,在文档编写之前,对系统软件的那些内容进行分析,如何分析等工作的开展带来帮助。     

虚拟试验光传输环境通用支撑软件设计

根据光电对抗虚拟试验的实际需要,分析了虚拟试验光传输环境模型,设计了一种能为光电对抗虚拟试验提供光传输环境服务的通用支撑软件。研究了能集成现有光传输效应模型的软件框架,设计了基于组件对象模型和通信代理技术的环境服务通用接口及符合综合自然环境数据表示与交互规范(SEDRIS)的环境数据库访问接口,最后介绍了软件在光电对抗虚拟试验系统中的应用流程。实际表明,支撑软件能为更科学、合理地评价光电对抗虚拟试验效果提供有力支持。     

基于XilinxFPGA的数字下变频的实现

为解决专用数字下变频芯片价格昂贵、灵活性不强的问题,研究了如何基于FPGA实现数字下变频的功能。本设计结合硬件资源从数字下变频的系统各模块的主要功能,以及从彼此间的性能制约上考虑,先通过MATLAB仿真选择合适的参数,然后在Xilinx公司ISES．2开发环境下,使用Verifog语言编程实现。最后对基于FPGA实现的数字下变频系统调用Modelsim进行仿真测试,验证了设计的正确性。     

软件可维护性的一种定量计算方法

软件可维护性是软件维护难易程度评价的标准,为实现软件可维护性的定量计算,在介绍波动效应的基础上,根据软件可维护性计算的基本思路和基本原理,建立了基于波动效应分析的软件可维护性计算模型,并对模型进行了分析和校验。     

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。     

石河子警方打掉异地网络诈骗团伙

日前,石河子警方成功侦破一起特大网络诈骗案,犯罪嫌疑人余某等4人在浙江省杭州市落入法网。今年2月期间,石河子市居民马某等3人分3次向虚假的黄金现货交易平台软件"MT4"打款共计17.7万元进行黄金交易。当3名受害人认为盈利准备赎回时,发现自己账户内的资     

非线性规划问题求解的计算机实现

科学研究、工业生产与军事管理等领域存在着大量非线性规划问题,但其求解是复杂的。本文探讨了使用数学软件在计算机上实现求解非线性规划问题,并进行了分析比较。     

基于VxWorks的软件无线电硬件平台的设计

通过对软件无线电体系结构中的实时操作系统的分析,选用了性能可靠、实时性好的VxWorks作为系统的实时操作系统。然后构建了基于多DSP处理器4通道软件无线电硬件平台,使软件无线电的运算能力达到12 000 MFLOPS,很好地满足了系统的运算速度的要求。整个系统具有处理数据量大、传输速度快、实时性好、可扩展性好等诸多优点。     

软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.