基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

人工智能与几何证明

实现人工智能的根本途径是脱离计算机的串行冯·诺依曼体系结构或模拟人类认知活动,机器证明是人工智能的重要研究课题,基于知识的平面几何证明系统—ＥＵＣＬＩＤ是模拟人类几何专家证明的认知过程的知识系统,其基本思想就是组块式构造知识库,利用优越图进行索引,无回溯失败学习     

电力测控系统中的微机算法设计与应用

对电力系统运行状态进行了数学描述，并由此导出运行参数的最佳解析表达式，进而设计了微机电力测控系统中短数据窗和长数据窗的算法，使计算速度和精度达到合理平衡。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。     

基于重心坐标的平面几何证明器

证明平面几何问题,所选的参考坐标系对于问题的解决有重要的影响.基于重心坐标系解决平面几何问题的好处是方法简单,过程简洁,同时,有利于实现证明的机械化.将重心坐标作为算法,在Maple下编写的程序Gp可以高效地证明一类平面几何问题.     

广西互联网络中心计算机系统防雷与远程监控的设计与实现

针对广西互联网络中心3个节点防雷系统存在的不足，分别从电源线路防雷工程、接地系统工程、等电位连接、屏蔽接地工程以及信号线防雷工程等方面对防雷系统进行整改，并利用现有的网络，实现广西互联网络中心防雷系统的远程监控。     

地基沉降预测系统的设计与实现

介绍了地基沉降预测系统设计与实现的途径，基于指数法，双曲线法，星野法，提出了根据最小偏差自动选取计算模型的思想，文中给出了计算模型的求解方法和主要算法，并给出了系统功能，技术特点等，通过实测数据的验证，表明了系统的有效性和实用性。     

基于公理化设计理论的并行设计决策研究

针对并行设计决策系统的特点，建立了基于公理化设计理论的并行设计决策系统模型。以面向制造的设计为例，通过决策目标分解，将一个复杂的耦合系统转变成非耦合的模块组合结构，建立了可制造性评价指标体系，讨论了决策系统的设计过程，为计算机辅助决策过程奠定了基础。     

基于公理化理论的自动装配与焊接系统设计

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架.基于公理设计理论,应用独立公理对多机器人集成焊接系统的结构设计进行了分析和论述,给出了系统的功能需求与设计参数之间的映射关系以及设计流程,然后基于信息公理以上料系统为例,介绍了上料系统设计方案的优化方法.通过对系统进行计算机运动仿真,验证了系统设计的可行性和有效性,该系统已投入实际应用.     

蔬菜电子拍卖系统设计及关键技术研究

电子拍卖是一种新兴的交易方式.本文介绍了山东寿光蔬菜市场电子拍卖系统的软硬件设计方案,详细分析了该电子拍卖系统中所使用到的具有创新性的思想和技术,最后对电子拍卖系统的发展趋势进行了探讨.     

煤矿开采图件设计管理系统

针对煤矿开采工程图件设计绘制的特点，提出并初步建立了煤矿开采图件计算机设计和管理系统—ＭＫＴＧ系统。该系统五大模块在一个主模块管理和控制之下，以多层菜单方式实现统一管理，具有较强的图形编辑功能和良好的人机界面     

计算机算法动态系统中关键技术的设计与实现

以高校计算机语言课中常用的算法为基础,研究开发了计算机算法动态演示系统,综合运用集声音、图像、视频和文字等媒体为一体的多媒体技术来演示各种算法的实现过程,把抽象的理论形象化,把静态的教学动态化,有助于激发学生学习算法的兴趣,从而更深入地理解和应用算法。     

太原武宿机场塔台的防雷设计

介绍了太原武宿机场改扩建塔台工程的概况,分析了防雷理论及工程设计依据,提出了塔台内外感应雷的防护措施。     

一种零知识证明算法及其应用

提出了一种基于模运算的新的零知识证明算法,分析表明,该算法同其他零知识证明算法相比原理简单、运算速度快、欺骗的可能性小,只需要一次证明,就可以满足其他零知识证明需要多次证明才能保证的安全性要求,该算法尤其适合中文、日文等非字母文字信息的零知识证明,同时对各种信息的零知识证明具有普遍意义。