PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑提出了ＰＲＯＬＯＧ程序正确性的一种证明方法。     

中文状态下界面优化设计探讨

界面设计是程序设计的重要组成部分，本文介绍如何利用Ｃ语言编颇受人们迎的具ＷＩＮＤＯＷＳ菜单风格的中文状态下立体按键式汉化菜单。     

可编程控制器在自动配料系统中的应用

本文介绍了自动配料系统的组成及工艺流程，控制系统的硬件设计，可编程控制器的程序设计，系统的模拟联机调试和实际应用情况。     

不同行车方案运行图编制优化及运行图法牵引供电仿真计算应用软件

在电气化铁路设计或电气化线路的运营、改造过程中,合理选择和估价牵引供电设备的能力,评价电气化铁路对通迅部门和电力部门的影响,都需要通过供电计算来解决.但目前的作法主要以许多近似的假设为前提.因此,准确性较差,与铁路运输的实际要求有一定距离.另外,也不能计算出选择供电设备和砰价牵引供电系统对邮电部门和电力部门影响时所需的特征值.为了更好的实现设计为运输生产服务,提高电气化铁路的设计质量,将运输实际需要进行数据化处理,转化为可作为供电仿真计算的手段及方法,其供电计算结果,必然能够满足铁路运输生产实际要求.本文研制的不同行车方案运行图优化及运行图法牵引供电仿真计算应用软件将     

公路桥梁桩基础计算方法及其程序实现

本文阐述了所研制的公路桥梁桩基础设计计算程序系统的数学模型、结构和主要特点.该系统已在生产实践中通过.