摘要：反演计算技术自诞生以来,对若干信息技术领域分支的发展带来了深远的影响,在增强灵活性方面展示出巨大潜力.对工作流技术来说,灵活性问题正是应该具备而却没有得到很好解决的问题.首先介绍反演计算的基本概念以及面向对象反演计算的模型,然后介绍反演计算目前的一些典型应用.最后,结合作者目前的工作,给出反演计算在动态工作流中的应用模型,并设计实现了原型系统,经过初步验证,该模型和原型系统能够对工作流的灵活性问题提供良好的支持.

摘要：在企业及电子政务应用中,由资源分布异构及需求动态变化而产生的问题越来越严重,如何让应用快速适应这些变化一直是人们关注的一个研究难题.首先给出了一个面向服务的支持业务端编程的适应性软件结构框架CAFISE(convergentapproachforinformationsystemevolution)Framework,然后给出了基于该框架的面向服务的适应性软件开发方法.CAFISEFramework对异构资源的服务化、业务化及开放动态的面向服务软件体系结构提供了较好的支持.基于该结构框架的开发方法,从对影响软件的环境要素分析入手,通过质量属性驱动的体系结构分析,重点针对应用要适应的变化进行结构设计,最终通过以体系结构为基础的业务端编程,实现面向服务应用的即时开发与演化.在实际项目中的使用及实验证明:用该框架和方法开发的面向服务应用,能够较好地适应异构资源的动态变化及用户业务变更,能以较低的代价实现企业及电子政务面向服务应用的持续演化.

摘要：提出一种支持Web服务组合、面向业务用户的可视化编程语言VINCA ,基于VINCA的应用即时构建方法———业务端编程 ,帮助业务用户即时构造应用 实现了一个支撑环境 。

摘要：海量、多源、不间断的交通感知数据环境下,如何提供集成化的交通感知数据处理支持是多样化交通应用实施中的难点.现有的通用计算框架及平台由于缺少对具有时空相关等特征的交通感知数据和应用间交通感知数据共享的支持,使得交通感知数据处理应用的开发存在较高的复杂性并且易于造成大量重复的数据跨节点传输而影响应用性能.针对此问题,通过分析交通感知数据及其处理需求特征,提出一种基于可跨应用共享的时空数据对象的交通感知数据处理模型,通过引入时空数据对象这一新的概念抽象并提供易并行划分的时空数据对象组织及共享支持,实现分布计算中对时空型交通感知数据的优化管理.在此基础上,设计并实现了交通感知数据集成处理平台.通过实际应用和基于真实交通数据的实验测试表明:该平台相对于传统的交通感知数据处理方法及系统在性能及扩展性等方面均具有一定的优势.

摘要：由于各服务的分散性和自治性,Web服务组合需要建立可靠的表达和分析方法。针对Web服务组合时间一致性上的限制,用库所含时间因素的Petri网对服务组合模型的基本逻辑结构进行分析,对服务组合模型的执行时间和各服务可用时间进行有效性验证,并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了用这些规则可对复杂的服务组合模型进行逐步化简和分析,能有效地去除存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的Web服务资源浪费。

摘要：提出了一种科学计算领域中常用的命令行程序web服务包装方法.首先给出了实现一个基本的web服务包装器的软件架构,并对主要组件的功能进行了解释.进而经过对数据传输和作业生命周期的深入分析,设计了一种新颖的文件传输和作业管理机制用以增强该软件架构,使得在命令行程序被包装成web服务的同时,保证了文件的高效传输,运行状态的即时反馈和作业的自动管理.对比实验表明,该方法在使用了较少内存的前提下提高了程序运行性能,定性比较显示程序的易用性也有所提高.本工作已经在实际的科学计算系统中得到了应用,极大地提高了系统的数据处理效率.

摘要：流数据的处理需求复杂多变,业务人员要进行相应的算法定制,不仅需要相关的编程知识,更要应对繁琐的处理流程和冗长的开发周期。为解决上述问题,文中设计并实现了基于流程建模的流数据处理及服务化系统,提供了对于多源流数据的实时接入,流数据服务化以及流数据处理服务化的能力。该系统将流数据处理过程封装为服务提供给用户,允许用户拖拽组合流数据处理和服务化模块、配置相关参数,定义流数据处理及服务化的过程,快速又自然地实现流数据处理及服务化的任务,将处理结果经由服务路由实时推送到其他应用系统,满足不同的业务需求。案例分析表明,与传统的流数据处理系统相比,本系统具有高效、灵活、可配置等特点,在实用性、可用性和伸缩性方面都更有优势。

摘要：电路模拟是集成电路计算机辅助设计过程中最耗费机时的瓶颈之一。基于分割电路网络的波型松驰法己成功地应用于数字MOS 电路的模拟,并大大地提高了模拟迷度。借助电路的信号流图可以更合理地分割电路和排列子电路的计算顺序,从而进一步提高波型松驰法的效率。波型松驰法由于其对电路网络的分割,比传统方法更适合于并行处理。本文在介绍了波型松驰法及信号流图后,将给出利用信号流图在顺序环境下分割、排序电路和在并行环境下调度、分配任务的算法。利用实际电路测试新的模拟算法,不仅要花费大量人力、机时,也缺乏全面性。本文同时也介绍了一种利用数学方法和计算机程序制造人工试验电路的方法。

摘要：走向工业化的服务组合之路,是一种基于“组合套餐”—服务组合模板的途径.在适于业务用户使用的基于模板的大粒度服务组合方法中组合模板的设计是一个面向目标的、有约束的决策、探索和学习活动.本文有效地利用专家的知识和经验,给出了一种基于案例推理的模板设计方法,并通过在面向城市应急联动的服务组合平台原型系统中的一个应用,对其使用效果进行了评价.

摘要：基于错层位区段间相邻巷道联合支护技术对锚杆-锚索作用机理展开研究。以新巨龙煤矿一采区煤岩体为研究对象,采用FLAC3D数值模拟软件研究分析上区段沿顶巷道侧帮锚索参数对侧向煤体应力分布和力学性质的影响;确定合理的侧帮锚索和沿底巷道顶板支护参数;并对采动影响下沿底巷道支护效果进行验证。结果表明:侧帮锚索与锚杆支护参数“配合”效果明显,锚固体形成受力均匀的似“梁”结构体;锚固体力学性质得到提高,为沿底巷道顶板支护提供了理论基础;上区段沿顶巷道侧帮锚杆-锚索的联合支护作用可以为下区段沿底巷道顶板支护构件提供较强的锚固力和较为稳定的围岩环境,更有利于发挥下区段沿底巷道顶板锚杆的悬吊机制,使厚煤层沿底巷道的顶板维护更为有利。