切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Statecharts语义问题的若干探讨
Statecharts语义问题的若干探讨
来源 :桂林电子工业学院学报 | 被引量 : 0次 | 上传用户:jinhuikkkl
【摘 要】
:
Statecharts是一种用以规约复杂反应式系统行为的可视化语言 。由于该类系统的行为复杂性,定义其精确的语义是困难的。许多人在这方向上对其进行了 研究,但是仍有些模棱两可的
【作 者】
:
钱俊彦
古天龙
蔡国永
【机 构】
:
桂林电子工业学院计算机系
【出 处】
:
桂林电子工业学院学报
【发表日期】
:
2001年1期
【关键词】
:
有限状态机
Statecharts语义
可视化语言
finite state machine
statecharts
semantics
【基金项目】
:
电子工业部电子科研院军事预研项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Statecharts是一种用以规约复杂反应式系统行为的可视化语言 。由于该类系统的行为复杂性,定义其精确的语义是困难的。许多人在这方向上对其进行了 研究,但是仍有些模棱两可的地方。在本文将对Statecharts语言中什么是一步、迁移的多 个条件和动作、不确定性这些语义问题进行探讨。
其他文献
Statechart规格语言的语法分析研究
Statechart是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求。实际上,Statechart满足层次的描述,包括高层和低层事件,更显著地是采用
期刊
有限状态机
STATECHART
形式化方法
可视化语言
finite state machine
statechart
formal method
用测角交会法处理多目标跟踪问题
在受到电子干扰时 ,有些雷达只能测量目标的方位角和俯仰角 ,不能测量目标的距离 ,因而无法对目标进行定位跟踪。本文提出的雷达组网测角交会法能够联合各个雷达的角度信息实
期刊
测角交会法
多目标跟踪
雷达组网
定位
multitaget tracking
netted radar
location
岩溶地区扩建项目新建高架桥基础设计简析
以广清高速公路改扩建工程中的江高高架桥为例,依据地质状况存在岩溶的情况,分别对采用扩大基础、群桩(摩擦桩)基础和嵌岩桩基础进行对比分析,得出采用D180钻孔灌注嵌岩桩是本
期刊
岩溶地区
高架桥
基础形式
嵌岩深度
回归传统与迎合现代——韩国家庭电影的文化表达
在韩国电影的发展历史中,家庭电影一直是韩国电影的重要类型之一,以独特的人文情怀契合了韩国悠久的传统儒家文化和普通大众的娱乐需要。当前风格多元的韩国家庭电影,已经成为韩
期刊
家庭电影
文化取向
在小学语文课堂中实施有效教育初探
近年来,随着我国基础教育课程改革的不断深入,越来越多的学者投身到转变课程体系、创新教学理念的研究中去。有效教育,即EEPO,是一种集学习方式、课型方式、评价方式为一体的教育
期刊
小学
语文课堂
有效教育
2009年全国失效分析学术会议第一号通知
期刊
浅谈民办普通高校旅游管理专业实习就业基地建设
民办高校要想让其培养的毕业生更好地适应市场的竞争,增强他们的动手能力是至关重要的,而对于民办高校所设立的旅游管理专业的毕业生来说,增强动手能力更是不能缺乏。本文针对民
期刊
民办高校
实习
就业
儿童食品包装设计之新思路
儿童是特殊的消费群体,有很多复杂的审美方式和自己的思维想法,也有不同性格特点,如固执,尤其对喜欢和不喜欢的概念有强烈的排斥感和认同感,这些都直接影响食品在市场竞争中的地位和效益。这也说明了食品在包装设计中,视觉元素的应用需要倾听孩子的声音,关注和了解儿童及家长的消费心理,设计具有视觉元素富有想象力的包装,这样才能够带给孩子真正的新鲜感和快乐感觉。通过视觉元素的运用使食品包装能够成为儿童的伙伴。
期刊
儿童食品
包装设计
视觉元素
产品特征
食品包装
浏览过程
消费群体
性格特点
谈初中英语教学中新知呈现之层次性
在英语教学中,善于观察的教师就会发现以下两种现象:现象一:在某英语教学优质课比赛的一节新授课课堂上,授课教师刚刚用多媒体引入本堂课的目标语言项目,学生就熟练地进入了角
期刊
初中英语
新知呈现层次性
健康养殖 共赢未来——2020中国动物健康技术高峰论坛暨第十七期中威商学院在石家庄顺利召开
2020年12月1日,由中国兽药协会、中国畜牧兽医学会兽医寄生虫学分会、河北省农业企业联合会主办,河北生猪健康养殖联盟、威远研究院、中威商学院承办的“2020中国动物健康技
期刊
兽药饲料
中国农业大学
兽医寄生虫学
动物医学院
西北农林科技大学
畜禽屠宰
动物健康
疾病防控
与本文相关的学术论文