期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于层次状态机的方面化特征模块的增量式验证 被引量: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
层次状态机可复用软件框架的设计与应用 被引量:7
2
作者 何伟 金远平 金鑫 《计算机应用与软件》 CSCD 北大核心 2007年第10期34-36,共3页
随着软件复用技术的发展,可复用的软件框架日益受到人们的重视。软件框架有助于实现领域内体系结构层次较大粒度的设计复用,已成为一个软件系统的核心。在对层次状态机基本概念说明的基础上对嵌入式软件开发领域中的层次结构进行了深入... 随着软件复用技术的发展,可复用的软件框架日益受到人们的重视。软件框架有助于实现领域内体系结构层次较大粒度的设计复用,已成为一个软件系统的核心。在对层次状态机基本概念说明的基础上对嵌入式软件开发领域中的层次结构进行了深入研究,最后设计并实现了一个可复用的软件框架State Machine Engine,在嵌入式软件开发中有很强的应用价值。 展开更多
关键词 软件框架 层次状态机 面向状态 UML
在线阅读 下载PDF
基于层次状态机的服务组合
3
作者 张飒 朱雪峰 《计算机工程与设计》 北大核心 2022年第10期2777-2782,共6页
为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的... 为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的过程中,提出方法从QoS、冗余服务和约束条件3个方面对组合方案进行优化。将提出的方法与传统服务组合方法进行对比,验证该方法的效率更高。 展开更多
关键词 WEB服务组合 层次状态机 约束条件 服务质量 去冗余服务
在线阅读 下载PDF
一种检查层次式有穷状态机一致性的方法 被引量:1
4
作者 蔡持峰 陈伟清 毋国庆 《小型微型计算机系统》 CSCD 北大核心 2000年第12期1324-1326,共3页
本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测
关键词 层次式有穷状态机 一致性 检查 实时控制系统
在线阅读 下载PDF
基于SOPC和量子框架的电控机械式变速器电控系统 被引量:5
5
作者 綦声波 张承瑞 罗映 《农业机械学报》 EI CAS CSCD 北大核心 2011年第10期13-19,共7页
针对传统嵌入式系统开发中软/硬件分离以及软件开放性不足等问题,提出利用软/硬件协同设计和量子框架的综合解决方案,形成了"五层/三总线/一框架"的软/硬件综合开发结构,并将其应用于AMT电控系统的设计中。实现了针对NiosⅡ... 针对传统嵌入式系统开发中软/硬件分离以及软件开放性不足等问题,提出利用软/硬件协同设计和量子框架的综合解决方案,形成了"五层/三总线/一框架"的软/硬件综合开发结构,并将其应用于AMT电控系统的设计中。实现了针对NiosⅡ软核的量子框架移植,并设计了AMT主活动对象的层次状态机。实现过程及试验结果表明,此种设计方案可提高系统开发的灵活性和软件的质量。 展开更多
关键词 电控机械式变速器 嵌入式系统 协同设计 量子框架 层次状态机
在线阅读 下载PDF
船舶分油机仿真系统的设计与实现 被引量:4
6
作者 焦品博 王海燕 《上海海事大学学报》 北大核心 2020年第2期90-95,122,共7页
为帮助学员掌握分油机的工作原理和操作方法,以Alfa Laval S系列分油机为研究对象,结合层次状态机的概念,设计两层嵌套状态机作为分油机仿真系统的整个工作周期内的逻辑控制。通过简化分离筒的几何形状建立分油机的数学模型,以模拟分油... 为帮助学员掌握分油机的工作原理和操作方法,以Alfa Laval S系列分油机为研究对象,结合层次状态机的概念,设计两层嵌套状态机作为分油机仿真系统的整个工作周期内的逻辑控制。通过简化分离筒的几何形状建立分油机的数学模型,以模拟分油机内油水分界液面的变化。采用树形拓扑结构描述操作菜单的信息显示。利用可编程逻辑控制器(programmable logic controller,PLC)通信技术,实现分油机的半实物仿真系统。测试结果表明,层次化的状态控制使得系统控制过程结构化、清晰化,状态之间的转换关系表达明确,能逼真地模拟分油机的工作过程。 展开更多
关键词 船舶分油机 层次状态机 数学模型 半实物仿真
在线阅读 下载PDF
基于量子框架的齿轮倒角机控制系统设计与研究 被引量:1
7
作者 张亚斌 洪荣晶 张奥敏 《航空制造技术》 2020年第5期41-45,共5页
为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套... 为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套用于齿轮倒角加工的开放式数控系统。软件部分介绍了量子框架的相关内容,给出了量子框架的组织结构和齿轮倒角数控系统的体系图。最后开发出能够对倒角机进行逻辑控制的加工软件。经测试表明,由量子框架技术设计的齿轮倒角数控系统具有更高的的可靠性,同时降低了控制系统软件的开发设计难度。 展开更多
关键词 齿轮倒角 开放式结构 运动控制卡 量子框架 层次状态机
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部