一种基于异常控制流的错误程序行为分析方法

通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的"故障-差错-异常"传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.     

一种在网络通信中自动纠错算法的研究

在计算机网络通信过程中,由于种种原因,会产生数据传输错误(即“差错”),如何识别这些错误并如何纠正这些错误,是计算机网络通信中最关键的技术。本文对数据通信过程中差错的概念、差错的产生以及差错的控制进行了深入的剖析研究和介绍,并提出了一种自动纠错的新算法,并从理论上证明了算法的正确性。     

医学论文编校中如何避免隐蔽的数据差错

数据在医学论文中占有很大的比重,准确的数据表述有利于提高医学期刊的编校质量,提高论著的科学性[1];而错误的数据不仅会起负面作用,甚至使论著疑似为不端文献,严重影响期刊的质量和作者的声誉。编辑在编校过程中往往容易偏重于对文字的修改,而放松对数据的审核,特别是对隐蔽的数据差错,更容易忽视。本文就编辑过程中遇到的一些隐蔽的数据差错进行归纳总结,讨论医学论文编校中如何避免隐蔽的数据差错,与同仁共勉。     

基于CLEC语料库的大学英语四级常用写作词汇用法正误分析

在差错分析及中介语理论的基础上,文章将对中国英语学习者的写作词汇错误进行了讨论。研究中使用了“中国英语学习者语料库”（CLEC）,调查了134篇大学英语四级写作语料中的词汇错误。通过归类分析,发现词汇错误主要有词类错误、替代错误、省略型错误和冗余型错误,其原因既有母语干扰,又有对目的语规则不完整的学习。     

R-S码纠错算法的软件实现

0引言 在数字通信系统中,由于传输信道或其他噪声的存在会引起数据传输及交换过程产生差错,尤其是远程、高速传输.对这些不可避免的差错进行检测和纠正显得尤为重要,编码技术是一种有效的方法.实际产生的错误往往是随机错与突发错同时存在,尤其在短波信道中,传送时错误往往呈区间出现,即连续几个位的码元或连续码元除其中少数几个位以外都发生差错,这时仅采用单一的纠随机错码或纠突发错码均不能取得良好的效果.     

医学科技期刊图表常见问题分析

从位置差错、设计差错及内容漏误3个方面对医学科技期刊图表中的常见问题进行分析,以图表为例指明正确的表述方法,提出了容易造成错误的原因,并举例说明了易出错的地方,以引起作者和编辑的注意,从而提高期刊质量。     

关于考试成绩数据库差错检查的研究

数据差错检查对于数据准确性具有重要意义，目前对于数据差错的检查研究主要是检查数据的取值是否在有效的范围之内，或者随机抽查数据是否准确，但没有系统性地检查数据的准确性，针对这一情况，以作者为熟悉的考试数据库查错为例，在分析了数据可能出错的环节的基础上，详细介绍了宏观检查法、特殊值检查法、参照对比法等数据差错检查方法，并提出了差错检查程序设计的基本原则和策略。     

用Visual Basic实现全站仪数据转换

本文论述了数字化测图全站仪采集数据过程中,因设站或后视错误而造成数据错误,用Visual Basic进行内业改正的原理、方法及数据转换的过程,提高了工作效率.     

基于Bayes估计的民航维修人为差错评估技术研究

研究了基于Bayes估计的民航维修人为差错评估技术。首先,将维修人为差错概率视为随机变量,利用航空公司积累的历史信息作为先验数据,以THERP手册提供的5%分位点作为维修人为差错概率中值,运用点估计法确定维修人为差错的先验分布模型。其次,给出了Bayes先验分布参数的求解方法。最后,选取验后Beta分布的中值作为θ的贝叶斯估计,构建了民航人为维修差错概率计算方法。通过实例分析,可以看出随着维修次数的增多,维修人为差错概率就越接近于极大似然法估计的失效概率。现场数据的检验反映了该评估方法的有效性、精确性和实用性。     

如何对电算化帐务系统数据进行检测

电算化帐务系统（以下简称系统）同手工帐务系统一样，存在数据错误的可能性。由于系统数据存储介质的原因（不像手工帐务系统那样数据可见），使得其差错具有较强的隐蔽性。因此，如何快速，高效地对系统数据的完整性．正确性进行测试，本文将对此作些探讨。     

人为差错概率量化方法综述

综述了人为差错概率的量化方法.首先,介绍了人为差错概率的基本概念,强调了人为差错概率量化的必要性,指出人为差错概率量化不仅是人机系统概率风险评估的重要组成部分,也是制定人为差错规避措施的重要依据.然后,根据人为差错概率量化理论基础的不同,将现有的人为差错概率量化方法分为时间决定论、任务决定论和场景决定论3种类型,针对3种类型中的典型方法,分别从方法的思路、量化过程以及发展现状等方面进行了详细分析.最后,分别从人为差错数据的使用、场景的表征和使用、量化过程使用的模型以及人为差错概率量化的目标和结果等4个方面,对人为差错概率量化方法进行了综合评述,指出了现有方法中所存在的共性问题,并提出改进建议.     

