基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.     

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

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

基于改进合同网协议的多Agent协作技术研究

本文通过对多Agent系统的协作机制和基本合同网进行分析,考察了目前多种改进的合同网的优缺点,重点对动态合同网协议进行了改进,提出了一种基于改进动态合同网协议的Multi-Agent协作模型.证实了该算法在保证合作质量的基础上,有效降低了运算代价和通信代价.     

改进的动态逻辑组合金属冶炼控制器

金属冶炼控制器是一个增益调度互反馈系统,采用控制神经元动态逻辑组合方法对金属冶炼控制算法进行改进,提高金属冶炼的控制性能。构建冶金控制系统的神经网络结构模型,对控制状态神经元进行动态组合信息反馈设计,实现控制器改进。仿真结果表明,该控制器的精度较高,容错性较好。     

矿业集团生产运营管控系统研发及应用

为实现矿业集团决策人员随时掌控下属企业的生产运营情况，设计并实现了面向云平台的生产运营管控系统。在实时准确采集生产运营数据的基础上，通过多人工智能算法的集成应用，实现集团生产运营的报表管理、经济分析和辅助决策。规划设计了生产运营管理业务模型、计算逻辑、商务智能工具、数学模型与分析方法等在云端的部署方案，分别从云存储、云计算、云服务等多个层面研究云平台对于生产运营管控系统的支撑方式，设计形成整体的建设框架与核心部件，形成了云平台下的矿业集团生产运营管控体系。系统应用后，整合了原来零散、孤立的生产运营信息，实现在授权范围内的多路径、多组合、交互式生产运营信息实时查询分析，在加强矿业集团对于下属企业及整个集团经营效果的精准掌控、科学动态地调整和优化集团运营目标、全面提高集团的社会经济效益等方面发挥了重要作用。     

炼钢连铸调度系统中制造命令调整模型及算法

针对国内某大型炼钢厂生产调度中的制造命令调整问题,提出了采用多目标优化模型和启发式算法分别进行时间和设备调整.近期,该技术已在该炼钢厂应用,运行结果表明了模型算法的有效性和实用性.     

一种有向传感器网络改进粒子群覆盖增强算法

优化传感器网络覆盖对于合理分配网络的空间资源、更好地完成信息感知和采集任务、提高网络的生存能力都具有重要的意义.在分析传感器节点有向感知模型的基础上,提出了一种有向传感器网络改进粒子群覆盖增强算法.该算法针对随机部署有向传感器网络,以网络区域覆盖率为优化目标,采用改进的多步式位置可选择更新粒子群优化算法,通过调整传感器节点的主感方向,减少网络感知重叠区和感知盲区,实现覆盖增强.仿真实验表明,该算法简单、高效,优于传统的覆盖增强算法.     

利用接触跟踪机制实现Email蠕虫的检测

针对E-mail蠕虫逐渐成为一种主要的网络威胁,提出基于接触跟踪机制检测蠕虫的方法CTCBF.该方法利用"差分熵"对单个网络节点的异常连接行为进行检测,再通过异常节点之间的连接关系利用跟踪算法建立跟踪链,当跟踪链的长 度达到设定阈值时,跟踪链上的可疑节点被确认为感染节点.针对阈值的不确定性,提出了一种动态阈值方法,根据不同的网络感染等级自适应调整阈值大小.仿真试验表明,该方法能够快速、准确地检测出蠕虫的传播行为,同时为未知蠕虫的检测提供了一种新的模式.     

实时可信服务的构件设计与形式化描述

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质童(QoS保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程.QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBAComponent Model)构件技术实现.Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制.研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性.形式化方法研究为构件实体间的交互提供了保证.     

基于QOS升降级的无线单播多播混合带宽资源分配方法

在单播与多播混合服务的OFDM蜂窝系统中,因负载较重而使带宽资源被完全占用时,为接纳更多的多播用户,在单播多媒体用户可接受的范围内提出:基于信道容量平滑的QoS升降级带宽借用方法.通过建立QoS升降级的子载波借用模型和CUpDown-QoS算法,达到最大化多播用户数和减小多播切换呼叫中断率;提出了GoS保证下,限制新呼叫的动态带宽借用阈值,给出基于Markov模型的CBP(Call Blocking Probability)与HDP(Handoff Dropping Probability)最优折中的阈值确定方法,以及多播优先的动态带宽借用策略对阈值确定的影响.