春眠不觉晓

俗话说,"春困秋乏夏打盹",这春天一到,人们的困意就不知不觉地泛滥开来。关于春困,科学的解释是,春季气温回升,收缩了一个寒冬的末梢血管来不及适应调整,同时人体的代谢开始增强,耗氧增加,造成脑组织供氧相对不足,这样也就容易困倦。那该如何解困呢?"春眠不觉晓,怎能睡不好",自然是一觉睡到自然醒啦。盼了一冬的春天好不容易来了,夏天还赶着到,就让我们在这明媚而短暂的春光里,美美地补上一觉吧!     

环球时空比较和飞碟之谜

对全球时间和空间比较的结果比较学是各个社会科学领域近几十年最时髦、最有效的一种基本方法之一 ,虽然比较历史学可以上溯到古希腊的历史学家、被西方称为“史学之父”的希罗多德的名著《希波战争史》 ,并且伏尔泰、康德、黑格尔、孔德等都曾经对此做出过贡献 ,但是现代比较历史学的正式奠基者是法国史学家马克·布洛赫。１９２８年 ,他在《欧洲社会历史的比较研究》中 ,提出进行历史比较的两个必要条件 :一定的类似性和一定的不同点。而２０世纪６０年代进一步发展出了比较文化学和比较文明学 ,发表了汤因比的《历史研究》、雅斯佩尔斯的…     

试析WTO《卫生和动植物检疫措施协定》的适用

近年来,我国出口产品的卫生、安全等问题日益成为与其他国家贸易摩擦的焦点。结合WTO争端解决实践的三个相关案例,分析专家组和上诉机构对《卫生和动植物检疫协定》的司法解释,明确实施动植物卫生检疫措施应遵守的纪律和规则,为在WTO多边纪律下维护我国产品的出口利益提供某些参考。     

3R解目标位置的算法改进

利用三站测量Ｒ确定空间目标位置迭代过程中，位置的收敛点经常在地表以下，本文导出真实点的解法，并给几何解释。     

二进制翻译系统BATSUP中的动态翻译器的设计与实现

针对目前航电系统硬件的升级换代而导致老的软件的不可用的问题,提出了一个用于航电系统软件升级的二进制翻译系统(BTASUP系统)。该系统能把解释执行和动态翻译结合起来,在PowerPC处理器上实现对1750A处理器的二进制可执行代码的透明执行。介绍了系统的结构和工作原理,重点讨论了作为系统重要组成部分的动态翻译器的设计与实现。     

卡尔曼滤波算法的本质及直观理解

对低维卡尔曼滤波算法作了几何解释,这种解释对卡尔曼滤波有一种直观的理解,使人们对卡尔曼滤波有更本质的认识.     

一个具有双层推理模型的医学专家系统

介绍一个成功的、具有双层推理模型的医学专家系统及其双层模型的构造、因果关系模型深层知识的获取、推理策略以及解释功能的设计技术。双层推理模型是经验推理和致因分析深层推理相结合的联合推理模型，它克服了第一代专家系统经验推理的局限性和脆弱性以及求解策略的单一性，增强了系统求解能力，提高了系统解释功能的深度，它是第二代专家系统设计技术的一次成功的研究和探索。最后给出了具有双层推理模型的医学专家系统运行时的一个诊断实例。     

一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

知识性的介绍多些会更好

作为业内人士,我最关注的还是有关民航的内容。杂志里每期的《私人飞机》栏目我都很喜欢,尤其是你们会介绍欧洲的单一天空管制计划,这个对业内外的人士都是很重要的信息。至少对我们而言有很大的借鉴。我们现在延误的情况比较多,有时候机组会简单地解释说是"流