基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

基于CPS的空中交通系统架构及能力涌现方法

针对现行集中式空中交通系统架构下空域管理、空中交通服务、流量管理、交通管制功能割裂,融合不顺的问题,提出了基于CPS的空中交通系统架构,引入了航空器群的运行概念,介绍了系统能力涌现的机制。该架构中每架航空器作为智能个体,在新型网络支撑下实现节点间交互与反馈、激励与响应,进行局部寻优,实现系统整体行为涌现,空中交通系统按能使用、按需服务。提出了系统涉及的自主4D航迹生成、规则提取、下一代网络等需要解决的关键技术,给出了若干能力涌现度量参数,并且针对信息流量、时间开销这2个测度参数进行了具体分析,验证了所提出空中交通系统运行架构的合理性及有效性。     

面向服务的网络数字矿山系统

数字矿山是一个复杂的系统工程,为了解决数字矿山建设中数据共享与互操作的问题,消除信息孤岛的存在,提出了用面向服务的体系结构构建网络数字矿山系统.并分析了面向服务的系统结构以及系统的主要实现方法网络服务,最后结合矿山地质体模型的建立与可视化以及属性查询进行了实践.结果表明,采用面向服务的体系结构构建网络数字矿山系统能有效地整合矿山中各个子系统,消除部门之间的信息屏障,使系统具有良好的可扩展性和可维护性.     

面向服务架构在气象服务系统中的应用——以近海船舶交通气象服务系统为例

海洋气象服务是推进海洋经济发展的重要技术保障,研发专业定制化海洋气象服务系统及产品,更有利于海洋经济持续发展。本文基于面向服务架构,设计“近海船舶交通气象服务系统”,对面向服务架构在多源异构业务数据集成应用方面进行深入研究。系统在青岛近海船舶交通气象服务中的应用,有效减少了气象灾害对近海船只通航造成的危害,为青岛近海船舶交通气象服务提供了有力保障。     

基于SOA电子商务系统的服务分类和框架结构

介绍SOA(Serv ice-O rien ted A rch itecture)的基本结构及其在电子商务系统方面的应用优势,分析基于SOA的企业电子商务系统的框架结构,以及相应数据库设计的原则。     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

智能服装款式设计系统体系结构研究

利用计算机智能技术与图形学技术以及服装款式设计专业知识的有机结合，探索在保持一定服装设计风格的基础上如何自动生成模式。在讨论3种设计方案的优缺点的基础上，给出了智能服装款式设计系统的构成。     

中国智能运输系统体系结构发展研究

发展适合中国国情的智能运输系统体系结构对于智能运输系统在中国的发展应用具有十分重要的意义,本文首先给出智能运输系统体系结构的定义,接着对智能运输系统的发展目的与意义、发展方法与发展原则作出简要的介绍;然后结合《中国国家智能运输系统体系结构（讨论稿）》,对智能运输系统体系结构委展程序中的3个主要步骤（用户服务定义、逻辑框架、物理框架）进行了详细描述,并且对用户主体、服务主体、用户需求、用户服务、系统功能、功能需求、数据流图以及物理子系统等要点进行阐述;最后对如何改进中国智能运输系统体系结构中所存在的不足及其今后的发展和应用提出了一些建议。     

邮电信息系统体系结构研究

通过分析邮电信息系统的建设现状，结合邮电企业的具体情况，提出了邮电信息系统体系结构的建立原则、内容及一种邮电信息系统建设框架模型，以实现对邮电信息系统建设的全面规划、综合考虑系统功能的设定与结构的设计。     

基于实况-虚拟-构造分布式仿真中间件架构及其可靠性问题

为解决“实况-虚拟-构造”（Live-Virtual-Constructive,LVC）仿真目前存在的顶层设计规划多、实际应用研究不足等问题,本文在充分考虑LVC分布式仿真特性的基础上开展了以下几个方面的研究：包括设计面向模拟训练的分布式仿真系统架构,构建系统运行流程,开展分布式仿真中间件、分布式仿真可靠性保证技术、分布式仿真多领域多尺度融合建模与协同计算技术等关键问题研究、设计了分布式仿真系统共识算法,最终实现了系统异构资源互联、互通、互操作等功能。本文通过真实的仿真算例验证了该系统的体系架构、运行流程及其关键技术的准确性及有效性。本文所设计的系统有望对未来训练仿真系统建设与发展产生较高的参考价值。     

基于SOA的社区管理信息系统设计与实现

