【摘 要】
：
为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域间的协同本体,最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息,从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟Impor
【机 构】
：
清华大学自动化系,桂林空军学院一系
【基金项目】
：
国家“863”计划资助项目（2007AA04Z150）,国家自然科学基金资助项目（60674080,60704027）,欧盟第六框架基金资助项目（FP6.IST-033610）
论文部分内容阅读
为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域间的协同本体,最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息,从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟ImportNET项目中得到了验证。
其他文献
提出一种基于锚节点分簇的节点定位方法,该方法以锚节点为中心自适应构建成簇,并将处于多个簇重复覆盖的节点作为伪锚节点。在测距方法构建节点间距离矩阵基础上,结合多维尺度分析和锚节点位置信息实现了对节点进行相对位置定位,并通过伪锚节点与锚节点位置信息进行坐标变换实现了绝对位置智能定位,提高了定位的准确性。仿真结果表明,该方法定位精度高,对测量误差、节点连接度以及锚节点比例的变化有很强的鲁棒性。
传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。
由于一个类别在层次树上可能存在多个镜像,基于层次树来进行分类可能会导致不一致性。一种自然的解决方法是采用图结构来描述类别关系,在现实生活中人们实际的描述方式也是如此。鉴于此,提出了一种直接基于图的层次多标记分类方法,称为GraphHMLTC。该方法利用有向无圈图的拓扑排序而非树的自顶向下的层次关系来确定类别之间的分类顺序,并且该拓扑序根据分类情形进行动态维护。实验表明,采用层次图分类的GraphH
为了提高嵌入式软件开发的自动化程度,代码自动生成是一种值得采用的有效方法。在研究体系结构分析与设计语言(AADL)和RTLinux(real-time Linux)平台C代码的特性的基础上,提出了AADL构件到RTLinux平台C代码的转换规则;然后用一个实例实现了代码自动生成,从而验证了转换规则的有效性。
为解决多播路由中的QoS约束问题,不仅研究了QoS多播路由中的带宽、时延﹑时延抖动和包丢失率等约束问题,还重点分析了路径开销问题,从而提出一种基于蚁群遗传算法的多播路由算法。该算法将遗传算法与蚁群算法结合起来,对多播树群体进行编码、选择、杂交和变异等遗传操作,同时利用蚁群算法的信息素正反馈求解,充分发挥两者的优势,从而更快更好地产生出既满足服务质量保障(QoS)又具有最小路径开销的多播树。仿真实验
设计了制造执行系统面向服务的多层体系结构,研究了服务构件、服务总线、业务流程标准在制造执行系统中的应用,在此基础上提出了面向服务的制造执行系统开发方法。经验证,面向服务的制造执行系统提高了车间业务的敏捷程度,有利于快速实施和推广。
结合人眼光学建模和计算机图形学的真实感绘制技术,提出一种基于Navarro示意眼模型的人眼视觉真实感绘制方法。利用Navarro模型与传统的单透镜模型相比能够更精确地模拟人眼的特性,将Navarro模型引入视觉真实感绘制中;采用光线追踪方法,加入非球面折射面的计算,精确地模拟人眼的成像特性。实验结果表明此种方法能够更精确地模拟人眼的视网膜成像,通过更改模型参数也能够灵活地模拟人眼在不同视觉缺陷下的
为了提高Web服务的信任评估准确度和交互成功率,提出了一种新的基于模糊Petri网的Web服务信任评估模型(WS-TEM)。该模型给出了评估的模糊信任规则,在此基础上,提出了一种基于模糊Petri网的推理算法,并使用模糊Petri网中知识表示和运行的基本算法,并行处理一个服务实体的多个推荐信任来综合评估Web服务实体间的信任关系。经过模拟实验和分析表明,该模型在Web服务信任评估上更加准确可靠,从
提出的用于网络节点行为证据监测与管理的机制可以实现对监测得到的节点行为进行证据量化处理,并与该节点历史记录的行为证据加权,得到节点行为证据优属度,以此实现对节点行为是否可信的准确评估。实验仿真结果显示,该机制能很好地收集网络节点行为证据,实现网络节点证据优属度的管理,并且该机制符合网络中节点行为证据优属度的慢升快降原则和高可优属度的不易获得和不易维持原则。
为了优化IEEE 802.15.4 MAC协议能耗性能,针对IEEE 802.15.4 MAC协议存在的空闲偷听现象浪费节点能量问题,提出一种基于减少偷听的降耗方法：节点于超帧竞争接入时期内的退避时