论文部分内容阅读
采用分类的思想，对领域内的证明问题进行了归纳总结、抽象，在计算机上建立了相应的模型，采用基于知识的推理技术，设计了机器定理证明的实现流程，并针对某种具体类型实现了相应的原型系统，得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。
基于领域的机器定理证明的研究
【摘 要】
：
采用分类的思想，对领域内的证明问题进行了归纳总结、抽象，在计算机上建立了相应的模型，采用基于知识的推理技术，设计了机器定理证明的实现流程，并针对某种具体类型实现了相应的原
【机 构】
：
西安电子科技大学机电工程学院
【出 处】
：
航空计算技术
【发表日期】
：
2010年2期
其他文献
结构耐久性破坏现象普遍而严峻,耐久性研究具有必要性和紧迫性,其中 ,钢筋锈蚀和冻融循环是造成结构耐久性损伤的2大主要因素.文章针对这2种因素,总结了当前混凝土劣化对结构
两多边形求交问题在计算几何学、计算机图形学、地理信息系统、地质灾害预测评估及土木工程领域都有涉及.根据多边形节点所处的几何位置为其设置节点状态,基于多边形节点状态
对M带多尺度函数的逼近阶的提升,需要引入M带尺度相似变换(MST).通过研究MST的性质及与M带多尺度函数的逼近阶的关系,利用MST可以对M带多尺度函数的逼近阶进行提升.
城镇化是工业化和现代化的必然趋势,是解决我国农业和农村发展问题的关键措施.加快城镇化进程必须消除城镇化的思想、体制和政策障碍,实行以大城市为主、大中小城市和小城镇
针对某型号无线电引信接收机测试设备研制,对测试中遇到的技术难点进行了探讨,给出了解决途径。研制的难点体现在ns级高速度脉冲调制、ns级时序与宽度可调节多路脉冲生成,脉
针对现役飞机结构腐蚀损伤,选取正态分布、Gumbel第一型极值分布、Logistic分布、双参数Weibull分布以及三参数Weibull分布进行统计特征研究。结果表明,腐蚀深度数据均较好地
采用网络化制造平台的组织模式是改善企业实施网络化制造的一种有效手段,它将企业之间的协同由复杂的网状结构变成了简单的单一线性结构.结合这种组织模式,本文建立了一种网