Software defect prevention based on human error theories

Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper proposes a defect prevention approach based on human error mechanisms:DPeHE.The approach includes both knowledge and regulation training in human error prevention.Knowledge training provides programmers with explicit knowledge on why programmers commit errors,what kinds of errors tend to be committed under different circumstances,and how these errors can be prevented.Regulation training further helps programmers to promote the awareness and ability to prevent human errors through practice.The practice is facilitated by a problem solving checklist and a root cause identification checklist.This paper provides a systematic framework that integrates knowledge across disciplines,e.g.,cognitive science,software psychology and software engineering to defend against human errors in software development.Furthermore,we applied this approach in an international company at CMM Level 5 and a software development institution at CMM Level 1 in the Chinese Aviation Industry.The application cases show that the approach is feasible and effective in promoting developers' ability to prevent software defects,inde pendent of process maturity levels.     

VGA视频信号测量方法

本文论述了VGA视频信号一些重要参数的测量方法,提供了测试VGA视频信号的可操作手段.利用这些测量方法能够很方便地对VGA视频信号进行分析,有助于查找问题.     

一种在轨改善偏置动量卫星控制精度的方法

对多个偏置动量卫星在轨飞行的遥测数据观察后发现．其中一些卫星的X轴和Z轴控制误差较大，且有明显的常值偏差存在．对这一现象进行分析，从偏置动量卫星的控制原理上找到了姿态偏差较大的原因，进而提出修正方法．在轨飞行测试表明：原姿态超差的偏置动量卫星采用本方法后，姿态控制精度得到明显改善，证明了本方法行之有效．     

航空发动机叶片大曲率型面测量方法研究

大扭角、大曲率等复杂空间曲面叶型是航空发动机叶片发展的趋势,而传统的测量方法已经不能满足这种新型叶片的测量需要。多次的测量比对数据显示,利用CAD模型引导测量并评价的方法不但降低了叶片测量在等高方面的要求,而且消除了投影计算方法中带来的计算误差,更加快速、准确地反映了叶片的真实加工质量。     

Optimal three-dimensional impact time guidance with seeker’s field-of-view constraint

This paper proposes a new three-dimensional optimal guidance law for impact time control with seeker’s Field-of-View (FOV) constraint to intercept a stationary target. The proposed guidance law is devised in conjunction with the concept of biased Proportional Navigation Guidance (PNG). The guidance law developed leverages a nonlinear function to ensure the boundedness of velocity lead angle to cater to the seeker’s FOV limit. It is proven that the impact time error is nullified in a finite-time under the proposed method. Additionally, the optimality of the biased command is theoretically analyzed. Numerical simulations confirm the superiority of the proposed method and validate the analytic findings.     

关于非均匀网格高精度格式的误差分析方法

以三次样条重构有限体积方法为例,研究非均匀网格上截断误差的分析方法。通过推导得到了分析非均匀网格上截断误差的基本准则,即在非均匀网格的截断误差分析中,要保证不显式或者隐含地改变数值方法对应的模板点——当不满足这一准则时,误差分析会得到不自洽的结果;而满足这一准则时,可保证分析结果的正确性。利用正确的误差分析结果,可发展进一步提高计算精度的措施。据此发展了扩散项在非均匀网格上达到三阶精度计算方法,从而可以使对流项和扩散项的计算达到一致三阶精度。     

Navigation message designing with high accuracy for NAV

Navigation message designing with high accuracy guarantee is the key to efficient navigation message distribution in the global navigation satellite system（GNSS）. Developing high accuracy-aware navigation message designing algorithms is an important topic. This paper investigates the high-accuracy navigation message designing problem with the message structure unchanged.The contributions made in this paper include a heuristic that employs the concept of the estimated range deviation（ERD） to improve the existing well-known navigation message on L1 frequency（NAV） of global positioning system（GPS） for good accuracy service; a numerical analysis approximation method（NAAM） to evaluate the range error due to truncation（RET） of different navigation messages; and a basic positioning parameters designing algorithm in the limited space allocation. Based on the predicted ultra-rapid data from the ultra-rapid data from the international GPS service for geodynamic（IGU）, ERDs are generated in real time for error correction.Simulations show that the algorithms developed in this paper are general and flexible, and thus are applicable to NAV improvement and other navigation message designs.     

考虑时间约束的无人飞行器航迹规划

在分析时间误差分配的基础上,本文提出了一种考虑时间约束的航迹规划方法.该方法对传统的航迹结构进行了改进,通过速度调整策略和在代价函数中加入时间约束驱使算法找到使到达目标点时间误差尽可能小的航迹.同时,分别研究了起飞时间误差,速度调节能力及飞行速度误差三个因素对到达目标点时间误差的不同影响.     

分布式SAR时间同步误差的影响分析与试验验证

时间同步是空间同步和相位同步的工作前提,是实现星载分布式SAR干涉测量的核心问题.基于多项式时间同步误差模型,给出了含时间同步误差的数字回波信号仿真模型.采用理论分析与全数字仿真试验相结合的方式分析了时间同步误差对于涉测绘带损失、双站SAR成像以及干涉测高精度的影响.基于包含SAR载荷和时间同步样机等实物在内的半实物仿真系统,提出了采用不同设备连接方案的误差隔离和溯源试验评估方法,通过试验结果对比分析得到时间同步误差对干涉测高的准确影响结果.最后综合得到对时间同步分系统的输入输出指标要求.本文工作对时间同步的工程实现提供有力支撑.     

微小型无人机三轴磁强计现场误差校正方法

详细分析微小型无人机导航用三轴磁强计的误差来源,建立三轴磁强计的等效误差模型,提出基于两步估计算法和圆约束非对准误差估计算法的三轴磁强计现场误差校正方法.在充分考虑地磁场偏转和倾斜特性的基础上,提出适合微小型无人机应用的现场数据采样策略,能够在较少的旋转操作下获得较好的采样数据.仿真表明:在所有磁场误差都存在的情况下,...