大学英语四级写作中的汉语负迁移及教学启示

大量数据统计显示,大学生四级写作中的错误主要表现为词法错误、句法错误、语篇错误、汉式错误。本文从汉语负迁移的角度对错误进行了分析,并提出了解决问题的方法及对英语写作教学的启示。     

CRC校验的软件实现

数据通信技术是计算机网络技术发展的基础,已经成为现代生活中必不可少的一部分.但通过通信信道传输的数据往往会有差错的产生,而且差错的产生是不可避免的,我们的任务是分析差错产生的原因与差错类型,研究检查是否出现差错及如何纠正差错.循环冗余码(CRC)是目前应用最广的检错纠错编码方法之一.本文介绍了CRC校验的原理及其算法实现.     

让差错在“顿悟”中美丽起来

课堂教学中，学生不可避免地会时时发生错误，可以这样说，只要有认知活动，就会有错误发生。“错误本身乃是达到真理的一个必然的环节。”（黑格尔语）那么么，应该如何对待差错，引领孩子从差错中走出来，让差错变成可贵的课程资源？这是值得每一位教师思考的问题。     

基于信息加工过程的管制人因差错概率量化方法研究

为量化管制人因差错概率,基于信息加工过程设计管制人因差错量化工具,将管制任务中的差错界定为错报、虚报、漏报三种差错,并量化其发生概率。结果表明:信息加工过程中的人因差错概率数据经Box-Cox转换后服从正态分布。根据正态分布代表点与损失函数的关系划分出5级等级标准。管制人因差错量化工具及方法的设计能够有效鉴别岗位人员发生错报、虚报、漏报的风险等级,对管制员选拔以及安全风险评估具有一定的借鉴意义。     

电能表的错误接线及其检查方法

电能计量的准确与否直接关系到供用电双方的经济利益,影响客户所用电量的准确计算,影响电力企业电费的及时回收,因此预防和避免电能表故障及差错成为电能计量工作的一项重要内容。介绍了几种电能表的错接线形式,提出了错误接线的检查方法。     

嵌入式固态存储系统ECC算法的研究与实现

为提高差错检测和修正(ECC)校验编码的简洁性,从信息编码理论的角度,研究了一种基于Hamming编码方式的ECC方法. 通过在数据空间中构造多字节数据的信息矩阵,利用ECC编码方法,设计生成了ECC校验算法的系数矩阵,利用线性空间变换理论计算生成了纠错校验码,提出了一种简洁的、具有较强可计算性的基于ECC校验码的误码校验和定位算法,并给出在嵌入式固态存储器中进行纠错编码、校验和纠错的详细过程. 最后运用硬件编程语言VHDL 在Xilinx ISE的实验环境下成功实现了该检错纠错算法. 结果表明该算法可以检测出1 bit以及2 bit的读写错误,且可对1 bit错误进行修正.      

会计前期差错的产生原因及更正处理

企业日常发生的经济事项或交易,经过财务确认、计量、记录,最后编制出为各种信息需求者提供有用信息的财务报表。在这一过程中由于种种原因会产生各种各样的差错,这些差错不但影响会计信息的可靠性,而且可能影响财务报表使用者对企业财务状况、经营成果和现金流量做出正确判断,令其作出错误决策。本文将以新企业会计准则(2006)第28号为依据就前期差错产生的原因及更正处理进行探讨。     

基于H.264编解码的无线视频可靠传输

针对视频在网络中传输提出了两种改进方法:第一种采用卷积和包交织编码,将网络中产生的突发差错转变为统计独立的差错;第二种针对无线传输系统,将数据分类为重要数据与非重要数据,在接收端检测重要数据信息的差错,并据此来控制发送端的重发机制,仅当重要数据的丢包数超过一定阈值才要求发送端重发.在保证了传输图像的差错小于一个预定值情况下,使图像传输的重传数据较少,同时也减小了由于数据重传引起的网络时延.利用VCEG提供的3GPP2网络仿真平台建立了H.264视频传输系统,并在该仿真平台上进行了实验,取得了满意的结果.     

R-S码纠错算法的软件实现(简报)

0引言 在数字通信系统中，由于传输信道或其他噪声的存在会引起数据传输及交换过程产生差错，尤其是远程、高速传输．对这些不可避免的差错进行检测和纠正显得尤为重要，编码技术是一种有效的方法．实际产生的错误往往是随机错与突发错同时存在，尤其在短波信道中，传送时错误往往呈区间出现，即连续几个位的码元或连续码元除其中少数几个位以外都发生差错，这时仅采用单一的纠随机错码或纠突发错码均不能取得良好的效果．当前最常用的方法是自动请求重发方式（ARQ）、前向纠错方式（FEC）和混合纠错方式（HEC）．ARQ方式不能纠错只能检错，而FEC方式用在传输误码率较低时比较理想．在传输误码率较高时，则容易出现“乱纠”现象．考虑到本系统的传输速率及外界较强的干扰，用上述方法无法胜任．