基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

非降路径与栈的计数

栈计数是指序列１，２，…，ｎ，按不同的顺序进、出栈所得到的不同的排列的个数。在［１］和［２］中用不同的方法间接给出了栈计数的值。本文用非降路径与栈操作序列的对应关系，给出了栈计数的一种新的解法，它较之［１］和［２］方法更为直观、简洁。     

基于扩展WSDL的测试用例自动生成

提出了一种基于扩展WSDL文档自动生成Web服务测试用例的方法,生成的测试用例包括测试数据和操作序列两部分：测试数据通过数据类型及刻面约束产生,并在产生过程中,通过子元素的权重调整生成策略,在保证有效性的同时减少了测试数据的数量;操作序列通过分析扩展WSDL的操作依赖关系产生,结合测试数据,能够有效地测试复杂的操作流程．     

输出出栈序列研究

在栈大小不受限制和受限制两种情况下,给定入栈序列(1,2,…,n),分析出栈序列应满足的性质,并据此给出基于穷举法和直接后续法的输出出栈序列的算法及程序实现.算法较直观且易于理解,程序均经过测试,输出正确.     

有限栈的出栈序列计数问题分析

出栈序列个数是栈研究的基本问题.目前的研究大都基于无限栈,即不考虑栈空间的大小来讨论出栈序列计数问题.但在现实应用中,栈大小往往是有限的,出栈序列问题就要复杂得多.从非降路径计数的角度,分析了无限栈和有限栈的出栈序列计数问题;从二元函数的角度,给出了出栈序列计数的算法;最后设计出相应的程序进行实现和验证.实验证明,算法结果正确,算法设计易于理解.     

基于遗传算法的面向多样性EFSM测试序列生成方法

为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试序列间的差异程度.同时在方法中增加测试序列可行性判别机制,以保证最终测试序列均为能产生测试数据的可执行序列.实验结果表明,与未考虑多样性的EFSM测试序列生成方法相比,面向多样性的方法不仅能够生成可执行并满足测试覆盖准则的测试序列集,而且有效减少了测试序列集生成的时间开销,同时缩小了所需最小测试用例集的规模.     

用栈模拟队列运算的算法设计

介绍了栈和队列的基本定义和基本算法，讨论了用栈的入栈基本运算去模拟队列的入队和出队操作。     

一种使用非线性循环数列解决堆栈问题的算法

提出了一种使用非线性循环数列解决堆栈问题的算法,对研究栈的性质和求解栈的输出序列具有一定的实用价值。     

面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

能提高错误检测能力的回归测试用例集约简

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,使得回归测试费用大幅度增加.为降低回归测试成本,需对回归测试用例集进行约简.现有的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了错误检测能力.本文提出了一种新的约简方法,该方法在约简回归测试用例集的时候综合考虑测试用例的测试覆盖度、测试运行代价和错误检测能力3个因素.通过仿真实验表明该方法在有效约简回归测试用例集的同时能保证约简后的测试用例集的错误检测能力.     

A simple plume model induced by stack effect in a vertical shaft

After comparing the mechanism of tilted plume under stack effect with that of spill plume,the tilted plume model induced by stack effect in a vertical shaft is developed simply based on the theoretical results and a series of full-scale tests. It is shown that the two sides of plume are symmetrical and have an accordant regulation that the plume radius has a linear relation to the height z. The profile of fire plume under stack effect is similar to the windblown flame in wind tunnel,and the range of flame deflection angle is about from 50 to 60 degree.     

金融时间序列动态系统的混沌识别

金融系统的运行及其外在表现主要是由金融变量的时间序列数据来记录和反映的 本文给出了金融时间序列数据动态系统混沌识别的方法 ,并对我国上海股市收益率序列实行涨跌停板制度前后期的混沌特性进行了实际定量分析     

电子皮带秤仪表的以太网通信实现

介绍了基于51单片机的电子皮带秤二次仪表以太网接口的设计方法。该设计采用51单片机系列的ADuC845作为主处理器,以太网控制芯片采用NEC28J60,并将uIPTCP/IP栈嵌入到单片机中,实现了电子皮带秤二次仪表与上位机的以太网通讯。     

运营级Wi—Fi网络中的QoS研究

从Wi—Fi技术被广泛应用于语音、多媒体传输等的角度，引出Wi—Fi技术中对高速率传输业务的QoS保障机制——WMM（Wi—Fi Multimedia），通过对WMM的测试，以及从运营的角度对Wi—Fi网络应用和需求进行分析，提出Wi—Fi网络QoS保障需要解决的几个问题和建议，并对Wi—Fi技术的发展进行了展望。     

Development and Experimental Research of kW—scale Molten Carbonate Fuel Cells

A kW-scale moten carbonate fuel cells stack was developed and 800-hours‘ operating test and performance experimental research had been done.Utilizing domestic materials completely,we developed NiO cathode and Ni-Al aonde with the active area of 336cm^2 and γ-LiAlO2 electrolyte tile and bipolar plate with the area of 900cm^2,The stack was composed of thirth cells,with 62% Li2CO3 38% K2CO3 as its electrolyte,During the 800hours continuous operating,the performance of the stack was stable.With 99.7%(mole fraction)H2 as fuel and O2 from air as oxidant,the average operating voltage of a cell was about 0.72V.The maximal current density attained to 165mA/cm^2.and the maximal output power attained to 1080Watt.The whole perfomance of the stack approached to the international level in the early 90‘s ,This paper gives the main works and experimants results.     

基于LCS的水库供水规则分类系统

建立了基于遗传学习分类器系统(LCS)的水库供水规则分类系统,通过信任分配(桶链算法,BBA)与规则发现(遗传算法,GA)机制进行学习,提取水库供水调度规则.实例研究得到学习样本识别率接近95%,检验样本识别率为85%.进一步从调度规则的合理性、学习样本对规则集的影响以及该分类系统与人工神经网络对规则提取结果的比较这3个方面分析了系统提取规则的性能与行为.研究表明,利用该分类系统提取水库供水调度规则是可行且有效的.     

晶闸管大功率供电系统中的欠支路保护

本文在论述晶闸管大功率供电系统中欠支路运行产生原因的基础上,引出了欠支路保护的重要性;针对当前欠支路保护存在的问题,提出采用交流电流互感器检测欠支路信号这一简单可靠而又准确的方法,分析该检测方法的基本原理,并设计了完整的欠支路保护电路。通过在株州冶炼厂一年来的运行试用,证明了该电路具有调整方便,检测准确,保护可靠等特点。     

基于系统隐藏寿命数据的串联系统可靠性估计

作者提出了一种估计串联系统可靠性的新的方法.该方法综合运用了系统水平和元件水平的部分数据.众所周知,一个串联系统的可靠度等于所有元件可靠度的乘积.为了精确估计所有元件的可靠度,我们必须充分利用所有测试数据信息.但是,由于在系统水平的数据中存在一些隐藏数据,我们必须通过一种EM算法来计算以系统水平测试数据为条件的元件的失效概率.另外,作者还提出了一个研究案例.     

起重机微机综合测试的内容、原理和计算公式

采用由微型计算机与激光直线仪、传感器组合成的测试系统,使起重机整机或单项性能的测试,从方法、原理到计算公式都有了重大变化,作者在这方面作了初步研完。根据通用桥式起重机分等规定的技术要求、有关规范和设备、现场条件,本文拟定了一套用于桥式起重机微机综合测试的内容、原理和计算公式,并经过了实践的检验。     

比较判别法的一个推广

以p-级数作为比较级数，对比较判别法进行了一个方面的推广，并用此法较方便地判别一类正项级数的收敛性。