基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

对中压分解器下段加热器E102B壳侧出液管泄漏的处理

针对宁夏石化分公司尿素二车间中压分解器下段加热器E102B壳侧出液管泄漏的原因进行分析,并且对处理过程进行了总结。     

锈蚀损伤混凝土管桩水平承载性状时变分析

为研究锈蚀损伤混凝土管桩的水平承载性状,依据Fick第二定律,建立了氯离子在混凝土管桩中的扩散方程,并结合初始和边界条件,得到扩散方程的解析解.依据厚壁圆筒模型,推导了钢筋混凝土管桩保护层锈胀开裂时的钢筋临界锈蚀深度.基于Faraday定律,对钢筋混凝土管桩保护层锈胀开裂时间进行了预测.并在此基础上,通过引入桩身抗弯刚度折减系数对海洋环境下锈蚀损伤钢筋混凝土管桩的桩身抗弯刚度的衰减规律进行了探讨,进而对海洋环境下锈蚀损伤钢筋混凝土管桩的水平承载性状的时变特性进行了分析.结果表明:海洋环境中氯离子侵蚀引起的钢筋锈蚀对钢筋混凝土管桩的水平承载性状有明显影响.随着暴露时间的延长,桩身抗弯刚度呈非线性衰减,桩身水平位移和桩身负剪力最大值逐渐增大,桩身弯矩逐渐减小.     

浅谈全面预算管理的组织体系构造与保障

全面预算管理是将企业的决策计划目标及其资源配置以预算的方式加以量化,并使之得以实现的一种企业内部管理活动或过程的总称。企业实施预算管理是提高企业整体管理水平的重要手段。从全面预算管理的作用与职能,管理体系的构造,全面预算管理编制的内容、原则、程序,全面预算管理的保障制度等方面进行了介绍。     

基坑地下承压水的控制设计及抢险方法

结合工程实例，总结了基坑地下承压水控制设计及抢险方法。     

地下增层h型双排桩支挡体系模型试验研究

针对地下增层基坑支护问题,提出既有-新增排桩组成的h型双排桩支挡体系。建立室内大比尺模型试验,以排间距为参数,研究h型双排桩中既有和新增排桩桩身受力随挖深变化规律。结果表明增挖施工时新增排桩上部出现正向弯矩,下部出现负向弯矩。一定范围内,排间距增加可优化新增排桩桩身受力状态;既有和新增排桩可互相分担荷载,提高支挡结构整体稳定性;总挖深达到既有排桩桩底深度时,既有和新增排桩桩身弯矩前后呈现明显不同增长态势。     

用LXS—15水表计浮选用药剂量

<正> 用仪表对浮选药剂用量进行计量,这对浮选生产分析、加强药剂管理、实行分班计量、提高浮选司机在操作中采用最佳配比、降低消耗的积极等都具有实际意义。彩屯选煤厂采用的捕收剂是煤油,起泡剂为杂醇。各班耗油量一直不能准确地计量,三个班吃“大锅饭”。为了解决这     

邻近桩基受矩形土体位移作用的模型试验研究

地下工程开挖引起的土体侧移对邻近桩基的承载和变形性状可能会产生负面的影响,对于这一问题目前还缺乏充分的研究.文章采用室内模型试验进行分析,讨论土体侧移作用下单桩和群桩的承栽和变形特性,重点研究了在矩形土体侧移模式作用下单桩和群桩的承载和变形性状.试验结果初步分析表明,土体侧移大小对桩的受力特性具有较大的影响,在工程实践中应予以重视.     

烟用滤嘴棒功能化改进及填充纸的技术发展

介绍了烟用滤嘴棒常用的填充材料,并进行应用对比;重点综述了滤嘴棒填充纸（如植物纤维纸及醋酸纤维纸）的技术发展与应用,对比常用的醋酸纤维,分析了滤嘴棒填充纸在生产应用时存在的优缺点等;并结合当前市场,分析未来醋酸纸滤嘴棒的发展前景、所需改进的工艺及增香、保润、降焦减害等功能化研究方向。