基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

The 1997–1998 warm event in the South China Sea

A strong warm event happens during spring 1997 to spring 1999 in the South China Sea. Its intensity and duration show that it is the strongest event on the record over the past decades. It also corresponds with the severe flood over the valley of the Yangtze River and a couple of marine environmental events. This note addressed the evolution process by using several data sets, such as sea surface temperature, height and wind stress in addition to subsurface temperature. The onset of the warm event almost teleconnects with the El Niño event in the tropical Pacific Ocean. Summer monsoon is stronger and winter monsoon is weaker in 1997 so that there are persistent westerly anomalies in the South China Sea. During the development phase, the warm advection caused by southerly anomalies is the major factor while the adjustment of the thermocline is not obvious. Subsequently, the southerly anomalies decay and even northerly anomalies appear in the summer of 1998 resulting from the weaker than normal summer monsoon in 1998 in the South China Sea. The thermocline develops deeper than normal, which causes the downwelling pattern and the start of the maintaining phase of the warm event. Temperature anomalies in the southern South China Sea begin to decay in the winter of 1998–1999 and this warm event ends in the May of 1999.     

离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。     

整体单级de—Sitter时空背景的Hawking辐射

利用被改进后的Damour-Ruffini方法研究了整体单级de-Sitter黑洞在标量场的Hawing温度与时空的视界方程，采用Tortoise坐标变换 ，给出了Klein-Gordon方程在视界附近渐近解，导出了Hawking温度，得到了热谱。     

试论中国共产党的理论创新及其意义

中国共产党理论创新的实质就是中国共产党人在历史紧要关头的科学决策与开拓前进的辩证统一。这种理论创新既是一定时势。“逼”出来的,又是特定时空所塑造出来的;既是领袖智慧和人民群众创造性活动的相互作用,又是中国共产党人执著地追求真理和坚持真理的统一。只有这样的理论创新才能显示出其真正的历史价值。     

混合动态系统的离散事件受控对象模型

混合动态起因于离散事件系统用于监控连续状态系统的行为。用抽象语言方法描述连续状态系统，通过对连续状态系统空间的一致性分划，抽象出离散事件对象模型。基于输入／输出观点简要地讨论了离散控制器综合。     

计算网格中的组件服务

在网格环境下的高能计算中,网络应用扩展为一系列的相互作用的组件,一个完整的网络应用应该以即插即用的方式整合这些组件.文中采用了公共组件结构来建立这些组件.为了提高组件之间的通信效率,增加组件的动态扩展性,还需要事件服务以及通道的概念.本文中还用到了一些XML的内容.     

闪光灯和标题条对新闻视频镜头检测影响的研究

新闻视频中特有地存在着大量闪光灯事件和后期视频编辑时加入的标题条事件,对镜头检测带来很大干扰。开发了一种建立在统计学基础上的稳健帧间差度量算法,克服标题条的突然出现和消失等局部剧烈运动对镜头切分的影响。根据闪光灯在视频流时序上的特征,提出通过对潜在切变位置前后视频内容的再检测来区分闪光灯事件和切变。该方法具有通用性和实时性,可以在视频自动分析或自动索引系统中得到实际应用。