论文部分内容阅读
应用时态逻辑提出计量Ｐｅｔｒｉ网的形式化分析方法，基于可达标识列研究受控系统的时态特征及其可控性与控制不变性，给出控制逻辑存在的充要条件，提出了时态公式分解方法，并讨论了禁止状态避免问题。
基于可达标识列计时Petri网的时态特征及可控性研究
【摘 要】
：
应用时态逻辑提出计量Ｐｅｔｒｉ网的形式化分析方法，基于可达标识列研究受控系统的时态特征及其可控性与控制不变性，给出控制逻辑存在的充要条件，提出了时态公式分解方法，并讨论了禁止状态
【机 构】
：
山东工业大学自动化工程系,沈阳大学
【出 处】
：
控制与决策
【发表日期】
：
1999年2期
【基金项目】
：
山东省自然科学基金
其他文献
应用系统分析方法研究了宏观经济系统中的冲击作用，认为冲击是一种能量有限的扰动，进而应用Ｈ∞控制理论研究了宏观经济系统的控制问题，并针对一个政府政策和公众预期的宏观经济系
旅游地发展所处的阶段不同对旅游地的环境影响不同,进而对旅游地居民的产生相应的影响,包括对居民幸福感的影响。调查使用大样本随机抽样法,调查了海南省三亚居民对旅游与幸
目的 探讨沟通技巧在优质护理中的作用.方法 通过对护患关系的变更,影响护患关系的因素和沟通技巧的应用等三个方面的讨论,分析优质护理中沟通技巧的作用.结果 与患者进行有
提出一种将凸优化算法和投影原理相结合的降阶控制器设计新方法。证明了了降阶控制器保证系统稳定的一个充分条件，并给出了投影误差引起的系统性能变化的范围估计，该方法为系统
在梳理乡村振兴提出的背景和分析其概念与内涵的基础上,总结提出乡村产业发展、乡土文化传承、乡村人居环境、乡村人才与科技、乡村组织建设是乡村振兴战略实施的五个重要方
资源节约审计是一项政策性的工作,目标明确,针对性强,与常规审计有一定的区别,没有现成的经验可以借鉴,一些审计人员对其工作性质、内容和要求还存在模糊认识,相关的制度机制
随着时代不断发展,面对全球企业竞争加剧及经营模式的转变,企业在人力资源开发中遇到“用工荒”的瓶颈,新时代信息化的企业要求新员工的质量要求越来越高。市场的迫切需求加
在引入准时化生产思想的基础上，提出有限资源约束下的准时化分布需求计划问题，并建立了原始数学模型；然后通过数学推导，将其转换成一个线性规划问题，提出了准时化分布需求计划方法
随着国家对单位内部控制的重视,2010年财政部颁布了《企业内部控制规范》。但事业单位由于机构复杂,国家还没有独立成文的内部控制制度。本文通过对行政事业单位内部会计控制