共享资源系统的监控问题

本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。首先,本文指出禁止状态控制等价于一类标识控制问题。通过构造子系统的集结模型,可以避免求取整体系统模型及求取相应禁止状态的最小不可控子集。这一方法极大地降低了禁止状态控制设计的复杂性。然后,本文证明了对于禁止状态控制问题,相应子语言的死锁状态等价于新的禁止状态,并证明了相应算法的收敛性和最优性。最后,给出了某子系统无穷占有共享资源的充要条件。     

俄罗斯的"罗斯韦尔"

眼下看来,再也没有比1947年7月发生在美国新墨西哥州罗斯韦尔小镇附近的外星飞碟遇难悲剧更为震惊世界的历史事件了.然而,半个多世纪过去了,有关罗斯韦尔事件的传闻和推测仍方兴未艾.可是,就在前不久,又披露出不亚于美国罗斯韦尔事件的另一起震惊世界的悲剧事件--一艘来历不明的太空飞船在吉尔吉斯共和国的天山脚下不幸坠毁,从而酿成俄罗斯境内鲜为人知的"罗斯韦尔事件".由俄罗斯UFO研究者组成的几支考察队,曾多次深入失事现场考察研究,从而汇总了有关这一事件的大量报告和资料.     

基于蒙特卡洛法的飞机装备完好率建模仿真

装备完好率是军用飞机战备完好性的重要度量标准,是可靠性维修性保障性RMS（Reliab ility,Maintainab ility and Supportab ility）顶层参数。利用Monte-Carlo抽样、离散事件仿真、计算机仿真等理论建立了基于设备参数和使用规则的仿真模型和算法,并以案例验证了方法的可行性。仿真模型具有通用性,满足不同参数的仿真需求。     

两冕流间CME事件数值模拟的改进

通过偶极子场和六极子场适当叠加，改进猜解磁场，使猜解磁场在太阳南北极符号相反，然后采用理想磁流体力学方程组(MHD)，由猜解磁场与太阳风流动相互作用计算出稳态自洽解，得到定性上与观测比较接近的具有两个冕流的背景结构．在两个冕流间采用具有同心圆磁场位形的触发模型触发CME事件，研究CME的日冕传播特征．模拟结果表明，CME被约束在两冕流间传播，CME闭磁场位形和磁云横截面磁场位形相似，可以解释1AU处观测磁云的部分特征；在CME附近，存在压力和Lorentz力起主要作用的区域，这可以为分析1AU处CME事件的观测数据提供帮助．     

舰载直升机起落架收放系统事故树的定性分析

起落架装置是舰载直升机受力较大的部件,在直升机着陆和滑行中要承受很大的载荷.起落装置中的起落架收放系统是很容易发生故障的部分,起落架收放系统的可靠性对舰载直升机的着陆性能与安全有重要影响,因此对起落架收放系统事故树进行定性分析有着重要意义.本文选择"主起落架放不下"作为顶事件,建立了起落架收放系统事故树,利用最小割集的相关理论对事故树进行定性分析,找出了顶事件发生的各种原因组合,这对于掌握事故的发生规律,调查事故发生的原因提供了很大的帮助.     

时间分区的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区（Partition）的概念。分区是运行于一个处理机模块上的一个或多个应用程序（或子系统）,这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。     

2010年度十大汉字解读

一、跳提起富士康,第一个在脑海里浮现的词汇不再是苹果产品,代之的是富士康员工的跳楼事件。去年上半年,被喻为"血汗工厂"的富士康竟发生了多起跳楼事件,震惊全国。恶劣的工作环境、机械式的生产线单调作业、收入微薄等原因,将一个个鲜活的生命终结在楼顶与地面之间的抛物线下。如何对抗这次恐怖的"跳楼传染病"?请高僧看风水?鞠躬道歉?停止发放死亡抚恤金?董事长郭台铭打着什么算盘我们不得而知。但明显的是,2010年已然成为富士康发展历史中最不堪回首的一年。     

运输类飞机持续适航事件根原因分析

随着国产运输类飞机的研制成功并逐步投入使用,建立国产运输类飞机持续适航事件根原因分析流程和方法的标准、规范国产运输类飞机持续适航事件根原因分析活动将有助于持续改进国产运输类飞机的设计,提高国产运输类飞机的安全水平。通过对运输类飞机持续适航事件根原因分析流程和方法进行比较分析,运用结构化的根原因分析工具对典型事故案例开展具体分析,对国产运输类飞机持续适航事件根原因分析提出建议:综合欧美成熟的根原因分析经验和国产运输类飞机的现有特点深入优化根原因分析的方法和流程;开发相应的根原因辅助分析软件优化根原因分析过程和最优纠正措施的识别。     

基于粒子追踪测速的壁面摩擦应力测量

采用微粒子追踪测速技术（Micro-Particle Tracking Velocimetry,μ-PTV）对近壁面的流场开展高空间分辨率测量,通过解析黏性底层的速度分布,应用一次线性回归计算得到壁面摩擦应力。测量了不同雷诺数（基于动量损失厚度 ）下的湍流边界层壁面摩擦切应力,在Re_θ =1200时获得了罕见回流事件的发生概率和流场结构。实验结果表明,采用μ-PTV技术可以实现壁面摩擦应力的准确测量,在Re_θ =1634～4070时,摩擦阻力系数测量误差小于2%。回流事件的概率极低,在Re_θ =1200时约为0.05%,尺度小于8×30个壁面单位,因此回流事件的测量对测量技术的空间分辨率要求较高;分析结果表明回流事件伴随壁面附近的强展向涡出现。     

耐人寻味的韩美联合军演

"不屈意志"联合军演、独立反潜演习、"乙支自由卫士"联合军演……"天安"号事件发生4个月后,朝鲜半岛可谓"硝烟弥漫"、"杀气腾腾",朝鲜半岛乃至整个东北亚的军事、政治形势紧张异常,军演俨然变成错综复杂的东北亚政治外交博弈。矛与盾的对决——美韩携手并进朝鲜强势反弹2010年7月25日至28日在韩国东海即日本海举行的代号"不屈意志"的联合军演,是1976年以来的最大规模联