鲜为人知的电脑史话

年仅30岁就与爱因斯坦一起被普林斯顿高等研究院聘为第一批终身教授的冯·诺依曼,开创了电脑的历史。他在60多年前确定的计算机结构,至今仍为电脑设计者所遵循。     

“非主流”计算机大盘点

正1936年,英国数学家阿兰·图灵提出"图灵机"的构想,为现代人工智能奠定了基础;到了1946年,美籍匈牙利数学家冯·诺依曼确定了计算机的体系结构,一直沿用至今。阿兰·图灵和冯·诺依曼因为上述贡献被誉为"计算机之父"。经过60多年的发展,电脑技术一日千里,摩尔定律驱使着芯片不断更新换代,大规模集成电路的蚀刻尺寸已经接近极限,在不远的将来,传统计算机技术必定会撞到天花板。在危机来临之前,科学家们也在想方设法另辟蹊径,从不同的层面研发全新的计算机技术,以期获得突破,     

鲜为人知的电脑史话

年仅30岁就与爱因斯坦一起被普林斯顿高等研究院聘为第一批终身教授的冯·诺依曼,开创了电脑的历史。他在60多年前确定的计算机结构,至今仍为电脑设计者所遵循。1952年美国大选,哥伦比亚广播公司租用了UNIVAC电脑预测结果。选举结束后仅仅45分钟,UNIVAC便计算出艾森豪威尔将胜出,但无     

静心做科研追 逐数理的风景——记北京大学数学科学学院特聘研究员蔡云峰

<正>若仔细算来,我国"算学"的概念由来以久。《九章算术》中的方程术、正负术,刘徽的割圆术,以及《数书九章》中的大衍求一术等,古人较早地将这些算法隔页而立,任凭它们在岁月的洪流中翻滚、冲荡。与中国古代"算法""算术"的兴起和含义有所不同,现代计算数学是在1946年世界第一台电子计算机问世之后,建立在冯·诺依曼和他的同事起草并向美国海军部递交的一份报告《高阶线性方程组的解》之上。正是这份报     

基于数学理论的毕达格拉斯音阶体系

本论文是关于西方音乐学根源的古希腊毕达哥拉斯音乐论的研究。毕达哥拉斯的音乐论的核心是基于数比例的和谐,他观察弦的比例发现了音的高低关系,从自然音响现象中发现了数学比例原理表象音乐艺术的秩序,这种秩序在宇宙中体现为音乐的和谐,人类的和谐。毕达哥拉斯的宇宙音乐论是他的哲理思想的核心内容,也是古希腊音乐学的重要一个内容。     

沉迷切触几何 编织奇妙世界

正古希腊数学家毕达哥拉斯曾说过:"数统治着宇宙。"简单的数字、符号通过自由组合却能够产生描述万物的语言,这是许多数学家沉迷于数学的原因。上海交通大学数学科学学院副教授李友林也是沉迷于数学的一名研究人员。在他看来,热爱数学的人是一群对世界充满好奇、渴望在抽象中感知自然秩序的人。而令李友林痴迷的领域是已经具有100多年历史的"切触几何"。     

浅谈可信计算的发展态势及知识产权保护

在可信计算领域,我国长期自主创新形成了主动免疫可信体系,起草制定了完整的体系标准,采用安全可信策略管控下的运算和防护并存的主动免疫的新计算体系结构,以密码为基因实施身份识别、状态度量、保密存储等功能,及时识别"自己"和"非己"成分,进而破坏与排斥进入机体的有害物质。从而为云计算、物联网、大数据等网络信息系统建立了免疫体系。主动免疫可信计算是继图灵和冯·诺依曼之后计算机领域的重大变革,其创新成果已在中央电视台、国家电网调度系统等关键核心信息基础设施得到了规模化应用,为构建积极防御的国家网络空间保障体系作出了重大贡献。目前,我国主动免疫可信计算的专利保护亟待加强,努力形成与可信计算技术一样强壮的知识产权保护体系。     

谁是“电子计算机之父”

"电子计算机之父"的桂冠究竟属谁?据新版<大不列颠百科全书>载:1945年底,由艾克特(J·P·Eckert)总工程师和莫奇勒(J·W·Manchly)博士在美国宾夕法尼亚大学莫尔学院发明建造世界上第一台全新"存贮程序"通用电子计算机"埃尼阿克"(ENIAC),又称"电子数字积分器与计算器".ENIAC十分庞大,重达30吨,塞满一整个房间(占地1500平方英尺),使用18000个真空管,7万个电阻器和1万个电容器.该建造项目参与者还有著名数学家冯·诺依曼(Neumann.John Yon).该电子计算机1945年12月解决了第一个问题,即为制造氢弹做计算.1946年2月14日,该"埃尼阿克"正式公布于世.     

斟学理论羹基军事技术崛起——世界科技100年（三）20世纪10年代

20世纪最初10年最为璀灿的科学明星是爱因斯坦,他在1905年创立了狭义相对论和光量子论。20世纪第2个10年最为璀灿的科学明星还是爱固斯坦,他在1915年把相对性理论从等迷运动推广到加速运动,创立了广义相对论。除了广义相对论,爱因斯坦还提出了受激辐射理论和有限无边的宇宙模型。此外,魏格纳提出了大陆漂移说,摩尔根开创了现代遗传学,英国数学家B·罗素和怀特海奠定了数学基础逻辑主义学派,     

