性别标记的非对称现象

对称与非对称现象广泛地存在于语言的各个层面上，其中包括语音、构词、语法、语义和语用等等。本文运用标记理论，从词语层面的角度来探索性别标记的非对称现象，从而揭示了隐藏在这些现象背后的社会、文化和认知根源。     

有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

军用计算机语言初论

本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。     

LPC倒谱参数的说话人特征分析

通过对多个说话人与文本无关的发音材料进行统计分析，比较了ＬＰＣ倒谱的不同分量对说话人特征区分所作的贡献，研究了ＬＰＣ倒谱所体现的说话人共性及个性特性，同时使用了Ｆｉｓｈｅｒ判据，最近邻错误率，超球错误率、类内，类间平均距离等量度方法，从不同角度探讨了ＬＰＣ倒谱参数的说话人统计特征，并考查了它在正交变换，最大可分变换下的变化及以不同距离作为测量手段所产生的不同效果，这些工作是对ＬＰＣ倒谱参数用于说话     

口语中介语僵化现象探微

中介语僵化是二语习得过程中的普遍现象,在口语交际中表现明显.运用中介语理论,通过对口语学习中中介语形成的原因分析,对语言僵化内涵有了新的理解.针对中国学生英语口语学习现状,提出了避免僵化的教学建议,涉及教师对学习者口语习得过程中的时间、情感和文化输入等方面的正确把握,以此希望最大程度地延缓学习者中介语的僵化.     

基于FPGA的RAKE多径搜索器的关键技术

介绍了应用VHDL技术设计RAKE接收机多径搜索器的关键技术。详细叙述了其工作原理和设计思想，并用可编程逻辑器件FPGA予以实现。     

面向个体人员特征的跨模态目标跟踪算法

针对类内干扰影响基于个体人员特征目标跟踪算法的精确性和鲁棒性问题,分析当前跟踪算法在个体人员跟踪方面存在的不足,提出了利用语言先验知识引导辅助跟踪器的方法。在视觉跟踪器的基础上增加语言引导分支,对跟踪目标产生注意力,从而减少对类内干扰的影响。利用位置置信度进行回归目标框定位的方法解决基于孪生网络目标跟踪算法中利用分类置信度定位候选目标框的局限性,实现跨模态信息融合提升特定目标跟踪的精度。为提升所提模型对特定人员目标跟踪的针对性,构建了跨模态的人员目标跟踪数据集用于训练和验证。实验表明:所提模型应用于个体人员跟踪时表现更佳,其有效性得到了证明。      

民航空乘英语听说能力网络测试研究

针对当前空乘英语听说能力测试手段不足的问题,本文开展了网络测试模式设计探索,以交际语言教学观和任务型语言测试观为理论依据,从空乘英语听说测试现状分析入手,提出了空乘英语听说能力网络测试任务设计的开发思路和操作程序。     

基于SysML的载人航天故障模式分析及建模方法

为实现故障模式的高效管理、开展基于模型的可靠性和安全性分析,以载人航天顶层任务设计为背景,对基于SysML的故障模式分析及建模方法进行了研究。首先,基于对象管理组织发布的风险分析与评估建模语言和SysML扩展机制,建立了故障模式分析的基础模型,便于对故障模式及其相关要素、属性定义;然后,将完成载人航天任务视为系统的顶层功能,使用基于活动或功能分解来识别故障模式的方法,实现系统设计与故障模式分析并行;最后,开展故障模式及其影响分析(FMEA),得到全任务剖面的FMEA条目模型和初步风险分析结果,并将相应的逃逸与应急救生对策纳入到FMEA模型中,实现故障模式相关要素的模型化。