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...     

法律适用中的语言学研究

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

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

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

普通高校计算机专业大学生就业问题探析

计算机专业如何迎战IT就业＂寒流＂,提高就业率和就业质量,这是众多高校共同关注的问题。在分析就业形势,认真查找普通高校计算机专业大学生存在问题的基础上,并提出了解决目前IT学生就业的对策和措施。     

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

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

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

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

Shadow detection for mobile robots: Features,evaluation, and datasets

ABSTRACT

Shadows have long been a challenging topic for computer vision. This challenge is made even harder when we assume that the camera is moving, as many existing shadow detection techniques require the creation and maintenance of a background model. This article explores the problem of shadow modelling from a moving viewpoint (assumed to be a robotic platform) through comparing shadow-variant and shadow-invariant image features — primarily color, texture and edge-based features. These features are then embedded in a segmentation pipeline that provides predictions on shadow status, using minimal temporal context. We also release a public dataset of shadow-related image sequences, to help other researchers further develop shadow detection methods and to enable benchmarking of techniques.     

论外语教学中交际能力的培养

本文论述了外语教学中交际能力培养的重要性,指出了外语交际能力培养所存在的一些误区,并有针对性地提出了在外语教学中培养学生交际能力的方法和途径。通过对学生语言能力和跨文化意识的培养以及语言错误的正确处理,全面提高学生英语的交际能力。     

多功能仪表显示设备软件的开发

文章结合载人航天器返回舱的仪表显示设备的软件开发实践,对如何利用 VAPS 及其相关配套工具所提供的先进功能来完成多功能显示设备软件的开发进行了探讨。指出了传统的 C语言手工编程开发方法的困境,介绍了利用 VAPS 及其相关配套工具进行软件开发的方案和步骤。此技术国外已成功应用到航天及航空的座舱仪表显示设备的研究开发中。     

基于UML的自动测试系统建模方法研究

为提供自动测试系统的领域知识，在对自动测试系统的特性进行研究的基础上，将UML引入自动测试系统的建模过程中，利用UML的扩展机制为自动测试系统的框架开发提供该领域的知识。通过为一个自动测试系统开发平台不同于常规软件产品部分的建模实例，给出了自动测试系统的特定领域知识的表达方式。