【摘 要】
：
温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率和可靠性,本文提出一个能为设计者提供指导性
论文部分内容阅读
温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率和可靠性,本文提出一个能为设计者提供指导性框架的融入容错技术的高可靠性温室环境测控系统架构.并且运用PVS形式化语言对系统架构进行了精确而无二义性的形式化建模,以及PVS证明工具对系统架构的容错特性进行了机械化证明,以确保系统架构能满足高可靠性需求.
其他文献
提出一种运动参数受限的目标跟踪算法,对于速度受限目标采用平滑修正滤波跟踪算法,首先使用Kalman滤波得到当前时刻的滤波值,找到平滑精度最高点,根据速度限制条件,对滤波结
分布式存储系统常常使用纠删码冗余技术提高系统可靠性.为保证一定的冗余度,系统必须具有自修复能力再生失效数据.再生码是纠删码的一种改进形式,最大特点在于无需下载整个数
进入8月份以来，国内豆粕期货行情出现一定幅度的调整，但是现货价格依旧保持强势，目前沿海地区工厂豆粕价格集中在4210—4360元／吨的区间内，北方地区价格较月初有一定上调，整个南方
为确保预应力箱梁的关键工序预应力施工质量，我单位采用湖南联智桥隧公司生产的预应力智能张拉系统进行张拉施工，有效地保证了预应力施工质量。
随着RFID应用的深入推广,Mobile RFID[1]成为RFID应用的一个重要分支。在Mobile RFID应用中,阅读器被嵌入像手机或者PDA这类的移动终端设备中,通过将移动终端靠近贴有RFID的物品,帮助消费者在购物时快速和简单地获取产品的信息服务。论文描述了Mobile RFID的应用需求和安全挑战,提出一种基于安全代理的安全体系结构[3]。分析表明该结构能够满足Mobile RFID的
随着社会经济的不断发展,人们对于市政建设的要求和需要也逐步加深.为了满足人民对于市政建设的高要求,提高政府部门在市政施工中的效率和质量,钻孔灌注技术在市政桥梁工程中
施工过程的通风条件是制约长大隧道能否顺利贯通的主要因素之一，因此施工中通风系统的布置完备至关重要。本文中以巴玉隧道的实际施工为范例，重点对巷道式施工通风系统进行计算
由于城市园林绿化在建设的过程中得到快速发展,进一步给园林设计提出较高要求,在对其进行设计的过程中,必须要采用生态科学设计理念,与此同时也需要体现出其人性化,.使其能够
随着网络安全问题的日益突出,IDS被更多地用于安全防护,然而每天数以千计的告警信息却使得安全管理员无从招架。因此,自动关联有逻辑联系的告警信息从而减少告警数量已成为IDS日后发展的关键。论文以描述逻辑为基础,用它对攻击进行统一定义;以攻击场景为载体,用它来分析匹配相继出现的告警信息;以能力集为纽带,用它来串联起一幅幅攻击场景,从而能清晰地展现不同告警之间所隐含的逻辑关系,进而为实现关联归并提供依据
受存粮成本上升、优质粮源供应偏紧及前期全国大范围降雨阻碍物流发运的影响，国内玉米价格在近期呈现强势上涨局面。伴随产区与港口、销区等地逐渐顺价，产区基层粮源见底，贸易商