Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

关于商丘（省界）至开封高速公路概算编制的说明

本文介绍商丘至开封高速公路概算编制说明，该说明在初步设计审查中得到了交通部审查组专家的高度赞誉。说明包含了概算编制的依据、范围、材料、施工方案、定额使用等各方面。     

公路大修工程中的级配碎石基层施工技术分析

主要是对公路大修工程中的级配碎石基层的施工技术展开说明和分析,对其中一系列的施工要点进行了详尽的说明和分析。     

多跨高墩连续刚构的设计研究

主要是结合实例对多跨高墩连续刚构的设计展开了说明和分析,并在此基础之上对其方案的选择、合拢工艺的完善以及下部结构的优化等多个方面展开了说明和分析。     

分析现有公路路况的评价方法

主要通过介绍现有公路的路况评价,说明路况评价的作用,在整个养护工作中的关键地位,对评价的方法中易模糊的界限进行了说明,进一步明确路况评价的意义。     

公路沥青混凝土施工中的质量控制研究

针对于公路沥青混凝土施工过程中可能出现的质量问题以及相应的控制措施展开了说明和分析,希望这样一种说明和分析能够对相关方面的工作人员有一定的启示。     

面向对象类测试方法研究

面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。     

论信息时代的反竞争情报工作

本文阐述了反竞争情报对我国企业生存的重要意义及其在我国发展的现状,针对其容易发生泄漏的途径及防范措施进行了说明,并对如何在企业内部开展系统化的反竞争情报工作,这方面专业人才应具备的素质做了简要说明。     

浅谈钻孔灌注桩的监理控制要点

简要说明了钻孔灌注桩的监理控制要点。     

交通运输投入占用产出模型研究

交通运输业是国民经济的基础支撑产业,他对国民经济的其他产业存在着广泛、多层次的直接和间接影响.目前,交通运输发展面临着巨大的环境压力和资源约束,编制交通运输投入占用产出表并对其应用进行研究有助于国民经济快速、平稳、协调发展.文中设计了交通运输投入占用产出表,并对该表如何进行编制做了说明.在模型构造原理的基础上,对模型的主要特征做了解析说明,如模型的行向分析和列向分析,并对模型的实用性及部分用法做了说明.     

双连拱黄土隧道中导洞施工技术探讨

介绍了黄土双连拱隧道中导洞的施工工序,重点论述了中导洞中隔墙基底处理,以及中导洞基底处理前后监控量测的结果分析,说明基底处理方案的合理性,同时也说明中导洞中隔墙施工的重要性,为以后黄土隧道的施工提供参考。     

水泥混凝土灌注桩缺陷产生原因及处理方法

对水泥混凝土灌注桩缺陷产生原因进行了说明，提出了处理方法     

浅谈道路标志的检查方法及保养维修

简要说明了道路标志的检查方法及保养维修措施。     

大体积混凝土的裂缝控制

说明裂缝产生的机理介绍了大体积混凝土的裂缝控制。     

钢管混凝土拱连续梁桥的动力特性探析

主要是结合实际的例子并通过三维有限元模型的建立来对其动力特性展开了说明和分析,并在此基础之上对结构参数对桥梁动力特性的影响展开了分析和探讨,并合理指导该类型桥梁结构的设计,这样一种设计和说明都是具有实际的意义。     

国道(G111)黑龙江省内设计及说明书

介绍了国道G111在黑龙江省内路段的设计及说明。     

社区卫生服务系统形式化规格说明

通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。采用形式化方法对社区卫生服务系统进行设计,能够得到一致的、精确的、简明的和无歧义的规格说明。     

如何做好现场监控管理和技术服务

对如何做好现场监控管理和技术服务进行了说明。     

小修保养在公路养护中的应用

通过对公路小修保养的重要性与存在的问题进行了说明,并对公路路基和路面等小修保养养护处理方式提出了相关建议,对公路养护中遇到的问题进行了简要分析与说明,以此,望能促进小修保养在公路养护中的更好应用。     

浅谈玻纤格栅的特点及工程中的应用

详细总结了玻纤格栅的特点,并对在工程中的应用进行了简要的说明。