面向科学计算的业务流程建模技术研究

分析面向科学计算的业务流程的特点和需求,提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML),给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上,设计并实现一种基于SPML的业务流程建模系统。分析结果表明,该系统既能帮助用户进行业务流程分析和抽象建模,又能生成可执行文件和部署文件,完成流程的自动化部署。

基于UDDI的跨域Web服务注册中心研究与设计

广域环境下,Web服务信息的共享和同步一直是一个关键问题。介绍了如何利用UDDI建立跨域环境下的全局Web服务资源管理中心,实现UDDI节点间的数据同步,并提出了一种基于更改记录的UDDI数据复制方案,采用事件机制,动态监测UDDI数据中心上的数据更新,并基于UDDI复制拓扑图,更新相邻节点的服务信息。实验结果显示和传统数据同步方案相比,在复杂的网络环境里,改进方案平均能够提高20%的系统响应时间。

SOLVERS FOR SYSTEMS OF LARGE SPARSE LINEAR AND NONLINEAR EQUATIONS BASED ON MULTI-GPUS

Numerical treatment of engineering application problems often eventually results in a solution of systems of linear or nonlinear equations.The solution process using digital computational devices usually takes tremendous time due to the extremely large size encountered in most real-world engineering applications.So,practical solvers for systems of linear and nonlinear equations based on multi graphic process units（GPUs）are proposed in order to accelerate the solving process.In the linear and nonlinear solvers,the preconditioned bi-conjugate gradient stable（PBi-CGstab）method and the Inexact Newton method are used to achieve the fast and stable convergence behavior.Multi-GPUs are utilized to obtain more data storage that large size problems need.

一种新的高效普适元服务分配方法研究

为了解决基于SOA架构的服务分配方法无法应用于普适环境中服务分配过程的问题,文章给出了普适元服务及相关概念的形式化定义,提出了一个具有动态规划和前向纠错能力的普适元服务分配方法(PMSA方法)。实验表明,该方法由于加入了向前纠错的机制,比基于标准动态规划的分配方法访问元服务的次数大大减少,在普适环境中具有较好的稳定性和扩展性的同时,有效提高执行的效率。

基于WCF的异构数据源集成系统的研究和实现

论述了WCF的技术特点和在异构数据源集成上的优势,构建一个以WCF技术和XML技术为核心的异构数据集成解决方案,实现了不同操作系统之间和不同开发语言之间的互操作。在实现上利用WCF实现通信总线与异构平台的屏蔽,应用XML来解决不同数据库之间的数据转换问题。

基于宏观经济模型的网格资源调度

传统的网格资源调度研究注重个体如何做出最优的选择和协调他们的选择,不能从整体上把握总供给和总需求的状态及联系。通过分析不同市场类型中网格的总供给和总需求情况,发现价格水平是影响网格计算平均效率的主要因素。为此,基于宏观经济模型建立了三部门模型并引入费雪方程来调整货币供给和价格水平。最后,设计了其网格资源调度算法,实验证明该算法能够有效提高网格计算平均效率。

图形编辑系统下Undo/Redo操作的设计与实现

以命令模式为基础,提出图形编辑系统中Undo/Redo操作的一种实现算法,设计相关数据机构,并给出解决方案。

基于历史行为的服务发现技术

针对传统服务发现技术不能利用历史行为经验问题,提出一种基于历史行为的服务发现技术,介绍新的服务发现模型——PASD模型,采用将模型封装成推荐服务的方法,验证该模型的有效性,仿真实验结果表明,基于PASD模型的系统能有效提高服务发现的效率,精确率可达80%左右。

基于关键词权重量化方法的服务发现技术研究

对隐式经验核心概念及性质进行了形式化的定义与分析,提出了一个新的服务发现模型——ICSSD模型,该模型解决了扩展发布机制、基于语义本体及扩充服务规约结构的方法所不能解决的问题。在服务的行为和QoS参数随时间的变化而不断变化的过程中,服务的功能与非功能特性的表现和控制问题得到一种可行的解决方案。SR-Service服务推荐系统的开发实践表明,ICSSD模型有效提高了服务发现的效率,同时也为Web服务的发现过程提供了有效的动态管理机制。

一种规则驱动的业务流程异常处理方法研究

调用Web服务实现业务流程,是业务流程的新趋势。由于业务流程的松耦合性,以及Web服务的异质性和自治性,执行Web服务驱动的业务流程时,异常是经常发生的。为了提高业务流程执行的可靠性,定义了业务流程执行中的异常类型和相应的处理方法。采用一种基于ECA规则驱动的异常处理方法,能对发生的异常选择相应的策略进行处理,具有很好的透明性和可扩展性。最后在现有流程引擎的基础上,添加了部分功能模块,设计并实现了业务流程异常处理的原型系统。

基于负载均衡的多源流媒体网拓扑优化策略

