排序方式: 共有49条查询结果,搜索用时 343 毫秒
11.
结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性. 相似文献
12.
基于电子海图的船舶动态信息显示系统 总被引:1,自引:0,他引:1
随着全球经济发展、海事活动的迅猛增加,我国建立了船舶交通管理系统(VTS)、船舶自动识别系统(AIS)等诸多应用于海事管理工作的信息系统.然而这些系统之间彼此独立、数据分散,且通过纸质海图进行标绘,不能为海事工作提供全面、快速、统一的信息支持.针对这一现状,本文设计了一套基于电子海图的船舶动态信息显示系统.该系统融合了VTS、AIS等现有信息资源,通过电子海图显示平台实现船舶动态信息的可视化,并且能够实时查询综合应急信息,有利于海岸、港湾的船舶管理及海上船舶的安全航行,提高了应急指挥的效率. 相似文献
13.
目前我国电子政务工程中,许多政府部门都建立了自己的内部业务处理系统和政务数据库,但是各部门之间难以进行数据交流和共享,也难以实现联合办公和协同工作。当前在实施电子政务时,困难在于如何集成各部门已有的内部业务处理系统和如何适应机构、职能和需求的频繁变化。论文提出采用Web服务实施电子政务,可以较好地解决数据共事和异构系统的集成问题。最后,给出一个Web服务在电子政务中应用的实例。 相似文献
14.
文章主要研究如何综合利用流媒体技术,Web技术,多媒体数据采集、压缩、转换技术及数据库技术等等多种技术构架一个Intranet流媒体应用系统。 相似文献
15.
适于低轨卫星IP网络的单核共享树组播算法(英文) 总被引:1,自引:0,他引:1
为了解决低轨卫星IP网络中现有典型源组播算法的信道资源浪费问题,本文提出了一套单核共享树组播算法,即核心群合并共享树(CCST)和加权核心群合并共享树(w-CCST)算法。CCST 算法包括动态近似中心(DAC)选核方法和核心群合并组播路径构建方法。DAC方法专为周期、规律运动的低轨卫星网络提出,不需要复杂的星上计算。在核心群合并方法中,以核节点作为初始核心群,通过核心群和剩余组成员的最短路径方法逐步扩展直至整棵组播树构建完成,从而使得组播树的树代价最小,大大提高了网络的带宽利用率和组播传输效率。w-CCST 算法中所提出的加权因子可以调整树代价和端到端传播时延之间的折衷程度,因此,可以通过调整加权因子来适度增大树代价、降低端到端传播时延以支持某些端到端时延要求苛刻的实时组播业务。最后,与低轨卫星 IP 网络中典型算法进行了性能比较,仿真结果说明,CCST 算法的平均树代价比其它算法显著降低,w-CCST 算法的平均端到端传播时延小于 CCST 算法。 相似文献
16.
发动机在翼维修可以节约维修费用,避免由换发造成的延误。本文对维修(MRO)企业在发动机在翼维修中的优势及可能涉及的问题进行了讨论。 相似文献
17.
18.
如何解决异地异构网络环境下的数据资源共享,是实现网络化制造的一个关键问题.提出了基于WebServices技术的数据资源共享系统.介绍了WebServices技术及其优势,对系统的总体架构与逻辑结构进行了方案设计,对各层的功能进行了阐述,在方案设计的基础上,对所涉及的关键技术进行了论述,最后对下一步的工作进行了描述与展望. 相似文献
19.
江苏省智慧旅游公共服务平台建设 总被引:1,自引:0,他引:1
大力促进智慧旅游的发展是引领我国旅游业从传统服务业向战略性支柱产业和现代服务业转型升级的必然选择,科学部署智慧旅游服务公共服务平台建设和应用,是政府推动智慧旅游更好、更快发展的重要抓手.江苏作为我国智慧旅游建设的主要示范省,正在对智慧旅游公共服务平台建设进行统筹规划,平台建设的必要性和可行性都已较为明确,重点应从制度体系、基础设施体系、综合数据库系统、共享服务系统、应用体系、服务体系、标准规范体系和信息安全与运营管理体系八个维度进行科学布局,力争智慧旅游公共服务平台成为推进江苏从旅游大省向旅游强省跃升的重要支撑力量. 相似文献
20.
不提供加油服务高原机场运行控制研究 总被引:1,自引:0,他引:1
以中国国际航空公司"邦达—拉萨"和西藏航空公司"拉萨—林芝"航线为例,分析这类机场的运行特点,描述高原复杂机场的签派放行要求,梳理运行控制流程,旨在为高原复杂机场运行的安全、正点向签派员提供参考。 相似文献