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

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

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

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

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

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

控制面临的任务和问题——美国控制界“高峰会议”观点摘编

美国国家科学基金会与 IEEE 控制系统学会联合召开了一次控制界“高峰会议”。由全美控制界最著名的约50位专家学者参加,对于控制学科当前的发展趋势和面临的问题以及对于控制的每一挑战和其中重要的研究课题都进行了认真讨论,最后形成了《控制面临的任务和问题》这份报告。对于我国控制界的同仁,这无疑是一份可惜鉴的重要材料。     

羊毛精纺织物服用性能优选的多属性模糊决策

本文应用多属性目标决策的方法,评判不同规格毛织面料的"满意度",客观地提供一个重要的优选辅助依据。     

危害性分析中的模糊数学方法

利用模糊集合理论对影响故障模式危害性的各因素进行了模糊化处理，建立了故障模式危害性评定的模糊评判模型，并阐述了模糊评判方法的基本步骤。     

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

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

飞机附件的维修间隔决策

研究了飞机附件软时限的设定和管理方法,该方法可将附件的故障发生机率和运行风险控制在可接受水平,减少航空公司因机务原因的延误,提高飞机可利用率。     

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

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

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

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