语义Web的逻辑基础

分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.     

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

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

面向服务架构中服务实现的策略

构造了层次化的SOA模型，并提出了将服务使用层与服务实现层分层处理的策略．建立了基于服务的构件模型来实现SOA中的服务，使用接口来描述服务的语法，契约来描述服务的语义，并用卫式设计来模服务的行为．将接口作为结合构件技术与面向服务架构的关键．用实例说明了如何使用这种方法来实现面向服务的设计．此工作为利用构件技术解决面向服务架构中的服务实现问题奠定了基础．     

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.     

物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

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

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

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

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

车联网环境下基于MAS的行车主动服务模型

针对当前"请求-响应"被动式行车服务存在的个性化、人性化、实时性等不足,提出了基于多智能体(multi-agent system,MAS)分层集中控制的"自动识别-主动推送"形式的行车主动服务系统(driving active service system,DASS).DASS将行车环境实体与服务作为建模对象,提出基于规划图的行车服务需求模型及用户需求与服务能力匹配算法.以交通安全预警和实时动态路径规划为例,通过自主搭建的驾驶员在环半实物联合仿真平台对DASS典型应用展开实验研究,充分验证了DASS的实时性、主动性与高效性.这对于降低交通拥堵、提升通行效率,加强车辆安全以及改善驾驶体验具有重要价值.     

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

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

面向云-端融合的移动互联网应用运行平台

与传统的互联网应用相比,移动互联网应用尽管也运行于Web技术栈之上,但移动设备的便携性和多样性,带来了客户端设备计算能力相对有限、数据存储随需而变、显示屏幕大小不一、本地应用与Web应用和服务难以交互等技术挑战．为此,本文设计实现了一种面向云一端融合的移动互联网应用运行平台．首先,提出一种符合移动互联网应用体系结构的构件模型,将客户端应用划分为数据、计算、界面和服务四个部分;其次,设计了一种实现云一端资源融合的构件运行框架,支持应用数据的按需存储、计算任务的云端迁移、以及用户界面的动态切分;再次,设计了一种实现云一端服务融合的组装框架,支持客户端本地应用和传统Web应用的服务封装、和基于总线的服务即时组装;最后,基于Chrome浏览器实现了平台原型,支持基于HTML5和JavaScript的移动互联网应用,通过多个Web应用基准测试集和热点应用的实验,验证了平台的有效性和可行性．     

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

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

重型商用车驾驶室悬置系统参数匹配研究

建立了驾驶室悬置系统的多刚体模型和刚柔耦合模型。通过道路试验得到仿真所需要的激励,并验证了模型的正确性。以垂直方向加权加速度均方根值为评价目标,在频域里运用正交试验技术对悬置系统的刚度阻尼进行了匹配。最后在时域里分析匹配后悬置动扰度的变化,结果表明：匹配方案有效、可行。     

系统论视野下小流域生态补偿机制构建思路——以秋浦河为例

针对小流域生态补偿实践中存在的补偿标准偏低、静态、管理体制不健全、补偿方式单一等弊端,采用系统研究、文献分析、实证检验等方法,揭示了秋浦河流域生态补偿机制,包括流域协调与管理机制;生态补偿法律机制;多元补偿方式机制;政府主导,市场参与的多元融资机制;公众参与、监督机制;动态补偿机制;科学确定补偿标准机制。基于秋浦河上游生态服务主导效应因子价值、生态保护成本、发展机会成本,下游社会经济发展实际,2009年下游补偿上游金额为41448．0277。秋浦河流域生态补偿机制构建,有利于促进秋浦河流域上、下游协调发展与社会公平,可为我国小流域生态补偿构建与实践提供借鉴与参考。     

冲击荷载作用下CRTSⅢ型板式轨道-路基系统动力特性研究

应用ABAQUS有限元软件建立CRTSⅢ型板式轨道-路基动力分析模型,计算了在落轴冲击荷载作用下CRTSⅢ型板式轨道-路基系统的动力响应,并将仿真计算结果与试验结果进行了对比,验证了模型的可靠性.在此基础上,研究了扣件刚度、路基基床弹性模量、自密实混凝土弹性模量以及长期服役状态下混凝土弹性模量的降低对轨道-路基系统动力特性的影响规律.结果表明:扣件刚度对各部件振动加速度影响较大,路基基床弹性模量对其影响较小;轨道结构在服役过程中混凝土弹性模量的降低会引起轨道板加速度有较大的增幅,应引起重视.     

有色金属物性数据库面向服务的体系结构研究与设计

本文在分析目前流行的两层、三层网络数据库体系结构存在的问题的基础上,根据有色金属物性数据库的特点,提出一种基于SOA、多层、分布式体系结构应用开发模型.该模型着重解决以下几个方面的问题：利用软件开发新技术,提出了基于RIA的有色金属物性数据库客户端实现方式,吸取了＂胖客户端＂和＂度客户端＂的优点,解决了传统客户端部署或动态图形绘制等方面的问题 在模型中,增加了服务层,实现了系统服务的对外发布.解决了异构平台、跨系统的业务集成和重组 采用了服务器集群技术,动态的实现了负载均衡,优化了系统性能 改进了数据访问层,增加了O/R映射,屏蔽了下层数据库的细节信息,使系统能够架构在多种类型的数据库上,提高了系统的灵活性.     

基于决策树的超市客户数据挖掘与仿真

FoodMart超市市场部想提高客户满意度和客户保有率，于是计划对会员卡方案重新定义，以便更好地为客户提供服务并且使提供的服务能够更加密切地满足客户的期望。本文基于对FoodMart超市客户数据的分析，适当选取某些客户类型特征作为决策属性，并利用ID3算法从FoodMart超市客户数据中挖掘客户分类规则。并利用java语言编程实现了ID3算法。仿真的结果不仅为FoodMart超市会员卡重新定义制定最佳的指导策略，而且在理论研究和工程实践中都具有重要的意义。     

基于S3C2416的公交电子站牌系统设计

为了提高城市公交的运营效率和服务质量,让乘客及时了解公交车实时车况,设计了一种基于S3C2416微处理器的新型公交电子站牌系统,并对该系统的组成、工作原理、关键技术及主要模块的软硬件设计进行了详细的阐述.系统以ARM为嵌入式硬件平台,采用当前先进的嵌入式技术和GPRS无线网络通信技术,实现了车辆到站预报、车辆到站提示、公交站点查询、公交车次查询等功能.测试结果表明,该系统性能良好、实时性强、稳定性高,具有巨大的市场价值.