【摘 要】
：
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能
【机 构】
：
南开大学计算机与控制工程学院,天津市智能机器人技术重点实验室,中国民航大学理学院
【基金项目】
：
国家自然科学基金项目(61573199,61573200);天津市自然科学基金项目(14JCYBJC18700)资助~~
论文部分内容阅读
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.
其他文献
经过前几年的快速扩张,目前玉米淀粉企业产能过剩严重,玉米淀粉市场进入下跌周期,企业在亏损边缘挣扎。总体来看,多数小型企业对继续从事玉米淀粉行业缺乏信心,随着河北地区
财经类院校开设环境艺术专业是高校扩招和学科扩建形势下出现的新事物，目前这类高校在办学经验和师资力量以及学科基础方面都存在较大的欠缺，如何利用自身学科优势，形成富于特色
本文研究对象是富森美家居家具卖场经销商门店的营销。作为中间环节的非直营家具经销商在当前竞争激烈的市场中,需要面临巨大的市场竞争压力以及很高的运营成本。本文针对在家具卖场开设门店的家具经销商,结合自营的家具品牌在营销运营中存在的具有一定普适性的问题展开分析并提出解决问题的对策与措施,以期对其他在家具卖场开设门店经销商的门店经营有所借鉴。首先,对富森美家居家具卖场品牌经销商的一般现状与外部环境进行分析
本文对30例目击下心跳骤停者心肺复苏后早期体内酸硷状态变化,影响因素及预后意义进行探讨。结果表明混合性和代谢性酸中毒是主要改变。其程度受 CPR 持续时间、复苏期间补硷
柱塞气举排水采气工艺利用间歇开关井的方式积攒储层能量,进而通过推动油管内柱塞制造机械举升界面以减少液体滑脱达到排水采气的目的.通过对柱塞气举动力学模型进行研究,根
苏南项目对外合作以来,已历经10余载,产能建设和生产运营已有8年.本文主要采用访谈、案例分析、定性分析、经验总结等方法对合作方道达尔公司的对外合作管理进行了宏观研究,
文章从传播出发,探讨了民国时期列宾名作《伏尔加河上的纤夫》在中国的翻译、介绍及其对中国美术界的影响。这一研究对于外国美术教育和中俄美术交流具有现实的参鉴意义。
美国《化学文摘》（Chemical Abstracts,CA）是世界最大的化学文摘库,也是目前世界上应用最广泛,最为重要的化学、化工及相关学科的检索工具。CA创刊于1907年,由美国化学协会化学
2016年,国务院办公厅印发了《全民科学素质行动计划纲要实施方案(2016-2020年)》。其中提出,到2020年我国要建成现代公民科学素质服务体系,并实现我国公民具备科学素质的比例
本文设计研究一种斜巷架空乘人装置钢丝绳快速更换技术的应用,通过废旧猴杆自制钢丝绳固定绳卡子进行新旧钢丝绳临时固定,利用架空乘人装置无极运输工作原理,采用旧绳悬挂固