切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种检查层次式有穷状态机一致性的方法
一种检查层次式有穷状态机一致性的方法
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:edcujmtgb
【摘 要】
:
本文介绍了一种层次式有穷状态机(HFSM)的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。
【作 者】
:
蔡持峰
陈伟清
等
【机 构】
:
武汉大学软件工程国家重点实验室,430072
【出 处】
:
小型微型计算机系统
【发表日期】
:
2000年12期
【关键词】
:
层次式有穷状态机
一致性
检查
实时控制系统
HFSMConsistency checkingUncertain transition Unreachable
【基金项目】
:
国家自然科学基金!(6 98730 35 ),,教育部重点项目基金资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了一种层次式有穷状态机(HFSM)的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。
其他文献
资产评估准则执行力度的影响因素及对策研究
资产评估准则的执行力度对于资产评估行业以及整个社会经济的发展发挥着至关重要的作用,在资产评估的实践过程中存在很多因素在不同程度上影响着资产评估准则的执行力度。本
期刊
资产评估准则
执行力度
影响因素
对策
心理护理对妇科恶性肿瘤患者下肢静脉血栓的影响
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
妇科恶性肿瘤
心理护理
下肢静脉血栓
心理状况
两步迭代自返馈神经网络排序模型
本文提出了用神经网络有效地解决排序问题的途径和方法。建立了一个自反馈神经网络排序模型,对于n个元素的排序问题,利用该模型可在两个迭代步内完成,排序时间与排序问题的规模无
期刊
神经网络
排序
自返馈
迭代
Neural network
Sorting
Selffeedback
Iteration
试论路桥施工机械的安全管理
本文结合我国现阶段路桥施工环节存在的机械问题进行分析,总结了路桥施工机械的优化管理措施,为我国的路桥施工机械管理提供可行性参考。
期刊
机械租赁
路桥施工
安全隐患
聚合物驱油井产出液在抽油杆做轴向运动的井筒中的流动——理论,计算和应用
在采油过程中,由于油井较深的缘故,抽油杆在油管中是处于偏心位置的,聚驱井产出液在抽油杆做轴向运动的井筒中的流动问题就是非Newton流体在内管做轴向运动的偏心环空中的流动问
学位
幂律流体
二阶流体
偏心环空
速度分布
内管壁压力分布
关店的学问
连年下滑的客流、急剧上升的成本、趋严的政策监管等让药店经营者压力倍增,生存更加艰难,关店潮或多或少也波及到了药品零售行业。2020年已经过去大半,受疫情等因素影响,各行
期刊
星巴克
ZARA
政策监管
快时尚
药店经营者
百货大楼
关店潮
FFPD卧式打麸机
该打麸机是面粉厂用于制粉过程中减轻皮磨负荷、提高出粉率、降低麸皮含粉率的专用设备。
期刊
打麸机
卧式
麸皮含粉率
专用设备
面粉厂
出粉率
皮磨
制粉
多灶性喉鳞癌的临床与分子生物学研究
第一部分 同时性多灶性喉鳞癌的临床研究 目的 报道我院12例同时性多灶性喉癌并通过分析其临床病理学特点探讨多灶性喉癌的发生学来源。 方法 回顾性分析1991—1999年
学位
喉肿瘤
癌
鳞状细胞
异时性
多灶性
局部复发
再发
临床病理学
手术切缘
肿瘤发生
微卫星分析
放疗
狩猎文化考述--基于对吉登嘎查的调研
吉登嘎查是以鄂温克族为主体的北方古老的狩猎民族,文化底蕴深厚、狩猎经验丰富。其狩猎文化作为中国传统文化的一部分,有着其独特的魅力。通过对吉登嘎查的调研,了解狩猎文
期刊
鄂温克族
吉登嘎查
狩猎文化
文化形态
基于物联网的室内绿植微环境系统研究与实现
生活在城市中的人们与生机盎然的大自然已渐行渐远,这在很大程度上激发了人们对绿色植物的渴求,绿色生态意识获得了空前的提高,成为空间陈设的关注焦点。该文利用传感器技术,
期刊
单片机
物联网
专家库
加湿
与本文相关的学术论文