论文部分内容阅读
本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.
关于机器证明
【摘 要】
：
本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.
【机 构】
：
北京师范大学数学学院,北京师范大学信息科学学院,中央财经大学现代逻辑研究所
【出 处】
：
前沿科学
【发表日期】
：
2011年01期
其他文献
无刷直流电动机的参数强耦合、高度非线性特性增加了对其速度控制的难度，针对这一特点，设计了一种神经网络滑模变结构速度控制器。将无刷直流电机速度伺服系统分成名义模型和不
西安交通大学材料学院主持研制的新型铝基摩擦材料最近通过国家汽车质量监督检验中心的检测．
作者完全运用狭义相对论分析，合肥、台湾、汉堡加速器输出的电子能量，其实没有狭义相对论专家计算的这么高，在恒定磁场中弯转的轨道半径也不是他们计算的值。
目的：探讨改良保留灌肠法治疗溃疡性结肠炎的临床疗效.方法：选取47例溃疡性结肠炎患者作为研究对象,根据灌肠方式的不同分为实验组23例和对照组24例,对两组患者的治疗效果、药
日前，大亚湾中微子实验国际合作组宣布发现了新的中微子振荡，并测量到其振荡凡率。这将对中微子物理未来发展起决定性作用，并有助破解宇宙中“反物质消失之谜”。这是探索宇宙起
利用一种新的非线性各向异性反应扩散血管图像增强方法,对小血管图像增强后,再采用快速推进算法及融合区域信息的速度函数对小血管自动提取.该方法能够有效地增强血管的一致性取向结构及血管与背景之间的边界,并能很好地滤除噪声.借助高效的快速推进方法求解曲线进化方程,为提高算法的实时性,在数值求解中同时采用多初始化策略.实验结果表明,利用该方法可以实时地提取6~7级肺部小血管分枝.
本文提出了地壳在大于一定速率的差异构造运中又遇到地壳整体性较好的"僵硬块体"发生牵制与矛盾时,所形成的"三向应变结构"是构造地震孕育、发生的共同物理机制.目前这一理论
结合由江西省图书馆牵头组织实施的南昌地区公共图书馆＂通借通还＂服务的实践,分析＂通借通还＂服务中存在的问题,提出相应的解决对策。
针对齿轮箱启动过程中振动信号表现为非平稳、非高斯特征及传统诊断方法诊断精度不高的现状,将阶次小波包和粗糙集理论引入轴承的故障诊断中,提出了一种新的故障诊断方法。首
在图书馆实体空间不断扩建的趋势下,服务和空间之间出现了发展不平衡的状态。从图书馆空间和服务之间的共生关系入手,讨论了历史中图书馆空间与服务的共生机制,并以此为基础