用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

动态输出反馈的少保守性NCS鲁棒容错控制

针对一类具有时变时延和丢包的参数不确定网络化控制系统,采用动态输出反馈策略,在未对系统模型进行增广重建的情形下,通过构造适当的Lyapunov-Krasovskii泛函,推出了确保闭环系统在执行器失效情况下具有鲁棒完整性的时滞相关充分条件,进而借助于矩阵分离引理,求解线性矩阵不等式的方式,并给出了控制器的设计方法.由于...     

不确定非线性NCS鲁棒H∞保性能容错设计

针对一类不确定非线性网络化控制系统,同时考虑时延、丢包及受外部有限能量扰动的影响,研究了执行器失效故障情形下系统的鲁棒H∞保性能容错控制问题.基于T-S模糊模型,通过构造适当的李雅普诺夫-克拉索夫斯基泛函,推证出了使系统具有鲁棒H∞保性能容错能力的时滞依赖充分条件,并以求解线性矩阵不等式的形式得到了控制器的优化设计方法...     

试论带转换层型钢混凝土框架-核心筒混合结构关键设计

混合结构是我国高层建筑中首选结构体系之一,本文阐述了高层框架-核心筒混合结构的定义,并重点对框架-核心筒混合结构的关键设计方法进行了探讨,认为混凝土核心筒、剪力墙的延性、墙体内设置型钢、钢板剪力墙等是带转换层型钢混凝土框架-核心筒混合结构设计中的关键.     

路面病害检测中的背景处理和断点连接算法

在基于机器视觉的路面病害检测中,如何进行背景均匀化以及对二值图像中存在的断点问题处理是其中的技术难点.针对该问题,提出一种自适应的倍乘因子不均匀背景去除法来对不一致路面背景进行修正,该方法具有自适应性,可以通过调节自适应因子σ修正背景;然后使用一种基于区域搜寻的断点连接算法对非连续裂缝像素进行连接,它主要基于深度优先原则进行裂缝邻域搜索,然后根据联通性原理去除断点.仿真结果表明,这两种方法对目前的路面检测技术是很好的补充.     

毒素影响下的捕食-食饵模型最优控制问题

讨论了在毒素存在情况下具有收获的捕食-食饵模型的最优控制问题.利用Pontryagin极大值原理确定了最优收获策略.     

祁家黄河大桥C55微膨胀钢管混凝土试验研究

结合实际工程,就单跨桥梁钢管拱C55膨胀混凝土配合比,利用卵碎石作为粗骨料的优点,通过多因素正交试验方法研究了胶凝材料用量变化、砂率、不同外加剂等因素对钢管混凝土性能的影响,分析了其限制膨胀率等各项性能,用图表法形象地对比了主要指标与混凝土相关性能的关系,从而确定了C55钢管微膨胀混凝土的配合比.为进一步完善此类实验研究提供了参考依据.     

蜡式温控阀控温机理及内部流动分析

为了研究新型蜡式温控阀控温机理及内部流动特性,对其感温包感温原理进行了理论分析及实验研究,并对其内流场采用N-S方程和标准κ-ε湍流模型进行数值计算.结果表明:在相变过程中,流体温度与导杆行程的关系曲线呈"S"型,此阀感温蜡的理想工作区间为35~55℃.随着入口速度的增大,入口处的压力也呈逐渐增大的趋势;小速度与大速度总温度总体分布趋势基本相同,不同的入口速度情况下,阀出口温度基本不变化或者变化趋势不明显,即温控阀入口速度并不是影响其控温的关键因素.     

搭接柱转换层结构设计时相关问题探讨

研究分析了搭接柱转换层结构在设计时需要注意的问题,包括搭接柱截面尺寸、截面配筋、与之相连的受拉、受压粱和其他相关结构设计等.为实际工程结构设计提供了相应的建议.     

混贮备系统的模糊可靠度分析

通过建立3部件混贮备系统模糊可靠性的数学模型,推导出混贮备系统模糊可靠度的数学公式,并讨论了系统模糊可靠度与各部件模糊失效率和模糊可靠度之间的关系.为类似复杂系统提供了更切合实际的系统表述方法,相比较于普通可靠性理论更具有理论和实际运用价值.