数学与美学

数学的美通过其外在形象、思维方式、美学原理、人文环境等诸多方面表现了出来。本文主要介绍了数学完美的符号语言、特有的抽象艺术、严密的逻辑体系和永恒的创新动力等特征。     

简释西田几多郎的实在论——以《善的研究》为中心

实在论是西田哲学的真正逻辑起点,而目前学界的相关研究却甚少。本文以《善的研究》为中心,从研究的出发点、唯一的实在和实在的真相等层面对西田几多郎的实在论作了阐释。     

法治建设进程与法治理念之关系考察

法治理念是法治建设的理论向导,法治建设是在法治理念指导下的法治实践,二者呈互动之态。法治理念的发展需要法治建设进程的推进以提供思想原料,而法治建设只有在选择对法治建设历史经验客观总结、理性追求和逻辑升华而形成的法治理念时才会顺利推进。社会主义法治理念与社会主义法治建设之间的关系为我们提供了考察法治建设进程与法治理念之间的关系实例参照。     

科学的可信性基础——对约翰·齐曼《真科学》的一种解读

关于科学可信性问题的讨论由来已久。科学的真理性与有用性都不是我们信赖科学的充分必要条件,它们只是构成科学可信性基础的因素。科学值得信赖的基础在于它的"客观实在性",这是约翰·齐曼《真科学》一书给我们的一个基本结论。我们信赖科学,是因为科学同时是真实的、有用的、合乎逻辑的、系统连贯的、精确的、为科学共同体所认同的。     

“非p”探析

新课程人教版选修2-1第一章为＂常用逻辑用语＂,意在是让学生弄清命题之间的逻辑关系,从而增强判断是非能力和推理能力,提高数学思维能力,对培养学生的逻辑思维能力起到了一定的作用。但由于这部分内容比较抽象,对学生来说在理解上存在一定难度,并且资料书上对这方面介绍得也不是很详细,笔者根据教学实践,谈谈如何来构造比较合理的命题的否定,即＂非P＂。     

Control of PDE-ODE cascades with Neumann interconnections

We extend several recent results on full-state feedback stabilization and state estimation of PDE-ODE cascades, where the PDEs are either of heat type or of wave type, from the previously considered cases where the interconnections are of Dirichlet type, to interconnections of Neumann type. The Neumann type interconnections constrain the PDE state to be subject to a Dirichlet boundary condition at the PDE-ODE interface, and employ the boundary value of the first spatial derivative of the PDE state to be the input to the ODE. In addition to considering heat-ODE and wave-ODE cascades, we also consider a cascade of a diffusion-convection PDE with an ODE, where the convection direction is “away” from the ODE. We refer to this case as a PDE-ODE cascade with “counter-convection.” This case is not only interesting because the PDE subsystem is unstable, but because the control signal is subject to competing effects of diffusion, which is in both directions in the one-dimensional domain, and counter-convection, which is in the direction that is opposite from the propagation direction of the standard delay (transport PDE) process. We rely on the diffusion process to propagate the control signal through the PDE towards the ODE, to stabilize the ODE.     

语文课堂呼唤审美教学

语文课不宜进行冰冷的理性分析,搞逻辑上的演绎和归纳,只能整体把握、感受,多多进行描述、感悟,提高到人性和哲理的高度来开掘其内涵。     

马斯洛需要层次理论视角下完善高校辅导员激励机制新探

马斯洛的需要层次理论认为,人的需要从低到高依次分为生理需求、安全需求、情感需求、尊重需求和自我实现的需求,这一需要理论和高校辅导员的现实需求之间存在着若干契合点,为高校辅导员的管理工作开辟了一条新的思路。因此,基于马斯洛需要层次理论构建辅导员管理工作的激励机制,不仅具有理论的可能性,还具有很强的现实意义。     

浅谈初中英语教学中的循序渐进

循序渐进是学生掌握系统科学知识技能的规律。循序渐进的“序”包含着教材的逻辑顺序,学生认识能力发展的顺序,学生认识顺序。在英语教学中,教师要善于抓重点,由易至难,逐步过渡,分散难点,各个击破,采取螺旋式上升以扩大和加深内容的方式,把握英语教材内容构成的逻辑顺序,把三个“序”有机地结合起来,才能使学生循序渐进地学好,有效地提高全体学生的英语学习水平,培养出更多的尖子生。     

中国科学院研究所评价的逻辑模型研究

1993年,中科院开始对所属研究所进行系统评价,10多年来,中国科学院根据各研究所不同发展阶段的特点不断完善和调整评价方法.从评价逻辑模型来看,中科院研究所评价大致可分为定量排名的逻辑模型和多信号决策的逻辑模型.结合中科院研究所评价实践对这两大评价模型进行了分析,并探讨了中科院未来可能的关键指标标杆的评价模型.     

面向逻辑设备的驱动设计与实现

软硬结合点一直是制约软件发展的一个热点瓶颈。ATM技术就是一个软硬结合点技术的典型应用。本文提出了面向逻辑设备的驱动设计思想,并以出钞机芯CDM为例进行面向逻辑设备的驱动设计,以此来对软硬结合点技术解决手段进行初步探索。