基于层次状态机的方面化特征模块的增量式验证 被引量：6

1

作者 叶俊 谭庆平 +1 位作者 李暾 徐建军 《计算机学报》 EI CSCD 北大核心 2009年第9期1773-1781,共9页

方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM... 方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM的验证方法,这制约了AFM范式的应用.文中首次为AFM范式建立了形式化模型,并基于此模型提出一种AFM程序的增量式的验证方法.该方法可以从一个小规模的AFM程序的验证开始,以后每次只添加对新组合的AFM模块的验证,因此可避免直接验证大型AFM程序时可能由于模型的规模太大而无法验证的问题. 展开更多

关键词 方面化特征模块(AFM) 层次状态机(hsm) 增量式验证 面向特征编程范式(FOP) 面向方面编程范式(AOP)

在线阅读 下载PDF 职称材料

层次化UML状态机在拆装过程仿真中的应用 被引量：9

2

作者 陈静杰 李会茹 曾学锋 《图学学报》 CSCD 北大核心 2014年第3期481-485,共5页

针对目前飞机维修培训中拆装流程复杂,系统模型繁多的问题,采用层次化分析法和UML状态机相结合的建模方法,建立飞机组件的拆装过程模型。运用UML状态机建立拆卸组件的状态、迁移和约束模型,规范拆卸零部件模型的统一性表达,提高建模的... 针对目前飞机维修培训中拆装流程复杂,系统模型繁多的问题,采用层次化分析法和UML状态机相结合的建模方法,建立飞机组件的拆装过程模型。运用UML状态机建立拆卸组件的状态、迁移和约束模型,规范拆卸零部件模型的统一性表达,提高建模的效率。利用层次化方法对零部件进行层次规划,实现拆卸目标组件的有序逻辑表述,实时监测拆卸零部件的状态,从而建立仿真程度高的训练模型。最后,以维修培训平台中飞机某组件的拆装为例,验证层次化UML状态机拆卸过程仿真方法的有效性。 展开更多

关键词 维修培训 层次化分析 状态机 拆装模型

在线阅读 下载PDF 职称材料

一种检查层次式有穷状态机一致性的方法 被引量：1

3

作者 蔡持峰 陈伟清 毋国庆 《小型微型计算机系统》 CSCD 北大核心 2000年第12期1324-1326,共3页

本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测

关键词 层次式有穷状态机 一致性 检查 实时控制系统

在线阅读 下载PDF 职称材料

基于有限状态机的LIN总线车灯控制系统层次优化设计 被引量：2

4

作者 彭晓珊 余明扬 《机械设计与制造》 北大核心 2013年第1期43-45,共3页

针对目前本地互联网络LIN(local interconnect network)总线车灯控制系统设计中存在的规范性差、难以优化、设计周期长、测试维护成本高等缺点,利用网络描述文件和有限状态机对LIN总线协议层数据单元和应用层行为的描述,提出了新型的LI... 针对目前本地互联网络LIN(local interconnect network)总线车灯控制系统设计中存在的规范性差、难以优化、设计周期长、测试维护成本高等缺点,利用网络描述文件和有限状态机对LIN总线协议层数据单元和应用层行为的描述,提出了新型的LIN总线车灯控制系统层次优化设计模式,为高效可靠开发LIN总线系统提供了高效设计方案。同时采用Proteus平台设计了基于PIC16F877微控制器的车灯控制系统硬件部分,并给出了非优化设计和优化设计之间总线负载率的测试结果。 展开更多

关键词 本地互联网络 网络描述文件 有限状态机 电控单元 层次优化设计

在线阅读 下载PDF 职称材料

层次状态机可复用软件框架的设计与应用 被引量：7

5

作者 何伟 金远平 金鑫 《计算机应用与软件》 CSCD 北大核心 2007年第10期34-36,共3页

随着软件复用技术的发展,可复用的软件框架日益受到人们的重视。软件框架有助于实现领域内体系结构层次较大粒度的设计复用,已成为一个软件系统的核心。在对层次状态机基本概念说明的基础上对嵌入式软件开发领域中的层次结构进行了深入... 随着软件复用技术的发展,可复用的软件框架日益受到人们的重视。软件框架有助于实现领域内体系结构层次较大粒度的设计复用,已成为一个软件系统的核心。在对层次状态机基本概念说明的基础上对嵌入式软件开发领域中的层次结构进行了深入研究,最后设计并实现了一个可复用的软件框架State Machine Engine,在嵌入式软件开发中有很强的应用价值。 展开更多

关键词 软件框架 层次状态机 面向状态 UML

在线阅读 下载PDF 职称材料

基于层次状态机的服务组合

6

作者 张飒 朱雪峰 《计算机工程与设计》 北大核心 2022年第10期2777-2782,共6页

为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的... 为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的过程中,提出方法从QoS、冗余服务和约束条件3个方面对组合方案进行优化。将提出的方法与传统服务组合方法进行对比,验证该方法的效率更高。 展开更多

关键词 WEB服务组合 层次状态机 约束条件 服务质量 去冗余服务

在线阅读 下载PDF 职称材料

应用于工作流的元层次软件结构 被引量：1

7

作者 何志强 蔡文杰 李磊 《计算机工程》 EI CAS CSCD 北大核心 2005年第1期103-104,124,共3页

