HELIO: The Heliophysics Integrated Observatory

Heliophysics is a new research field that explores the Sun–Solar System Connection; it requires the joint exploitation of solar, heliospheric, magnetospheric and ionospheric observations.     

基于XML的飞行仿真气动力模型存储格式

飞行仿真获取气动力/力矩的传统方法主要是将气动力模型硬编码在仿真程序进行求解。由于气动力模型和求解程序耦合,一旦修正或更换气动力模型,需要花费大量代价来重新构建仿真过程,无法满足现代飞行器仿真的需求。根据气动力模型树形结构的特点,提出了气动力模型树的概念并基于XML语言的特点设计了一种模型存储格式（MBX）来存储气动力模型树。MBX存储格式不仅提高了飞行仿真系统更换和修正气动力模型的效率,而且提高了气动力/力矩解算的通用性,使得气动力/力矩的求解能够被标准化。MBX存储格式作为气动力模型交换标准不仅能把不同部门交换气动力模型的时间从几周/人缩短至几天/人,也能加快气动力模型逼近飞机真实气动特性的进程。     

组合服务控制流测试

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

标准化学习管理系统的研究

针对现阶段低水平的学习管理系统重复开发、不同系统之间不能互操作,提出了可互操作的标准化学习管理系统的模型,并对各种不同类型数据信息进行XML绑定,实现不同系统之间的互操作。     

基于SVG技术WebGIS的实现方案

简要介绍了SVG(可缩放向量图形)的特点和优点,根据“地图元素”的表现方式和组织结构,定义了相关数据结构。实现了应用XML(扩展标记语言)进行“地图元素”属性数据的存储和交换,用W eb Service(网页服务)实现跨平台的地理信息服务,用SVG、JavaScript实现客户端的地图显示、导航、缩放、用户交互。本文不仅阐述了一种基于SVG的W ebG IS的具体实现,而且基于XML、W ebService、SVG的各种特点,设计了一个数据交换、显示、交互方案,在W ebG IS、动态交互网页、实时监控等方面都有借鉴意义。     

异构数据库集成的研究与实现

对异构数据库集成做了详细的研究并提出了具体的实现方法。通过分析比较了目前已有的集成方案,本文提出集成异构数据库可以有四个步骤,分别是用控制表变化法提取有效数据、用XML定义传输数据格式、用JMS传输数据、用全局数据模式集成数据来实现。     

复合材料梁腹板开孔补强设计及有限元稳定性分析

复合材料梁结构由于工艺性、维护性等要求,结构梁腹板中出现开孔不可避免,不同形式的开孔有着不同承载能力。通过对梁腹板结构不同形式的开孔在剪切载荷下屈曲分析研究,得到屈曲载荷,分析不同开孔补强形式对结构承载的影响,以期为梁、肋等结构开孔补强设计提供补强形式选择和参考。     

基于 SOA的 Web系统层次模型

SOA为多业务系统的跨平台数据集成和量化统计问题提供了一个有效的解决途径。首先,分析了SOA系统面向服务的设计思想、体系结构及其与网络服务的关系。提出了一种基于SOA的Web系统的层次化的逻辑架构和技术框架;从技术开发角度,将该技术框架简化为一个3层结构的应用模型,讨论了基于SOA的异构数据集成框架;最后,开发了一个基于Web层次模型的图书馆业务统计系统。     

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

基于Lucene＼XML技术的Web搜索引擎设计与实现

Lucene是一个强大的开放源代码的全文索引引擎工具包,对它进行分析应用有利于研究搜索引擎的相关技术.本文使用Lucene\XML技术设计并实现了一个Web搜索引擎,可对Web站点的全部文本、图片、音频三类数据的进行索引;采用了XML作为数据存储容器,可在大信息环境下极大地节省存贮空间和提高索引的速度;同时在客户端方面引进了移动客户搜索界面,把搜索引擎的功能进一步扩大到手机客户,在移动通信高速发展的今天,有着重要的意义.