分析和设计安全协议的新逻辑

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标.     

污水处理集散控制系统设计研究

主要介绍了集散控制系统应用在污水处理控制系统的核心设计思想和主要技术.     

减速器壳双头镗专机加工技术的探讨

减速器壳是汽车后桥重要零部件,其加工质量直接影响后桥的装配和异响。在大批量生产中,不仅要稳定地保持高精度、高生产效率,还得最大限度降低零件加工成本和设备采购费用。近年来专机在生产中不断边缘化,被通用设备所取代,本文结合实际生产,以双头镗专机为例,通过质量和成本等方面的表现,对减速器壳双头镗专机进行比较研究。     

探析以就业为导向的高职计算机应用技术专业教学改革与创新对策

目前，计算机已经十分普及，信息技术也已渗透到各个社会领域。 IT行业对人才一直有着大量需求，为了能让高职学校所培养的计算机应用技术专业的人才，能够适应这个不断发展的社会，跟上时代前进的脚步，对教学进行改革与创新已经是迫在眉睫。而作为教学改革的基本思路和创新的导向，就业也已成为高职学校和学生的瞩目焦点。文章将结合此点，对改革措施进行分析探讨。     

中国汽车技术发展的现状与未来

根据我国汽车技术发展的现状和存在的主要问题，研究确定了我国汽车技术发展的总体目标、思路和重点，并提出了实现上述目标的具体措施建议。     

高速公路机电系统维护定额体系架构设计研究

以高速公路机电系统维护定额为研究对象,通过对高速公路机电系统维护工作的调研,对设备信息、维护管理模式、故障处理等影响高速公路机电系统维护成本的关键因素进行了分析,在此基础上建立了高速公路机电系统维护定额体系。同时利用信息化管理方法,设计了集查询、计算、网络管理为一体的高速公路机电系统维护定额信息管理系统。     

9500DWT多用途船中间甲板安装工艺

9500DWT多用途船装载货物种类繁多,为了便于装载不同的货物,在货舱中间设置了中间甲板,该中间甲板的精度要求非常高。为了达到相应的精度要求且避免船台周期延长,世界造船工艺的发展方向是提高造船精度,提高分段预舾装率和船台预舾装率,缩短下一阶段工作的工期,提高船台与码头的利用率,达到缩短整船建造周期,降低建造成本的目的。为确保中间甲板的安装精度,缩短工期,达到降本增效的要求,特制定该中间甲板安装工艺,在分段上预装支撑销盒,大合拢后进行调试。     

马来西亚泄洪暨公路隧道（SMART隧道）设计与施工

马来西亚岛的地质组成涵盖由寒武纪至第四纪地层，包括形成主要山脉的花岗岩、石灰岩露头、著名石灰岩洞，以及冲积平原的砂及粉土等，对在上述复杂地层中进行大直径(12．83m)、长距离(5．205km)的盾构隧道建设进行了探讨，以供设计施工参考。     

论和谐公路

公路交通作为社会的公共基砷设施行业,与人们的日常工作和生活密不可分,利用和谐社会的思想来构建和谐公路是当前交通行业的重要战略任务.和谐公路是和谐社会的一个重要组成部分,立足于我国现有的公路管理体制,以我国公路为基本研究范畴,在以人为本思想的指导下,以服务于全社会和谐为己任,通过科学发展的途径,构建一个公平共享、法治有序、便捷高效、安全可靠、环境优美、人民满意的公路交通,是全社会义不容辞的责任.