一种新的UIO测试序列生成算法

基于贪心算法提出了寻找FSM(finitestatemachine)各个状态的UIO(uniqueinputoutput)序列的伪多项式时间算法,可以快速地找出FSM的UIO序列,基于“由近及远”的方法提出了寻找最短UIO测试序列的算法,可以找出FSM的最短UIO序列.     

非确定系统中可观察状态集的识别序列的一种推导方法

主要针对非确定系统（实际中的大部分系统都具有非确定性），提出可观察状态集的识别序列的定义，并对于按照观察等价关系化简的系统的实现的集合，给出一种生成可观察状态集识别序列的方法．     

一种新的基于FSM的UIO序列生成算法

在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.     

有限自动机积的初(末)态试验序列、UIO序列和同步序列

主要对积运算后有限自动机的初(末)态试验序列、U IO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、U IO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与U IO序列间的联系。     

一种基于图象序列的3D重构算法

提出一种基于图象序列的 3D重构算法。采用共轭梯度法迭代估计射影深度 ,通过矩阵分解方法实现射影重构。然后利用一个 4× 4非奇异矩阵 ,将射影重构变换为欧氏重构。实验结果表明此算法是行之有效的     

一种复合算法的装配序列规划方法

针对复杂产品装配规划的组合爆炸和盲目搜索难题,提出一种复合算法解决装配序列规划问题的方法。复合算法首先采取多色集合形式化推理获取足够数量的可行装配序列,并将可行装配序列作为遗传算法的初始种群;然后,通过遗传算法和蚁群算法将人的模糊知识融入规划过程中求精确解;最后,通过实例验证了复合算法的可行性。     

一种新的DNA序列的3D图形表示

基于DNA序列的混沌游戏表示，给出了一种新的3D图形表示来表征DNA序列。为了便于序列间的比较，将DNA序列的3D图形表示转化成了相应的矩阵表示并讨论了它们的数字特征。     

一种有效的识别合法用户的方法

识别合法用户是计算机安全保密的一项重要内容。本文提出了一种有效的识别合法用户的方法，该方法具有良好的抗猜测性，而且易于实现。     

利用4D地震数据校正储层静态模型的集合卡尔曼滤波方法

储层静态模型是利用已知数据,结合先验性认识对未知储层空间进行插值预测,由此得到的结果与实际生产观测数据以及4D地震观测数据之间存在较火差异.基于集合卡尔曼滤波方法,通过观测数据反推系统模型的状态向量,对储层静态模型加以校正使得校正后的储层静态模型和观测数据之间差异最小化.选择4D地震属件差异作为观测数据,通过合理地抽取观测点,提高了运算效率.模型试验表明,校正后的静态模型能够较好地反映储层非均质性,并且与4D地震数据有较好的一致性.     

一类刚性问题的序列分裂方法求解

将序列分裂方法应用于一类刚性常微分方程初值问题的求解,通过理论分析和数例说明分裂方法处理此类刚性问题是收敛的.     

非确定性系统的动态测试过程

针对非确定性系统,提出一种新的相容性测试方法．即扩展〔１〕中所提出的对确定的有限状态机进行动态测试的方法,使之可应用于非确定的带标记转换系统．与以往方法相比,该方法可获得更符合实际的测试结果．     

协议一致性测试数据包的构造与解析

数据包的构造与解析是协议一致性测试中的关键技术。在对协议一致性测试原理、特点和流程进行分析的基础上,定义协议一致性测试中的相关概念,建立协议一致性测试中的相关规则,提出一种数据包的构造、发送、捕获和解析的方法,设计数据包构造、发送、捕获和解析算法并对其进行分析。数据包构造算法可依据协议标准规定的消息格式,为每个数据包字段依次赋值;数据包发送算法是通过网络适配器,根据待发送数据包的名称、类型和发送序列,实施数据包的发送;数据包捕获与解析算法是通过网络适配器捕获原始数据包,设置并编译过滤规则,对捕获到的数据包按照协议标准说明进行解析,与预期构造的数据包进行比对。由于设置了过滤规则,有针对性地捕获数据包,因而,提高了数据包的捕获准确率。     

DECT网络层一致性测试套的设计

尽管在对网络协议的一致性测试方面已经取得了相当大的进展，但是如何有效地，全面地测试一个实际的协议仍然是一致性测试研究方面的主要问题，本文集中讨论测试方法的选择，测试过程中的控制程度和一致性程度的关系，以及确定地测试ＩＵＴ的意义，为ＤＥＣＴ网络层设计的致性测试套体现了这些观点。     

有机化学教学研究2例

对如下两个有机化学教学问题进行了探讨:(1)如何确定链状多烯顺反异构体的数目和类型;(2)单糖的Fischer投影式转变为透视式的简便方法。     

关于通信协议测试生成形式方法的探讨

结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

一种动态协议一致性测试方法

利用约束满足技术实现了一种新的动态协议一致性测试方法，解决了由于固定测试集的错误覆盖度、测试用例的相关性，以及实测结果的影响，导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题．     

H~∞状态反馈控制问题的ARE方法

本文研究状态反馈控制器的H~∞优化设计问题.文中阐明了系统传递函数的H~∞范数与其状态空间实现及代数Riccati方程(ARE)之间的关系.在此基础上给出了状态反馈控制器H~∞优化设计的两个定理.文中提出的设计方法,适用于一般系统,为状态反馈控制器的设计提供了理论基础和基本算法.     

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法,称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．为将来的进一步研究提供了一个良好的环境