共查询到20条相似文献,搜索用时 296 毫秒
1.
2.
中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法” .众所周知 ,机器证明是现代数学 (计算机 )对科学的重大贡献 ,自吴文俊教授创立了吴方法之后 ,这项研究取得了突破性的进展 ,但其证明方式仍是“纯机器”的———采用的是非常规的语言 ,不能被一般的人“读”懂 .中国科学院院士张景中教授首创机器的可读性证明 ,使我国在机器证明这一尖端领域的研究水平无可置疑地处于世界领先地位 .这是继“吴方法”之后更辉煌的成就 .有趣的是 ,机器证明中使用的“消点法”不仅适用于机器推理 ,而且还可“手工”操… 相似文献
3.
排序问题中的一些数学问题(续) 总被引:1,自引:0,他引:1
三、关于同顺序的两台和三台机器的排序问题我们现来介绍关于另件在两台和三台机器的加工顺序问题.机器的数目从一台变成多台,情况就要复杂得多.根据加工工艺的要求,一个另件将按一定的次序通过这些机器,接受它们的加工;另件不相同,通过机器的次序可能也不同.我们把多台机器的排序问题分为“同顺序”和“不同顺序”两种.所谓同顺序的多台机器的排序问题,是指每个另件都是先在第一台机器上加工,然后到第二台机器上加工,……,电后送到最末一台机器加工,而且在每台机器上加工另件的顺序都一致.不同顺序的排序问题将在下一章再介绍.在 相似文献
4.
5.
排序问题中的一些数学问题 总被引:5,自引:0,他引:5
一、绪言§1.什么是排序问题在某一加工机器零件的车间里有若干台机器,它们的工作是随时对一些输送进来的零件进行加工.各个零件依照工艺技术上的要求,按一定的加工次序通过这些机器.我们设一台机器同时只能加工一个零件.若现在有许多个零件等着要进行加工,这时就可能出现这样的现象:有好些零件同时都需要在某一台机器上进行加工,但因为这台机器 相似文献
6.
介绍了几何定理机器证明中的“例证法”思想,并挖掘了高等数学中几个“例证法”实例,目的在于建议教师在教学过程中要善于发现并向学生输送新的思想方法,以提高教学质量. 相似文献
7.
8.
1.在我們日常經济生活中,經常会出現这样的事情:有一个“服务站”,有許多“顾客”到来須要受到服务,被服务完毕之后即行离去。假若“顾客”到达时,“服务站”是空閑的,則该“顾客”立刻受到接待;但若到达时服务站正在为别的“顾客”服务,則該“顾客”或者离去,或者停下来等待。比如对車站售票来說,“服务站”是售票窗口,而“顾客”是买票者;对工厂机器維护来說,“服务站”是检修队,“顾客”是发生障碍的机器;对电話通訊来說,“服务站”是电話綫路,而“顾客”則是由打电話的人所发生的呼喚。前面两个例子就是“顾客”可以等待的情况(或称“等待系統”);后一个例子就是“顾客”需要离去的情况(或称“消失系統”)。在所說的这些事件中,常会发生这样情形:或者是服务站机构 相似文献
9.
在浏览《中国不等式研究小组》(http://old.irgoc.org/)网站时,发现杨路教授应用通用软件Bottema给出了以下不等式的一个“机器证明”: 相似文献
10.
11.
介绍了制造资源共享环境下共享平台的生产和运作,以1688淘平台为例,将共享平台抽象刻画为考虑可拆分订单和加工类型匹配的平行机调度问题。客户将订单下达到共享平台上,供应商将闲置机器放在平台的资源池里。不同机器具有相同的加工速度但只能加工与其类型匹配的个性化订单,因此,需要决策使用哪些机器。一旦使用某台机器,会产生固定的加工或租赁成本。每个订单可以被拆分成整数长度的多个子订单,并在可用的机器上同时被加工。以最小化所使用机器的总加工成本和订单的总完工时间之和为优化目标,建立了一个整数线性规划模型。对于小规模实例,CPLEX可以求得最优解;对于中规模和大规模例子,提出了基于机器加工能力的贪婪算法和遗传算法。数据实验表明,基于机器加工能力的贪婪算法是一种高效且有效的算法。此外,尽量选择加工能力强的机器加工订单;将订单拆分在多台机器上并行加工可以缩短订单的完成时间。 相似文献
12.
14.
高斯是近代数学伟大的奠基人之一 ,被人们誉为“数学王子” .他与阿基米德、牛顿一起被称为历史上最伟大的三位数学家 .高斯出生在一个贫苦的家庭里 ,祖父是农民 ,父亲做短工 .“穷人的孩子早当家” ,高斯从小爱动脑筋 ,如果承认历史上有神童 ,那么 ,高斯就是其中之一 .传说有一次 ,他父亲计算账目 ,小高斯在旁边好奇地看着 ,等父亲好不容易算完后 ,想不到小高斯说 :“爸爸 ,你算错了 ,应该是……” .经过核对 ,果然是小高斯正确 .高斯的父亲又惊又喜 ,本来不想送他上学 ,考虑到他出奇的聪明好学 ,于是在他 7岁的时候送他进了小学 .小高斯经… 相似文献
15.
尽管课程改革至今已十多载,但当下“应试教育”与“唯分论”依旧盛行,教学“满堂灌”依旧多见,教出的学生是“记忆型”的知识搬运工和做题机器,真正应用数学知识解决实际问题时却不尽如人意.以分数为目标的数学解题教学致使大多数学生认为数学就是“计算”和“证明”,学数学只要会做题就行了.这与数学教育的核心任务——发展理性思维与精神、培育数学素养不相符,与数学学习的最终目的——数学的应用能力与创新精神不相符. 相似文献
16.
17.
18.
19.
吴文俊,上海人,1919年5月12日出生于一个知识分子家庭里.他的父亲吴福同毕业于南洋公学(上海交通大学前身),一生兢兢业业,努力工作,严肃认真,与世无争,长期在一个出版社(那时叫书店)中做编译工作.他的敬业精神对少年时代的吴文俊产生了很大影响,特别是家中收藏许多“五四”时代的刊物、书籍,还有中国历史典籍,吴文俊从小就受到祖国五千年悠久历史文明的熏陶,并一心响往爱国、民主、科学的“五四”精神.他诞生于那个伟大的时代,在他的青少年,国家内乱、外患,政府腐败不堪,人民生活痛苦,在这社会背景和家庭教育下,他… 相似文献