一种基于EQ规则的组合服务运行时自适应方法

组合服务通常运行在开放、变化和不确定的互联网环境中.动态复杂的运行环境,使得组合服务的执行具有不确定性和不可靠性,从而制约了服务组合技术的实际可用性.针对该问题,面向环境的分析与建模,提出了一种基于EQ规则的组合服务运行时自适应方法.该方法在记载组合服务的执行日志和各备选服务的运行环境数据的基础上,挖掘得到反映“一个备选服务在特定的环境状态下所表现出的质量会如何”的EQ规则库,从而指导组合服务如何响应实时产生的各类环境变化事件,以驱动组合服务的运行时自适应,保障其可靠运行.仿真实验结果表明:该方法能够提高组合服务在动态环境中的服务质量,增强其运行稳定性,是一种有效的组合服务运行时自适应方法.     

生物事件触发词识别方法研究

从生物文献中抽取生物事件对于生物领域的知识挖掘起着重要的作用,而事件触发词的识别是生物事件抽取的一个关键步骤。系统分别采用词汇及其上下文特征、短语标记特征、词聚类特征以及统计的词典特征构造不同的基于词级的CRF模型,用于生物事件触发词的标记。然后针对不同的触发词类型选择对应最优的标记模型,构造了一个混合CRF模型。在BioNLP 2009 ST语料库上进行了实验评估,结果表明提出的方法取得了很好的性能,为生物事件的抽取建立了良好的基础。     

基于全局/局部共现词对分布的汉越双语新闻事件线索分析

针对汉越双语新闻事件线索分析,提出了基于全局/局部共现词对分布的汉越双语事件线索生成方法。该方法首先将新闻话题词语分布作为全局词语表征全局事件,然后用一定时间粒度下新闻片段特有的时间、人物、地点等事件元素作为局部词语,分析新闻片段中全局词语和局部词语的共现关系,将全局/局部词语的共现规律作为监督信息,结合RCRP算法和汉越双语新闻的对齐语料,构建有监督话题生成主题模型,获得相应时间跨度下代表事件发展进程的子话题分布,通过子话题的分布反映事件发展的线索,从而构建出在线汉越双语事件线索生成模型。实验在汉越混合新闻数据集上进行,事件线索生成对比实验结果证明了提出的方法的有效性。
     

基于地址-事件表示的高速二值连通域标记方法

为提高二值连通域标记的速度,将地址-事件表示AER（Address Event Representation）思想引入到二值图像处理,提出了一种基于事件对等价标号的二值连通域标记方法。该算法无需多次遍历图像中的背景点和冗余目标点,首先将待标记的连通域以AER“事件对”的方式编码保存,通过“事件对”的遍历生成临时标号和等价标记表;然后根据等价表修改临时标号;完成标号映射后最终实现连通域标记。整个算法只处理极低冗余的事件信息,避免了对全图像素的重复扫描与处理。实验结果表明,图像以AER“事件对”方式存储,数据量仅为全帧图像的10%~35%,有较高的压缩比;且该算法速度快,可达到了传统基于等价标号算法的1.5~8倍。     

基于混合方法的中文微博自动摘要技术研究

针对微博内容驳杂、信息稀疏的问题,深入研究传统自动摘要技术,结合微博数据特点,在微博事件提取的基础上提出一种基于统计和理解的混合摘要方法。首先根据词频、句子位置等文本特征得到基于统计的初始摘要;然后通过语义词典,计算句子相似度、确定事件主体进行基于语义理解的可读性加工,使最终摘要更具可读性;最后采用合理的摘要评价方法评价所得摘要。实验结果表明,该方法在不同压缩比例下均能获得质量稳定且可读性良好的摘要。     

基于序贯蒙特卡洛算法的交通流事件重构

针对交通数据重构应用性差、缺乏对交通事件重构的研究等问题,结合交通流非线性非高斯的特点,提出一个基于序贯蒙特卡洛方法的交通流堵塞事件重构模型。该模型不断同化道路上的传感器数据,使仿真中的交通状态不断逼近真实路况,通过分析仿真数据以探测真实路网中存在的堵塞事件。模型能够对探测到的堵塞进行多粒子模拟来实现对真实道路上堵塞事件的重构。实验结果表明,该模型能够推测并重构出道路上的堵塞事件,对堵塞起始位置重构的平均误差为17m,对堵塞范围重构的平均覆盖率为82%。     

Adaptive event‐triggered control for nonlinear discrete‐time systems

This paper focuses on the analysis and the design of event‐triggering scheme for discrete‐time systems. Both static event‐triggering scheme (SETS) and adaptive event‐triggering scheme (AETS) are presented for discrete‐time nonlinear and linear systems. What makes AETS different from SETS is that an auxiliary dynamic variable satisfying a certain difference equation is incorporated into the event‐triggering condition. The sufficient conditions of asymptotic stability of the closed‐loop event‐triggered control systems under both two triggering schemes are given. Especially, for the linear systems case, the minimum time between two consecutive control updates is discussed. Also, the quantitative relation among the system parameters, the preselected triggering parameters in AETS, and a quadratic performance index are established. Finally, the effectiveness and respective advantage of the proposed event‐triggering schemes are illustrated on a practical example. Copyright © 2016 John Wiley & Sons, Ltd.     

Recursive state estimation for discrete‐time nonlinear systems with event‐triggered data transmission,norm‐bounded uncertainties and multiple missing measurements

In this paper, we consider the recursive state estimation problem for a class of discrete‐time nonlinear systems with event‐triggered data transmission, norm‐bounded uncertainties, and multiple missing measurements. The phenomenon of event‐triggered communication mechanism occurs only when the specified event‐triggering condition is violated, which leads to a reduction in the number of excessive signal transmissions in a network. A sequence of independent Bernoulli random variables is employed to model the multiple measurements missing in the transmission. The norm‐bounded uncertainties that could be considered as external disturbances which lie in a bounded set. The purpose of the addressed filtering problem is to obtain an optimal robust recursive filter in the minimum‐variance sense such that with the simultaneous presence of event‐triggered data transmission, norm‐bounded uncertainties, and multiple missing measurements; the filtering error is minimized at each sampling time. By solving two Riccati‐like difference equations, the filter gain is calculated recursively. Based on the stochastic analysis theory, it is proved that the estimation error is bounded under certain conditions. Finally, two numerical examples are presented to demonstrate the effectiveness of the proposed algorithm. Copyright © 2016 John Wiley & Sons, Ltd.     

A Lyapunov‐based small‐gain approach on design of triggering conditions in event‐triggered control systems

This paper studies a Lyapunov‐based small‐gain approach on design of triggering conditions in event‐triggered control systems. The event‐triggered control closed‐loop system is formulated as a hybrid system model. Firstly, by viewing the event‐triggered control closed‐loop system as a feedback connection of two smaller hybrid subsystems, the Lyapunov‐based small‐gain theorems for hybrid systems are applied to design triggering conditions. Then, a new class of triggering condition, the safe, adjustable‐type triggering condition, is proposed to tune the parameters of triggering conditions by practical regulations. This is conducive to break the restriction of the conservation of theoretical results and improve the practicability of event‐triggered control strategy. Finally, a numerical example is given to illustrate the efficiency and the feasibility of the proposed results. Copyright © 2015 John Wiley & Sons, Ltd.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。