论文部分内容阅读
本文对飞行余主管理系统中的故障检测和隔离算法进行严格化开发，包对含并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证。
混合系统的形式化开发：故障检测与隔离算法的严格化设计
【摘 要】
：
本文对飞行余主管理系统中的故障检测和隔离算法进行严格化开发，包对含并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证。
【机 构】
：
北京航空航天大学自动控制系
【出 处】
：
计算机学报
【发表日期】
：
1999年3期
【基金项目】
：
国家八六三高技术研究发展计划
其他文献
自动气象站的投入运行大大提高了气象观测的自动化水平,节省了人力,但自动站在不同情形下经常出现数据异常等故障。分析了A文件、J文件和B文件等文件数据异常情况,探讨了不同
对脾的形态学研究多集中于家禽，主要以雉科和鸭科为实验动物。有关其他禽类，尤其是野生珍禽的研究报道极少。现以东方白鹳的脾为材料，作为禽类不同科的代表，进行有关的形态学研究
摘 要 目的:评价舒芬太尼、布比卡因和伍用小剂量氯胺酮对术后硬膜外腔镇痛(PCEA)的效果和副反应的发生率。方法:美国麻醉医师协会ASAⅠ～Ⅱ级硬膜外麻醉下行择期全子宫切除术和胆囊切除术的患者100例随机分为2组,每组50例。A组:布比卡因150mg+舒芬太尼50μg+0.9%NS至100ml;B组:A组+氯胺酮100mg。术后50小时随访病人,用四级法评分镇痛效果和不良反应发生率。结果:B组镇痛
本文提出了一种汉语概率型上下文无关语法的自动推导方法，它在匹配分析机制上实现了无指导的ＥＭ迭代训练算法，并通过对训练语料的自动短语界定预处理以及在集成不同知识源基础上构
畜牧业在世界各国特别是发达国家和部分发展中国家,正在成为一个重要的支柱产业.但畜牧业的发展对粮食具有很大的依赖性,目前世界上畜牧业发达的国家多数是以粮食作为后盾.据
树木森林在自然场景的构成中占有很重要的地位，尤其是树在风中的摇曳更是组成了一个幕幕动人的景象。但是由于树结构的高度复杂性，给这一问题的研究工作带来了极大的困难。
Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一