一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

基于多目标模糊决策模型的联合作战方案优选

为选择作战方案中的最优方案,对所有的方案进行了排序,依据定性准则和定量的数学模型,利用多目标模糊决策分析方法,对联合作战方案的相关因素进行了分析,综合评价出各方案的优劣程度,最后得到了较为合理的作战方案先后顺序.     

麻黄素工业废液的治理工艺和方法

本文阐述了我国麻黄素工业废水污染及治理的现状,分类介绍了近十余年来我国麻黄素工业废水处理工艺和方法,以求为麻黄素生产厂家提供废水治理的途径。     

自给闭路式正压氧气呼吸器技术探析

介绍了自给闭路式正压氧气呼吸器的结构、工作原理和使用特点。论述了自给闭路式正压氧气呼吸器在消防抢险救援中使用的必要性,探讨了实现其技术先进性的措施和途径。     

SPC技术在导弹厚膜混合电路生产中的应用

SPC(统计过程控制)作为一种先进的质量管理方法,在国外企业被广泛采用,目前国内也有众多企业开始推行.分析了实施SPC的重要性,根据SPC技术在推广应用中的主要工作内容,给出了导弹厚膜混合电路生产中SPC技术的应用方法,包括关键工序节点和工艺参数的确定、工艺参数数据的采集、控制图的使用、工序能力评价以及所采用的控制技术等实际应用方面的内容.     

基于空时内插的机载双基地雷达杂波抑制方法

针对机载双基地雷达下视环境下非均匀地杂波的抑制问题,首先论述了抑制双基地机载雷达非均匀杂波的内插变换类空时自适应处理(space time adaptive processing,STAP)方法。然后在此基础上,提出了一种改进的空时二维内插变换方法(improved space time interpolation transfor-mation,ImSTINT)。该方法将训练样本的杂波子空间映射到单基地地基雷达的杂波子空间中,减少了变换后杂波子空间的自由度。仿真表明该方法比传统的内插变换类方法的杂波抑制性能好,且具有较强的稳健性和较少的样本量需求。     

新型技术设备在护照证件识别中的应用

在各种偷渡行为中,持用伪假护照证件非法出入境是犯罪分子最常用的手段,随着新技术的发展,其伪造手段也向高技术、专业化方向发展。因此,提升护照证件的防伪技术,运用先进技术及新型设备鉴别伪假护照证件,已成为边防管理工作的关键所在。结合现阶段口岸查验中出现的伪假护照证件的主要造假手段,对先进技术及设备在边防检查工作中的应用进行了一些有益探索。     

高黏油品热边界层减阻输转工艺及装置研究

油库高黏油品黏度大、凝固点高,在常温下管输水力损失大,必须加热升温降黏后才能实施管输、收发及灌桶作业.分析了黏油蒸汽加热的不利因素,研究了黏油热边界层减阻输转理论与工艺技术,开拓了热边界层理论与技术的应用领域.研制了基于热边界层减阻理论的黏液输转装置,建立了黏油热边界层减阻工艺水力和热力数学模型,并编制计算程序,通过热...     

基于模糊综合决策的军事信息网络效能评估

为了解决复杂战场环境下军事信息网络效能分析中存在的模糊性和不确定性,将模糊综合评判理论应用于军事信息网络。在介绍模糊综合评判决策模型和评估理论基础上,提出了军事信息网络效能评估指标体系,并通过实例仿真验证了使用方法的有效性和可行性。     

陆军战术作战仿真想定生成方法

针对作战仿真中想定数据的生成需求,在分析仿真想定内容的基础上,规范了仿真想定的生成流程,给出了指挥规则的抽取和量化方式,提出了面向实体的仿真想定结构化表示方法和基于XML的仿真想定存储结构,分析了利用G IS和3D技术实现作战计划和行动协同规划的方法途径,探讨了仿真想定数据的校核内容和重用机制,为实现仿真想定生成工具提供了一种有效的思路。