BPEL流程监视的可视化实现

When a BPEL process is executed, it is necessary to dynamically monitor the process. BPEL is a executable language, which is not suitable for visual monitoring. On the other hand, BPMN is designed to visually describe business process and is more intuitive for monitoring. To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary. However, current study of transformation from BPEL to BPMN does not support the transformation of "link" activity. Besides, no work has been done to add supplementary information into BPMN during transformation. In this paper, we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy. Especially, we analyze various scenarios of the transformation of link activity, and provide a method to deal with it. Besides, we analyze the mapping between BPEL activities and BPMN graph, through which we found out that some supplementary information cannot automatically obtained from BPEL process. These supplementary information need to be added during transformation. At the end of this paper, we present the structure of our monitoring tool which is based on our transformation algorithm.     

CAD模型表面区域分割方法

三维模型表面区域分割技术在形状分析,尤其是局部形状分析中具有重要作用,传统的表面分割方法主要针对网格模型,而机械工程中的CAD模型通常用B-rep表达.提出一种B-rep形式的CAD模型表面区域分割方法,将模型表面划分为局部凸区域、凹区域和平区域的组合,并使得分割后的区域数量最少.为提高计算效率,提出一种二步法:首先在模型面的局部凸凹性分析的基础上,快速地将模型表面分割成初始的凸区域、凹区域和平区域;然后通过区域合并的方法对分割后的区域进行组合优化,得到一个最优的分割结果.实验结果证明,该方法能有效地分割模型的表面区域.     

基于UML扩展的数据仓库多维数据PIM建模

针对数据仓库多维数据PIM建模问题,对多维数据模型维和事实进行了定义.在UML(Unified Modeling Language)扩展的基础上,提出了与多维模型相关的八个版类,从而可以对数据仓库中PIM模型的各种情况进行图形化描述.最后基于某钢铁企业采购系统的采购价格差异分析主题进行了建模.     

利用POMDP模型来增强分布式系统的生存性

针对分布式系统存在的状态信息不完全问题,引入部分可观察的马尔可夫决策过程(POMDP)模型到生存控制系统中.在该控制系统的构造过程中,结合前瞻的思想,提出一种简易、有效的搜索算法(NSL算法)来作出决策,从而在一定程度上弥补了现有生存控制系统的不足,提高了分布式系统的可生存性.     

基于移动Agent的电子商务交易平台研究

针对传统电子商务平台存在的问题,提出了一个以移动Agent为中介服务的电子商务交易平台,阐述了该平台各组成部分的功能.实验采用价格优先和数量优先的购买策略,分析了该平台中移动Agent的性能,实验仿真结果表明移动Agent的引入提高了平台处理客户信息的速度,缩短了达成交易的时间并降低了网络的通信量.     

拒绝服务攻击行为仿真与评估

利用基于OPNET的网络仿真对分布式拒绝服务攻击行为进行研究,详细阐述了网络仿真中相关模型和参数的配置,描述了如何发现特定攻击目标瓶颈的方法,建立多个场景分析攻击包大小不同、攻击速率服从的分布不同、攻击节点位置各异等因素对攻击效果造成的不同影响,对不同结果进行分析与评估,为研究在现实环境中对拒绝服务攻击行为实施防范措施提供参考数据.     

VGA汉字显示的FPGA设计与实现

VGA是显示器接口的一种工业标准.以往大多采用通用处理器控制VGA接口来实现汉字及其它信息的显示,但是以通用处理器为核心的体系结构不易修改,体积偏大,不适合小型便携式设备的设计.由于FPGA具有可重构、体积小等优势,采用FPGA来控制VGA的汉字显示.依据VGA的显示原理,提出了一种基于Xilinx Spartan-3的彩条信号显示方法,并利用FPGA内部的块RAM,实现了VGA的汉字显示.实验结果表明,由FPGA来控制汉字的显示,达到了预期的效果,克服了通用处理器的弊端.     

面向服务架构若干关键问题研究

面向服务架构(SOA)是分布式系统构造理念发展的一个新阶段.如何将SOA应用到实践中是目前业界的研究热点所在.探讨了支撑和实施SOA的关键问题,涉及SOA的设计原则、编程模型、实现技术和架构元素等,并深入分析了Web服务、企业服务总线等核心技术、规范,对于SOA实践具有一定的指导作用.     

肺癌组织中SOX4突变蛋白三级结构的建模及分析

SOX家族与很多人类肿瘤的发生有关.对人类肺癌组织中的SOX4进行测序,发现该基因HMG-box区有突变发生并导致SOX4蛋白的107密码子发生突变.以三级结构已知的SOX2为模板,采用同源建模方法对突变和正常SOX4蛋白FMG-box进行建模.结果显示突变和正常SOX4蛋白的三级结构很相似,且突变导致107密码子位置的侧链结构不稳定.提示该位置的不稳定可能会影响突变SOX4蛋白侧链的弹性,并有可能影响相应蛋白的功能.表面静电分析显示SOX4蛋白C端有一个可能与其它小分子或蛋白质的相互作用位点的N/C腔.这些结果显示SOX4蛋白的上述空间结构可能与其活性与功能的调控有关,而SOX4突变可能与肺癌的发生和转移有关.     

基于方向导数的多光谱图像快速融合新算法

针对提升小波变换的特点,研究图像融合规则,提出了一种新的基于方向导数的多分辨多光谱图像快速融合算法。首先,利用提升小波变换得到待融合源图像的多分辨分析;然后以小波域方向导数为判据,在图像的多分辨分析的相应各级上进行融合,得到融合图像的多分辨分析;最后,利用提升小波反变换重构融合图像。使用多光谱图像对算法进行验证并与方向对比度算法进行对比,结果表明,融合图像完好的融合了源图像的信息,且算法运算时间短。