论文部分内容阅读
在离散事件系统的Ｐｅｔｒｉ网模型下，讨论是否存在控制策略使得仅有希望的充是使能，而又保持事件的并发性的问题，证明了存在这种策略的必要充分条件是给定的目的序列集是可控的，在目标序列集不可控而所的序列集都是Ｐｅｔｒｉ网点发序列地，提出了纵使给定序更集的极大可控子序列集生成器的方法。
点发序列问题的控制策略
【摘 要】
：
在离散事件系统的Ｐｅｔｒｉ网模型下，讨论是否存在控制策略使得仅有希望的充是使能，而又保持事件的并发性的问题，证明了存在这种策略的必要充分条件是给定的目的序列集是可控的，在目标序列
【机 构】
：
西安电子科技大学应用数学系,西安交通大学系统工程研究所
【出 处】
：
自动化学报
【发表日期】
：
1997年4期
其他文献
运用Ｓｃｈａｕｄｅｒ不动点定理研究了四阶两点边值问题ｄ４ｙｄｘ４＝ ｈ（ｘ）Ｆ（ｘ，ｙ（ｘ））（０＜ ｘ＜ １），ｙ（０）＝ ｙ（１）＝ ｙ″（０）＝ ｙ″（１）＝ ０ 的可解性，允许Ｆ（ｘ，ｙ）在ｘ＝ ０，ｘ＝ １ 或ｙ＝ ０，有奇性
研制成功的电容式焊条药皮湿度测定仪，由电容式湿度传感器、测量运算电路、Ａ／Ｄ转换和ＬＣＤ显示电路组成，可对焊条药皮湿度进行快速、无损检测，并可现场操作。采用脉宽调制和开关电容滤波
针对材料在纯法向往复冲击载荷作用下的磨损特性，对所研制的冲击磨损试验机，详细地描述了它的各种特性，并给出了热喷涂Ｃｒ３Ｃ２－２５％ｎｉＣｒ涂层在１５０ＭＰａ冲击载荷作用下，冲击１５０万次后的实验结果和ＳＥＭ分析。
以平面高副机构及结构公式为基础，给出了三个原则，较详尽地介绍了自由度Ｆ＝１，２，高副数目ＰＨ＝１，２，３，４的平面高副机构的数综合方法，通过图、关联矩阵及运动链之间的转换关系按Ｍａｎｏｌｅｓｕｅ Ｎ Ｉ的方法讨论了机构的
这天在网上看到这样两个小故事，非常有道理，很简单却或许又有人并不明白： 其一：路旁有两棵桃树，一棵在篱笆内，一棵在篱笆外。篱笆内的受保护，枝繁叶茂；篱笆外的常被人攀折，疏枝横斜。
目的探讨应用胰岛素泵对老年早期糖尿病肾病女性患者的影响。方法按照随机法将2011年6月—2013年9月期间60例老年早期糖尿病肾病女性患者分成观察组与对照组,各30例,观察组应
为研究主动式光学三维传感技术提供了一条利用计算机仿真而无需通过实验的新途径，简要介绍了缄性编码轮廓术的基本原理，并针对实际采样误差的统计特性，提出一种产生正态分布胡机