雷达装备参数项目测试级别分析

针对雷达装备参数项目测试级别分析中存在的评价因素多、信息模糊等导致评价结果不合理问题,引入模糊综合评判法来构建评价模型.该模型定义了影响参数项目测试级别的因素量化标度,建立了评价因素集、评语集和权重集,通过专家打分方式构建了单因素评判矩阵,采用加权平均法求得模糊综合评价集和综合评价结果,从而确定被评参数项目的测试级别.实例分析表明:该方法的评价结果合理,可信度高,能较好地解决雷达装备参数项目测试级别的确定问题.     

基于LoadRunner和正交试验设计法的数据驱动测试研究与应用

为了实现软件功能测试的自动化并达到软件功能测试事半功倍的效果,给出测试逻辑、测试数据(集)和测试用例(集)的数学定义及其相互之间的关系,并提出了1种软件自动测试技术:基于LoadRunner和正交试验设计法的数据驱动测试技术。首先,借助于软件测试工具LoadRunner生成1个测试逻辑;其次,基于正交试验设计法生成该测试逻辑较少的、高质量的、典型的测试数据;最后,借助于软件测试工具LoadRunner自动执行该测试逻辑的测试用例集并分析其测试结果。同时给出该软件自动测试技术的应用实例,实验结果表明,该技术能够减少测试用例数量且提高测试效率。     

基于类的动态依赖关系的集成测试顺序分配策略

类的集成测试顺序决定着测试工作量的大小。通过分析面向对象程序中类之间的完整依赖关系,给出了基于测试级的集成测试顺序分配策略及其实现。首先,分析了面向对象程序的类之间的依赖关系,并给出了数学描述;接着给出了测试级的定义以及基于测试级的测试顺序分配策略和算法;最后,介绍了基于该分配策略的一个测试级顺序自动生成工具———TLOGOS。该工具已被用于 YSS2000电力监控组态系统的测试,大大减少了测试的工作量。     

自动垃圾回收指针模板类的设计与实现

针对传统指针模型所带来的内存使用上的不便性,设计了新的引用计数指针模型,并给出了引用使用规则.设计了通用的指针模板类,最后给出了测试和结果分析,证明此方法可以解决内存的自动管理问题.     

无线铂电阻温度传感器测试系统

为实现对铂电阻温度传感器的自动测试,设计了基于ZigBee的铂电阻的测试系统.多个高精度微型铂电阻测试节点组网后把测试数据通过汇聚节点传输到计算机.在Windows的开发平台下,利用Delphi7.0+ SQL Server2000技术进行软件研发,实现了铂电阻数据的自动采集、处理、传输、管理、性能评判等功能为一体的自...     

工件定位特征识别与定位方案自动推理算法

研究了基于三维模型的工件定位特征识别和定位方案的自动推理算法．给出了基于三维模型的候选定位特征信息的自动提取与分析算法,提出了基于规则推理与模糊评判相结合的工件定位方案推理算法．该算法基于已知信息确定候选定位模式,根据候选定位模式以及加工信息推理定位基准选择范围,并采用模糊评判算法对候选基准进行优化选择．并用实例对该方法的有效性进行了验证．     

主动式相移干涉测试技术及其应用

在相移干涉测试技术中，相移量误差会直接影响干涉测试的精度，特别是在有振动和空气扰动的环境下很难得到正确的相移量，因而对干涉仪的使用条件要求较高．本文提出了一种主动式相移干涉测试技术，它在较差使用条件下也能自动给出正确的相移量并在这一瞬间自动采集干涉图像，文中叙述了这一技术的原理、实验结果及其在电子散斑干涉技术中的应用．     

AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

基于规则的事件驱动界面系统的模型及实现

从讨论事件驱动界面系统的概念出发，提出一个通用的，基于规则的事件驱动界面系统的概念模型，并给出了定义模型的形式语义机制．为事件驱动界面系统的自动生成提出相应的实现方案     

用蒙特卡罗法模拟产生测试问题

提出了一种根据用户给定特性,用蒙特卡罗法,由计算机自动产生优化测试问题的方法.该方法十分灵活,可由用户给定最优点处的函数值、梯度、海赛阵、退化程度和病态程度,其它数值特性,如不定和凸等也可由用户来控制,依据这个方法,建立了优化测试问题产生器(OTPG),最后给出了一个用 OTPG 产生的测试问题的实例.     

Rule-based automatic program repair method

To tackle the problem of a low accuracy of test suite-based automatic program repair methods, this paper proposes a rule-based automatic program repair method named RuleFix. The proposed method first mines implicit programming rules in programs to locate defects, and then selects an appropriate patch according to the implicit programming rules, and lastly verifies the patch by utilizing the program synthesis tool to ensure the correctness of the repair result. Moreover, to tackle the problem that the existing rule mining algorithms cannot effectively mine low-frequency rules, a low-frequency rule mining algorithm is proposed, which can derives new rules based on the existing rules to improve the ability of rule mining. Finally, a prototype tool is implemented based on the proposed method, and then the proposed method is compared with the existing automatic program repair methods. Experimental results demonstrate that the proposed method has a significantly higher repair rate and accuracy rate than the existing GenProg and PAR methods.     

基于改进 AHP 方法的自动机综合评价研究

