安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.     

关于直接换档变速器技术的应用分析

本文针对直接换档变速器的特点,分析直接换档变速器的工作过程及其发展动态,旨在探索该技术的发展前景与应用新路.     

浅谈建筑结构检测

随着建筑业的不断发展，建筑结构的检测越来越引起人们的重视。文章介绍了建筑结构检测的发展简史，结构检测的分类，以及结构检测的学习内容。     

浅谈KCBYS型开关磁阻电动机调速系统

介绍了开关磁阻电动机调速系统(SRD)的各个组成部分和功率变换电路应具备的条件,阐述了该系统的功率变换电路和系统控制结构图,给出了系统应用的控制方式、位置检测电路和电流检测的方法。     

广东省农资综合直补和种粮直接补贴绩效分析——基于问卷调查法

分析了广东省农资综合直补和种粮直接补贴政策的实施情况。调查结果表明农村务农劳动力中中老年人占绝对主体,农民的受教育程度偏低;农民对农资综合直补和种粮直接补贴政策比较满意,对其认知情况良好,希望该政策能够保持且加大力度实行,也希望党和国家在制定政策时应多考虑农民的想法;大多数农民认为该补贴政策有利于提高种粮面积和粮食产量;农民认为该补贴能弥补种粮成本的增加,加大他们对农业生产要素的投入。     

压实度检测与级配碎石压实质量控制的探究

有效的压实度检测方法可以对压实质量的控制起到积极的作用.从土壤压实度的概念入手,对传统的压实度检测技术进行了分析,指出其不足之处,接着提出了压实度连续检测技术,并对级配碎石的施工质量控制进行了简要说明.     

论建筑消防设施检测机构的现状及措施

当前，建筑消防设施检测机构主要工作是对建筑消防设施质量以及运行状况所开展的技术测试，同时还要向被检测企业出示相应的检测报告。近年来，建筑消防设施检测机构数量越来越多，但是，在检测机构中还存着大量的问题。结合作者多年的实践经验，针对建筑消防设施检测机构现状、出现的新问题和解决对策进行了深入的探究，希望能够为读者提供一些有价值的参考。     

简化互通式立体交叉设计流程在变速车道设计中的应用

本文针对变速车道的特点进行了分析，结合软件的具体实现提出了匝道设计的新方法。改善了变速车道设计的质量和效率，在一定程度上减少了设计的工作量和提高了设计的效率。     

提高水泥粉喷桩成桩质量的探讨

本文就如何保证水泥粉喷桩成桩质量及施工注意事项提出了自已的观点及建议,以供业内各位同行共同参考学习借鉴。     

煤质检测基本要求及注意事项

任何煤质特性指标均有特定的检测方法与要求，虽检测方法不同，但应当遵循国标中的各项规定和条款。电力用煤量占全国年产煤量50％以上，电煤费用占火电厂成本的70％左右，对新建火电厂而言，其费用在火电厂成本中可高达90％。因此，煤炭的采购、验收、管理、检测在火电厂中受到高度重视。