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

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

基于松耦合架构的航空制造企业集成物流信息链

航空制造企业的生产过程复杂,物料供应管理极为困难.文章以物料管理到"件"为首要目标,结合国内航空制造企业数字化管理程度较低的现状,充分利用企业现有的信息资源;采用面向服务架构实现企业物流相关信息系统松耦合集成,提出搭建企业物流数据集中平台;实现航空制造企业物流链的精确管理.     

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

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

卫星导航应用——IT产业新亮点

卫星导航是一种利用空间卫星在任何时间向全球或区域任何地方提供三维位置、速度和时间的信息服务系统,可广泛应用于军事和国民经济及社会生活各个方面,对保证国家安全、促进经济和社会发展具有重大意义。上世纪70年代以来,卫星导航技术及其产品在全球范围内迅速发展,逐渐成为一个国际性产业,在发达国家和地区得到广泛应用,     

基于Web信息处理的机位信息融合设计与实现

基于Web应用逆向工程提出一种网页信息提取的数据融合方案,利用HTTP的POST请求智能获取网页信息,通过自定义串口协议将数据送至服务器,最终采用C#正则表达式提取有效信息,设计在汕头空管站飞行计划处理系统(FIPS)与潮汕机场航班信息查询系统的数据融合中投入实际应用。     

中国公务航空市场机遇挑战并存

经历一轮爆发式的增长,中国已经成为全球增长最快的公务航空市场。凭借巨大的市场潜力和良好的发展预期,中国公务航空市场吸引了国际上几乎所有的主流公务机制造商,众多国内资本也跃跃欲试。中国公务航空市场在拥有机遇的同时也面临挑战,火爆市场的背后,出现了一些非理性的争议和隐忧。回归理性,立足长远,直面发展中的瓶颈与挑战,中国的公务航空市场必将蓬勃发展。     

太空“神鹰”开拓创新——专访上海东方通用航空企业集团总裁徐宝平

4月15日至17日,“2014亚洲商务航空大会及展览会”在上海虹桥国际机场举行。作为全球最盛大的公务机展览,亚洲商务航空大会为公务机制造商和运营商提供了重要的交流和交易平台,也为中国乃至全球商务航空市场的发展起到重要的推动作用。在展会期间,上海东方通用航空飞行俱乐部公司代表上海东方通用航空企业集团参加本次盛会,通过展会平台向业内外展示上海东方通用航空飞行俱乐部在通用航空市场全新的商业运营服务模式,即为公务机的销售商和公务机的购买者提供新型商业运行服务模式。     

面向旅客个性化服务的机场室内位置地图与服务系统

本文构建面向旅客个性化服务的机场室内位置地图与服务系统,通过室内高精度Wi-Fi定位等多类技术集成,研发了面向互联网和旅客移动应用终端的个性化与智能化的旅客信息推送服务客服端,为航空旅客提供快速、便捷、高效、个性化的航空信息服务,为机场管理与运行、航空公司等提供一体化的服务体系与辅助决策。     

基于负载特征聚类的节能资源调度算法

基础设施即服务(IaaS,Infrastructure as a Service)平台提供商为用户提供高性能服务的同时,必须考虑如何在不违反服务级别协议(SLA,Service Level Agreement)的前提下,节约云平台的能耗成本.采用基于负载特征聚类的方法,提出一种IaaS云平台上保证SLA的资源调度算法,最终实现降低SLA违反率和节约能耗的目标.具体采用能耗相关的负载特征提取和改进K-means聚类分析的研究方法,进行资源调度算法研究,对物理资源进行有效分配,以保证IaaS平台节约能耗的要求.实验验证方面,通过扩展CloudSim模拟实验平台,对本研究算法与改进BFD(Best Fit Decreasing)算法进行比较,得出本研究算法在SLA违反率和节能方面更优.      

跟着电影去看海

<正>最初的海岛印象来自《青青珊瑚岛》,这部上世纪80年代的美国青春偶像片所呈现的美丽海岛风光深深地吸引了我,那个蓝天碧海、椰林树影式的世外桃源印象,成为日后多次选择海岛作为度假胜地的理由。第一部"菲"比寻常的白沙滩