基于语义的QoS感知Web服务发现机制

随着提供相同功能的Web服务数量的日益增多,服务质量(Quality of Service,QoS)成为用户选择Web服务的重要考虑因素.目前,通过对服务QoS属性在语法层匹配来提供Web服务选取的机制不能很好地满足复杂QoS属性匹配的要求.研究了基于用户QoS需求偏好,将用户需求的QoS与候选服务的QoS进行语义比较,结合约束规划(Constraint Programming)方法,在语义层匹配Web服务的QoS属性,选取满足匹配要求的服务,最后对满足QoS属性值约束的候选服务进行优化选择处理,获取最终匹配的候选服务.     

基于uMSD的Web服务组合验证方法研究

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了u...     

一种基于数量关联的孤立点检测算法

孤立点检测是数据挖掘的重要研究方向之一,目标是发现数据集中不具备数据一般特性的数据对象.通过挖掘数据属性间内在的数量关联规则,标记产生的弱关联规则中置信度小于阈值的极小概率事件为孤立点,提出了一种基于数量关联的离群点检测算法.实例表明,算法能够有效检测数据集中的孤立点,具有应用价值.     

基于MODIS的长江源区雪冰遥感监测及其变化规律分析

利用2005—2014年的MODIS积雪产品,提取长江源区积雪覆盖率,结合同期相关气象站点的逐月平均气温数据和逐月月降水量以及直门达水文站的径流数据,通过相关分析的方法,对长江源区冰雪覆盖变化规律及其变化原因进行了探讨。结果表明:2005—2014年间,长江源区冰雪覆盖率总体呈小幅度的减少趋势;每年的10月份和11月份长江源区冰雪覆盖面积达到最大值,7月份和8月份达到最小值。另外,2005—2014年的4月份,曲麻莱月均气温和月均降水量对长江源区月均冰雪覆盖度的影响为:气温呈低度负相关,降水呈高度正相关;曲麻莱月均气温和月均降水量对直门达月均径流的影响为:气温呈中度正相关,降水呈低度正相关。研究结果可为长江源区水资源管理与生态环境保护提供支撑。     

基于物理背景的微网总体模型

微网是集分布式电源、负荷和储能设备的小型电网,通过公共耦合点与大电网相连,与大电网之间的功率可双向流动,需对微网进行建模以研究微网接入。从微网基本元件出发,分析了微网负荷、电源元件模型与传统电力系统元件模型之间的联系,借鉴负荷建模理论,提出了微网整体建模的思路,将微网中静态负荷与外部表现为静态特性的电源等效为等效静态模型,推荐采用幂函数模型;将风力发电机、电动机等动态元件等效为等效电机模型,并从理论上推导了等效电机的通用模型。     

河网中具有时空关系的异常事件在线检测

当网络异常事件发生时,传感器节点间的时空相关性往往非常明显.而现有方法通常将时间和空间数据性质分开考虑,提出一种分散的基于概率图模型的时空异常事件检测算法.该算法首先利用连通支配集算法(CDS)选择部分传感器节点监测,避免监测所有的传感器节点;然后通过马尔可夫链(MC)预测时间异常事件;最后用贝叶斯网络(BN)推测空间异常事件是否出现,结合时空事件来预测异常事件是否会发生.与简单阈值算法和基于贝叶斯网络算法对比,实验结果表明该算法有高检测精度、低延迟率, 能大幅降低通信开销,提高响应速度.     

结合在线/离线方法的无证书签密

作为密码学原语,签密同时具有签名的认证性与加密的机密性。在线/离线签密结合了在线/离线的方法,在已有基础上提高了系统的效率。但目前的在线/离线签密方案大多数都是在基于身份的环境下实现的,都存在密钥托管的安全问题。基于无证书密码体制撤销证书管理及无密钥托管问题的优点,提出了一种安全的在线/离线的无证书签密方案,满足离线阶段不需要确定接收者身份信息的条件,并在随机预言模型中证明了方案的安全性。     

低信噪比条件下正弦信号幅度盲估计

研究了电子侦察信号处理中正弦信号幅度盲估计问题。提出了一种基于相关累加及线性回归的正弦信号幅度盲估计算法。先对接收到的信号进行频率估计,建立参考信号,将接收信号与参考信号相关后变换到基带并作累加,后将相关累加曲线进行最小二乘线性回归,以回归得到的直线斜率值作为信号幅度的估计值。仿真结果表明,当信噪比大于[-3 dB]时,方法的估计均方根误差小于1.1倍克拉美罗限,可在低信噪比条件下,实现正弦信号幅度的盲估计。     

基于半边图模型的蛋白质建模研究

适合大中型蛋白质的建模方法目前尚属于空白。设计出一种新预测模型,称为“半边图模型”。利用半边图模型描述底层数据结构,进行底层计算,确立蛋白质的立体结构。新模型适于表现原子之间和原子团之间的相互结合作用,能够模拟大分子相互作用的蛋白质真实折叠环境,即大分子相互作用的环境。