切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于状态可达图的离散事件系统时态性质分析
基于状态可达图的离散事件系统时态性质分析
来源 :控制与决策 | 被引量 : 0次 | 上传用户:intangibly
【摘 要】
:
离散事件系统的许多重要性质可用时态逻辑方便,直接和简明地进行描述,系统的性质分析可转化成时态满足关系的判定。基于状态可达图,给出了有限系统时态特征的判定方法。
【作 者】
:
田国会
徐心和
【机 构】
:
山东工业大学自动化工程系,东北大学
【出 处】
:
控制与决策
【发表日期】
:
1998年1期
【关键词】
:
离散事件系统
状态可达图
时态逻辑
性质分析
discrete event system
state reachability graph
temporal
【基金项目】
:
山东省自然科学基金,中科院自动化所复杂系统工程学开放实验室资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散事件系统的许多重要性质可用时态逻辑方便,直接和简明地进行描述,系统的性质分析可转化成时态满足关系的判定。基于状态可达图,给出了有限系统时态特征的判定方法。
其他文献
广义系统鲁棒镇定的H∞方法
利用H∞控制方法讨论含不确定参数的广义系统鲁棒镇定问题。首先将广义系统的稳定性条件表示为H∞范数的形式,然后利用H∞范数与Riccati代数矩阵不等式的关系给出了含不确定参数的广义系
期刊
广义系统
鲁棒控制
鲁棒镇定
H∞方法
稳定性
singular system
robust control
H∞ control
Riccati ine
单星定向技术研究
提出了一种仅利用一颗地球静止轨道卫星完成定向的新方法。并利用北斗双星定位系统进行了定向试验.试验结果表明,对于0.827m长基线,单星定向精度可达0.07°,从而说明利用一颗地
期刊
单星定向
地球静止卫星
肾上腺髓质素受体及其受体后事件
<正>肾上腺髓质素(Adrenomedullin,AM)是新近从肾上腺嗜铬细胞瘤细胞中提取的一种血管活性肠肽。具有扩张血管、降低血压、排钾利尿等广泛的生物学效应。其效应主要是通过AM
期刊
肾上腺髓质素
受体
受体后事件
新型针布的发展扫描
概述了当前新型的锡林针布,道夫针布,刺辊锯条和盖板针布的发展特点,重点介绍了锡林针布的发展,认为锡林针布的发展,起到了带动针布发展的作用。
期刊
针布
齿形参数
梳理
配套
同创伟业捕捉科创板“隐形冠军”
过去的二十年对中国风险投资机构来说,犹如阪上走丸:从资本的拓荒期,到风投成为创业市场的中坚力量;从大批新基金兴起,又到大批中小基金被洗牌出局;从PC互联网到移动互联网,再到产业互联网的潮头更迭。毫无疑问,这是一个大开大阖的时代。成立于千禧年间的同创伟业,恰好完整地经历了二十一世纪至今资本市场的经济周期,它的经历在某种程度上也代表了资本市场的历史缩影。 二十年间的得与失很难一言蔽之,但我们可以从几
期刊
产业互联网
隐形冠军
风险投资机构
风投
移动互联网
创业市场
科创板
基金
广义预测控制的鲁棒化改进
利用内模控制结构分析了广义预测控制在未建模动态鲁棒性方面的缺陷,提出采用失配滤波器以增强系统的鲁棒性。针对广义预测控制的特点,提出了次优失配滤波器的简单设计方法。
期刊
广义
预测控制
内模控制
鲁棒性
滤波器
generalized predictive control
internal model control
rob
论亚里士多德中道观与先秦儒家中庸思想异同
亚里士多德中道观与先秦儒家中庸思想作为处世之道,在中西伦理思想上占有重要的地位.二者在产生、本质、基本内容和方法论意义上具有相似之处,但从实现的基本途径、人的主体
期刊
亚里士多德
先秦儒家
中道观
中庸思想
Aristotle pre-Qin Confucianism golden mean moral philosophy
预报式模糊控制在热处理电阻炉温控中的应用
<正> 1 金属热处理电阻炉及其控制简介金属热处理电阻炉是加热各种金属工件的炉具,工作时炉内的温度场主要特点是输入与输出间存在滞后及输入与输出关系不便用较准确的数学模
期刊
金属热处理
电阻炉
温度控制
模糊控制
predictive control
fuzzy control
temperature control
resi
人学渊源·曲折实践·当代发展——从历史考察看人的全面发展理论的当代形态与价值
马克思主义关于人的全面发展理论有着深厚的人学渊源,且在中国社会主义实践中经历了曲折的发展历程.根据社会主义的最新发展与实践,当代中国共产党人以与时俱进的理论品格全
期刊
人学
历史命运
当代形态
全面发展
the study of humans historical fate contemporary form all - ro
Fas死亡因素及其生理病理意义
<正>细胞的增生、分化与死亡共同调节着多细胞生物的自身稳定功能。胚胎发生及变形、内分泌依赖性组织萎缩和正常组织的更新过程中发生的细胞死亡称程序性细胞死亡,大多数程
期刊
FAS
死亡
生理病理
FASL
突变
与本文相关的学术论文