Sick as a Dog

当形容一个人病得很重时,英语中有这样的说法:Sick as a dog,为什么人们会用"狗"来表示"生病"的意思呢?原来,英语中dog一词有时含有贬义,比如:俚语going to the dogs,表示"糟糕透顶";dog in the manger,表示"犬占马槽、自私自利"的意思。     

基于Isabelle/HOL的离散数学实验教学设计与实践

传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,依然对程序的正确性没有直观的认识.借助Isabelle/HOL交互式定理证明器工具和形式化方法,构建离散数学实验环境,解决离散数学课程实验教学的直观表达问题以及逻辑推理实验的设置.以二叉树这种离散结构的知识点学习为例,阐述如何使用Isabelle/HOL来完成"离散数学"课程的实验教学设计.通过这种实验教学,能使学生对逻辑演算和推理有清晰的认识,同时培养学生的数学和逻辑思维以及创新、应用能力.     

基于Internet的公共问题群体研讨决策过程的信息表示研究

利用Internet进行公共问题群体研讨决策可以使公共同题的决策更加民主和科学。本文应用系统科学的方法，对基于Internet的公共问题群体研讨的流程进行了设计，并对整个研讨过程中的信息进行了有效的描述和表达。     

"距离平方反比定律"新解

万有引力定律的表示式为:F=G mr1m22。人们对它的认识和理解是建立在将其做“上下分解”分为上下两个组成部分的基础之上的,即分解为F=G((mr1m2)2),而且又特别注意到并强调了该式下面的(r2),所以才有“距离平方反比定律”的通常表述。但我们也可将该式做“左右分解”分为左右两个组成部分,在这个基础上,再重新来认识和理解该式,即分解为:F=G(mr1)(mr2)。我们可以将(mr)称做质点m在r处的“引力密度”或“引力单位的个数”;它与质点的质量m成正比,而与距离r成反比。由前式可知,两个“引力密度”或“引力单位的个数”之间不是“加和”关系,…     

自动文本分类技术研究

文本分类是数据挖掘的重要内容之一，在很多领域经常需要对文本信息进行处理、抽取、分类。通过分析了文本分类过程中涉及的文本表示、特征抽取、分类等方法，指出文本分类的基本特点。     

3G与4G之间：超级3G

据市场研究机构Gartnetr称，2004年全球半导体销售增长23．4％，达到2185亿美元。Garther半导体行业研究师Gerald Van Hoy表示，因为今年芯片市场饱和，处理器与存储芯片制造商削减了他们的产量。Hoy认为，2005年下半年芯片市场将会继续增长。     

SSL3.0基本握手协议的运行模式分析

主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形式,发现这3种攻击是存在差异的.主要是角色欺骗不相同,而这又可能会造成潜在攻击.最后对这个协议进行了改进,从而有效避免了以上3种攻击,提高了协议的安全性     

发现“超级原子”

美国伍兹霍尔海洋研究所的科学家最近在研究了搁浅致死的抹香鲸骨骼之后认为，它们死亡的原因可能是由于它们浮上海面的过程过快造成的，从而揭开了科学家长期无法解释的鲸鱼和海豚集体“自杀”现象之谜。     

希望中国科学院为发展生物产业多作贡献

幸逢中国科学院建院四十周年,我谨向中国科学院全体同志致以崇高敬礼,对已故科学工作者表示深切怀念,并祝愿中国科学院为发展我院生物产业多作贡献!我所说的生物产业乃是以生物为主要资源以现代工程技术为生产手段的一种产业.它包括农、林、牧、渔、副各业,它是以生物科学和生物技术为主要支柱,但它还