基于PUS协议的通用遥控指令设计及其XTCE描述

为了解决现今各卫星型号中遥控指令形式多样、参数多变、指令设计繁琐的问题,提出了一种通用的卫星遥控指令设计方法。该方法参考PUS(Packet Utilization Standard,包应用标准)对遥控指令包格式进行通用化设计,并使用XTCE(XML Telemetric and Command Exchange,基于可扩展标记语言的遥测遥控数据交换)格式对遥控指令格式和内容进行描述,能够快速有效地进行遥控指令的设计和动态生成,在满足卫星遥控指令设计和应用需求的同时又具有较好的通用性和继承性。实践表明,基于PUS协议的通用遥控指令设计方法及其XTCE描述能够有效地降低地面应用和测试软件的复杂度,提高软件的通用性和可靠性,缩短研制周期,降低卫星研制成本。     

带通汉语语音信号的复采样和正交采样

重点研究了对汉语的语调影响较大的基频和语音的谐波结构等因素.这里把经典的采样问题由低通扩展到带通,并且为了充分地利用信号的能量,提出了复信号采样的方法和正交采样的方法.并针对汉语语音的特点,给出了一些可供参考的设计参数.     

ITA2和IA5两种国际电报编码相互转换的方法

目前,在国际上通行的电报编码有ITA2和IA5两种电报编码。在电报处理终端和电报交换处理机（转报系统）中存在着ITA2和IA5两种电报编码的转换问题,本文用C＋＋语言描述了ITA2和IA5两种电报编码相互转换的方法。     

短时记忆理论在英语听力理解中的应用

短时记忆位于记忆的第二阶段,又被称作信息加工处理阶段.了解并遵循短时记忆的规律对于提高英语听力理解能力至关重要.笔者将同一节听力课的两套教案作为案例进行对比分析,就如何在听力教学中运用短时记忆规律提高英语听力理解能力进行了探讨,提出了加强语言训练、扩充句法知识等提高听力水平的途径.     

英语色彩习语意义的研究

正确理解并恰当使用英语习语已成为衡量二语或外语学习者语言能力的重要标志之一.但由于民族渊源和文化等原因,习语里的色彩词通常已不再是客观事物颜色的反映,它们常转变为一种抽象意义,因而赋予了习语以特殊寓意,为正确理解与掌握色彩习语,通过以英语习语的理据入手,着重对色彩词形成的习语的意义进行了探讨,指导我们对色彩习语的正确理解和成功运用.     

基于航天器控制语言的东三平台卫星遥控作业设计与实现

针对东三平台卫星的飞行任务要求,分析了地面测控系统和卫星飞行程序,提出了遥控作业的数据接口及设计原则,并通过作业例程验证了该设计方法。利用该方法设计的系列遥控作业目前已应用在东三平台卫星的测控工程中。     

报刊在法语教学中的作用浅析

报刊文章是人们获取信息的一种重要途径,也是人类社会文化交流的一种重要形式。法语报刊能丰富教学资源,是学习现代法语和了解西方文化的渠道。它给学生提供贴近实际、贴近生活、贴近时代的健康内容和丰富的信息,能弥补教材滞后于形势、内容陈旧的不足,以材料的真实性和多样性来调节学生的阅读口味,激发学生的阅读兴趣,扩大学生的词汇量,拓宽学生知识面,提高学生应用法语的综合能力。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

基于短语的统计机器翻译方法

简要介绍了统计机器翻译的国内外现状,对当前统计机器翻译的主流方法进行了理论上的探讨。首先讨论了对数线性模型,然后进一步描述了对数线性模型的特征选择、参数训练和搜索算法,最后在此基础上进行了初步的实验。实验结果表明:基于短语的统计机器翻译方法能够取得较好的翻译效果,值得做更深一步的研究。     

在J2EE平台上开发电子政务系统的建模方法研究

阐述了我国建立电子政务系统的必要性；针对电子政务系统的特点，把J2EE(Java2 platform enterprise edition)平台和UML(Unified modeling language)建模方法引入到电子政务系统的开发中，设计出J2EE平台上电子政务系统的构架；在指出传统建模方法不足的基础上，根据此构架．给出了如何采用UML和Rational Rose实现J2EE平台上开发电子政务系统的建模方法．并通过实例验证了该建模方法的可行性。研究表明：在J2EE平台上开发电子政务系统，采用UML作为建模语言、Rational Rose作为分析、设计工具，可以完成从系统分析到系统设计、编码的完整过渡，从而可开发出高质量、可复用、可扩展的电子政务系统。