切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于可达标识列计时Petri网的时态特征及可控性研究
基于可达标识列计时Petri网的时态特征及可控性研究
来源 :控制与决策 | 被引量 : 0次 | 上传用户:feiyang187
【摘 要】
:
应用时态逻辑提出计量Petri网的形式化分析方法,基于可达标识列研究受控系统的时态特征及其可控性与控制不变性,给出控制逻辑存在的充要条件,提出了时态公式分解方法,并讨论了禁止状态
【作 者】
:
李勇建
李颜平
【机 构】
:
山东工业大学自动化工程系,沈阳大学
【出 处】
:
控制与决策
【发表日期】
:
1999年2期
【关键词】
:
计时Petri网
可达标识列
时态特征
离散事件系统
timed Petri net
markings sequences
temporal feature
【基金项目】
:
山东省自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用时态逻辑提出计量Petri网的形式化分析方法,基于可达标识列研究受控系统的时态特征及其可控性与控制不变性,给出控制逻辑存在的充要条件,提出了时态公式分解方法,并讨论了禁止状态避免问题。
其他文献
具有冲击影响的宏观经济系统H∞控制
应用系统分析方法研究了宏观经济系统中的冲击作用,认为冲击是一种能量有限的扰动,进而应用H∞控制理论研究了宏观经济系统的控制问题,并针对一个政府政策和公众预期的宏观经济系
期刊
宏观经济系统
H∞控制
冲击
macroeconomy
shocks
H_∞ control
三亚旅游地生命周期阶段特征与民众幸福感研究
旅游地发展所处的阶段不同对旅游地的环境影响不同,进而对旅游地居民的产生相应的影响,包括对居民幸福感的影响。调查使用大样本随机抽样法,调查了海南省三亚居民对旅游与幸
期刊
旅游地
生命周期
特定阶段
幸福感
沟通技巧在优质护理中的应用体会
目的 探讨沟通技巧在优质护理中的作用.方法 通过对护患关系的变更,影响护患关系的因素和沟通技巧的应用等三个方面的讨论,分析优质护理中沟通技巧的作用.结果 与患者进行有
期刊
沟通技巧
护患关系
优质护理
基于凸优化和投影原理的降阶控制器设计方法研究
提出一种将凸优化算法和投影原理相结合的降阶控制器设计新方法。证明了了降阶控制器保证系统稳定的一个充分条件,并给出了投影误差引起的系统性能变化的范围估计,该方法为系统
期刊
H∞控制
降阶控制器
凸优化
投影原理
linear matrix inequality(LMI)
H_∞ control
loworder control
生活方式研究的发展与应用
"生活方式"是一种重要的市场细分工具。本文回顾了生活方式市场细分研究的历史及方法,希望能对中国市场需要的研究起到一定作用。
期刊
生活方式
AIO
市场细分
乡村振兴的实践经验与建设路径
在梳理乡村振兴提出的背景和分析其概念与内涵的基础上,总结提出乡村产业发展、乡土文化传承、乡村人居环境、乡村人才与科技、乡村组织建设是乡村振兴战略实施的五个重要方
期刊
乡村振兴
乡土文化
空间布局
人才科技
强化资源节约审计的几点思考
资源节约审计是一项政策性的工作,目标明确,针对性强,与常规审计有一定的区别,没有现成的经验可以借鉴,一些审计人员对其工作性质、内容和要求还存在模糊认识,相关的制度机制
期刊
资源节约
审计
订单式人才培养模式对企业新员工质量的影响
随着时代不断发展,面对全球企业竞争加剧及经营模式的转变,企业在人力资源开发中遇到“用工荒”的瓶颈,新时代信息化的企业要求新员工的质量要求越来越高。市场的迫切需求加
学位
“订单式”人才培养模式
高职院校
校企合作
新员工质与量
准时化分布需求计划方法
在引入准时化生产思想的基础上,提出有限资源约束下的准时化分布需求计划问题,并建立了原始数学模型;然后通过数学推导,将其转换成一个线性规划问题,提出了准时化分布需求计划方法
期刊
准时化
供应链管理
分布需求计划
线性规则
justintime
supply chain management
distribution requirem
浅谈健全行政事业单位的内部会计控制
随着国家对单位内部控制的重视,2010年财政部颁布了《企业内部控制规范》。但事业单位由于机构复杂,国家还没有独立成文的内部控制制度。本文通过对行政事业单位内部会计控制
期刊
健全
行政事业单位
内部会计控制
与本文相关的学术论文