Petri网理论及其在离散事件系统中的应用

 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。     

质子单粒子翻转截面计算方法

在分析质子与硅反应的基础上,建立了质子单粒子翻转截面理论计算模型,提出了模拟计算方法。计算得到了不同能量的高能质子与硅反应产生的次级粒子种类、截面、能谱和双微分截面。采用Monte Carlo方法模拟质子与硅的反应;应用TRIM程序计算次级粒子的射程;计算得到次级粒子在存储单元的灵敏区内沉积的能量,产生的电荷。通过与临界电荷的比较,判断是否导致单粒子翻转,从而得到单粒子翻转截面。计算得到的单粒子翻转截面与实验数据符合较好。     

基于事件的无人直升机分布式飞行控制系统实现

利用中间件TAO及其事件服务机制,设计了分布式飞行控制系统。为了实现该系统,开发了公共事件服务组件(包括事件提供组件和事件消费组件),其他需要事件服务的组件对其进行简单地调用,就可以实现分布在不同计算机、不同操作系统、应用不同语言编写的组件之间的通信。仿真结果表明：这种实现方式大大增强了系统组件的重用性,使组件之间解耦,提高了系统设计的效率,降低了开发费用。     

时空轨迹群体运动模式挖掘研究进展

群体运动模式是时空轨迹模式挖掘的重要内容,用于发现群体运动规律、群体运动趋势以及群体事件。本文首先对群体运动模式建模和群体运动模式挖掘两个层面存在的问题与挑战进行了阐述。接着,对群体运动模式进行了分类,将其分为有领导者运动模式、伴随模式、突变运动模式、流行运动模式、聚集运动模式和发散运动模式。最后,介绍了各种群体运动模式之间的区别与联系,对各种群体运动模式挖掘算法思想进行了综述。     

监控视频中异常事件检测技术研究进展

异常事件检测技术是当前智能监控技术研究领域关注的一个热点,作为计算机视觉的重要研究内容,其主要目标是利用计算机自动检测出可被视为异常的事件。传统方法存在低层视频特征描述能力弱,异常检测方法计算代价大,对复杂场景建模时鲁棒性差等方面的限制。本文结合国内外的研究现状和目前的主流方法,介绍了监控视频中异常事件检测涉及的基本技术,分析了各类监控视频特征提取方法、特征学习模型和异常检测方法的优缺点,整理归纳了可用于监控视频中异常事件检测的常用实验数据集,最后讨论了监控视频中异常事件检测技术的难点、挑战及未来发展趋势。     

基于EON的卫星磁设计仿真系统研究

卫星磁设计的三维规划是一项艰难的任务,利用虚拟仿真平台EON开发的卫星磁设计仿真系统有效地解决了这一问题。论述了在卫星磁设计仿真系统的总体结构和开发方法,并对系统开发涉及的仿真程序与应用程序间的数据通信技术,碰撞检测技术和事件路由机制等关键技术进行描述,利用这些方法开发的磁试验仿真系统可以满足用户的要求,有效地进行卫星的磁设计工作。     

Satellite Measurements of Middle Atmospheric Impacts by Solar Proton Events in Solar Cycle 23

Solar cycle 23 was extremely active with seven of the largest twelve solar proton events (SPEs) in the past forty years recorded. These events caused significant polar middle atmospheric changes that were observed by a number of satellites. The highly energetic protons produced ionizations, excitations, dissociations, and dissociative ionizations of the background constituents in the polar cap regions (>60 degrees geomagnetic latitude), which led to the production of HO_x (H, OH, HO₂) and NO_y (N, NO, NO₂, NO₃, N₂O₅, HNO₃, HO₂NO₂, BrONO₂, ClONO₂). The HO_x increases led to short-lived ozone decreases in the polar mesosphere and upper stratosphere due to the short lifetimes of the HO_x constituents. Polar middle mesospheric ozone decreases greater than 50 % were observed and computed to last for hours to days due to the enhanced HO_x. The NO_y increases led to long-lived polar stratospheric ozone changes because of the long lifetime of the NO_y family in this region. Upper stratospheric ozone decreases of >10 % were computed to last for several months past the solar events in the winter polar regions because of the enhanced NO_y.     

一种基于通信事件的机载分布式软件调试方法

多应用分区的开发与综合是IMA系统开发的核心工作之一，而如何控制和调试基于分区间通信的分布式协作行为是关键所在。引入”通信事件”对分区间通信活动进行抽象，提出通信事件调试方法，对分区间通信的源分区和目的分区进行同步控制和对通信活动进行协同调试。进而提出一种将通信事件调试和代码调试有机结合的混合调试方法，论述了方法的调试过程以及在实践中表现出来的优点与不足。     

基于Master/Detail构架的航电专用配置工具设计与实现

本文重点讲述如何利用Master/Details结构来实现航电专用配置工具,并介绍了实现该结构所需要的软件和硬件环境,以及Master/Details结构的实现过程。以解析XSD文档生成解析树和配置文件为例,验证了Master/Details结构能够很好得支持航电专用配置工具的实现。     

Comparison of the transport codes HZETRN,HETC and FLUKA for a solar particle event

The protection of astronauts and instrumentation from galactic cosmic rays and solar particle events is one of the primary constraints associated with mission planning in low earth orbit or deep space. To help satisfy this constraint, several computational tools have been developed to analyze the effectiveness of various shielding materials and structures exposed to space radiation. These tools are now being carefully scrutinized through a systematic effort of verification, validation, and uncertainty quantification. In this benchmark study, the deterministic transport code HZETRN is compared to the Monte Carlo transport codes HETC-HEDS and FLUKA for a 30 g/cm² water target protected by a 20 g/cm² aluminum shield exposed to a parameterization of the February 1956 solar particle event. Neutron and proton fluences as well as dose and dose equivalent are compared at various depths in the water target. The regions of agreement and disagreement between the three codes are quantified and discussed, and recommendations for future work are given.