面向自适应的组合服务动态调整方法

为了实现组合服务对异常情况的自适应,提出了一种组合服务动态调整机制.该机制将调整逻辑和BPEL执行逻辑相分离,从而能够在不扩展BPEL语言的语法和语义基础上支持组合服务的动态调整,保证了方法的适用性.建立了服务异常模型来描述服务运行过程中所面临的异常情况的类别、产生原因以及外在表现,并且在该模型的基础上给出了异常监控策略.提出了组合服务替换范围确定算法和调整方案生成启发式算法,保证了组合服务动态调整的效率.系统实现和实验验证了提出的组合服务动态调整方法的有效性.     

一种面向Web服务的综合可信性度量模型

基于Web服务的可信应用程序构造的一个关键问题是如何度量Web服务的可信性.在遵循Web服务特点的基础上,提出一个综合的Web服务可信性度量模型TMM4WS,从Web服务的内部实现和外部使用两方面对Web服务的可信性进行度量,开发了相应的度量支持工具TMT4WS.采用Web服务实例对提出的度量模型与工具进行了验证.实验结果表明,度量模型TMM4WS及其支持工具TMT4WS具有较好的可操作性,能够定量地度量Web服务的可信性.      

基于现实约束的集装箱装船顺序优化

基于给定的集装箱堆场的堆存状态和集装箱船配载图,并考虑海关放关与否的现实约束,构建以最小倒箱量为目标的集装箱装船顺序优化模型,进而开发启发式算法.数值实验显示了模型及算法的有效性与实用性.     

动态构建福建紫金山铜金矿矿体模型

为了将不同边界品位情况下矿体的形态及由边界品位变化引起的矿体形态变化程度在计算机中动态、实时地展现,同时也为了解矿体在不同工业指标条件下的空间形态,进行了矿体动态建模方法研究.采用了一种新的、基于矿体属性模型向其几何结构模型转化的方法一克里格块体法.通过该方法,基于指示克里格估值技术,使用块体模型+实体模型的三维数据模型结构,动态地构建出了福建上杭紫金山铜金矿矿体在不同边界品位条件下、信息充分、完备且具高可信度的矿体模型,达到了使建模结果能够真正服务于矿山勘探和生产实践的效果.该方法具有一定的可扩展和易推广的性质,能够完成大多数类似矿山及类似地质体的动态建模过程.     

热连轧液压活套系统非线性多变量建模及控制

为进一步提高带钢热连轧厚控精度及控制品质,在液压活套的工作点附近,考虑带钢自重、液压伺服系统和活套本身的非线性,建立了液压活套系统的非线性多变量动态数学模型,并验证了该模型的有效性.针对该模型,考虑未建模动态和各种扰动,提出了一种基于反推控制和扩张状态观测器(ESO)补偿的解耦控制方法.用Lyapunov稳定理论证明了闭环系统是鲁棒稳定的.仿真表明新的模型和解耦控制方法都是有效的.     

热风炉节能模拟系统的UML建模与分析

以UML技术和软件工程为理论依据,结合某钢铁厂的热风炉节能模拟系统开发实例,使用UML对该系统进行建模,给出了对此基于UML的热风炉节能模拟系统的分析.     

基于CPN炼钢连铸制造流程的建模与最优调度求解

应用着色Petri网对复杂的多阶段、多产品生产过程的炼钢连铸制造流程进行建模.该模型具有直观的图形表示、方便分析模型性质和仿真模型性能等优点.重点讨论了建模的两个关键问题:通过不同的运输变迁设置不同的看守函数实现路径选择;通过编制单体工序变迁的输入输出函数实现不同产品的不同处理时间.采用发生图验证了模型的有界性约束,并基于发生图提出一个求解最小makespan的最优调度方法.实例应用表明了该方法的有效性.     

基于UML高校财务审计系统分析与设计

随着计算机技术的发展,通过网络进行财务数据的采集、查询、财务分析以及与被审计单位对存在的问题进行沟通与协调将成为现代财务审计系统中的重要环节.通过对信息系统相关技术的充分调研,探索和设计开发出符合高校自身需求的审计系统,在审计工作中具有非常重要的应用及现实意义.该系统通过权限设置,如审计人员具有访问的权限;审计部门主管具有审核的权限;被审计部门具有查询的权限等来阐述了系统的相关开发技术.通过财务审计系统的应用与实施,极大地提高了审计工作效率与效果.本文用面向对象的分析与设计方法,使用UML对系统进行了建模,详细分析和设计了系统的用例图、静态结构模型、动态行为模型,最后使用网络开发技术(.NET)实现了该系统.     

构建基于Web的决策支持系统

作者介绍了基于HTTP连接访问OLAP服务器数据构建Web决策支持系统的方法,并以实例说明了具体的创建过程,包括在MS SQL Server 2000上建立数据仓库、用Analysis Services创建OLAP服务、在IIS上配置Web站点、设计提供PTS服务的Web页并给出了分析示例.在文中,讨论了HTTP连接IIS与分析服务器进行信息交换的机制,特别是解决Web页长时间运行不能返回数据的问题.实例运行结果表明,利用微软的解决方案,能够为企业快速建立基于Web的决策支持系统.     

一种支持QoS约束的Web服务发现模型

服务质量是Web服务发现中的关键问题.本文提出了一种支持QoS的Web服务发现模型,该模型增加了Qos代理中心机构,并引入监控和反馈机制.在满足用户对Web服务功能需求的基础上,它以服务注册参数、用户反馈信息和实时监测数据为依据结合QoS代理中心的监控器、量化器、选择器、管理器对Web服务的非功能性属性进行量化,实现服务质量动态评估,保证Web服务QoS信息的公平性、可靠性和实时性.同时在查找服务时引入概念权重和服务请求权重,并通过关键字匹配、功能性约束匹配、非功能性需求量化、非功能性需求归一化和综合评估、全局最优化,五阶段选择算法,实现服务的动态排序.既能满足大众化需求,又能满足个性化需求,提高了服务的查准率.