事件驱动、面向服务的物联网服务提供方法

物联网无缝集成了用户域、信息空间域和物理空间域,实现了＂人—机—物＂的动态协同,其应用常常涉及到跨业务域甚至跨组织的用户、业务流程和物理实体的实时动态交互.因此,物联网服务系统往往需要集成多个分布式的企业应用系统从而形成一个大规模复杂服务系统来实时协作完成一定的业务目标.目前,大多数已有研究工作主要集中于解决不同实体和应用系统间在动态交互环境下的互联和互操作问题.然而,如何在信息的提供方和消费者之间按需的分发感知信息、并基于物理世界所发生的变化动态的实时协同相关的企业服务或者业务流程做出快速反应尚没有系统深入地研究.为此,本文结合事件驱动架构和面向服务架构的设计思想,提出了一种事件驱动、面向服务的物联网服务提供方法,该方法能够便捷地支持感知信息的按需分发和聚合,并实现事件驱动的跨业务域甚至跨组织的服务动态协同.这种实现了＂时间、空间和控制＂解耦的服务提供方法极大地增强了物联网服务系统的灵活性和敏捷性,允许系统及时地对物理世界的动态变化做出快速响应.最后,通过实际部署的区域集中供热监控及热计量物联网应用进行了验证.     

物联网体系结构模型与互连机理

网络实现了信息资源的共享,极大地改变了人们的生产生活方式.物联网将网络从信息空间进一步向物理空间延伸,通过对物理环境的感知与控制,丰富了人类认识世界与改造世界的手段.本文首先提出了包括对象感控层、数据交换层、信息整合层和应用服务层等4个层次的物联网体系结构功能模型,并对体系结构模型及各层实体进行了面向对象的描述.对于物联网系统中最为核心的网元互连问题,我们兼顾考虑强弱网元间的互连互通和网元与物理对象间的互动互操作,提出了支持强弱网元共存的物联网互连模型和基于能力映射与任务迁移的强弱网元互连机制.论文通过原型系统对提出的互连模型和互连机制进行了验证.     

需求驱动的Web服务建模及其验证:一个基于本体的方法

从Web服务所交互的环境角度出发，提出了基于环境本体的Web服务能力描述框架，从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力，并由此建立了需求驱动的Web服务组合模型．同时提出用π演算的进程表达式表示Web服务的行为语义，并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制，在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法．经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者．     

OPNET建模机制的研究

在目前的网络规划和设计中,网络仿真软件已成为科研和工程技术人员进行网络建模必备的研发工具.本文介绍了一个功能强大的网络建模和仿真工具OPNET,系统研究了OPNET的三层建模机制,即网络建模、节点建模和进程建模.描述了使用OPNET进行网络仿真研究的基本步骤.最后通过一个实例,论证了OPNET在具体网络规划和设计中的应用,为研究网络仿真技术及利用OPNET进行网络规划和设计提供了重要依据.     

面向物联网的多元标识映射模型

现有的物联网中存在多种信息标识方式,感知数据通过这些标识进行信息传输的过程中,由于标识间缺少严格的映射机制,会产生了信息追溯差,设备感控难的问题,这些问题在一定程度上限制了物联网服务的开放.因此本文以物联网四层模型为基础,综合分析各个层次中信息标识方式,并提出了异构环境下的物联网多元标识映射模型.该模型以物联网信息处理的全过程为主线,重点分析信息在采集、传输、处理和展示过程中的标识映射方式,并建立设备原始感知信息标识与IPv6地址、感知元数据与资源标识、资源标识与资源类标识、资源类标识与服务标识之间的映射方案.通过多元标识映射模型的构建,能够实现物联网信息源的可追溯性与物联网服务对感知元的更优的感控.论文最后在智慧校园原型系统上验证了本模型的可行性.     

移动计算环境下不确定性组合服务的事务建模与执行分析

