基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

整合优化“专业方向课”内容结构的思考——以《武警基层管理》课为例

整合优化“专业方向课”内容结构,既是提高教学质量的重点,又是难点。以《武警基层管理》课为例,从教学组织实施者的角度,重点阐述了以强化基础性、突出综合性、注重实践性和增强发展性为目标,积极整合优化“专业方向课”的内容结构。     

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

一类广义二重积分

首先利用一个收敛级数构造了R上的一个特殊开集G,然后利用平面点集可求面积的充要条件,在平面上引入了一个有界的不可求面积的积分区域Ω,最后在Ω上定义了一个取正值的分段函数,并证明了其在Ω上的广义二重积分存在。     

基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况,通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上,本文以软件测试过程中测试总代价最小为控制目标,采用交叉熵方法修正测试剖面,由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价,是一种有效的软件测试方法。     

Fleet management in European integration: the case of military helicopter support

The article focuses on both economics and spatial issues related to Maintenance Repair and Overhaul (MRO) of defence platforms in Europe. Using facts and figures related to costs, trends and fleet sizes evolution, the authors discuss the interest of a spatial reorganisation of MRO production. Given the fiscal situation of the main European countries with a modern army, the relevant scale to consider the reorganisation is certainly Europe. Through the example of defence helicopters fleets of a selection of European countries, the authors address the question of cooperation of the MRO. A greater cooperation in the support of fleets would lead to a spatial reorganisation of MRO. On one side economies can be expected from this reorganisation, but, on the other hand, new problems arise. Specifically, a number of costs associated with different forms of “distances” – geographical, operational and political distances – limit the potential savings that could be expected. This work provides insights on these important issues for the construction of a European defence, both in its political, military and industrial dimensions.     

高校教育信息化建设问题及对策

高校信息化建设是高校建设的一项重要任务,我国高校信息化经过十几年基础设施建设后,现阶段仍然存在一些问题。总结分析现阶段教育信息化建设中存在的问题及解决策略,有助于高校教育信息化建设健康、有序发展。     

弹性支持的无限铁木辛柯梁对移动振动质量的响应

针对具有弹性基础的无限梁在移动的振动质量激励下的响应问题,采用考虑剪切变形和转动惯量的铁木辛柯梁理论建立梁的微分方程,并利用双重傅立叶变换求解,得到梁的运动方程。最后,通过一个数值计算的实例,分析了振动质量以及其移动的速度对梁的响应的影响。结果表明,振动质量本身对梁的响应的影响不可忽视。     

基于ANSYS软件的管道漏磁场分析

介绍了漏磁场分析的基本理论以及由麦克斯韦方程导出的泊松方程对应的能量泛函,利用基于此理论基础的ANSYS有限元分析软件的ANSYS Multiphysics软件包对管道漏磁场进行模拟仿真,能得出大量缺陷漏磁场数据,这为缺陷漏磁检测定量化打下基础.     

泛探雷达长时间相参积累目标检测方法研究

泛探雷达利用同时多个接收波束覆盖整个观测空域,可利用长时间相参积累提高动目标检测性能,然而必须解决目标在长积累时间之内出现跨波束、跨距离单元和跨多普勒单元现象带来的积累增益下降问题。在跨波束影响可忽略前提下,研究了基于Keystone变换与Dechirping变换相结合的运动补偿方法,并在此基础上提出了基于Clean思想的多目标检测流程。通过对仿真数据与外场实测数据的处理与分析,验证了本文方法的有效性,可以用于泛探雷达的目标检测。