数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

传统的方位定义应用局限性研究

本文分析了传统的方位定义与计算存在的应用局限性根源,提出了适合航海及各种规模军事演练需求的改进的方位定义和计算方法,并分析了两种方位定义下的方位计算误差及适用条件.     

An efficient metaheuristic for integrated scheduling and staffing IT projects based on a generalized minimum cost flow network

Scheduling IT projects and assigning the project work to human resources are an important and common tasks in almost any IT service company. It is particularly complex because human resources usually have multiple skills. Up to now only little work has considered IT‐specific properties of the project structure and human resources. In this article, we present an optimization model that simultaneously schedules the activities of multiple IT projects with serial network structures and assigns the project work to multiskilled internal and external human resources with different efficiencies. The goal is to minimize costs. We introduce a metaheuristic that decomposes the problem into a binary scheduling problem and a continuous staffing problem where the latter is solved efficiently by exploiting its underlying network structure. For comparison, we solve the mixed–binary linear program with a state–of–the–art commercial solver. The impacts of problem parameters on computation time and solution gaps between the metaheuristic and the solver are assessed in an experimental study. Our results show that the metaheuristic provides very favorable results in considerable less time than the solver for midsize problems. For larger problems, it shows a similar performance while the solver fails to return feasible solutions. © 2012 Wiley Periodicals, Inc. Naval Research Logistics 59: 111–127, 2012     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

光电载荷安装误差标校的飞行航路

无人机搭载光电载荷进行安装误差标校时,飞行航路的选择与规划在很大程度上影响着标校算法的收敛性与误差识别结果。为增强标校飞行架次的有效性,提高安装误差可被识别的程度,改善标校算法的收敛性及标校精度,对标校的原理和标校算法进行了理论分析,并利用考察差异函数偏微分的方法找到了标校航路和安装误差标校之间的相互联系,然后结合标校实施过程中所遇到的实际问题提出标校航路规划应遵循的原则,给出了标校航路规划的参考范例。     

基于贝叶斯混合源分离方法的声纳探测误差模型

声纳的探测误差模型是声纳仿真的核心技术。针对现有的声纳误差白噪声模型仿真逼真度低的问题,提出了基于贝叶斯混合源分离方法,建立了声纳的探测误差模型,提高了声纳误差模型的性能。与传统的白噪声仿真方法相比,基于贝叶斯混合源分离方法的声纳误差仿真模型具有较好的逼真度,可以有效地对声纳探测误差进行建模和预测。     

The deformation and failure mechanism of cylindrical shell and square plate with pre-formed holes under blast loading

The deformation and failure mechanism of cylindrical shells and square plate with pre-formed holes under blast loading were investigated numerically by employing the Ansys 17.0 and Ls-Dyna 971. To calibrate the numerical model, the experiments of square plates with pre-formed circle holes were modeled and the numerical results have a good agreement with the experiment data. The calibrated numerical model was used to study the deformation and failure mechanism of cylindrical shells with pre-formed circle holes subjected to blast loading. The structure response and stress field changing process has been divided into four specific stages and the deformation mechanism has been discussed systematically. The local and global deformation curves, degree of damage, change of stress status and failure modes of cylindrical shell and square plate with pre-formed circular holes are obtained, compared and analyzed, it can be concluded as: (1) The transition of tensile stress fields is due to the geometrical characteristic of pre-formed holes and cylindrical shell with arch configuration; (2) The existence of pre-formed holes not only lead to the increasing of stress concentration around the holes, but also release the stress concentration during whole response process; (3) There are three and two kinds of failure modes for square plate and cylindrical shell with pre-formed holes, respectively. and the standoff distance has a key influence on the forming location of the crack initiating point and the locus of crack propagation; (4) The square plate with pre-formed holes has a better performance than cylindrical shell on blast-resistant capability at a smaller standoff distance, while the influence of pre-formed holes on the reduction of blast-resistant capability of square plate is bigger than that of cylindrical shell.     

综合孔径雷达系统设计的关键技术

从综合孔径雷达 SAR成像的基理出发 ,分析了 SAR系统中相位误差对 SAR图像质量的影响和系统中产生相位误差的重要因素 ,从而分析了 SAR系统设计的关键技术和实施的基本途径。     

关于算子方程Tx=y扰动分析的一些结果

在Banach空间中给出了一种相容算子方程解的误差估计 ,推广了矩阵扰动分析中的相应结果 .此外 ,利用Hilbert空间中算子M -P广义逆与算子的约化极小模之间的关系 ,给出了一些估计式 ,这些估计式对于分析不相容算子方程Tx =y的极小范数最小二乘解的扰动误差是有用的     

巡航导弹地形跟踪系统仿真的研究

基于预见控制理论,采用零相位误差跟踪控制器,实现巡航导弹的前馈控制,能使导弹飞行良好地跟踪地形,还给出了前馈控制器的设计方法,并对导弹飞行过程作了系统仿真.