【摘 要】
：
分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设
【机 构】
：
中国科学院,中国科学院,武汉数字工程研究所
论文部分内容阅读
分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了
其他文献
提出一种针对大跨径桥梁承压风险检测的智能系统设计方案。系统包括数据采集模块，以无线传感网络为基础采集桥梁承重结构稳定压力信息。设计承压信息处理模块，根据得到桥梁不同
切片操作是联机分析处理的主要功能之一,在决策支持应用中发挥着重要作用.由于人工的切片过程非常低效,且易忽略重要信息,提出了一种自动、智能的异常切片挖掘方法.该方法基
为了研究花生四烯酸（AA）代谢拮抗剂筛选的新方法，通过模拟体内AA代谢产生前列腺素E2（PGE2）的过程，建立一种新的体外脂多糖（LPS）诱导高浓度血小板血浆（PRP）悬液中AA代谢产生PGE2的炎症模
传统盲加性扩频水印系统具有鲁棒性高、检测值低、容量小的特点.载体信号的干扰是导致检测值偏低的主要原因.从高斯噪声中高斯信号的检测原理出发,对相关性检测器进行了理论
以小鼠炎症因子流式蛋白定量（cytometric bead array，CBA）检测试剂盒为参考，分别从降低试剂用量和缩短孵育时间两个方面进行优化，然后以沙J＇l菌感染小鼠为模型，动态分析小鼠血清中炎
说的是机关里废纸处理的事。我从参加工作那天起,就碰到一个废纸处理问题。机关里有保密要求,有内外之别,废纸不能随便乱扔,不能随便处理。上世纪七十年代在县里刚参加工作时
在劳动争议中,劳动者和用人单位的权利是当事人提起诉讼的前提条件,也是审判人员依法裁判的依据。但由于司法实践中对以上权利性质没有深入探讨和研究,导致仲裁时效与除斥期
轻小卫星的集成化、紧凑化和小型化设计理念使得卫星散热困难,迫切需要高效率、高可靠、低成本的热控分系统,来控制卫星内部的热控过程;介绍了一种分布式测温控温装置,在航天相机的主体和镜头的温度监测中使用,可为相机主体和镜头温度控制的提供参数,通过高精度测温和PID控温,实现对相机工作环境温度实时控制,克服了传统热控方式的体积大、精度低、可靠性差缺点,非常适用于轻小型遥感相机。
形象问题至关重要。一名基层机关事业单位共产党员,生活在基层,工作在基层,直接与群众打交道,你的形象就是群众心目中的党的形象。因此,必须时刻加强党性修养,重点在以下五方