宇宙和暗物质

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

基于模糊粗糙集的飞机远程故障诊断模型研究

粗糙集和模糊集结合在飞机故障诊断领域有巨大的发展潜力。针对当前飞机故障诊断中所存在的问题,借助C/S模式,将粗糙集和模糊集结合,提出一种新型的飞机远程故障诊断模型,并且开发出远程诊断系统框架。系统的可行性和有效性得到了飞机故障诊断实例的证实。该系统具有客户端响应快、系统效率高、诊断及时的特点,对于当前民用飞机远程故障诊断具有重要应用价值。     

模糊信息环境下的综合评判

 本文针对各种模糊信息环境下的综合评判问题,即多准则决策中的离散型决策问题,提出了3种模糊综合评判模型及模型在各种不同的决策需要下的具体的实现方法。试图解决在模糊权值或模糊判定或权值及判定均为模糊的环境下,以及不同的决策需要时的实际的综合评判问题。     

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

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

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

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

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

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

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

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

模糊相似度景像匹配算法研究

研究了求取图像模糊特征域的计算方法,提出了采用图像模糊集相似度进行景像匹配的方法,并探讨了综合利用多种模糊集相似度算法进行匹配的方法,进一步提出了模糊综合相似度(FSSM)匹配算法.仿真验证表明,FSSM算法具有适应性好、匹配率高等优点,且实时性也较好,为飞行器实时景像匹配提供了一种可行方法.     

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

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