基于改进GERT的任务过程时间特性建模分析方法

随着系统任务需求的日渐密集，用户对系统的时间特性提出了更为严苛的要求。首先，利用图示评审技术（GERT）构建系统任务流程的随机网络模型，针对任务中由于资源共享引起的活动排队执行以及部分上下游活动之间存在重叠的情况，基于排队论并引入时间因子以修正任务中各活动的执行时间，并给出任务执行时间的求解步骤。经考虑这2种情况，最终任务平均执行时间增加了22.9%。其次，通过不确定性分析，找出了任务中的关键活动，为进一步任务优化提供方向和思路。最后，以舰载机着舰任务为例进行案例应用分析，验证所提建模分析方法的有效性和适用性。      

宇宙和暗物质

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

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

空中交通排队辅助决策系统（AMAN/DMAN）

一、概述1.民航运输业持续快速发展近年来,随着国民经济的高速增长,中国民航运输业的市场需求不断扩大,民航运输量始终保持很高的增长率在发展。根据民航总局公布的统计结果,2005年全国通航机场共保障飞机起降架次为305.7万架次,比上年增长     

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

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

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

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

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

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

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

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