共查询到20条相似文献,搜索用时 78 毫秒
1.
指出了推导Madelung常数时出现的一种错误,这种错误普遍存留于当今有关晶体的利用数论和计算机技术给出了一种计算离子晶体晶格能的方法,并给出实例。 相似文献
2.
提出一种实时事务表示模型,该模型给出了一种基于ED方法的实时事务调度的改进算法,该算法与ED相比,可以减少调度时发生的运行时间错误 相似文献
3.
基于抽象语法树的代码静态自动测试方法研究 总被引:1,自引:0,他引:1
软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于一些特殊类型错误的检测无效。鉴于此,本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,进而提出了基于抽象语法树的静态分析技术,并给出了故障自动检测算法。依据该算法开发了自动化测试工具,给出了实验结果和对比分析,并指出了下一步的研究方向。 相似文献
4.
提出一种实时事务表示模型,该模型给出了一种基于ED方法的实时务调度的改进算法,该算法与ED相比,可以减少调度对发生的运行时间错误。 相似文献
5.
软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于一些特殊类型错误的检测无效。鉴于此,本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,进而提出了基于抽象语法树的静态分析技术,并给出了故障自动检测算法。依据该算法开发了自动化测试工具,给出了实验结果和对比分析,并指出了下一步的研究方向。 相似文献
6.
有反例表明《Introduction to Functional Analysis》一书中定理3.3.3的证明过程是错误的,同时给出了该定理的一种完整的证明. 相似文献
7.
针对FranklinC51语言编程中容易出现的几种错误,用三个实例分析指出了C51产生错误的原因,并给出具体的解决办法。 相似文献
8.
郭茜 《江汉大学学报(自然科学版)》2013,(4)
列出科技期刊论文中几种常见的错误,包括文题不当、内容缺失、文中序号错误、图表逻辑性不强等。分析了不同类型错误出现的原因,给出了针对性的修改方法,以利于更有效、更准确地修改科技论文,增强文章的科学性,提升文章的质量。 相似文献
9.
单片机串行通信中纠突发错误的软件实现 总被引:1,自引:0,他引:1
给出了一种单片机串行通信中纠突发错误的方案.本方案是用交织的方法,将突发错 误离散成随机错误,而后再用纠随机错误的汉明码给予纠正. 相似文献
10.
11.
詹晓希 《湖南文理学院学报(自然科学版)》2006,18(2):74-76
运用文献资料、归纳分析的方法首次对高校乒乓球普修课学生击球失误的原因及纠正对策进行专题探讨,提出将导致击球失误的原因划分为拍源性错误和人源性错误的观点,拍源性错误是产生击球失误的直接原因,人源性错误是导致拍源性错误和击球失误的根本原因;并指出当前通行的各类教材和专著中对击球失误原因与纠正方法的论述多停留在拍源性错误的层面。 相似文献
12.
李文华 《合肥学院学报(自然科学版)》2004,14(1):11-14
在统计检验中,会犯两种类型的错误第一类错误与第二类错误.以单个均值的检验为例,分析了它们的成因和计算方法.可以认为,第一类错误由检验中的实际推断原理引起,第二类错误由检验中的逻辑谬误引起.第一类错误出现的概率为显著性水平α,即小概率事件发生的概率.第二类错误的计算方法是阐述的重点,也是在解决这一问题上与目前的方法不一致的地方. 相似文献
13.
怎样提高微机控制系统的可靠性 总被引:1,自引:0,他引:1
蓝玉龙 《广西大学学报(自然科学版)》2000,25(4):320-322
微机控制系统的可靠性问题是当前工业控制的一大研究课题,本文从硬件避错,硬件容错,软件避错,软件容错四个方面论述了提高可靠性的一些对策。 相似文献
14.
汪琥庭 《南京林业大学学报(自然科学版)》2002,26(1):53-56
对佯谬回归系数的概念进行了统计意义上的界定,指出了产生佯谬回归系数的6种主要原因,在此基础上,对如何正确理解含有佯谬回归系数的回归预测模型问题提出了以下的观点:应根据产生佯谬回归系数的原因,区别看待含佯谬回归系数的预测模型;含佯谬回归系数的回归模型未必都不科学,在某些特定条件下,有些含佯廖系数的回归预测模型可科学合理地反映研究对象的客观变化规律。 相似文献
15.
17.
指出了文献[1]的构造性证明中存在的错误,分析了原因,并给出了反例 相似文献
18.
指出了Diestel关于图论的研究生教材中Thomas&Wollan定理的一个弱形式证明中存在的一个错误(第76页式(3)),并提供了一种改正方式。 相似文献
19.
Laguerre 迭代法具有大范围收敛性,A.M.Ostrowski 著《欧几里得和巴拿赫空间内方程的解法》一书中,用了一个专题对此方法进行了详细的讨论与推广.但其中关于实参数 N=+1时的断言是错误的,本文指出这一错误并给出正确的结论. 相似文献
20.
宁洪波 《科技情报开发与经济》2012,22(18):96-99
情报失误是造成印度在孟买恐怖袭击案中失败的最重要原因之一。列举了印度情报机构在孟买恐怖袭击案中情报失误的各种表现,从情报流程、情报建设以及情报合作等方面入手,对未能防止孟买恐怖袭击发生的情报失误的原因进行了剖析,并进一步总结了孟买恐怖袭击案中印度情报失误的有关启示。 相似文献