核安全级DCS功能安全与信息安全权衡技术

以典型核安全级分布式控制系统（DCS）为例,应用故障模式与脆弱性影响分析（FMVEA）技术评估功能安全与信息安全的兼容性,并采用事件树和风险分析相结合的方法给出功能安全与信息安全协同解决方案,最终得到核安全级DCS功能安全与信息安全一体化防护措施。一体化防护措施实践结果表明,应用权衡技术得到信息安全措施,可以较好地兼容原有功能安全措施。因此,本研究建立的权衡技术可以应用于核安全级DCS信息安全设计工作。      

宽带接入网络的故障管理算法

随着宽带接入网络技术的发展,如何有效地进行网络管理的问题日益突出。故障管理是网络管理的核心内容。文章提出了将故障轮询机制与监听来自管理代理的Trap消息来检测故障的方法相结合的事件流分析方法。该算法很好地实现了故障检测的功能。     

OSPF路由协议中邻居状态机的实现技术

本文从建立OSPF邻居状态机的数学模型出发,依据其实现原理,列出了邻居状态机的各个状态和事件,描绘了总的状态变迁图,并进一步对状态机的转换函数的实现做了优化处理,结合指针函数和二维数组等数据结构,根据OSPF邻居状态机机制,提出了实现的关键技术。     

基于事件驱动的嵌入式实时操作系统

提出了嵌入式实时系统的事件驱动模型，并根据这种模型讨论了在Kitty RTOS中的具体实现方式，最后总结了在这种实现中采用的调度算法，给出一个分类排队调度算法的抽象模型。     

机场供油系统单顾客流仿真模型

机场供油系统是一种典型的排队服务系统。本文通过对单顾客流输入下五种情况的研究,分别建立了系统的仿真模型,提出了适合解决该问题的事件调度法与活动扫描法等两种仿真策略并给出了伪码算法。仿真实践表明,准确而全面的模型分析,对于后期开发仿真程序,优化系统性能是非常重要的。     

基于混杂系统模型和事件辨识的电子电子电路故障诊断

该文建立了一个基于混杂系统理论的电力电子电路数学模型；然后将电路的各个运行状态抽象为离散事件；并在该模型的基础上提出了基于混杂系统事件辨识的故障诊断方法和它的实现步骤。该方法具有实现简单、诊断率高、通用性较强的优点。文章最后通过Buck电路的故障诊断实验验证了该方法的可行性和有效性。     

基于事件的发布-订阅系统模型

Internet的广泛应用已经改变了分布式系统的规模，使得传统的基于请求/应答的点对．点的同步通信已不能很好地满足大规模的动态分布式应用环境。为了加强大规模的分布式环境中实体之间的通信协作，系统要求更加灵活的通信模型，以反映应用的动态和非耦合特性。基于事件通信的中间件是建立大规模分布式系统的有效方式，发布者/订阅者（Publisher/subscriber）是目前广泛使用的基于事件的通信模型，支持发布者和订阅者之间在时间、空间和同步方面的非耦合以及多对多的通信模式，提供大规模系统所要求的交互间的松散耦合。本文详细阐述了事件系统的组成以及基于事件系统的PUB／SUB模型，提出了基于PUB／SUB的事件系统中间件的核心及实现的关键，这些中间件为大规模的分布式应用提供更多和更有力的保障。     

Complexity results for structure-based causality

We give a precise picture of the computational complexity of causal relationships in Pearl's structural models, where we focus on causality between variables, event causality, and probabilistic causality. As for causality between variables, we consider the notions of causal irrelevance, cause, cause in a context, direct cause, and indirect cause. As for event causality, we analyze the complexity of the notions of necessary and possible cause, and of the sophisticated notions of weak and actual cause by Halpern and Pearl. In the course of this, we also prove an open conjecture by Halpern and Pearl, and establish other semantic results. We then analyze the complexity of the probabilistic notions of probabilistic causal irrelevance, likely causes of events, and occurrences of events despite other events. Moreover, we consider decision and optimization problems involving counterfactual formulas. To our knowledge, no complexity aspects of causal relationships in the structural-model approach have been considered so far, and our results shed light on this issue.     

入侵检测系统的研究与一个基于LINUX的NIDS的实例

本文介绍了入侵检测系统（IDS）的发展历史、分类以及入侵检测系统的整体架构，并给出了一个基于Linux的网络入侵检测系统的实现，最后分析了入侵检测系统目前面临的主要问题。     

A practical implementation of stochastic programming: an application to the evaluation of option contracts in supply chains

Stochastic programming is a powerful analytical method in order to solve sequential decision-making problems under uncertainty. We describe an approach to build such stochastic linear programming models. We show that algebraic modeling languages make it possible for non-specialist users to formulate complex problems and have solved them by powerful commercial solvers. We illustrate our point in the case of option contracts in supply chain management and propose a numerical analysis of performance. We propose easy-to-implement discretization procedures of the stochastic process in order to limit the size of the event tree in a multi-period environment.