飞机机电维修专业公共英语口语教材建设

研究飞机机电维修专业公共英语口语教材的建设。通过对我院飞机机电维修专业的学生进行问卷调查,分析目前公共英语口语教学中口语教材的接受现状以及所存在的问题,指出适用于飞机机电维修专业的英语口语教材应由基础部分和拓展部分组成。对口语教材进行定位,并且提出相应的编撰原则,具有一定借鉴价值。     

单粒子效应及充放电效应诱发航天器故障的甄别与机理探讨

单粒子效应（SEE）是诱发航天器故障最重要的空间环境因素之一,其与充放电效应（SESD）诱发故障的宏观表象相像,但具体影响细节及防护设计又不尽相同,导致工程上将大量可能由SESD诱发的航天器故障简单归零为SEE并进行改进设计,但复飞后的航天器在轨故障依然不断。截至目前,鲜有综合比对研究以揭示这2种效应诱发星用器件错误和导致电子设备故障的异同。文章首先通过大量在轨实例表明二者触发的航天器故障有很强关联,之后对引起2种效应混淆的可能原因进行剖析,并介绍中国科学院国家空间科学中心通过地面模拟实验,针对JK触发器、运算放大器、静态随机存储器（SRAM）初步研究的SEE和SESD诱发软错误的异同表象和作用机制,为进一步发展准确甄别与应对有关在轨故障的技术方法提供参考。     

英语知识性六种典型错误剖释

对部分青年教师在英语教学中出现的 6种典型错误并加以分析。     

序贯检验方案分析——二项分布情形

讨论了武器系统性能评估中的二项分布序贯检验问题。针对A.Wald教授提出的序贯概率比检验的近似公式提出了改进方法，给出了二项分布情型两类错误概率及平均试验次数的精确解决，可以保证在一定风险之下进一步减少试验次数。仿真结果表明这种方法是合理有效的。     

离散制造系统的初态验证与错误检测

离散制造系统要达到一定的生产目标。其初始资源、工件配置以及运行状态应满足一定条件．这些条件可以通过制造系统Ｐｅｔｒｉ网模型的初始标识、可达标识是否在一个可行集之中来分析验证。可行集是系统运行的不变量，标识离开可行集就产生一个错误．本文建立基于Ｐｅｔｒｉ网的动态规划算法，利用动态规划给出初态验证与错误检测的一个有效方法。     

Web应用安全漏洞测试工具Punks的设计与实现

文中设计和实现了一个Web应用安全漏洞测试工具Punks。其中Punks的爬行模块的设计与实现来源于对开源的网络爬虫软件Harvestman的改写，进而达到了高性能的多线程爬行。为了提高整体性能，还设计和实现了一个具有队列缓冲机制和多线程机制支持的注入／分析组件，并把改写后的网络爬行组件和它很好的集成，最终实现了一个高性能的Web应用安全漏洞测试工具。     

关于遥控指令错误概率的计算

对遥控指令错误概率的计算方法进行讨论 ,提出需要进一步研究的指令错误概率测试验证问题     

循环冗余校验码的查表生成算法及其实现

给出了ＣＲＣ码的查表生成算法和一个码表实例，所给算法适合用软件方法快速生成ＣＲＣ码，由于计算上的复杂性，ＣＲＣ码通常用硬件来产生，限制了在一些地方的应用。在应用系统中，用ＣＲＣ码取代简单的奇偶校验码能提高数据传输的可靠性，所给算法为在应用系统采用ＣＲＣ码提供了方便的途径。     

英语口语教学的特点及其改进策略

根据大学生英语学习现状,分析了英语口语教学的特点,并对提高教学效率提出了具有实际操作意义的策略。     

一种检测和校正存储器双错的低冗余加固方法

为了提高宇航用存储器的抗单粒子翻转能力,本文对传统的单错误修正、双错误探测（Single Error Correction and Double Error Detection, SEC DED）码的构造进行了改进和优化,给出了构建单错校正、双错检测、相邻双错校正（Single Error Correction, Double Error Detection and Double Adjacent Error Correction, SEC DED DAEC）码奇偶校验矩阵的构造规则。通过适当地增加奇偶校验矩阵列向量的权重和、改变奇偶校验矩阵列向量顺序的方式,提出了一种具有新特征结构的SEC DED DAEC码,它可以修正任意相邻两位错误。实验结果表明,提出的SEC DED DAEC码是一种有效的宇航用存储器抗单粒子翻转加固措施,其冗余开销基本与传统的SEC DED码相同,误码率低于国际同类文献的结果。