基于OWL-S和HTN的Web服务组合原型系统的研究

Web服务是近年发展的一种分布式技术,引起了越来越多研究者的关注.随着网络上Web服务技术描述的信息系统数量的不断增加,将现有的业务流程进行组合以满足较为复杂的业务系统成为当前发展的主要趋势.此外,由于Web服务所处环境的复杂性和动态性,使得Web服务组合任务变得非常困难.因此,Web服务组合逐渐成为语义Web服务领域研究的热点和难点.描述了一个基于OWL-S和HTN的Web服务组合框架,并详细介绍了如何利用HTN规划解决Web服务组合问题的算法思想.通过学生选课服务实验,验证了该方法的可行性.     

组合核函数SVM在网络安全风险评估中的应用

核函数是SVM的关键技术,核函数的选择将影响着支持向量机的学习能力和泛化能力。各个普通核函数各有利弊,在分析各个普通核函数的基础上,采用了一种新的组合核函数,它既具有很好的泛化能力,也具有很好的学习能力,并将其构造的支持向量机应用到网络安全的风险评估中,与普通核函数构造的支持向量机的评估效果进行比较。结果表明组合核函数支持向量机不仅提高了分类速度,而且具有较高的分类精度。     

基于数据驱动的软件自动化测试框架

为了提高软件测试自动化程序的可复用性,以及在系统、产品以及数据方面的独立性,在对几种基本的软件测试框架进行研究的基础上上,结合在实际的项目中的软件自动化测试的实践,提出一种基于数据驱动的自动化测试框架(TAF)。分析了软件测试以及软件测试自动化的现状,阐述了软件测试自动化框架的策略目标、关键的成功因素,以及5种基本的软件自动化测试框架。最后提出新的软件自动化测试框架。     

多Agent信念逻辑及其在概率意义下的推广

首先建立了一种多Agent信念逻辑MBL(multi-agentbelieflogic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Aumann语义,讨论了两者的等价性,证明了MBL对于上述两种语义的可靠性和完备性.其次,建立了一种多Agent概率信念逻辑MPBL(multi-agentprobabilisticbelieflogic),通过在广义Aumann语义基础上引入概率空间,给出了MPBL的概率Aumann语义,证明了它的可靠性,并给出MPBL的一些推论.     

电能质量检测智能电子设备中的数据处理

为了确保电力系统的安全运行和电能质量的准确分析,构建了一种基于IEC61850的电能质量监测智能电子设备框架,并提出一种基于FFT和小波变换相结合的数字信号处理方法.仿真结果证明,该方法不仅能够识别和检测扰动信号的起止时刻,也能够实时分析各次谐波的幅值和相位;在畸变和扰动的情况下,采用该改进算法具有很好的实用性和灵活性.     

DR/RSSI组合室内定位系统设计与实现

针对缺少全球定位系统情况下的室内定位需求,提出了一种航位推算/接收信号强度指示组合的室内定位算法。基于搭载多传感器的智能移动终端,采用方位传感器监测航向,通过监测Z轴加速度判定步数,利用接收信号强度指示的绝对定位在线更新步长和修正航位推算产生的积累误差,充分发挥了两种定位方法的优势。对采用航位推算/接收信号强度指示组合算法的室内定位系统在安卓平台上进行了实现及有效性验证。     

基于模糊逻辑的无线传感网络分簇路由协议

能量消耗是无线传感器网络中首要考虑的问题. 为了均衡每个节点的能耗, 延长网络节点的生存寿命, 本文提出了一种基于模糊逻辑方法的FLCHE分簇路由协议. 该协议充分考虑了节点的剩余能量, 能量消耗速率以及节点的分布密度. 通过MATLAB实验仿真表明, 相比于经典的LEACH分簇路由协议, FLCHE协议更加均衡了网络节点的能耗, 有效地延长了网络的生命周期, 总体性能优于LEACH算法.     

基于构件复用机制的从CPL到Java的翻译系统

给出了CPL构件的复用机制,定义了一种对构件组合约束检查的矩阵技术.通过比较CPL语言与Java语言的语法特点,在XML规范的框架内,提出了一种将CPL语言翻译成等价功能的Java代码的翻译方法.该方法采用基于EJB容器的思想,并使用类对象的形式构造整个业务,用JavaBeans表示CPL中的功能构件,使翻译成的Java代码具有良好的可读性,并具有较高的可复用性及可扩展性.     

基于本体和相似度匹配的DICOM医学图像语义检索

针对DICOM医学图像的海量存储,而且医学图像对诊断的重要性,本文把本体论的思想引入到DICOM图像检索中,对DICOM医学图像模型进行了语义扩展,建立了DICOM医学图像本体模型,最后分析了DICOM医学图像的标注和检索过程,讨论基于本体的DICOM医学图像检索模型.     

具有分工的蚁群算法及应用

人工蚁群算法是一种新型的模拟进化算法,但也存在一些缺点,特别是在规模大的问题中,如计算时间较长、容易陷入局部极小等.本文在基本人工蚁群算法的基础上,引入遗传算子;为保持种群的多样性在选择策略中引入感觉阈值;并根据蚁群蚂蚁是分工的这一思想将其引入蚁群算法中,我们称之为具有分工的蚁群算法,将其应用到TSP问题求解和一些函数优化的实例中.实验结果表明改进是有效的.