论文部分内容阅读
在欧氏几何和向量空间中,结合二者的关系,把几何问题转换为代数问题,利用MATLAB的相关知识,编写源代码文件,用计算机证明立体几何中的直线垂直于平面的判定定理,为机器证明定理提供了一个实例.
立体几何定理的计算机证明
【摘 要】
：
在欧氏几何和向量空间中,结合二者的关系,把几何问题转换为代数问题,利用MATLAB的相关知识,编写源代码文件,用计算机证明立体几何中的直线垂直于平面的判定定理,为机器证明定
【机 构】
：
湖北民族学院信息工程学院
【出 处】
：
湖北民族学院学报：自然科学版
【发表日期】
：
2002年3期
其他文献
文章通过引用分析ISSE-CMM风险管理的基本原则、方法学和相关技术，在ISO9000持续改进的思想上。提出在信息系统项目管理中建立起一套基于全生命周期、规范化并且能够持续改进
本文介绍了有氧代谢的概念，有氧代谢在人体运动中的供能特点，分析了对运动员有氧代谢能力评定的意义、指标及方法。提出了评定时应注意的问题。
目的 探讨疼痛护理对骨肿瘤手术患者镇痛效果以及护理满意度的改善情况。方法 选取80例骨肿瘤手术患者作为研究对象,均为我院2017年8月至2018年8月收治,进行随机分组,分别实
目的 分析循证护理用于下肢骨折护理中对下肢静脉血栓等并发症的影响。方法 观察对象为我院2017年5月-2018年6月诊治的下肢骨折患者(110例),自由组合将其分为实验组和对照组,
技术创新对经济的发展起着举足轻重的作用,也是进一步深化改革、产业升级的需要。作为国家“一带一路”倡议实施的重要节点,甘肃省抓住政策机遇,取得了良好的科技创新成果。
随着处理器速度和网络传输速度的快速提升，I／O成为限制计算机性能的一大瓶颈，并行I／O提供了解决这一问题的有效途径。在并行I／O的实现中，数据访问调度策略对系统的性能有着重要的影
文章介绍了现有信息查询平台的特点，阐述了公共信息查询平台的原理及技术实现。平台采取分布式方式构建，内容涉及公共用户的信息检索，是一个针对性强的分布式多媒体搜索引擎。
“语域”是语篇翻译的重要概念。虽各家对语域的理解和定义不尽相同，但他们都普遍认为语域是因话语题材（范围）、话语使用环境、使用场合、交际目的和交际方式的不同而形成的语言
OpenGL是高性能图形和交互式视景处理的工业标准，文章通过VC++开发的屏幕保护程序来介绍OpenGL的一个应用。
文章对传统空间异构数据库集成和共享研究中的解决方法及方法的缺点进行了一定深度的分析后,提出了一种基于＂智能映射字典＂中间件技术的异构空间数据库集成和共享方法,并详细陈