排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
2.
常熟发电厂一期工程中的干煤棚屋盖系排框架式大跨度三角形钢桁架结构,长120m,宽88m,建筑面积10600m~2,屋面安装14榀由2片平行坛钢屋架组成有檩大跨度三角形钢桁架,每木品钢桁架自重达40.4t,整个屋面制作钢结构工程量重计303t,是目前国内同类型跨度最大的工程。干煤棚工程由西北电力设计院设计,钢桁架用二片相同的钢屋架通过支撑系统连接成箱形断面,使其具有足够的空间刚度和稳定性。且 相似文献
3.
为确保拟态路由器中协议代理等“拟态括号”关键组件的安全性和功能正确性,设计实现了边界网关协议(BGP)代理,并采用形式化方法对BGP代理的安全性和功能正确性进行了验证。BGP代理通过监听邻居路由器与主执行体之间的BGP会话报文,模拟邻居路由器与从执行体展开BGP会话,实现各执行体的BGP状态一致。采用VeriFast定理证明器,编写基于分离逻辑的形式化规约,证明程序不会出现空指针引用等内存安全问题,并验证了BGP代理各功能模块实现的高级属性符合功能规约。BGP代理实现与验证代码量之比约为1.8:1,程序设计实现和程序验证所耗费的时间之比约为1:3。经过形式化验证的BGP代理处理100 000条BGP路由所花费的时间为0.16 s,约为未经过验证的BGP代理的7倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。 相似文献
1