论文部分内容阅读
讨论了《九章算术》中线性代数方程组的解法－九章消元法蕴涵的构造性思想，这一思想后来被进一步发展，并且在某方面影响着定理的机器证明。
从九章消元法到定理机器证明
【摘 要】
：
讨论了《九章算术》中线性代数方程组的解法－九章消元法蕴涵的构造性思想，这一思想后来被进一步发展，并且在某方面影响着定理的机器证明。
【机 构】
：
华中师范大学数学系
【出 处】
：
华中师范大学学报：自然科学版
【发表日期】
：
1999年2期
其他文献
介绍了异步电动机一种新的起动方法的MATLAB仿真.利用Simulink仿真工具对异步电机启动过程进行仿真,并取得较非常理想的仿真效果.这说明了用Simulink及M语言编写的函数对软启
[摘 要]工業经济高速发展，二氧化碳排放量急剧增加，全球气候变暖问题日益突出，给环境造成了极大的不良影响。如何抑制全球气候变暖，改善生态环境成为我们面临的重大课题。植树造林无疑是减缓全球气候变暖的有效途径，能够提高森林覆盖率，减少二氧化碳，因此我们通过分析具体措施加快植树造林工程的发展，从而发挥其在全球气候变暖中的重要作用。 [关键词]植树造林；全球气候变暖；作用；措施分析 随着社会经济的发展
刘大椿教授主持编写的科学哲学史著作《一般科学哲学史》于2016年1月由中央编译出版社出版发行。该书首先有一重要＂导论＂,下分为三篇共十二章。第一篇为＂科学哲学兴起史＂,回溯了
目的探索种植体初始生物学宽度对边缘骨水平(marginal bone level,MBL)的影响。方法选择后牙区接受Straumann骨水平种植固定修复的80例患者。测量种植体4个时间点(术前、术后
摘要：随着社会发展，传统信息技术已无法满足人们的需求，需要一个新技术的诞生来解决这一现状，物联网则是该新技术的重要组成部分，能够实现许多创新应用，是近年来的热点研究领域。该文设计了基于web的物联网信息采集系统，基于此架构进行了系统的具体模块的设计与实现，包括服务器与传感器网络网关通信，感知任务的提交、处理以及从数据库存取数据等功能。系统测试结果表明，系统具有良好的人机交互界面和完善的功能模块，可
用MOPAC7．0程序中的AM1方法全优化计算了58个标题化合物的稳定几何构型和电子结构，通过回归分析发现这些分子的紫外可见光谱与分子轨道能级，化合物的生成热与元素电负性和原子半
随着城市的不断发展，城市对石油、天然气的需求日益扩大，输油输气管线将成为城市生存和发展的必要保障，然而输油输气管线具有易燃易爆的特性，也就带来了复杂的公共安全问题。本文
讨论了小波降噪用小波奇异性检测的原理，并利用这些原理对输电导线断股故障信号进行了二进小波分解，提取Ｗ２＾３￣Ｗ２＾５尺度上的特征参数作为神经网络的输入，而经过训练后的神经网络的输出分别