计算机实验教学软件环境规范化管理初探

根据实验教学的要求和不同的机型 ,对实验教学软件进行规范化管理 ,利用“克隆”技术和硬盘保护卡有效地保护数据和快速恢复数据 ,确保教学用机的安全和有效率     

软件可靠性分配的遗传模型研究

对软件可靠性分配的遗传模型进行了研究,结合相关知识缩小了基本遗传算法的搜索区域,比较灵活地处理了非线性约束条件,提高了搜索效率,避免了早熟收敛现象.此外,在基本遗传算法中增加了保优操作,从而能够在理论上保证实现分配的最优化.算例表明,该算法十分有效.     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

目标识别跟踪系统的图像收集处理软件流程设计

详细介绍了目标识别跟踪系统中图像收集处理软件的设计流程。首先介绍了目标识别跟踪系统,然后从视频图像显示到目标图像获取和发送的整个流程进行详细阐述,并针对流程节点中获取目标图像的两种方式加以深入研究。     

并行程序调试中的环境再现技术

为解决调试并行程序碰到的第一个困难:并行程序的不确定性,文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构,并用CCNPASCAL语言进行了描述,最后给出了一个典型的应用例子。     

The impact of defense and non‐defense public spending on growth in Asia and Latin America∗

For a three‐sector Feder‐Ram framework, we present time‐series, cross‐sectional estimates for two cohorts, consisting of Asian and Latin American countries. The estimates indicate that private investment, and defense and non‐defense public spending are growth promoting for alternative error components representations. For the best error components representation, greater growth enhancement is associated with the two forms of public spending in Asia than in Latin America, while the opposite comparison characterizes private investment. Although defense is growth promoting, an opportunity cost exists insofar as non‐defense spending, financed by defense spending, appears to give a small net boost to growth in Latin America.     

基于模糊模型的发动机部件级故障隔离方法研究

发动机故障诊断与故障隔离是发动机健康监控领域的一大难题,但对发动机故障定位、预防灾难性事故发生及发动机维修意义重大。为了准确地确定故障发生的部位,本文针对某型液体火箭发动机,提出一种基于模糊模型的部件级故障隔离方法。首先对发动机系统进行部件的划分,然后建立各个部件的模糊模型并进行训练,最后按照设定的故障检测与隔离策略对故障进行诊断。利用两组发动机故障仿真数据对基于模糊模型部件级故障隔离方法进行验证,结果表明:本方法可以实现单一或多个部件故障隔离。     

军用飞机可用度概念模型及仿真

使用可用度是军用飞机战备完好性的重要度量标准.运用传统的解析法计算使用可用度有其弊端.以军用飞机使用及维修保障过程中各个系统要素为基础建立了使用可用度概念模型;根据概念模型运用仿真软件Extend建立了仿真模型.仿真结果表明模型运行稳定可靠,模型中各模块算法合理有效,实现了模型解算目标,可信度高.从而为飞机可用度研究提供了一种新方法.     

“心脏出血”漏洞的特点分析和对策建议

概括介绍＂心脏出血＂漏洞的基本概念、发现和公布、攻击和演变、处理和防范等有关情况,从安全通信协议软件、开源软件地位作用、开源软件代码管理和开源软件分析运用等方面分析特点并提出对策建议。     

Maintenance scheduling for modular systems: Modeling and algorithms

We study new models of scheduled maintenance management for modular systems, consisting of multiple components with respective cycle limits. The cycle limit of each component specifies the time interval in which this component must be repaired or replaced. The goal is to compute a feasible maintenance schedule that minimizes the cost associated with component maintenance. Applications of these models arise in Air Force aircraft maintenance as well as in other arenas with required preventive maintenance. The typical cost structures that arise in practical settings are submodular, which make the resulting models computationally challenging. We develop two efficient and operationally tenable approximation algorithms. We prove constant factor worst‐case guarantees for both algorithms, and present computational experiments showing that these algorithms perform within a few percent of optimality on operationally relevant instances. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 472–488, 2014