Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

逆变埋弧焊机控制系统软件设计

介绍了IGBT逆变埋弧焊机控制系统的总体设计。采用模块化方法设计了电源外特性控制、送丝、小车行走速度调节、引弧与收弧控制软件；分析了PI控制算法、电源外特性控制算法、送丝速度控制算法，以及控制程序的优化设计。说明了系统软件各部分的功能和原理、程序的设计要点和实现方法．     

方管两侧同时冲孔模设计

通过对零件的工艺分析，改进了工艺方案，用一副对冲孔模完成两边同时冲孔，降低了生产成本，提高了生产效率；并介绍了该对冲孔模具的结构特点、设计思路、应注意的问题和装配工艺性。     

摩擦焊机可编程控制系统的研制

介绍了C609型可编程序控制器对摩擦焊工艺程序的控制以及对焊机检测电路、保护电路的控制，包括摩擦焊工艺流程逻辑图、PC的硬件接口及软件编程等，该PC系统结构简单，操作及修改程序容易，可靠性强，控制功能及精度亦优于原系统。     

计算机在磁性测量数据处理中的应用

设计也计算机程序，用计算机处理磁性测量数据和磁化曲线的绘制，提高了工作效率，减小了试验员的劳动强度，同时也提高了结果的准确性。     

铝电解用TiB_2阴极涂层固化、炭化的升温制度

采用DTG ,DDTA等热分析手段 ,研究了高温固化、炭化过程中 ,铝电解用TiB2 阴极涂层糊料的质量和能量的变化速率 ,制定了涂层的变速固化、炭化升温制度 ;在此基础上 ,研究了升温制度对TiB2 阴极涂层性能的影响。结果表明 :变速升温制度优于匀速升温制度 ,采用变速固化、炭化升温制度所制备的涂层形变小、无裂纹 ,其抗拉强度达 3.13MPa,电阻率为 2 3.2 μΩ·m ;而采用升温速度为 10 .3℃ /h的匀速固化、炭化升温制度制备的涂层形变大、裂纹多 ,抗拉强度小 (2 .6 9MPa) ,电阻率大 (2 8.6 μΩ·m)。     

水泥企业PLC控制系统的常见故障与处理

可编程序控制器(PLC)其性能可靠、性价比高、维护简便,在水泥生产控制中得到了广泛的应用。但使用中,因设计、使用或维护等方面原因,其电源模块、存储模块、输入输出模块及其外围线路会产生各类故障。结合故障实例,详细介绍和分析总结了PLC常见故障——电源故障、异常故障、通信故障、输入/输出回路故障、接线端子故障等等的现象、产生原因和处理措施。同时,总结了PLC系统的维护和保护的相关要求及技术措施。     

造气微机工艺控制和运行程序的改进

总结了ＬＹＫ－２型造气炉况寻优控制微机在工艺控制和运行程度方面的改进所取得的成功经验。通过改进，该厂不但稳定了气质气量，而且吨肥煤耗大幅度下降。其经济效益非常显著，为油压微机技术在小氮肥造气工艺上的开发应用，提供了可资借鉴的经验教训。     

采矿法方案优选指标权数的动态分析

在采矿方案优选的研究中，其决策的正确与否，取决于参与计算的采矿法的定量、定性指标个数以及这些指标的权数。本文通过实例分析了指标权数的波动对采矿方案优劣排序的影响，以减小决策的风险。     

辅锅控制程序在CENTUM-CS上的实现

全面介绍辅锅点火系统，从硬件配置、安全条件、点火逻辑和软件组态等几个方面论述辅锅控制程序的原理及其在CENTUM—CS上的实现方法，对CS系统的进一步开发利用具有较大的启发和借鉴作用。