为了对火炮自动机的综合性能进行评价,以便为决策部门提供决策依据,采用一种改进的AHP(Analytic Hierarchy Process)方法对6种火炮自动机的综合性能进行了评价.评价时将自动机的性能体系分为目标层、准则层和方案层,用自动机的质量,火炮的口径,弹丸的质量,弹丸的初速和射速作为评价火炮自动机综合性能的准则,并写出相应的判断矩阵,然后用改进的AHP方法找出最优方案,得出的结论与传统的AHP方法一致.改进的AHP方法较传统的AHP方法的主要优点是,省去了对判断矩阵进行一致性检验的过程,减小了人的工作量.     

轨道交通网络有效路径搜索算法的改进及实现

城市轨道交通网络有效路径的判定是网络客流路径分析的基础和关键。本文分析了轨道交通网络节点的处理方式,给出了有效路段和冗余路段的定义和判定规则,在实际应用中发现由于网络节点的特殊处理方式,搜索得到的部分有效路径中存在冗余路段,通过设置换乘节点变量和对路径换乘节点序列的子序列的判断,提出识别冗余路段的方法,并在现有的搜索算法中增加冗余路段的判定步骤,从而改进了算法。在实例计算中,合理确定网络伸展系数的取值,运用Python脚本语言编程实现改进后的算法。程序运行结果表明改进后的算法能正确筛选出轨道交通网络的有效路径,并输出完整的有效路径信息,验证了算法的有效性。     

一种基于规则优先级的词性标注方法

词性标注作为汉语自动分词以至中文信息处理领域比较关键的问题之一,是该领域的研究难点也是研究重点,对兼类词词性标注的正确率严重影响着词性标注的质量。在基于规则的词性标注的基础上,提出了一种基于规则优先级的词性标注方法,即对每条词性标注规则加上优先级,并在标注算法中通过对优先级进行控制来完成兼类词的词性标注。并用大规模语料对该方法做了试验,结果表明其词性标注正确率可达到96.4%。     

高等数学中某些问题的探讨

高等数学中的函数单调性的导数判定法。比较简单易行地解决了函数单调性的判定问题。但此"判定法"的证明,是基于函数单调性的通常定义(全局性的)之上,借助拉格朗日中值定理才能达到。通过对函数单调性的另一个定义(局布性的)进行了探讨创新,直接利用导数的性质给予证明,将"判定法"撇开拉格朗日中值定理这一铺垫,给人一种更直接了当、行之有效的判定证明。     

网络系统最小割集的一种矩阵分解

为了寻求计算双终端网络系统最小割集更为简明的方法，扩展了网络联络矩阵的定义，形成了广义联络矩阵的概念，并基于此提出了一种矩阵分解算法，算法的基础是在一定运算规则下反复对广义联络矩阵进行分解。阐述了算法的理论原理及计算步骤，并给出了冗余节点、子图同构的判断方法和简化规则算例验证了本理论的正确性和适应性。     

蔬菜钵苗自动移栽机送苗装置的设计与试验

针对国内半自动移栽机工作效率提升受限于人工喂苗速度的问题,对自动移栽机的送苗装置进行分析与设计。通过对设计要求的详细分析,提出了横向送苗机构和纵向送苗机构,并对其结构进行详细设计,确定自动送苗装置的各项结构参数,并研制送苗装置试验台。试验表明：本设计是合理的,且试验台喂苗速度可达120株／min,能够满足自动移栽机高速送苗的工作要求。     

Path planning method for cable harness considering complex constraints

Aiming at the problem that the existing path planning method cannot be used in the path planning of multiple electric aircraft airborne equipment cable harness which considers complex engineering rules constraints,a route planning method considering complex constraints is studied and proposed based on the Quasi-Physical and Quasi-Human algorithm and improved A* algorithm.First,the calculation method for the total wiring cost considering the path length cost and the material cost,process cost and weight cost of the bending groove is proposed,with the evaluation function of the traditional A* algorithm improved.Then,the equivalent radius of the cable harness is calculated based on the Quasi-Physical and Quasi-Human algorithm,and the search space automatic processing algorithm and the corner node reasonableness judgment algorithm considering the constraints of engineering rules are proposed.Finally,an example of cable harness laying in an airborne equipment shows that the routing path obtained by using the improved A* algorithm can not only meet the complex constraints,but also reduce the total wiring cost by 5.1% compared with the existing algorithm.     

一种基于演进规则的工作流引擎

尽管当前工作流技术的使用已比较广泛，但对于工作流引擎的形式化模型却很少定义．为此．提出了一种工作流引擎的框架结构，其中包含有利用XML语言实现的工作流过程定义模型、一个基于关系结构的工作流引擎的控制模型以及可以用来支持复杂的业务逻辑的工作流引擎的演进规则．详细论述了这些模型及规则的设计原理以及实现方法．并通过实例论述如何通过演进规则实现工作流引擎的演进推理过程。     

Integrity of grinding face-gear with worm wheel

Aiming at the issue of the grinding integrity of face-gear with worm wheel, the envelope mathematical model of shaper, worm wheel and face-gear is established based on theories of differential geometry and gear mesh. The judgment of completely grinding the face-gear with the avoidance of singularities is established, and the mathematical expression to show the reason why singularities appear is derived, through the research on the surface contact area and singularity rules of the worm thread surface. The disadvantage of current face-gear grinding method that only part of the working surface of the face-gear can be covered is analyzed and the influence of coefficient of judgment is studied through changing the design parameters.