大学生英语写作中的逻辑错误分析

从中西方思维方式差异的角度,分析了大学生英语写作中产生逻辑错误的主要原因是未能充分意识到中西思维方式差异所产生的语篇连贯手段的差异。学生用中文思维写作英语作文的错误导致了语篇的逻辑性错误。通过举例来分析大学生常犯的篇章连贯错误,以便教师有的放矢地帮助学生提高用英文思维与表达习惯来语篇布局的能力。     

从中国式英语看母语的负迁移

本从中国式英语的实例来分析以下英语语言差异：（1）简洁与复杂；（2）抽象和具体；（3）形合与意合，母语的负迁移是中国式英语产生的原因之一，母语的负迁移所导致的错误就是语际错误，错误分析是研究第二语言习得的重要方法，从母语负迁移的心理理论基础及其表现形式方面看，母语负迁移是第二语言习得过程中致错的重要原因。     

科技翻译中识别原文错误的手段

科技翻译过程中,译者有时会遇到由于作者大意或排印疏忽造成的原文错误。一位有责任感的译者应该在动笔之前仔细对原文进行语法分析和逻辑分析,并且尽可能地了解和熟悉与所译资料相关的专业知识。这样就可以辨别出原文可能存在的错误,并在译文中加以更正,减少不必要的损失。     

二语习得中的写作错误及教师纠正策略

本文以错误分析理论为根据,探讨了外语写作错误产生的原因以及如何对待错误,提出促进外语写作教学的纠错策略.     

刍议“手术室”的翻译

中英双语标识在现代社会生活中并不鲜见。医院作为一个公共场所,也越来越多地使用到双语标识。然而,由于医疗卫生行业的专业性与特殊性,以及标识语言的独特文体,现实生活中某些双语标识存在一些翻译上的语用错误和不规范的现象。即使是大家比较熟悉的的手术室的英文翻译也是多种多样的。最近,笔者在某三级甲等综合     

重要极限证明中的一个注解

指出在证明重要极限limx→+∞(1+1x)x=e中的一个常见误区,在此基础上给出正确的证明方法,并给出了证明该重要极限的定义证明方法。     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

软错误缓解动态部分可重构的抗单粒子方案

随着基于静态随机存储器(static random-access memory,SRAM)型现场可编程门阵列(field programmable gate array,FPGA)广泛应用于航空航天领域,太空辐照环境下FPGA产生单粒子翻转(single event upset, SEU)问题的概率日益提高,从而导致FPGA出现单粒子闩锁现象引起功能紊乱。针对该问题,基于SRAM型FPGA的架构诱发SEU机理分析,对传统三模冗余(triple module redundancy, TMR)的方案进行改进,设计一种逻辑上采用TMR进行备份、系统上采用软错误算法缓解执行,同时采用局部纠错和动态可重构的方法进行抑制的方案。皮秒激光注入试验结果显示,采用所提供方案的FPGA较传统方案试验电流平稳,验证了该方案可以有效对SEU进行抑制。     

突发错误检测重数分配算法及其电路设计

为解决突发错误信道下里德所罗门码译码复杂度高与性能差的问题,提出了一种突发错误检测的重数分配算法(BD-RCMA)。首先计算信道突发噪声占比参数,根据该参数对包含随机错误与突发错误的混合信道进行数学建模,以便从信道中获取信道软信息;然后基于子码的电平计算每一符号的可靠度与突发度并确定突发度阈值,并比较突发度与阈值得到突发错误的精确位置,实现对突发错误的检测;最后对BD-RCMA算法进行电路设计并将其应用于基于硬判决的突发错误软判决译码器架构中。仿真结果表明,BD-RCMA算法可以精确定位突发错误位置,在突发错误所包含的子码数为65~71、信道信噪比为5~9dB情况下,与低复杂度重数分配算法相比,误帧率可降低15%~45%。     

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.