PROLOG程序访问DBF文件的方法研究

对知识系统与数据库间的耦合问题进行了一些研究，在介绍了一般方法后，提出了利用Ｐｒｏｌｏｇ元程序设计实现的新方法，并能与一种面向对象的知识表示方法＾［１］相适应。     

����ʽ����Ż��㷨Ч�ʵĸĽ��о�

以车辆调度问题为实例引出一种新的组合优化算法，并与原有的方法进行比较，说明新方法可以有效地抑制组合爆炸，极大地提高算法寻优效率.然后，本文用数学方法来证明该新方法再寻优上的正确性，最后根据两种不同算法编写各自对应的程序，用实际运行的结果来验证新算法带来的效率的提高.     

高填方路堤填筑体沉降的三维有限元分析

针对高路堤填筑体自身沉降问题，本文采用三维有限元技术并编制了程序，计算结果进一步证明其具有较高的可靠性和精度，所提供的分析结果对工程实际具有重要指导作用。     

轴对称体温度场有限元程序的编制

通过建立一套求解轴对称体稳太和非稳态温度场的数学模型，编制了相应的９节点等参元有限元程序，并用模型对程序进行了检验，结果证明程序是正确的。     

路基施工若干非常规工艺简介

用非常规的施工工艺来解决路基施工中的一些具体问题，在实践中证明对工程质量和进度的现场控制是有利的，非常规工艺并非违背常规工艺或操作程序，而是在原理相同的前提下，本着具体问题具体对待的原则，对常规工艺，程序及方法的又一补充。     

运政执法行政处罚中的几个法律问题

依法行政已成为政府行政的根本原则，阐述交通行政执法部门在实施行政处罚过程中应着重注意的问题；处罚主体的准确认定，审查案件中证据内容能够证明违法事实成立，证据的取得具有合法性，处罚程序的正确把握。     

非线性有限元在钢筋混凝土结构分析中的应用及程序设计

采用有限元法对钢筋混凝土构件的平面应力问题进行了非线性分析，通过选取恰当的混凝土本构关系、强度准则及残留抗剪刚度系数。使用Fortran90语言编制了非线性有限元程序。模拟了混凝土开裂、压碎前后的受力特性，通过一个典型算例证明程序是可靠的。对不同标号的混凝土梁进行了参数分析。得出了一些有益的结论。     

关于最优机器保养和更换问题的解法

指出目前最优机器保养和更换问题解法中一个推理与事实之间的不符合，提出了几个判断最优决策变量的表达形式的有用准则，并给出必要的合理证明，还列举了数值例子以说明其应用情况。     

营运公路隧道通风系统的选择

公路隧道通风系统的选择是一个比较复杂的问题，它涉及到交通量、隧道长度、气流速度和空气污染程序等诸多因素。本文就选择公路隧道通风系统的原则和方法进行简要阐述，并列举一定事例加以说明。     

VBA在开发土建工程设计程序中的应用

根据我国工程设计人员利用AutoCAD开发工程设计程序的现状，探讨了AutoCAD的ActiveX Automation技术的基本概念分析了AutoCAD2000对象模型结构图，并通过一个简单实例，说明开发土建工程设计程序的基本方法。     

铁路钢板梁桥检算系统的程序实现

在高速学和重载情况下，铁路桥梁需要重新检定其使用状态，结合板桥检算系统程序的编制，说明了数据库的运用、ＶｉｓｕａｌＢａｓｉｃ与Ｆｏｒｔｒａｎ语言的混合编程，报表打印等技术实现。对程序的正确性，用户使用界面的友好性作了必要的说明。最后介绍了程序系统具有结构合理，功能完善，使用方便的特点。     

浅谈线性规划多重解与退化解的涵义

分析得出原问题是多重解，则对偶问题为退化最优解的命题，并对命题进行了证明，同时指出它的逆命题不成立；进一步分析了多重解与退化最优解的深层内涵及经济意义，说明资源影子价格不惟一情形的存在及含义，并指出退化解与多重解反映了众多市场参与者在资源供求方面的多种均衡解。     

容斥原理及一般公式

通过对容斥原理及一般公式的证明及说明，寻出有限集合运算后的计数公式。     

C++语言中多态性的分析

通过分析C 语言多态性的各种形式、特征及其在程序设计中的应用,说明多态性是对相似问题求解的有效方法.     

公路斜板桥计算

文章以矩形薄板弯曲单元为基础，根据坐标变换原理，指导出平行四边形薄板弯曲单元刚度矩阵，编制了计算程序，通过实例计算证明，这种单元精度可靠，特别适用于斜板的计算。     

用于h—收敛自应用有限元分析的一种事后误差估计

本文推导了一种ｈ－收敛的新的事后误差估计式，并用数值算例进行了检验，将这种误差估计纳入多变量有限元程序，证明对于自适应有限元分析是行之有效的。     

用于h－收敛自适应有限元分析的一种事后误差估计

本文推导了一种ｈ－收敛的新的事后误差估计式，并用数值算例进行了检验。将这种误差估计纳入多变量有限元程序，证明对于自适应有限元分析是行之有效的。     

结构优化程序系统‘GJOPT’

本文介绍了作者所研制的结构优化设计‘GJOPT’程序系统的组成、设计思想及其中一个较有特色的优化设计齿形法，并给出了该系统的应用和编制说明；该程序系统对空间刚架结构的优化设计是行之有效的。     

船舶主机选型的不确定性多属性决策方法

船舶主机选型需考虑各种技术与经济因素．满足基本技术要求的主机往往有多个，如何选择最理想主机，是一个不确定性多属性决策问题．文中针对一个实际例子加以说明，并提出了一种基于传统的多属性决策方法——逼近理想解的排序方法(TOPSIS)与证据结合准则相结合的方法来解决该问题．结果证明，该方法能合理解决这类问题．     

高填方路堤填筑体沉降的三维有限元分析

针对高路堤填筑体自身沉降问题 ,本文采用三维有限元技术并编制了程序 ,计算结果进一步证明其具有较高的可靠性和精度 ,所提供的分析结果对工程实际具有重要指导作用 .