形式化描述了元层次软件体系结构(MLSAW)。MLSAW包括基本层次、元层次、元模型层次和元解析器。该文讨论了应用于电信工作流系统的MLSAW实例,架构实例表明MLSAW使具体应用和整体策略相互独立,为工作流系统带来显著的柔性扩展。

关键词 元层次软件体系结构 有限状态机 工作流

在线阅读 下载PDF 职称材料

信息系统生存性分析模型研究 被引量：11

8

作者 林雪纲 许榕生 《通信学报》 EI CSCD 北大核心 2006年第2期153-159,共7页

基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值... 基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值调整表示各种环境;提出了基于FSM的分析过程模型,通过系统状态的层次结构,将传统的基于系统状态的直接分析转化为间接的层次分析。事件的量化使得该分析模型具有一定的量化分析应用前景。 展开更多

关键词 生存性 分析模型 有限状态机(FSM) 层次的

在线阅读 下载PDF 职称材料

基于SOPC和量子框架的电控机械式变速器电控系统 被引量：5

9

作者 綦声波 张承瑞 罗映 《农业机械学报》 EI CAS CSCD 北大核心 2011年第10期13-19,共7页

针对传统嵌入式系统开发中软/硬件分离以及软件开放性不足等问题,提出利用软/硬件协同设计和量子框架的综合解决方案,形成了"五层/三总线/一框架"的软/硬件综合开发结构,并将其应用于AMT电控系统的设计中。实现了针对NiosⅡ... 针对传统嵌入式系统开发中软/硬件分离以及软件开放性不足等问题,提出利用软/硬件协同设计和量子框架的综合解决方案,形成了"五层/三总线/一框架"的软/硬件综合开发结构,并将其应用于AMT电控系统的设计中。实现了针对NiosⅡ软核的量子框架移植,并设计了AMT主活动对象的层次状态机。实现过程及试验结果表明,此种设计方案可提高系统开发的灵活性和软件的质量。 展开更多

关键词 电控机械式变速器 嵌入式系统 协同设计 量子框架 层次状态机

在线阅读 下载PDF 职称材料

大规模Burst Mode异步控制电路分解与综合 被引量：1

10

作者 阮坚 王志英 +1 位作者 王蕾 李勇 《计算机科学》 CSCD 北大核心 2009年第2期162-166,共5页

对于现有的Burst Mode异步控制电路综合方法而言,由于在状态归约与赋值阶段需要进行完备的状态空间搜索,面临状态空间爆炸问题,因此仅仅适用于中小规模控制电路。为了提高电路的综合规模,使得Burst Mode异步控制电路走向实用化,提出了... 对于现有的Burst Mode异步控制电路综合方法而言,由于在状态归约与赋值阶段需要进行完备的状态空间搜索,面临状态空间爆炸问题,因此仅仅适用于中小规模控制电路。为了提高电路的综合规模,使得Burst Mode异步控制电路走向实用化,提出了一种新的大规模Burst Mode异步控制电路的综合方法:利用Burs tMode状态机所对应有向图的有向回路集合对状态机进行分解,得到相互独立的子状态机;对各子状态机进行调整,采用请求/应答信号实现相应子状态机之间的四段握手通信;设计接口状态机解决相应子状态机之间的仲裁问题。通过实例比较可知,该方法可以大幅度地提高综合规模,降低综合复杂度,减少综合时间。 展开更多

关键词 BURST Mode异步控制电路 BURST Mode状态机 层次化分解 逻辑综合

在线阅读 下载PDF 职称材料

船舶分油机仿真系统的设计与实现 被引量：4

11

作者 焦品博 王海燕 《上海海事大学学报》 北大核心 2020年第2期90-95,122,共7页

为帮助学员掌握分油机的工作原理和操作方法,以Alfa Laval S系列分油机为研究对象,结合层次状态机的概念,设计两层嵌套状态机作为分油机仿真系统的整个工作周期内的逻辑控制。通过简化分离筒的几何形状建立分油机的数学模型,以模拟分油... 为帮助学员掌握分油机的工作原理和操作方法,以Alfa Laval S系列分油机为研究对象,结合层次状态机的概念,设计两层嵌套状态机作为分油机仿真系统的整个工作周期内的逻辑控制。通过简化分离筒的几何形状建立分油机的数学模型,以模拟分油机内油水分界液面的变化。采用树形拓扑结构描述操作菜单的信息显示。利用可编程逻辑控制器(programmable logic controller,PLC)通信技术,实现分油机的半实物仿真系统。测试结果表明,层次化的状态控制使得系统控制过程结构化、清晰化,状态之间的转换关系表达明确,能逼真地模拟分油机的工作过程。 展开更多

关键词 船舶分油机 层次状态机 数学模型 半实物仿真

在线阅读 下载PDF 职称材料

基于量子框架的齿轮倒角机控制系统设计与研究 被引量：1

12

作者 张亚斌 洪荣晶 张奥敏 《航空制造技术》 2020年第5期41-45,共5页

为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套... 为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套用于齿轮倒角加工的开放式数控系统。软件部分介绍了量子框架的相关内容,给出了量子框架的组织结构和齿轮倒角数控系统的体系图。最后开发出能够对倒角机进行逻辑控制的加工软件。经测试表明,由量子框架技术设计的齿轮倒角数控系统具有更高的的可靠性,同时降低了控制系统软件的开发设计难度。 展开更多

关键词 齿轮倒角 开放式结构 运动控制卡 量子框架 层次状态机

在线阅读 下载PDF 职称材料