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

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

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

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

BSn,ECn和FCn的对称性

对称性是图作为网络模型的重要性质.而网络设计者关注较多的是那些同距离有关的对称性.这是因为路径问题是网络研究的核心问题.BSn,ECn和FCn是三类常用于互联网络的Cayley图.1993年,lakshm ivarahan等人提出了一些公开问题.其中包括BSn,ECn和FCn的距离正则性.在本文中,对于BSn,ECn和FCn我分别定义了一些参数称为"改良的交叉数".并且证明了这三类图的确具有依赖于距离的对称性.这说明在这三类图中寻找一个不依赖于点的路径是可行的.     

基于路径图的多元统计过程诊断

针对多元统计过程控制图中失控信号的诊断问题，提出了基于路径图的多元统计过程诊断方法.利用路径图给出的变量之间定量化的因果关系，对所有变量分别建立对应的线性回归方程，以得到联立方程模型.通过联立方程模型建立了统一的T2统计量分解方式，并构建了分解式中所有分解项的判定界限，将其作为判定引起失控信号产生的根本原因的标准.通过对三元系统仿真，验证了其有效性.     

面向防汛减灾VR-GIS的汛情虚拟场景演进方法研究

基于模糊神经网络和面向对象方法,对汛情虚拟场景及实现方法进行了研究,提出了基于模糊联想记忆网络FAM的汛情场景演进模型EFSM.EFSM采用多层模糊联想记忆网络,避免了大规模复杂数学计算,有效解决了防汛减灾VR-GIS平台的关键问题.     

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

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

多变量统计分析中独立变量数目的判定方法

数据空间的不均匀性是导致基于样本协方差矩阵特征值的多变量系统独立变量数目判定误差的原因.为此,文中提出了一种多变量统计分析中独立变量数目的判定方法.该方法首先对样本数据马氏距离化,然后添加均匀白噪声以掩蔽数据空间的不均匀性,最后降序排列协方差矩阵的特征值,计算对数值,并求二阶差分,所得序列值分为与零值有微小差异的噪声贡献和与零值有明显差异的独立变量贡献,从而实现了独立变量数目的准确判定.算例和实验结果均表明,该方法判定结果准确、清晰、稳定.     

多方安全计算在保密路径判定中的应用

保密路径判定是一种特殊的保密隐私的几何计算问题.基于保密点积协议和百万富翁协议提出了一种半诚实模型下的曲线与椭圆区域的保密相交判定协议,并对协议的性能进行了分析.该判定协议可用于解决保密路径判定问题.     

操作变量与前馈变量转换对模型预测控制可行域影响机制

模型预测控制因其解耦性和强鲁棒性得以在过程控制中广泛使用.在实际生产过程中,因操作需要常常放开控制器对部分操作变量的控制,此部分操作变量则转化为前馈变量.变量之间的转换将使系统的结构在方系统、胖系统和瘦系统之间发生转换.对于瘦系统,操作变量的维数少于被控变量,其控制效果往往低于其他结构的系统.同时,原操作变量不被控制器控制后,转换为前馈变量,也会影响对系统的控制效果.可行域能直接反映系统控制效果.在对状态空间模型进行多步预测推导的基础上,将部分控制变量与前馈变量进行转换,用空间几何映射表示变量转换,并分析转换对系统可行域的影响.最后,针对实际生产过程中放开部分控制变量的情况,提出预判机制,以保证系统可控.     

多用户界面应用程序代码自动生成机制研究

设计和实现一种针对多用户界面应用系统的专用CASE平台，提出在这种CASE平台中具有新意且实用的代码自动生成方法．在论述作为代码自动生成机制的EFSM的定义基础上，通过实例介绍了在这种CASE平台中基于设计模型提取资源、建立EFSM模型，直到生成代码的全过程，进而验证了多用户界面应用系统平台上基于EFSM的代码自动生成机制的可行性。     

一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性。实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度。     

基路径与业务逻辑结合的有效测试路径集算法

在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算法模型是有效的.     

基于UML状态图的协议文本转换技术

利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.     

基于改进DWA的动态环境路径规划算法

摘 要 在涉及机器人自主运动和目标跟踪等场景中,动态障碍物的存在可能会对实时规划产生威胁。因此,生成一条安全路径以确保机器不会与动态障碍物发生碰撞显得至关重要。为此,提出一种改进的动态窗口法(dynamic window approach,DWA),其基于参考速度障碍物（velocity obstacle,VO)的思想,通过考虑障碍物的速度计算基于障碍物的危险区域,进行DWA节点选择排除不可行的路径,并且通过引入人工势场法作为评价函数选择最佳节点以避免与动态障碍物发生碰撞且能够快速到达期望目标点。结果表明：相对于传统的DWA算法,本文提出的DWA-VO算法在动态环境中相对于传统的DWA算法具有更高的成功率和更好的规划质量。     

利用光滑型算法求解线性规划问题

针对线性规划问题,给出了其原问题和对偶问题的最优性条件,并通过引入一个正则化的对称扰动的光滑函数,将其扩展成一个混合线性互补问题,并利用光滑型算法求解．该算法具有全局收敛的特性．对于有最优解的问题,算法能求得问题的一个严格互补解;对于不可行的问题,算法也能表明问题的不可行性．     

一种利用不可行解的贝叶斯网学习算法

现有的基于打分搜索的贝叶斯网学习方法都是利用满足有向无环图的可行解进行学习.在搜索过程中遇到不可行解时,这类算法简单地去除不可行解或将不可行解转化为可行解.然而,有的不可行解中往往蕴含着有价值的信息.本文提出一种新的贝叶斯网学习方法ISEC,同时利用可行解和不可行解学习贝叶斯网络,并提出针对不可行解的选择策略,在学习过程中可以有效地利用不可行解中的有用信息.实验结果表明,ISEC能够比仅利用可行解的方法更快地学习到更优的贝叶斯网.     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.     

面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件。一个可行的测试准则是当且仅当对任意一个程序，都存在一个测试用例集能够满足该准则，但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行，在一类具有可行性的测试准则FDF的基础上，给出院 三类新的基于数据流的测试准则。并且证明其中两类准则比FDF测试准则具有更强的故障检测能力。