移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于Markov链的移动组合事务模型.首先通过形式化方法构建移动环境下原子服务模型和原子服务的事务机制,并基于状态概率实现了原子服务的2维不确定性表征,然后运用Markov链完成移动组合服务的模型表达,提出了该模型下的不确定性处理与事务方法,最后基于典型业务结构分析了移动组合事务的执行语义与实施.实验表明:该事务模型能有效描述移动环境下组合服务的事务需求,且服务不确定性的不同指标和各事务架构皆对组合事务成功率产生较大影响.     

基于Solidworks／Matlab的液压伺服扭转试验机系统联合建模与仿真

针对液压伺服扭转试验机系统，提出一种基于Solidworks／Matlab的系统联合建模与仿真方法，通过机构的实体造型建立机构模型并进行仿真。该建模方法具有较高的准确性与便捷性。分别在位置闭环与力闭环控制器的作用下，对系统的响应性能进行仿真分析，验证了液压伺服扭转试验机系统的可行性，为液压扭转试验机系统的设计提供理论依据。     

物联网定位与位置感知研究

物联网是近年来广受关注的新兴研究领域,被认为是信息网络在现实世界的延伸,是我国国民经济的重要增长点,将在未来科技创新和社会进步中扮演关键角色.物联网系统中,"物"节点位置是反映网络状态的重要信息之一.同时,"物"节点采集信息以及相应的信息交互过程都与节点位置信息密切相关.本文主要讨论物联网中定位与位置感知研究中的若干关键问题.探讨了物联网节点定位理论与方法,包括基于测距和非测距定位、物联网协作式定位、多传感器位置感知等议题,结合物联网中不同网络层次、应用场景和定位需求对节点位置感知技术进行归纳和总结.最后指出了仍存在的问题和值得进一步探讨的方向.     

可控环境生产系统建模、仿真与控制研究进展

可控环境生产系统属于复杂系统,目前对这类系统的建模及控制问题没有形成系统的方法与理论,因此在对这类系统进行控制时,缺乏理论依据.本文在回顾过去几十年可控环境生产系统建模与控制的各种方法的基础上,探讨了当前可控环境生产系统在系统建模、仿真及控制中存在的问题,如支持生产可使用的作物生长数学模型信息的不完整性,水肥系统的模型信息的时间尺度问题,环境模型的动态时变特性以及作物、土壤、大气相关变量的作用关系,耦合的多环境因子的控制问题、包括能耗在内的冲突多目标控制问题和考虑模型误差和气候突变等不确定性的鲁棒控制问题等.在此基础上,根据系统的特性:多变量,非线性,多模型(作物模型,土壤模型,大气模型)、模型之间强耦合、大尺度、能量有限、分布参数、冲突多目标等的特点,提出了该系统有效建模、仿真、控制急需解决的瓶颈问题和可能的研究趋势.     

时变能量网络建模与分析

不同类型的能源系统通过能量转换设备(感应电动机、离心泵等)相互耦合,研究能源系统的动态特性及其仿真方法对综合能源系统优化设计及性能分析具有重要的实际意义.为对时变能量网络进行建模和分析,本文从能量本质的角度出发,通过深入探讨能量传递及转换机理,分别建立时变传递线(管)路和能量转换设备的能量网络等值模型.在时变能量网络模型的基础上,提出通过构建时变能量网络方程(包括状态方程和输出方程)对综合能源系统的动态特性进行建模仿真的分析方法,最后通过具体算例对本文所提分析方法的有效性及实用性进行验证.本文的研究内容为时变能量网络的建模、分析、优化及规划奠定了基础.     

支持风险偏好的Web服务动态组合方法

随着面向服务的体系结构、云计算以及软件即服务的流行和发展,提供相同或相似的服务功能以及差异化服务质量(quality of service,QoS)的服务提供者越来越多.因此,如何为一个复合服务业务流程中的抽象服务选择合适的服务提供者,并通过动态组合来最大限度地保障并优化整体服务质量就成了一个重要的研究课题.对于一个复合服务,传统的服务组合方法会为所有服务请求实例选择一套共同的服务绑定方案直至下一次自适应调整.此外,这些方法只考虑了候选服务质量的期望值,而忽略了服务质量在运行时的波动带来的潜在风险.这些问题可能导致复合服务请求者和提供者之间达成的服务等级协议(service level agreement,SLA)经常被违反,从而影响复合服务提供者业务价值的实现.针对这一问题,本文提出了一种支持风险偏好的Web服务动态组合方法.该方法综合考虑了服务质量的期望值和波动性,应用投资组合理论产生适应给定风险偏好的多套服务绑定方案的组合,从而控制风险、适应不同的风险偏好.实验结果表明,该方法与全局服务选择方法相比能够有效降低SLA违反率,同时提高复合服务所创造的业务价值.     

