空间天气模式集成可视化演示软件设计

空间天气模式集成是空间天气预报业务化的基础, 空间天气模式集成可视化演示软件系统是其中重要的研究内容之一. 空间天气模式种类繁多, 要素多样, 模型复杂, 且各模式可视化形式及方法具有差异性. 本文综合当前中国空间天气模式的特点, 构建了一套空间天气模式集成可视化演示系统. 该系统兼容性好、可扩展性高, 能够集成当前中国空间天气中大多数模式. 讨论了空间数据管理方法, 基于Visual C++ 软件平台和OpenGL可视化软件模块,以动态加载方式初步实现了多个空间天气模式的可视化集成.      

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。
     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

机载座舱显示平台中OpenGL库函数的实现

硬件技术和计算机图形学的快速发展,带动了机载座舱图形显示处理软件尤其是图形程序接口API标准化的发展,具有代表性的OpenGL标准在该领域占据着很重要的地位。在分析Mesa联合WindML实现Vxworks下OpenGL机制的基础上,总结了一种“软件模拟＋硬件实现”的0penGL库函数的实现方法,并在某型国产芯片平台的座舱图形显示处理模块中进行了验证。结果表明,方法对掌握座舱图形显示的标准接口软件核心技术具有一定的借鉴意义。     

A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software

With direct expression of individual application domain patterns and ideas,domain-specific modeling language(DSML) is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language(UML) 2.2,a kind of DSML is presented to model simulation testing systems of avionic software(STSAS).To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain co...     

法律适用中的语言学研究

法律适用的过程是将法律规则内含的旨意表达出来并使相关人接受、使相关事务得到合理解决的过程,最终使人与人之间的关系归于有序。而人与人之间的关系协调最终是需要通过语言使双方的意图被彼此接受,而法律只是其中的一部分。因此,从语言的角度讨论法律的适用,实质是研究如何使法律更好地得到实施的方法或途径之一。通过研究法律语言的现状从修辞学角度探究法律适用。     

高职高专英语教学中的文化导入

通过对文化和语言的关系及对高职高专学生对英语应用能力的研究,系统分析了在高职高专英语教学中的文化导入的切入点,阐述了在英语词汇教学中、英语听说教学中和英语读写教学中文化导入的相关内容及必要性,对高职高专英语教学的方法导入提出了积极可行的方法。     

一种多策略GML应用模式匹配方法

地理标记语言(GML,Geography Markup Language)应用模式匹配是实现基于GML的地理信息共享的基础问题.结合现有模式匹配算法和GML3.0应用模式的特点,提出了一种多策略GML应用模式匹配方法.首先,将输入的GML应用模式转化为GML模式树,通过引入基于语言学和基于约束的具体匹配规则,分别对GML模式树进行元素对相似度计算,并对2种计算结果加权合并获得元素水平匹配的相似度值;然后,通过基于相似度传播的结构匹配算法对元素的相似度进行修正;最后,获得2个输入模式的元素匹配映射表.实验表明,该算法能够提高GML应用模式的元素匹配正确率.      

产品开发早期基于核心工艺框架的工艺设计

关于早期工艺设计理论方法的研究都是以特征信息为基础,不能利用早期阶段粗粒 度、非完备的产品信息.为此,采用关键特性表示粗粒度、非完备的产品信息,提出基于核 心工艺框架的工艺设计方法.核心工艺框架是对满足关键特性要求的工艺计划的抽象,可表 达产品族或零件族中各种变型的核心工艺内容,根据分支和存在规则快速配置工艺计划.基 于核心工艺框架的工艺设计过程包括4个步骤:确定产品族/零件族,检索核心工艺框架, 配置核心工艺和工艺路线设计,有效性规则、原理性规则和定制性规则确保工艺设计的准确 性.最后通过有翼导弹的弹翼主梁的加工工艺验证了此方法的可行性.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.