【摘 要】
：
在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并
【基金项目】
：
国家自然科学基金项目（60504024）,浙江省教育厅科研项目（20050905）.
论文部分内容阅读
在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.
其他文献
目的 观察信号转导及转录激活蛋白3（STAT3）/诱导型一氧化氮合酶（i NOS）信号通路对喉癌Hep-2细胞（Hep-2）的增殖作用,并探讨其作用机制。方法 体外培养Hep-2细胞,STAT3慢病毒（2μL,1&#
“调值与调类”是现代汉语教材中一个非常重要的内容，由于它涉及古代的一些音韵学知识，专业术语很多，讲解起来费时费力，给学生的学习带来了很大影响。文章在教学实践的基础上谈了
在产品研发过程中存在不确定性因素，导致产品研发存在一定的风险．在时间和成本约束下，提出了基于风险和稳健决策的设计链伙伴选择模型．对产品研发过程中存在的风险进行量化和集总
众所周知，中国佛教龛窟造像的营造和雕制是中国古代美术史上最重大事件之一。它与本土的礼器和墓葬艺术不同，佛教造像的样式来源于一个外部的宗教体系，其概念和视觉因素与中国传
针对工作在理想状态附近的受控系统，通过对其非线性状态方程进行Taylor展开，使之变为无穷级数形式的常微分方程组；然后在线性状态方程组解的基础上采用常数变异法，使之变换成积分
利用数值模拟和实验分析的方法,对正则化频率变化率在钢筋陶粒混凝梁进行损伤诊断,得出以下结论：正则化频率无法识别对称结构对称位置的损伤;低阶的频率变化率单调性较好,高阶
为改革中专外科护理教学重医轻护不能满足学员“第一任职”需要的现象。我们在护士专业的外科护理教学中进行了改革的初步尝试：①调整课程设置和内部结构。加强操作技能训练。
近几年来，随着我国教育从应试教育向素质教育的转变，对统计科学认识也提高了，这就要求《统计学》的教学不仅仅满足于让学生掌握其基本原理和方法，而应着力于培养学生分析问题，解决
血色病(tlemachromatosis)为一罕见的铁代谢紊乱疾病-由于过多的铁质沉着在肝、胰，心、肾、脾，皮肤等组织，引起不同程度的实质细胞损害。临床上有皮肤色素沉着，肝硬化，糖尿病心脏