分析多源流媒体网上下层拓扑,提出一种基于负载均衡的拓扑优化策略。该策略充分利用网络资源,结合媒体分发服务器功能,采用P2P技术和组播原理,实现多源流媒体网的拓扑均衡以及媒体服务器和网上所有节点的负载均衡,在保证系统可扩充性的基础上,降低播放延时并增强系统稳定性。

BPEL工作流管理系统中人工交互的研究

Business Process Execution Language(BPEL)成为了W eb服务编排的事实标准。BPEL的缺点是缺少对人工交互的支持。随后的BPEL4Peop le规范试图通过扩展BPEL来支持人工交互;但现有的大多数BPEL引擎只支持BPEL规范,并不支持BPEL4Peop le规范,因此它们也都缺少对人工交互的支持。要使现有BPEL引擎支持BPEL4Peop le规范,必须修改现有BPEL引擎,这实现起来比较困难。提出了一种松耦合的解决方案:它利用现有的BPEL引擎,但不对现有的BPEL引擎做任何修改,通过两个组件即用户门户和任务引擎,使得基于现有BPEL引擎的工作流管理系统能够支持人工交互。

面向飞行器设计领域的溯源实现

本文以面向应用可定制的跨域协同服务支撑平台为依托,描述面向飞行器设计领域的工作流的数据流,对流程历史信息进行分析提炼,建立特定领域的溯源数据模型,设计基于hadoop/hbase的分布式存储模型,给出溯源的捕获框架.通过溯源子系统提供的流程事后分析功能,可以有效协助设计人员分析流程中遇到的问题,加速飞行器设计进度.

一种基于CPU-GPU协同的特征码匹配机制

在网络安全系统中,提出了一种基于CPU-GPU协同的特征码匹配机制。先用每个特征码表达式的n前缀,构建一个小的DFA(有限自动机);再在GPU上进行不完全匹配,剔除大量正常数据包,检测出可疑的数据包;然后再在CPU上对可疑数据包进行精确匹配。测试结果表明,该机制的匹配吞吐量能达到了19 Gbits/s。

SMS软件流水调度算法的设计与实现

循环是程序中的热代码,对循环进行有效的优化可以显著缩短程序的执行时间。软件流水是一种开发循环体指令级并行的细粒度循环优化技术,它通过调度循环中连续迭代之间的指令使其并行执行,从而提高了循环的执行效率。实验数据表明,用CernLoop程序包进行测试,循环优化效果明显。

一种基于Erasure Code技术的跨域文件存储系统

在异构的跨域网络环境中,实现一种基于Erasure Code技术的跨域安全文件存储系统。在域内由域服务器、目录存储节点及基础存储设施组成。域间在形成跨域的信任联盟的同时建立分布式跨域存储网络。跨域的文件容灾采用ErasureCode文件编码及两级的文件目录结构并采用DHT方式进行目录管理。测试结果表明,该存储系统具有较高的跨域文件存储可靠性、安全性及便捷性。

一种采用消息模型的多集群作业管理方案设计

文中针对多集群环境资源异构且地域分散、网络环境不可靠以及面向用户需求的特点,提出了一种采用消息模型的多集群作业管理方案。该方案采用全局-局部的层次调度方法,基于发布-订阅的消息模型,根据当前网络环境、用户作业的资源需求、各集群自身负载情况进行综合统一调度管理。实践证明,采用该方案设计实现的多集群作业管理系统实现了多集群环境下的资源监控、资源管理、作业调度、作业控制、数据管理等功能,有效解决了在资源异构及网络环境不可靠条件下的系统稳定性问题,显著提高了多集群系统作业吞吐能力。

基于属性约简的MPI运行时参数优化

目前MPI实现提供上百种可供调整的运行时参数,但默认的运行时参数不能发挥程序应有的性能。为了给应用程序提供接近最优的运行时参数,本文提出基于粗糙集理论中的属性约简建立优化模型。首先通过属性约简方法为不同基准程序产生参数组合值,再根据未知应用程序的程序特征通过所建立的优化模型为其预测参数值。实验表明,该方法可以有效地为未知应用程序预测参数值,并且比使用默认参数程序性能提升约20%。

组态软件监控系统中数据服务模型的设计与应用

根据工业应用中设备与系统的特点,分析组态软件的基本逻辑结构及功能,针对组态软件监控系统数据处理过程中的核心问题,提出了一种基于数据驱动机制的数据服务模型。该模型采用了基于数据驱动的交换式处理结构,以组件化的设计方式,实现了组态监控系统中数据的获取、处理以及分发等功能,系统结构灵活,可扩展性好。

OFDM系统原理及仿真实现

多媒体系统必须能够限制时延抖动的变化,通过在播放端设置缓冲区以抵消时延抖动,从而保证媒体内及媒体间的同步。根据多源流媒体的分发特点,文章设计了一种分组的媒体缓冲区大小的设置方案,该方案在保证流媒体同步的基础上,巧妙地解决了流媒体不同码率的缓冲区大小设置问题。