针对社区服务中的“信息孤岛”问题,以基于面向服务的体系架构( service-oriented architecture,SOA)设计开发了社区管理信息系统,分析了系统实现的过程和步骤.得出基于SOA设计理念的社区管理信息系统具有低成本、随需而变、松耦合等特点,有适合基层工作业务流程的优点,具有强大的生命力.     

开放式数控系统体系结构的开发研究

归纳了开放式数控系统具有的特性,提出了建立开放式结构的数控系统应解决的功能要素确定、系统描述、功能要素的交互方式及彼此间的接口协议4个主要问题·而且针对这些问题,论述了开放式数控系统体系结构各功能要素的确定和控制器体系结构功能构成,并从系统层次化控制结构、系统中的控制流、数据流和构成系统结构模块的组织结构等几方面详细论述了开放式数控系统多角度描述的特点、及系统构成要素之间的关系·最后采用C++语言,给出了控制器中重要的伺服控制功能的接口定义描述,并总结了开发过程中存在的不足之处·     

公交智能调度系统的体系框架和关键技术研究

阐述了我国城市公交智能调度系统的体系框架,并结合交通设施和公交系统效率低下的现状,提出了公交调度系统智能化的实施方案,并着重介绍和分析了GPS 、GIS和GPRS技术及其在公交智能调度系统实现中起到的重要作用.     

两时间尺度的捷联速度算法研究

根据奇异摄动理论分析具有小参数的捷联惯导系统方程,在两时间尺度上对系统状态方程进行了降阶简化处理,设计捷联算法.在内回路推力速度矢量计算中,应用一种新的划船补偿算法补偿比力转换过程中载体姿态变化产生的速度误差.在外回路中进行重力地速计算,完成导航坐标系上速度的更新.仿真结果表明:新算法精度与Savage四子样算法近似,计算量小.     

一种混合型企业管理信息系统的体系结构研究

体系结构是企业管理信息系统的基础平台,这里通过分析比较管理信息系统常用的几种体系结构,提出了一种新的体系结构;混合型体系结构。并就这种新结构的特点以及系统设计中的问题进行了详细的分析和研究。最后给出了应用混合型体系结构开发企业管理信息系统的实例。     

基于CORBA分布式体系结构的合同管理系统

为解决信息不对称问题,通过对CORBA(Common Object Request Broker Architecture)规范技术原理分析,结合合同管理特点,提出了一个基于CORBA分布式结构的合同管理系统的设计方案。简述了分布式合同管理系统的体系结构和系统组成,实践证明该设计方案与传统的合同及项目管理系统相比较,能够满足分布式合同管理的要求。     

基于突发事件的按需最优计算体系研究

立足于突发事件的应急决策支持系统,提出按需最优计算的理念并搭建其体系架构．面向开放的、不确定性的突发事件应急服务需求,在按需最优计算体系下,通过有效组织系统资源,为决策者提供实时的、可处理不确定性的、动态优化的决策支持服务．分析突发事件应急决策支持系统面临的问题,提出系统的四个重要特点,即：开放性、不确定性、实时性、以及连续决策．在此基础上,构建按需最优计算体系架构,包括三个层次,即资源构造层、资源服务层、应用服务务层,并对该体系架构实现依赖的理论框架、概念模型和功能结构进行阐述．     

基于SOA的数字城市框架研究与初步设计

信息化建设与发展为数字城市建设提供了机遇和挑战。从全球信息化发展趋势、我国信息化建设的战略目标、数字城市建设在国内外的迅速发展及其对城市信息化建设和城市可持续发展的重要性、城市信息化建设存在的差距等方面看,积极启动和推进数字城市建设的时机已基本成熟。与国际城市信息化发展水平相比,我国信息化建设水平还比较低,信息共享和系统集成化程度较差。SOA架构思想的出现为数字城市信息共享发布和集成架构设计提供了新的途径。     

基于SOA的网络安全系统研究

设计了一种基于面向服务架构SOA的网络安全系统,介绍了他的系统框架,并详细分析了他的特点,比较了基于传统形式和基于SOA的网络安全系统的不同之处.最后,给出了一个基于SOA的网络安全扫描系统的实例.研究表明,基于SOA的网络安全体系具有更好的灵活性、重用性和可扩展性.     

水文自动测报系统的体系结构研究

研究了水文自动测报系统的层次和借分和网络互连。在此基础上,仿照“物理构成”和“逻辑构成”分开的原则,建立了多媒体通信网络的水文自动测报系统的“逻辑构成”体系结构。即多媒体通信网络化的水文自动测报系统的体系结构参考模式,简称ＨＤＡＳ－ＲＭ。