基于层次自动机的应用软件行为建模

来源 :系统仿真学报 | 被引量 : 12次 | 上传用户:Kila5200
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对应用软件的行为建模有助于实时推断用户的操作意图,为初学者提供上下文相关的关于软件操作的帮助。Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。层次自动机是对有限自动机的推广,具有结构性强和直观的优点。一般应用软件的操作界面都具有一定的层次性,采用层次自动机可以充分利用该特点。给出了层次自动机的形式化定义和面向对象实现框架,并且以Pro/E为例说明了将层次自动机用于应用软件行为建模的有效性。
其他文献
摘 要:随着新课程改革的不断深入,语文教师的教学理念发生了巨大的变化。教师由以前的只教课本,不注重学生的课堂反馈,慢慢地变得开始注重和学生的课堂互动,开始注重培养学生的兴趣。我们都知道:兴趣是学习最好的老师。那么如何提高学生对语文学习的兴趣是摆在广大语文教师面前的一道难题。  关键词:初中语文;兴趣教学  兴趣是一个人最好的老师。在课堂教学中,培养学生的学习兴趣,可以提高学生的学习效率、提高教学质
本文提出一种新颖的多壁碳纳米管功能化的纳米片状硫化锡纳米复合物。该纳米复合物通过超声混合多壁碳纳米管和纳米片状硫化锡制备得到,并且用扫描和透射电化学显微镜对该复
摘 要:伴随信息技术与电子计算机技术的迅猛发展,我国教育正奔着信息化的目标稳固前进。作为教育中不可或缺的两个角色:教师和学生,他们关系的好坏将影响教育的发展,良好的师生关系有利于拓宽学生的视野,增长学生的知识,但是恶劣的师生关系却可能引发师生冲突,造成学生犯罪,教师失德。因此,本文通过分析以往专家对师生关系的研究,发现问题和不足,并结合教育信息化的新媒体与新技术,笔者提出了关于构建新型师生关系的建
Petri网是一种模拟和分析的系统工具,能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理,并以水下航行器制导仿真系统为例,将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务。在建立和分析时间Petri网模型的基础上,给出资源约束双处理器条
随着城市经济的飞速发展和人民生活水平的日益提高,各类商品的消费量不断增加,由此带来的工业发展也不断加速,随之而来的工业生产过程中产生的危险废物的数量与日俱增。工业
本文是以液压支架系统为例,利用Pro/ENGINEER建立实体模型,通过3DS Max建立场景、贴图及对渲染处理,最后导入Virtools平台进行交互设计,实现了从机械CAD软件到Virtools开发平台的模型导入与转换。
摘 要:近两年,全国对高等教育体系调整力度加大,四川省概不例外。随着高等教育转型发展步伐越来越快,四川省高职院校在这轮改革发展浪潮中扮演的重要角色越发得到重视。文章审视了当前全省高院校的发展压力,得出若要进一步改革发展,必须要建构自己的核心竞争力。基于此结论,探讨了高等教育转型期四川省高职院校建构核心竞争力面临的主要压力,对建构途径进行了探讨,对此变革期的四川省高职院校建设具有一定指导意义。  关
摘 要:民办教育院校是我国高等教育体系中的重要构成,随着我国教育事业发展水平的不断提升,对于民办职业院校的办学能力有更高的要求。在民办职业院校的教师构成中,行政教师相较于承担教学任务的教师而言,受到的重视程度较低。行政教师对于自身的工作职责、职业发展方向认识并不清晰,这些问题直接导致了民办职业院校行政教师职业素质能力不高,严重影响到民办职业院校的建设水平。本文基于民办职业院校行政教师职业发展存在的
摘要:数字化信息建设的重要组成的部分是校园一卡通系统。本文根据河源职业技术学院信息化发展规划和学校实际情况,提出了校园一卡通的需求和设计方案,并对系统的架构与功能模块进行了规划,分析了校园一卡通建设工程中存在问题等,并就如何完善我院一卡通系统进行了探讨和建议。  关键词:数字校园一卡通系统系统设计项目实施  中图分类号:G712文献标识码:A文章编号:1672-3791(2012)08(a)-00
武器系统仿真模型的可信性验证是合理地、科学地运用武器系统仿真模型进行系统分析、预测以及辅助决策的关键环节。通过对典型水中兵器仿真模型进行可信性验证,给出了系统仿真模型的可信度在典型水中兵器仿真模型中的具体形式,建立了仿真模型的可信度分域模型。然后利用经典统计分析方法给出了该典型水中兵器仿真模型可信度的点估计及其置信下限,并通过实际试验及仿真模型数据实现了该可信性验证方法,证明了该方法的可行性。