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

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

智能超声气体流量计的研制

本文主要介绍新型智能超声气体流量计的工作原理、仪器结构，并给出内径１２５ｍｍ管道中脉动气流流量检测的初步实验结果和内径７００ｍｍ管道内，流速在３～１３ｍ／ｓ范围内的校准结果。     

航天飞行中的稀薄气体动力学

飞船、宇航探测器、航天飞机等复杂外形航天器给气体动力学，包括稀薄气体动力学提出了新的要求。本文简要介绍了为计算过渡领域中气动力与热而发展的基于位置元概念的DSMC方法的通用算法。该方法解决了计算物面通量量的技术难点并已用于模拟圆球、飞船、类航天飞机的绕流。正在进行的航天实践，如麦哲伦飞船对金星的探测、行星大气中的气动制动、伽利略飞船的木星之行、尾屏蔽在太空中获得高真空的实验等等提出了新的气动力问题，稀薄气体动力学和DSMC方法是有力的工具。     

一种整体式天然气压缩机气阀故障诊断技术研究CSCD

整体式天然气压缩机在石油化工领域广泛应用,压缩机的正常工作对安全生产具有重要意义。为了有效诊断整体式压缩机气阀部件的故障,采用了Daubechies小波基函数对ZTY470型整体式天然气压缩机气阀振动信号的分解重构原理,详细介绍了以振动信号的能量为故障特征的故障诊断过程。对气阀阀片断裂和弹簧断裂的故障振动信号进行了小波包分析,并与正常工作时的信号进行了对比。实验表明该方法能准确的进行故障诊断和故障定位,证明了对整体式天然气压缩机气阀故障诊断的有效性。     

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

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

构建固定翼轻型运动飞机质量控制系统的思考

研究了各国轻型运动飞机的适航管理特点,梳理国内轻型运动飞机(固定翼)质量控制系统的政策要求,重点分析了质量控制系统各要素的要求。最后结合我国轻型运动飞机(固定翼)取证现状,提出了建设质量控制系统的建议,为轻型运动飞机研制单位提供技术参考。     

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

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

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

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

买空卖空的碳排放权

要减少造成全球暖化的工业气体，有个方便的办法是联合国的“洁净发展机制”。CDM是《京都议定书》的条款之一，允许工业国家向减碳成本较低的贫穷国家购买“碳补偿”，以降低自己的温室气体净排放量。     

六月不减肥 一直徒伤悲

减肥能有多难、有多痛苦?我虽不觉得,但也属于横不下心、瘦不下去型。时至6月,发现衣橱里盛夏服装仿佛集体缩水了一般,于是各种自我纠结和自我唾弃就像极了精神崩溃的祥林嫂——6月还不减肥,何止是7月徒伤悲?8月也徒伤悲,9月还是会徒伤悲,那绝对月月徒伤悲……