离心压缩机的扩压器内部流场分析及其结构优化

首先对等宽型无叶扩压器内部流动情况进行了较为详细的分析,在此分析基础上进行了两处改进：1）将等宽型无叶扩压器改为收缩型无叶扩压器;2）在原等宽无叶扩压器中加装导向叶片,并利用CFD软件（FLUENT）对改进后的扩压器内部流场进行数值模拟。从模拟结果上看：改进后的扩压器其内部流动不均匀情况得到明显改善,拥有了良好的气动性,从而有效地提高了压缩机整体性能。     

基层政府服务质量评估体系建立与实证分析——基于美国波多里奇国家质量奖模型

建设服务型政府己成为我国政府管理的核心价值理念,对基层政府服务质量的评估是确保服务型政府建立的关键。作为政府的服务也是服务业的一个组成部分,因此,根据西方国家工商管理理论评估服务行业服务质量的方法——波多里奇质量奖评奖标准引入到政府服务评估中来,建立政府服务质量评估模型并设计基层政府质量评估调查问卷,得出相应调查数据以便支持假设模型：运用克朗巴哈系数确定调查数据的信度后,再运用路径法进行分析并得出结论——所建模型假设成立。最后,运用因子分析方法得出最终政府服务质量评估权重,完成了整个质量评估体系的建立.     

社会系统创新过程的反馈机制研究——以新能源汽车为例

新能源汽车的推广扩散是整个社会系统的创新,但传统汽车在长期发展之后形成了社会系统的"锁定",使得新能源汽车难以突破。本文以多层次模型分析社会系统结构,对不同层次之间的反馈机制进行研究探讨,分析传统汽车"锁定"背后的成因,传统汽车和新能源汽车之间如何相互作用。分析结论认为,政府、企业、消费者三者在不同情境下对新能源汽车的扩散作用不同,可形成多种多样的交通工具新体制。     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

近年来,传感器技术得到了长足而有效的提升,无线传感网络（WSN）以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成．WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护．因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题．系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求．针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径．在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模．考虑到WSN系统实际工作中会遇到的各种不确定性因素,将用带权分枝来对模型进行扩展,生成协议的随机时间自动机．在验证阶段,首先采用经典模型检验技术,在理想时间自动机上检验相关功能性质,保证协议工作逻辑的正确性．为评估协议在不同条件下的具体性能,则在随机时间自动机上用统计模型检验技术对其进行数值分析,以进行参数配置、性能预测、协议比较等工作．为展示该途径的可用性及其技术细节,本文对两种著名的WSN时间同步协议,TPSN和FTSP分别进行了完整的建模与评估．     

ISAF重构算法密度函数快速计算模型

球坐标系下的ISAF算法是一种新的20面体分子三维重构方法,该方法精度优于传统柱坐标系下的Fourier-Beseel算法,但其执行速度远低于Fourier-Bessel算法,严重制约了ISAF算法的实际应用.分析发现,在ISAF算法中密度函数计算是影响重构速度的主要瓶颈之一.针对上述问题,文中提出一种密度函数快速计算模型,该模型包括三个组成部分:球坐标系网格点密度函数快速计算方法、"球坐标系—直角坐标系"网格点密度函数转换方法、基于两阶段映射法的快速对称映射方法.该模型可以将密度函数计算阶段的时间复杂度由O[(LM)8]降低到O[(LM)7].采用Psv-F病毒数据进行实验,结果表明,在保证精度的前提下,该模型可以将密度函数的计算速度提高2个数量级,将三维重构整体速度提高30倍左右,并且随着数据规模的增大、重构精度的提高,该模型带来的加速比将进一步增大.