【摘 要】
：
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操
论文部分内容阅读
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
This paper studies the safety of TDES fault diagnosis for a type of timed or non-timed automaton model. Firstly, the safety diagnostics of TDES is formalized. Then, by constructing an illegal language recognizer, It is forbidden to identify the sequence of dangerous operation. Based on this, a safety diagnosis device is constructed, a safety diagnosis method based on safety diagnosis device is proposed, and a sufficient and necessary condition about the safety diagnosis of TDES is obtained, so as to realize TDES safety fault diagnosis .
其他文献
《韵表》成书于万历三十三年(1605),是一部按平水韵框架编排的等韵化的同音字表,由明代末年浙江衢州人叶秉敬(1562-1627)撰。全书分韵按平水韵框架,平上去入四声按平声算共三
过去，在东北人家里有两样东西不可缺少：一是酸菜缸，二是腌酸菜用的大石头。在四川，则少不了泡菜坛子。可见，酸菜在东北人和四川人的餐桌上占有非常重要的地位，如今，尽管可选择的食材越来越多了，但是酸菜依然以其酸爽可口、开胃促食欲的美味吸引着人们。吃酸菜有诸多的好处： 一般的酸菜都是用白菜或青菜制作的。酸菜最大限度地保留了原有蔬菜的营养成分，富含维生素C、氨基酸、有机酸、膳食纤维等营养物质。腌制得好的酸
在中国当代社会，90年代是一个值得记取的特殊时段，市场经济的兴起、社会的转型、新生代作家的出现使其成为一个价值多元的“个体化时代”。在这特殊的历史文化语境中，韩东、朱文
主要提出一种新的计算规则LDPC(low-density parity-check)码的最小距离下界的方法。该方法是基于LDPC码的每个变量节点的独立树进行构造LDPC码。与随机构造的LDPC码和用PEG
锅内草药多，不油不上火 一般的火锅汤底只是白白的骨汤，吃到最后表面会漂上一层油，不仅油腻，还很容易上火。辽宁省名中医张艳在此传授给大家一个小秘方，保你吃完不油也不上火。“我这个不油不上火的秘密全在锅内的草药里。”张艳介绍道，它们是：陈皮、山楂、草果、砂仁、玄参、牡丹皮。由于火锅内牛羊肉较多，陈皮、山楂可以消油腻、助消化;草果、砂仁能醒脾健胃;玄参、牡丹皮性寒所以能祛火。大家可以将这些草药切碎后放
据“ＴｕｒｂｏｍａｃｈｉｎｅｒｙＩｎｔｅｒｎａｔｉｏｎａｌ”１９９９年３—４月号报道，美国Ｄｒｅｓｅｒ－Ｒａｎｄ公司的能源系统分部在与其用户的研讨会上推出该公司的能源系统分部在与其用户的研讨会上推出该公司最新颖驱动离心式压缩机的汽轮机驱动装置，这些压..
“水煮鱼”常搭“口水油” “水煮鱼”好像顾名思义应该是鱼经过“水煮”的方法烹制而成的，其实并非完全如此。它是用非常新鲜的鱼肉经过上浆，在开水中汆熟的不假，然后却又在大量的（或称海量的）热油浇灌中成菜！它的前半部分烹调方法无可厚非、非常符合营养健康的需求。而后来的关键步骤却出了问题。一份水煮鱼少则用两斤油，多则用四斤油，而这油又用过量的辣椒、麻椒和其它中草药香料熬制。您可以算算看：这油的成本绝不比
新世纪以来,以网络连载为主要传播方式的、含有幻想元素题材的故事创作在中国当代的网络写作中十分流行。一些网站和读者把这些网络幻想故事当作网络小说的代表,其中的一部分
亦舒是现代都市言情小说的代表作家,她的作品在华人世界中有着广泛而长久的影响力。亦舒的“故事新编”型小说是通过对一些先在文本再创造式地继承与革新,创作出的带有强烈个