论文部分内容阅读
对C煳的无线通信系统的故障恢复模型进行了研究，使用Event-B对C棚无线通信系统的故障恢复过程进行建模．通过证明义务对模型的逻辑正确性和完备性进行验证，证明其可以满足要求．
CTCS-4无线通信故障恢复模型的形式化研究
【摘 要】
：
对C煳的无线通信系统的故障恢复模型进行了研究，使用Event-B对C棚无线通信系统的故障恢复过程进行建模．通过证明义务对模型的逻辑正确性和完备性进行验证，证明其可以满足要求．
【机 构】
：
兰州交通大学电子与信息工程学院
【出 处】
：
兰州交通大学学报
【发表日期】
：
2013年1期
其他文献
研究在粘土中打桩出现的混沌现象.首先利用史密斯提出的打桩波动方程作庞加莱截面图,得到打桩中混沌现象的基本特征.接着分析庞加莱截面图,找到贯入度和速度比值最大的点,即
土质高边坡在重力式挡土墙作为支护条件下处于稳定状态，然而，一旦经历长时间强降水作用，高边坡土体便处于饱和状态，安全系数必然降低，严重时发生滑坡事故[1]。为了防止事故的发生，
阐述低能量强夯的原理及应用范围，介绍了其在公路软土地基处理中的应用。通过崇启通道工程（上海段）的工程实例，介绍了实际工程中应采用的夯击能量、夯击遍数、超孔隙水压力消散时
大学语文教育是通识教育的重要组成部分,目标是培养大学生的人文素养,然而当下的社会现实是大学语文教育成为边缘性的学科,处于被忽视的角色之中。究其原因,既有学科本身特点
通过对图书馆免费开放形势下公益性的再认识以及对西部地区公共图书馆读者现状的分析，结合我国公共图书馆法规建设的实际等方面提出了公共图书馆免费开放的应对措施。
介绍城市中采用预应力锚固技术进行支挡设计的方法，阐述该技术的优势和在城市环境中的受限条件。以青岛胶州湾海底隧道连接线洞口接地段实际工程为例，发现采用不同现行规范得出
用大区对比法，对ＰＢ－ＲＯＰＥＬ防治棉红铃虫及棉铃虫效果进行了示范试验研究，结果表明，ＰＢ－ＲＯＰＥＬ对棉红铃虫干扰效果极好，干扰率９９￣１００％同时对棉花害天敌有明显的保护作用，天敌增加１．３０￣９．２３倍，控制棉红铃虫虫害花效果为７６￣１００％，对
对拱桥结构特点进行分析，依据构造实体几何法理论，提出三维图形变换结合二维面域推移生成三维实体的建模方法，利用 Visual C＋＋和 ObjectARX 工具，通过建模参数，创建封闭图形区域和推
以两港公路大治河桥鱼脊连续梁桥构造特点为例，研究探讨鱼脊连续梁桥健康监测方案的主要内容及布置方案。对结构形式新颖的鱼脊连续梁桥进行健康监测，扶得其有一般连续梁桥的特
兰州至中川机场铁路工程沿线大多地段为饱和黄土地基，设计采取水泥土搅拌桩复合地基加固；该线部分地段饱和黄土地基中含有呈透镜状分布的砂土．对水泥搅拌砂土在不同的水泥和粉煤