【摘 要】
：
本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,直接从消点公式推导目标关系式,该方法不再使
论文部分内容阅读
本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,直接从消点公式推导目标关系式,该方法不再使用质点坐标而直接对质点进行运算;其次,利用三个模块架构证明器,形成了具有完全性的消点过程;最后,利用待定系数法判定结论语句.由于可以对点直接进行运算,该证明器的消点过程比原有质点法具有明显的几何意义和较高运算效率.
其他文献
通过水培试验，研究了供氮（尿素）对镉胁迫下两种生态型东南景天根系形态及镉积累的影响。实验结果表明。当供氮水平为4～16mmol／L时，能明显促进东南景天的根系生长；当供氮水平为32～64mm
随着计算机应用的不断发展,对软件项目的要求也越来越复杂,变化也越来越频繁.从整个企业的发展战略出发,在技术变化和人员流动频繁的情况下,如何建立企业的项目库和管理库,将
目的构建基于石墨烯（GR）和壳聚糖（CHI）复合膜的电化学传感器对尿酸进行检测和研究。方法通过扫描电子显微镜对石墨烯进行形貌分析；采用循环伏安法、差分咏冲伏安法和交流阻抗法等
对孤立波在一维有阻尼颗粒链中的传播进行了数值研究.结果表明,当颗粒链中存在阻尼时,随着时间的增加,孤立波的振幅呈指数式衰减;同时,其速度也随之减小.当阻尼增大时,孤立波
(1)企业财务目标的概念 在企业运转经营过程中对其资金进行合理的规划,管控和决策的活动就是财务管理.从本质上说,其就是针对企业的整个运转过程来进行全方位管理.可以说,企
亚硝胺诱发的人食管癌细胞系的建立郭永军，陆士新，何立珍，梁苑苑为研究食管癌的发生发展机制，目前国内外已建立了一些人食管癌细胞系，但这些细胞系均来自食管癌患者手术切除标本，很
十字梁桥由于纵梁和横梁固结,横梁为框架墩横梁,两者并非刚构体系(刚构中支点无变形),又非简支体系,而是十字梁体系,中支点处受横梁两侧框架墩支撑,纵向受力变形状态与中支点
运用数理统计方法对接闪器的保护范围进行分析,选择最佳的接闪器保护建筑物,并引用雷击事故的事例加以说明。
<正>理想信念是共产党人世界观、人生观、价值观的"总开关",坚定理想信念既是中国共产党人的精神追求,也是中国共产党人安身立命之根本。一、内涵之维:全面从严治党视域下中