一种基于元路径拥塞模式挖掘的移动对象位置预测方法

路网上移动对象位置预测是许多位置相关服务的基础。目前移动对象位置预测方法没有充分考虑到轨迹数据中所蕴含的道路拥塞信息,而路网上的道路拥塞状态对移动对象的位置更新会产生巨大影响。提出基于元路径拥塞模式挖掘的方法(Meta-congestion-pattern mining,MCPM)。在离线挖掘阶段,从历史轨迹的频繁路径(元路径)的紧集中挖掘当地的拥塞模式,并对运动模式进行建模,其中采用基于k均值的聚类算法解决数据稀疏性问题。在线预测阶段根据挖掘的拥塞模式和运动模式依概率进行预测。最后通过理论分析和实验验证得出了算法的有效性,与相同条件下的精度预测(WhereNext,WN)方法相比,平均预测准确性提高了近20%,预测时间平均缩短了近50%。     

一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的Web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

环境减灾卫星国际服务模式探索与成效

环境与灾害监测预报小卫星星座是我国对地观测系统的重要组成部分。2008年9月6日，我国成功发射环境与灾害监测预报小卫星星座A、B两颗光学小卫星（简称“环境减灾-1A、1B卫星”）。环境减灾-1A、1B卫星成功发射以来，民政部国家减灾中心（民政部卫星减灾应用中心）积极组织开展卫星在轨测试、运行管理、减灾应用、用户服务与宣传推广等工作。目前，卫星运行状态良好，各项指标正常。一年来，在成功应对国内数十场新发灾害监测与评估，积极开展国内应用服务的同时，也积极探索国际服务模式，拓展为国外救灾工作提供灾害监测产品服务，并先后成功应对澳大利亚森林大火、加拿大火灾、中缅边境火灾、海地特大地震等灾害应急监测与评估工作，在国际上获得好评，展示了我国空间技术在减灾救灾工作中的良好应用，树立了我国和平利用空间技术的大国形象。     

推动廊坊市基本公共服务均等化进程的对策研究

基本公共服务均等化是当前社会经济生活中的热点，本文结合廊坊市对基本公共服务均等化建设的实际，分析了目前廊坊市在推进基本公共服务均等化工作中存在的问题，并有针对性地提出了进一步完善的建议。     

基本公共服务均等化研究现状与展望

基本公共服务均等化概念一经提出,迅速成为学术界研究的热点之一。学者主要从宏观社会政策、社会公正、公共财政等视角对基本公共服务均等化的内涵、供给问题、供给内容与途径等方面进行了研究。完善社会政策、注重社会公正、合理重构公共财政体制是公共服务均等化的必要途径。目前基本公共服务供给协调机制尤其是激励机制的研究亟待加强,基本公共服务均等化与大部制改革研究有待推进和深化。     

安徽省生产性服务业和制造业融合发展研究

产业融合是现代产业发展的必然结果,利用2002-2007年安徽省投入产出表相关数据,结合中间投入率和中间需求率,对安徽省生产性服务业和制造业间的融合度进行测算,探究安徽省产业融合特点和规律,旨在为安徽省产业结构调整和转型升级提供科学依据。研究表明:整体制造业和生产性服务业相互依赖,融合程度在不断加深,生产性服务业的投入主要集中在劳动和资源密集型产业,对技术密集型产业的投入较低,不同生产性服务业对整体制造业的投入结构存在明显差异。     

基于网格服务的航空制造技术发展研究

先进制造技术有利于促进航空工业数字化协同制造系统的完善,它借助网格化服务促进航空产品制造的协作,跨越异构网络进行互操作,推动飞机数字化设计、制造、管理一体化技术的发展,基于各种异构平台构筑通用的服务交换设施,使信息和服务畅通无阻地在计算机之间流动。服务网格的内容分发、服务分发、电子服务、实时企业计算、分布式计算、Web服务等多项内容将有效推动航空先进制造技术的应用。     

基于电子海图的船舶动态信息显示系统

随着全球经济发展、海事活动的迅猛增加,我国建立了船舶交通管理系统(VTS)、船舶自动识别系统(AIS)等诸多应用于海事管理工作的信息系统.然而这些系统之间彼此独立、数据分散,且通过纸质海图进行标绘,不能为海事工作提供全面、快速、统一的信息支持.针对这一现状,本文设计了一套基于电子海图的船舶动态信息显示系统.该系统融合了VTS、AIS等现有信息资源,通过电子海图显示平台实现船舶动态信息的可视化,并且能够实时查询综合应急信息,有利于海岸、港湾的船舶管理及海上船舶的安全航行,提高了应急指挥的效率.     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

基于客户服务的机队运行监控系统开发

民用飞机的机队运行监控的目的是对机队的使用情况、可靠性状况等进行连续的监督与控制,以保证飞机安全的条件下,提高民用飞机的使用率和机队的使用可靠性水平。针对基于客户服务的新型民机运行监控系统的业务需求,设计了系统的功能结构和监控流程,分析了系统应采集的参数种类,阐述了系统采集参数的方法,并重点研究了运行监控系统的警告管理...