宇宙和暗物质

２０世纪主流科学家的意见是宇宙起源于一次大爆炸。据说那是在１５０亿或１２０亿年前，大爆炸形成了时间、空间和物质。数学物理教授图罗克最新提出的“开放暴胀”理论认为，宇宙最初是一个像豌豆大小的物体，悬浮于一片没有时间的真空，“豌豆”状的宇宙存在的时间与“大爆炸”相隔一个极短瞬间。他认为，“豌豆”状的宇宙在大爆炸前的瞬间内经历了被称为“暴胀”的极其快速的膨胀过程。根据大爆炸理论，宇宙由于爆炸不断膨胀，膨胀到一定程度又将坍塌，然后整个宇宙乌呼哀哉，所有的一切宣告消亡。虽然科学家宣称宇宙的消亡也要有一二百…     

离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

基于图式论的民航公共英语阅读

图式论（schema）是建立在语言学、心理学基础上的把阅读作为信息过程的一种认知理论。针对民航公共英语课程，结合图式论在阅读教学中的实践，说明图式论有利于提高学生的英语阅读理解能力。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

再论和谐社会的构建——基于功能冲突论视阈

作为对二战后美国社会矛盾激化、社会动荡的回应,在对社会学家关于社会冲突的种种观点反思与发展的基础上,科塞建立了功能冲突论。科塞的功能冲突论由冲突正功能的发挥条件、冲突正功能的具体内容、社会安全阀制度等内容组成。功能冲突论启示我们,在我国构建和谐社会的过程中,要正视、分析社会矛盾、社会冲突,构建社会安全阀制度,消除社会冲突产生的社会土壤。     

“三美论”下的《红楼梦》“雪景联诗”两英译本赏析

许渊冲教授提出的"三美"翻译理论对于诗歌翻译具有重要的指导作用。从"三美"原则出发,分别以Hawks David及杨宪益、戴乃迭的《红楼梦》译本中"雪景联诗"为研究对象,通过对比分析探讨其得与失,旨在为中国古典诗歌翻译提供一些可供借鉴的方法。     

模因论视野下的民航无线电陆空通话研究

如何发挥模因论在语言学和语用学领域中的积极作用,是一个值得探讨的新话题.本文从对模因的定义及特点出发探索语言模因的思维运作方式.针对民航无线电陆空通话的特点,探讨模因的复制与模仿如何促进民航无线电陆空通话教学工作的开展.     

软质脆性且低熔点的有机晶体加工

在试验的基础上,探讨了软质、脆性且低熔点的有机非线性光学晶体二苯甲酮的切割、研磨和抛光方法。