某型自行高炮武器系统面向对象的作战模型建模

作战模型是作战模拟的工具和手段.构造出简单的、能表现作战系统基本特征和规律的作战模型,需要采用有效的建模方法;简述了面向对象的基本概念、建模方法和步骤;结合面向对象思想对自行高炮模拟训练训练平台进行了可视化分析建模;采用统一建模语言(UML)建立了自行高炮模拟训练平台功能模型、静态模型和动态模型.     

基于标杆技术比较的靶场软件界面试验技术研究

根据靶场软件试验不同于第三方软件测评方进行软件界面"易用性、好用性"试验评价的需求,从质量管理对设计开发的验证和确认要求、工程与技术的关系、用户3种需求的关系,分析了基于工程标准检查表方法和用户测试方法用于靶场软件界面试验的不足,提出了基于标杆技术比较的靶场软件界面试验技术,并应用该方法对典型GUI图形用户软件界面进行了试验评价,给出了改进人机界面设计的对策。基于标杆技术比较的靶场软件界面试验技术可用于指导靶场开展软件界面试验,提高靶场作战试验能力。     

浅析“军旅红歌”的语言特色

军旅红歌是红歌的重要组成部分,从军事语言学的视角分析,它具有以下五个方面的语言特色：语言创作的群众性、语言用词的精练性、语言表述的质朴性、语言内容的深邃性、语言艺术的审美性。     

高职新生外语学习风格调查分析

本研究通过问卷形式,对155名高职新生的感知学习风格进行调查,以了解学生外语学习风格总体倾向,不同民族、性别、专业及外语学习年限不同学生学习风格的差异,并分析其学习风格与外语学习成绩间的相关性。此研究目的是帮助高职外语教师了解学生感知学习风格偏好,使教师在教学过程中因材施教并指导学生重塑外语学习风格,以便提高高职学生外语学习效率。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

外语学习中词典使用的策略与技能

英语学习离不开词典等工具书。学习质量和成效在某种程度上与词典使用效率高低或能否恰当使用词典存在着一定关系。本文拟从词典用户技能、用户认知能力、认知水平、认知策略和心理表征,分析学生在外语学习过程中词典使用效率低下,排斥疏离词典,忽略词典文本与词典用户的互动关系及词典使用不当等主要原因,并提出问题策略。     

大学新生外语学习观念探析

我们采用问卷和访谈的方法,对50多名英语专业新生的外语学习观念进行调查。调查涉及:语言性质、语言学习性质、语言学习策略。提出大学新生作为处于转型期的特殊群体,其外语学习观念将直接影响学习结果。因此,教师必须了解学生的语言学习观念,尽早纠正不正确的观念,帮助学生有效地学习外语。     

语料库研究与外语教材编写

语料库语言学的发展已经使现有的外语教材和语法书中的不足初现端倪,教材编写中的主观性逐渐受到质疑。探讨了语料库研究对外语教材编写的启示,语料库作为教材的直接语料源泉以及将语料库作为检验外语教材的手段等问题,旨在推进对语料库信息的利用,借助语料库技术提高外语教材编写的质量。     

中美外语课堂教学差异比较研究

中国和美国在教育理念和教学方式方面存在着较大差异,从中美教师在外语课堂上对学生的培养方式、培养重点和评价标准以及课堂的教学方式方法、教学手段等诸多方面进行比较,发现中美外语教学中的差异,进而找出我国现行外语课堂教学的不足,并有针对性地提出了几点改进建议,希望能对我国外语教学质量的提高起到抛砖引玉的作用。