中科院院士何积丰:积科研之精微丰价值于人生

正程序统一理论与技术的开拓者、数据精化完备理论的奠基者、可信软件设计理论与技术的开拓者、中国科学院院士、国家可信嵌入式软件工程技术研究中心首席科学家、华东师范大学软件学院院长……在刚刚揭晓的2013年度上海科学技术奖励名单上,拥有众多头衔的何积丰荣膺上海市科技功臣奖。盛名之下,何积丰却只是轻描淡写地笑道:"我做科研工作以来并没有什么惊心动魄的传奇,要说取得一些进步的关键,其实长时间的积累是唯一方法,正如我的名字,"积"与     

做心灵完备的智者

教育管理者应该具备翔之青山绿水间一行白鹭的执着追求,勇不言弃的精神。应该具备有栖之于草尖树叶间一缕阳光的包容与奉献。应该具备折柳送别回首时悠悠琴声的真诚与坦然。应该具备孤灯苦读时倾听大师呼唤的引领引航之才、点拔迷津之智,成为智者。     

谈数字化地形图编辑要求

提交的最终数字化地形图成果不仅要真实的反映实际地貌,而且必须清晰、易读,内容完整。这里主要介绍数字化地形图在数字地形图绘制中的编辑处理及质量控制。     

课程设计的若干心理学原则

教材“心理化”问题早在杜威那里就被提了出来,课程设计科学化的重要标志之一,就是以人类的学习规律和受教育的心理发展规律为基础。本从现代心理学特别是认知心理学出发,提出了课程设计的四个基本原则：功能完备性原则、确定学科基本结构原则、不断分化原则和综合贯通原则。     

再谈一维无限深势阱内粒子动量几率分布

本文通过对自由粒子系统和一线无限深势阱中粒子系统各种性质的比较,论证计算一维无限深势阱内粒子的动量分布的两种方法中,泡利方法是正确的,朗道方法是不对的。并由改进后的朗道方法求出了泡利正确的结果。     

论科学的逻辑标准

论科学的逻辑标准杨充霖熟知科学史的人都知道：科学至今仍没有这样的标准,凡符合这种标准的便是科学的,否则便是不科学的。然而,今天的科学正如日中天,科学还是非科学已成了仲裁和恫吓其他意识形态的最高标准,能高攀一下科学似乎也成了许多现代迷信的荣耀。那么,我...     

完备二分图的冠的k-优美性

图的优美性是图的一个重要性质,有广泛的应用.马克杰猜想:完备二分图Km,n的冠I(Km,n)是k-优美图,这里m,n,k是任意正整数且m n.对于m=2,3,4,5或k>(m-1)n的情形,利用构造的方法,证明了猜想的正确性.这一结果丰富了优美图理论.     

Girard Quantale中的算子

讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.     

商范畴的幂等完备化

设M是加法范畴C上的理想,若商范畴C／M是幂等可提升的,令M={a∈Mor（C）｜a∈M）,本文证明商范畴C/M与对范畴C／M的幂等完备化范畴C/M是范畴等价的．