非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

基于Markov链模型的被动测试错误检测算法

通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.     

基于会议模型的射频优卡多COS安全模型

基于现实会议中席位的分配与共享规则,抽象出能用于射频优卡的席位约束会议模型.基于会议模型分析射频优卡多芯片操作系统(COS)安全问题,给出安全实体的符号化描述和安全需求的形式化定义,建立了COS、存储块和独立存储区的有限状态机模型,并复合这3个模型建立了多COS安全的有限状态机模型.给出了安全模型的原型系统设计及其功能仿真和现场可编程门阵列(FPGA)实现.仿真结果表明该安全模型结构简单,易于实现,具有很好的数据安全性.     

基于分层有限状态机的检修工作票智能防误技术

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine, HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。     

基于界面状态有效性的GUI自动测试模型

针对图形用户界面(GUI)自动功能测试存在的问题,提出了一种基于图形用户界面状态有效性的有限自动机(FSM)测试模型,给出了建模方法和测试方法,该模型不仅能提高测试脚本的重用性,而且能够自动产生GUI测试路径和测试输入数据。     

一种VFSM的图形用户界面的测试方法

采用有限状态机（FSM）来模拟GUI的测试问题具有很大的局限性。作者针对基于FSM的GUI测试的局限性，提出了一个变量有限状态机（VFSM）的形式化模型，该VFSM通过引入一组变量，可以使用较少的状态来模拟复杂的GUI，并且根据GUI设计规范来构造VFSM相对比较简单；然后，给出了一个VFSM－＞FSM的转化定理和转化算法；接着介绍了基于VFSM的GUI测试方法的步骤；最后给出了该方法的一个应用实例数据，数据表明采用VFSM的GUI测试方法大大减少了状态、变换和输出的数量。     

一类随机性EOQ模型的关键路径存贮策略

针对已有存贮策略不能直接适用于库存决策模型的问题,提出了一种基于关键路径的存贮策略,实现了一类随机性经济订货批量公式(EOQ模型)的关键路径求解.通过有限状态机构建算法(BFA),建立了适用于图论的有限状态机的资金有限型随机性EOQ模型,解决了原随机性EOQ模型不能直接应用于图论策略的问题.基于该有限状态机进一步提出了基于统筹法(PERT)的生成算法(BPA),其可将有限状态机转换为PERT图,以符合关键路径求解需求,由此可利用关键路径存贮策略来求解EOQ类模型.通过实例验证表明,所提策略能够较好地求解资金有限型随机性EOQ模型,并保证结果的完整性,同时证明了相关算法的理论性.     

消除EFSM中状态迁移不确定的方法

扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。     

EFSM模型中测试序列的产生方法

在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

一种改进的转换可执行分析测试序列生成算法

为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义-使用路径(all Def-use paths)标准,通过改进的转换可执行分析(transition executability analysis,TEA)方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流测试序列以及所有变量的定义-使用对(Def-use pairs).     

Large Eddy Simulation of Flow Field in Vector Flow Clean-Room

IntroductionThe air- conditioning system is an importantpartofthe air distribution system which directlyinfluences the indoor air quality.For a cleaningair- conditioning system,the air cleanliness degreein clean- rooms depends on the air distribution andt…     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

A Fast Method for Heuristics in Large-Scale Flow Shop Scheduling

Introduction A flow shop is a manufacturing system where n jobs are processed on m machines and each job has the same machine-order[1]. If the job-order on each ma- chine is also the same, it is a permutation flow shop, in which some job-sequences can be …     

液压胀形薄壁管材料流动应力方程的构建

提出了一种采用管材液压胀形（THB）来构建管材流动应力方程的方法．基于薄壁管材在液压胀形中的试验数据，用曲线拟合方法、塑性薄膜理论及静力平衡方程通过计算来确定管材流动应力方程，避免了变形管材轮廓子午向曲率半径、变形区应力与应变的直接测量．采用模具内部增压方式，开发了一套可在单动压力机上使用的自然胀形试验装置，并在此装置上对不锈钢1Cr18Ni9Ti管及碳素钢20钢管进行了管端自由的液压自然胀形试验，获得了2种管材的THB材料参数并构建了流动应力方程．研究结果表明：与单向拉伸试验相比可以得到更大应变范围内的流动应力；在等效应变较小时，所得到的流动应力曲线与单向拉伸试验得到的流动应力曲线基本接近，但随着应变的增大，两者差距增大；从液压胀形试验法中得到的管材硬化指数、强度系数及流动应力均比相应板材的单向拉伸试验数值要大得多。     

应用控制容积有限元法分析注射充模过程中塑料熔体的流动与传热

将Ｂａｌｉｇａ和Ｐａｔａｎｋａｒ提出的控制容积有限元法推广用于分析注射充模过程中熔体的流动与传热，并叙述了其特点．应用此方法计算分析了包括合不同几何形状嵌件的模腔内充模过程的流动与传热问题．得到了一些有益的结论．这将有利于指导在复杂型腔充模过程流动分析时的简化处理．     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

油水气三相流的流型及泡状流向弹状流的转变

油水气多相混输是海上油气田开发中赖以取得重大经济效益的技术,其流动特性的准确计算是管线设计及安全、经济运行的重要依据.首先,通过实验确定出了油水两相混合物由油包水(W/O)向水包油型(O/W)的转变发生在含水率约为0.45时.垂直下降管内油水气三相流的流型基本上可以划分为油包水和水包油型的泡状流、弹状流及环状流.通过对垂直下降管内气泡碰撞、合并机理的分析建立了油水气三相流动过程中泡状流与弹状流间的转变界限的计算式,该转变发生的临界截面含气率约为0.35,计算结果与实验值的平均误差为11%.泡状流向弹状流的转变主要取决于折算气速和折算液速的大小,含水率对转变界限的影响较弱.