摘要：为确保拟态路由器中协议代理等“拟态括号”关键组件的安全性和功能正确性,设计实现了边界网关协议(BGP)代理,并采用形式化方法对BGP代理的安全性和功能正确性进行了验证。BGP代理通过监听邻居路由器与主执行体之间的BGP会话报文,模拟邻居路由器与从执行体展开BGP会话,实现各执行体的BGP状态一致。采用VeriFast定理证明器,编写基于分离逻辑的形式化规约,证明程序不会出现空指针引用等内存安全问题,并验证了BGP代理各功能模块实现的高级属性符合功能规约。BGP代理实现与验证代码量之比约为1.8:1,程序设计实现和程序验证所耗费的时间之比约为1:3。经过形式化验证的BGP代理处理100000条BGP路由所花费的时间为0.16 s,约为未经过验证的BGP代理的7倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。

摘要：常熟发电厂一期工程中的干煤棚屋盖系排框架式大跨度三角形钢桁架结构,长120m,宽88m,建筑面积10600m^2,屋面安装14榀由2片平行坛钢屋架组成有檩大跨度三角形钢桁架,每木品钢桁架自重达40.4t,整个屋面制作钢结构工程量重计303t,是目前国内同类型跨度最大的工程。干煤棚工程由西北电力设计院设计,钢桁架用二片相同的钢屋架通过支撑系统连接成箱形断面,使其具有足够的空间刚度和稳定性。

摘要：城市公共空间设计是一种关注城市的空间布局。为了构筑良好的城市空间形态,在城市公共空间设计中必须处理好城市的边缘空间,创造具有活力的城市公共空间。现阶段城市中心城区改造更新越来越快,在此背景下,本文通过对芜湖市口袋公园的空间布局、物理环境、硬质铺装、绿地现状等方面进行分析。基于生态理念提出具体的设计方法,以营造丰富的城市公共空间形态。

摘要：在保密通信系统中,随着高维混沌系统的应用及复杂的混沌调制和解调方法的提出,提高了通信系统的保密性能,但大大增加了传输的信息量,使保密通信成本急剧上升。以四维超混沌系统模型为研究对象,从Lyapunov指数角度给出了系统的脉冲同步判据,实现了超混沌驱动-响应系统的脉冲同步;将脉冲同步与压缩感知技术相结合,设计了一种基于压缩感知的脉冲混沌同步新保密通信系统。通过仿真实验,说明了新保密通信系统能够解决信息冗余带来的发送信息较大、信道利用率低等问题,改善了传输速率及信道拥堵现象。经过压缩感知后的加密信息"支离破碎",增强了通信系统的保密性。

摘要：目的:在经济快速发展的今天,对于公园生态的需求也日益增长,为探索构建城市滨湖空间景观营造的思路与方法。方法:本文以芜湖市湾沚区罗福湖待开发的城市滨水公园为例,采用田野调查、调研访谈、绘图设计等方法,从生态、生活、生产三个层面出发,结合湾沚区自然环境特色,点线面结合。结果:形成完整的地区绿地网络系统,发挥园林绿地的综合效益。结论:为市民提供更多的休闲活动场地、改善局部生态环境、形成完整的生态城市绿网。

摘要：在研究混沌系统界对混沌同步与控制影响的基础上,提出了一种基于全局吸引集的混沌系统同步方法.把统一混沌系统的乘积项用平方项代替得到统一变形混沌系统,以该混沌系统作为系统模型,通过构造广义正定径向无界李亚普诺夫函数,利用线性控制变换方法,结合拉格朗日函数解决了统一变形混沌系统的有界性问题,得到了该系统的椭球形最终有界集和正向不变集界的估计;并将其应用到混沌同步中,设计了合适的系统控制器,使混沌同步误差系统稳定到原点,实现了统一变形混沌系统与统一混沌系统的异结构同步.统一变形混沌系统的界和异结构同步数值仿真结果验证了所提方法的有效性和正确性.

摘要：为了满足一般桥梁建设工程对50年超越概率5％（地震重现期975年）和50年超越概率2％（地震重现期2475年）下地震动加速度值的需求，该文以编制《中国地震动参数区划图》的数据为基础数据，计算了50年超越概率2％、50年超越概率5％和50年超越概率10％这3个概率水平下的谱加速度值（T=0．0s、0．2s、0．3s、1．0s），统计了50年超越概率2％谱加速度和50年超越概率5％谱加速度分别与50年超越概率10％谱加速度的比值在基岩场地和中硬场地条件下的均值及方差。结果表明：50年超越概率2％水平下的地震动加速度值与50年超越概率10％水平下的地震动加速度值之比的均值在基岩场地下为1．78～2．11，在中硬场地条件下为1．70～1．79；50年超越概率5％水平下的地震动加速度值与50年超越概率10％水平下的地震动加速度值之比的均值在基岩场地下为1．31-1．42，在中硬场地条件下为1．29～1．37。由于土层放大的非线性效应，中硬场地条件下比值的均值比基岩场地条件下稍小。利用K—S检验，发现比值可近似看成符合正态分布，因此可以使用比值的均值来换算50年超越概率2％和50年超越概率5％下的地震动加速度值。

摘要：为研究列车荷载下平行钢丝拉索疲劳寿命,利用斜拉索内平行钢丝的疲劳寿命模型,基于Miner线性疲劳累积损伤准则推导了平行钢丝拉索任意一根钢丝疲劳破坏所经历的循环次数,采用Monte-Carlo方法模拟斜拉桥疲劳寿命的概率分布。以一座现役大跨径斜拉桥为背景工程,分别建立了有91根钢丝的普通拉索疲劳寿命模型和有109根钢丝的加强拉索疲劳寿命模型,研究了钢丝根数对拉索疲劳寿命的影响,计算了铁路荷载作用下该斜拉桥拉索寿命。结果表明:在10%的断丝率下,普通斜拉索和加强斜拉索疲劳寿命均服从正态分布且均值基本相同,普通斜拉索方差要大于加强斜拉索。两种斜拉索在仅考虑列车荷载作用下的疲劳寿命均远大于其设计寿命。

摘要：混沌模型的设计和建立对于混沌的应用有着至关重要的作用。为给混沌保密通信提供一个有效的混沌系统模型,通过对Qi三维混沌系统状态变量的重新组合,构造了新的非线性项,提出了具有新架构的四维动力学系统。在多次实验所得的参数配置下,证明了所提系统存在混沌特性,具有新蝶翼吸引子。采用简单的模拟器件,通过EWB仿真,实现了具有新架构四维系统分数阶电路的构建,证明了电路的可实现性。通过设计切换控制器,产生了多涡卷系统,得到了更为复杂的状态特性。

摘要：该工作通过研究抗病毒药物与新冠病毒蛋白酶(Mpro)的相互作用,理解药物分子对Mpro动力学的影响,对Mpro抑制剂的设计提供帮助.采用分子对接方法获得了Mpro与药物分子结合的复合物结构及其亲和力.常规的分子动力学模拟结果显示,测试的抗病毒药物均不能很好抑制Mpro结合位点处的动力学.通过副本交换的分子动力学模拟充分采样Mpro与不同药物分子结合的构象,分析不同药物分子对Mpro结合口袋形状及动力学产生的影响.结果显示不同药物分子通过与结合位点周围不同位置处氨基酸形成的不同的氢键网络,改变了Mpro结合口袋的形状.上述结果提示在未来的药物设计中,应充分考虑潜在抑制剂与Mpro结合口袋形成的氢键网络的重要性.