软件的单故障模型及故障的测试方法

研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

运动舰船静态电磁目标特性的综合建模方法

针对运动舰船水下静态电磁目标特性,提出基于相对论的电磁变换关系,利用"运动的电性模拟体+运动的磁性模拟体"对运动舰船周围的静态电、磁场进行综合建模,并选用三分量电偶极子及磁偶极子分别作为电性模拟体和磁性模拟体,具体说明综合建模的实施方法及简化应用方向.研究结果将有助于正确地掌握运动舰船周围的静态电磁目标特性,同时提供了利用运动舰船的实测电磁信号数据对相关理论进行验证的可能性.     

基于液力变矩器与发动机匹配工作性能的液力变矩器结构参数优化

在拟合装甲车辆发动机与液力变矩器有关特性曲线的基础上,以二者匹配工作的动力性、经济性为目标,建立发动机与液力变矩器匹配工作优化模型及目标函数,通过液力变矩器结构参数优化使发动机与液力变矩器得到最佳匹配性能,优化方案切实可行,为液力变矩器的设计、优化提供了方法。     

大规模无线传感器网络中面向ANY型查询的能量高效数据分发算法

在事件数据的push和pull之间实现更好的平衡是无线传感器网络数据分发算法节能的关键.分析了两种典型的有结构和无结构的数据分发算法,结合这两种算法使用的push pull策略,针对无线传感器网络的ANY型查询的特定需求,提出了两种基于有结构和无结构存储模式相结合的混合型数据分发算法SDC1&2.分析表明,这两种算法在保证push pull之间平衡的前提下解决了已有算法存在的热点问题、存储拷贝数多和查询性能低问题,能更好地适应ANY型查询的特点,是两种能量高效的数据分发算法.     

调制气流声源振动系统参数分析

通过实验数据与理论计算结果的对比,分析了气流对振动系统的阻尼作用;并以实验声源为基础,以等效电路方法分析了调制气流声源振动系统的弹性系数、磁感应强度、音圈质量、电阻、电感以及绕线方式等参数对音圈振幅的影响;根据调制气流声源的用途差异,提出了用于语音广播和产生大功率低频声波时振动系统各参数的选择方法.     

一种双基地雷达空间同步模型设计方法

为了满足现代战争中双基地雷达的三大同步关键技术需求,提出了一种双基地雷达的空间同步方法,采用脉冲追赶式同步扫描模式,设计了接收天线指向角模型、扫描速度模型和波束宽度的模型,保证接收站无论是单基或双基工作都能够做到空间同步;并对模型进行了仿真,通过分析仿真结果得出了有用的结论,具有一定的学术和工程参考价值。     

基于BP神经网络的柴油机动态输出扭矩预测建模

比照测试柴油机负荷特性方法对某型废气涡轮增压柴油机进行了全工况热平衡台架试验,并以柴油机各稳定工况点台架试验的转速、加油尺杆位移、排气温度及相应输出扭矩的测试数据为训练、测试样本,通过BP神经网络的反复学习,得到了精度较高且泛化能力较强的柴油机动态输出扭矩预测模型。     

纳米硼酸镧的制备、表征及其在水介质中的摩擦学性能

采用化学沉淀法合成了硼酸镧纳米微粒,利用透射电镜、热分析仪、FT-IR光谱仪对其结构进行了表征,采用四球摩擦试验机考察了其在水介质中的摩擦学行为,并用扫描电子显微镜和X射线光电子能谱分析了磨损表面形貌和主要元素的化学状态.结果表明,纳米硼酸镧作为水基润滑添加剂能显著提高水的抗磨减摩性能,添加剂在摩擦过程中发生了摩擦化学反应,在摩擦副表面生成了含La2O3,B2O3,FeO和Fe2O3的复合润滑膜,有效地提高了水的抗磨减摩性能.     

声纳浮标均匀布放问题研究

针对声纳浮标的均匀布放问题,借鉴喷泉最优布放模型对此进行了研究。对声纳浮标的作用距离、平均场强、平均偏离强度进行建模,采用数值算法对正三角形阵的最优布放间隔进行了计算,并对其余两种阵型的计算方法进行了论述。经分析,认为正三角形、正四边形、正六边形是符合要求的三种基本阵型。所求得浮标间距能够满足工程上的要求,能够为反潜机的浮标布放提供决策依据。