关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

浅论术语学是知识技术的前提

20世纪70—80年代，随着信息技术的发展，人们越来越认识到术语学在知识产生、知识获取、知识代表和知识传递过程中所起的基础性作用。欧洲的术语学家从人们对信息流的研究和对知识秩序的重视上得到启发，设计了普通术语学的概念动力学模型，揭示出术语学和知识技术相互依赖、彼此依存的内在联系，并由此得出术语学和知识技术一体化的模型。文章着重对这一理论发展过程进行论述，以期为中国术语学理论提供一个新的研究视角。     

运用Rasch模型分析生物学作业与教学目标的相符性

Rasch模型作为客观等距量尺的测量工具，用来测量现行的课程作业与教学目标的相符性具有较好的适切性．选取现行课程标准生物学的一个课时内容，将浙江省配套的生物学作业与教学目标进行比对，通过Rasch模型测量生物学作业与教学目标相符性的关系，为教育决策者及命题者提供一种判断作业题目难度恰当与否的方式．     

内蒙古民族人口发展模型

对内蒙古的蒙古族、汉族以及达斡尔族、鄂温克族和鄂伦春族人口发展模型、发展特点和蒙古族、汉族人口未来发展预测模型进行了研究和探讨。     

高耸钢筋砼电视塔地震破坏机理的振动台模型试验研究

通过高耸钢筋砼电视塔结构的大型振动台模型试验，分析研究了该类电视塔结构在强震下的地震破坏机理。所得结论对于改进和完善该类结构的设计是十分有益的。     

一个新的交通出行分布模型系列

交通出行分布预测是城市交通规划的一处重要环节，当今流行的重力模型法在预测中尚有不如人意之处，文中提出一种新的预测模型，意在提高出行分布预测的精度并使共操作方法比重力模型更加简便，在重力模型中，区与区之间的出行阻抗是建模中必备的资料，然而阻抗在实际应用中人们对其有着许多不同的理解，也不容易进行比较精确的标定，它影响了模型的精度和预测的功效。     

电阻及其微观机理

电阻是金属的最赋有表征性的特性。认识“电阻”的关健环节是电子散射机构问题。本文围绕着这一关键问题,对比了现代能带论与经典理论,并且用能带论更新了“电阻”的经典概念。     

RLC串联谐振实验的改进

本文提出了一个在实验教学中往往被忽视,但却十分重要的问题:这就是应对实验所用元件参数作严格的定量测试,(同时也应对所用仪器作严格的校正)才能保证实验结果的正确性,并首先提出在RLC串联谐振实验中要考虑电容器介质损耗电阻。实验结果与理论符合较好,因而对实验教学有一定参考价值。     

论CAPP的创成模式

本文论述了系统运用成组技术原理，提出了检索，创成综合模式。其特点是按相似零件组编组工序、工步词典，以工序工步词典为索引建立相应的工艺决策规则。在系统软件实现方面，运用编译原理、构造词法、语法分析器，对规则或知识进行预处理，形成特定的语法结构，使知识库与推理机相互独立。     

华北电网最大负荷及峰谷差的灰色等维递补预测

本文根据灰色系统理论，建立了华北电网最大负荷及峰谷差的灰色等维递补预测动态模型，并计算出了直到２０００年的最大负荷及峰谷差预测值。经检验此方法具有预测精度高、计算速度快及使用方便等优点，不失为一种实用的负荷预测方法。