Petri网的符号ZBDD可达树分析技术

Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网町达标识向量的稀疏特征,给出了Petri网分析的符号ZBDD技术,该技术通过对标识向量(状态)的布尔向量表示、可达标识向最(状态)的符号ZBDD生成,实现Petri网可达状态空间的高效符号操作和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题.     

柔性制造系统中生产调度问题的零压缩二叉决策图算法

针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性.     

基于有序二叉决策图的装配序列符号表示方法

通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OBDD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述.     

基于符号零压缩二叉决策图的装配可行性判定方法

为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。     

装配序列规划问题的CSP模型及其符号OBDD求解技术

完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.     

序列模式挖掘研究

为了更好地分析购物篮数据,挖掘出潜在客户,序列模式挖掘应运而生。序列模式挖掘是数据挖掘一个重要研究内容,近年来在很多领域得到广泛运用。概述序列模式挖掘的发展现状,研究基本挖掘框架的经典挖掘算法与扩展模型挖掘算法,特别针对近年来出现的新数据形式序列模式挖掘,以及基于零压缩二叉决策图(ZBDD)结构的挖掘算法做了阐述,最后对序列模式挖掘发展趋势进行了展望。     

面向对象Petri网建模技术综述

阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN,OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望.     

基于离散时间最优控制的航空发动机装配序列规划

为实现航空发动机维修差错的控制,采用基于优先约束关系的装配子网对发动机部件装配序列建模.在给定的装配评价准则下,将装配序列规划问题转化为最优变迁激发序列问题.引入离散时间的Pontryagin最小值原理(DTPMP),将极小化哈密顿函数这一全局优化的必要条件作为求解零部件装配序列的启发信息.为避免潜在死锁,给出了最优变迁激发序列算法.最后对最优装配序列规划算法的分析显示,该算法有多项式时间的复杂度.     

转融通平台自动化管理系统

设计实现一个针对证券行业开市前环境准备的自动化运维管理系统. 利用着色赋时Petri网（CTPN）对工作流进行建模、基于开源SQLLITE建立后台数据库,利用Autoit语言实现TCP/IP通信、用户登录、用户管理、日志查询、时间片设置、自动化执行时间设置、自动化配置项设置、手工配置项设置、执行结果查看、系统运行情况实时查看等功能. 实验结果表明,该系统可减少人工操作失误,大幅度提高运维效率.     

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂, 实现对生产事件快速灵活响应, 本文提出了一种调度与控制一体化的方法. 首先, 定义了一种新型Petri网模型, 即平行Petri网, 从而集成地描述了传感器、执行器、任务和资源信息, 构建制造系统的信息物理系统模型; 其次, 提出了一种从平行Petri网到赋时Petri网的抽象简化方法, 大规模压缩优化调度所需搜索的状态空间; 再次, 定义了策略Petri网以描述最优调度策略. 最后, 给出了平行Petri网与策略Petri网同步执行算法, 使得平行Petri网与物理系统同步执行.     

基于变异测试和OWL-S文档的Web服务测试用例生成

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。     

模型驱动的Web应用测试

为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。     

Web应用测试用例生成研究

随着Internet的高速发展,Web应用成为软件的主流之一,Web应用程序也变得越来越复杂,从多方面着手提高Web应用的质量是Web应用开发者的必然选择.Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例.把现有的Web测试用例生成方法归结为4类:Capture/Replay方法、HTML分析法、源代码分析法、User-Session分析法,随后对这4类方法进行详细讨论,并归纳出这4类方法生成测试用例的一般步骤.最后总结了这4种方法的优缺点,从方法实现的难易程度、覆盖率等方面比较了它们的性能.     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

用分类树方法实现Web服务测试例的自动生成

随着Web服务技术的不断发展和广泛应用,需要运用新的测试技术来保障Web服务的正确有效运行,而测试例的生成是Web服务测试的一项重要内容,它将直接关系到Web服务测试的效率和成本。基于Web服务的WSDL文档,根据输入域中子集间相互关系,利用分类树的方法(Classification Tree Method),提出Web服务测试例的一种自动生成方法,据此达到最少的数量最大限度地进行覆盖的目的,并结合具体的实例,使用CTE测试工具增强测试的自动化程度,从而提高软件测试的效率和软件的质量。     

基于OWL-S文档的Web服务测试用例生成

若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作.现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法.利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本.     

基于规则映射的Web服务自动组合

针对目前多数Web服务组合流程需要人工设计的问题,提出一种基于输入输出参数与规则关联映射自动构建Web服务组合路径的方法。该方法首先给出产生式规则库,并对输入输出参数本体建模,然后从用户给定的输入出发,建立输入输出参数与规则相关联的映射表,在映射表中由用户期望的输出开始回溯找出所有满足条件的组合路径,最后根据服务质量描述,选取最优的组合方案返回给用户。     

基于任务依赖信息的Web服务自动合成

随着Web服务的大量出现,Web服务的合成成为当前的一个研究热点.然而,目前大多数的合成语言规范,例如BPEL4WS和WSCI,都需要人工预先设计一个固定的执行流程,难以充分发挥Web服务自适应的特点.通过形式化描述单一的Web服务,建立了通过任务间依赖规范实施合成的方法,提出了一种具有柔性和自适应能力的工作流模型,实现Web服务的自动合成.同时,设计了合成的正确性验证算法以及动态补偿机制使提出的模型易于实用.     

基于有限状态机的Web服务测试用例生成方法

提出了一种基于有限状态模型（FSM）的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。     

基于协议的Web软件交互测试

分析并提出了一种基于协议的Web软件交互测试方法,通过截获Web软件的通信消息来进行交互测试,同时探讨了进一步研究方向。