区间运算相关论文
<正> 一、引言在选择投资项目时,通常要对未来各种可能发生的事件作出估计,如:原材料价格波动,市场需求波动,利率波动,新技术的出......
CSP(Constraint Satisfaction Problem)求解部分是目前很多系统的核心部分,对其进行研究有重要作用,本文提出的算法能够解决约束为......
为解决现有自动评测方法对使用数组C程序评分结果过于粗糙的问题,提出一种面向数组C程序的静态评分方法.对程序进行预处理,通过标......
本文对区间代数理论进行了扩展,并将其应用于程序的静态分析中,提出了一种基于区间运算的程序缺陷检测算法(Defect Testing Based ......
本文在总结国内外模糊故障树分析研究现状的基础上，引入模糊数学中的扩展原理，对基于故障树各底事件发生概率为模糊数情形的故障树分......
随着计算机科学技术的蓬勃发展,计算机软件的应用覆盖面越来越广。越来越多的学者着手于软件测试的理论研究,并取得到了飞速的进展......
随着信息时代的到来,软件技术突飞猛进,软件产品在社会各个应用扮演着越来越重要的角色。如何保证软件质量一直是计算机技术的热门......
近年来,空指针引用故障引发的软件安全问题层出不穷,给软件开发公司及用户带来了极大的困扰,也引起了国内外对之进行故障发现的研......
软件测试是衡量计算机软件质量的过程,它是整个软件开发过程中不可分割的一部分,直接关系到软件质量的好坏。软件质量通常是指正确......
随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模......
随着软件功能越来越强大,软件的规模和复杂性也日益庞大和增高,这就导致开发人员难以彻底完全理解软件,因此软件测试成为保证软件......
随着高渗透率分布式电源间歇性发电并网、大规模电动汽车随机充电以及大量智能量测设备的量测误差,配电网的波动性和随机性大大增......
针对风机出力的间歇性与波动性和电动汽车充电负荷的随机性使含风力发电的电动汽车充电站内的源、荷在一定范围内变化的问题,需要......
面向路径的测试用例自动生成技术的发展在一定程度上解决了软件测试过程中手动测试效率低和失误率高的问题,是软件测试领域的研究......
嵌入式系统在当代社会经济生产生活的各个领域,小到游戏机,大到航空航天电子设备,都有着广泛的应用。对于嵌入式系统来讲,内存是极......
单元测试对保证软件质量和提高软件可靠性具有重要作用。传统的约束求解技术为被测函数自动生成测试用例时,变量取值范围往往采用......
单元覆盖测试通过检测函数单元中的某类成分是否被测试过程覆盖来判断测试的充分性。任何函数单元都不是独立的,往往需要调用其它......
配电系统作为电力系统传输的最后一个环节,因其与用电用户直接相连,加之随着社会发展进程的不断加快,人民对于电能的质量要求不断......
首先根据基桩工程结构力学参数取值的区间性特征，引入区间分析理论与方法，视基桩结构力学参数以及由此而得的响应量为区间变量，在深入......
针对标准区间运算易引发误差爆炸,常规的仿射运算没能考虑计算过程中出现的使用同一噪声元表达的一次项、二次项,乃至多次项、非线......
单元覆盖测试的目标是达到尽可能高的覆盖率。根据覆盖准则选取目标覆盖元素，并针对目标覆盖元素选择路径，是单元覆盖测试中的一......
循环语句大量应用于程序开发中，但是在静态分析领域，对循环语句的处理还很不完善，存在着不终止和迭代不收敛等一系列问题。传统的......
文中构建了物理参数和几何参数同时具有区间不确定性的天线结构动力特性分析模型,并提出了基于可信度约束的结构动力特性分析方法;......
利用α－水平集及区间运算来解Ｆｕｚｚｙ线性方程组，大多数情况下会导致无解。该文把方程组和可能性线性规划联系起来，给出了方程组Ａ·Ｘ＝ｂ一种新的解......
在实际的工程应用中结构的性能受多方面的不确定性因素和误差的影响,如结构的材料参数、载荷或几何参数等不确定性。为了确保结构......
由于区间运算在学术和工程方面应用广泛,所以自从上个世纪六十年代初区间分析理论提出之后,许多数学工作者和工程工作者都在区间运......
吴消元法是求解多元代数方程组的一个重要方法.将区间运算应用于吴方法中,把求解一般代数方程组零点集的问题转化为求解区间代数方......
提出了区间B样条曲线的降阶问题,并给出了两种不同的降阶方法:整体降阶法与分段降阶法.给出了两个实例来说明算法,并比较了两种算......
内存泄漏故障是程序中某处申请的内存空间，没有释放或没有完全释放或多次释放，是程序中常见的故障，极易导致系统崩溃。从面向具体错误......
利用区间因子表征区间变量的不确定性,将区间变量表示为其均值和区间因子的乘积;根据区间运算规则,将区间分析与有限元方法相结合,......
给出了零维多项式组所有零点的1种直接表示算法．零点的这种表示方法可避免一般三角化方法引起的误差．此外，该方法较少地依赖符号计算，......
C程序中的条件表达式是唯一一个由三目运算符构成的表达式；而从语义角度来说是分支语句结构，传统的数据流分析技术难以实现对其精确......
针对物流中心选址方案评价时属性信息的不完全性和不确定性,提出了一种基于区间物元的物流中心选址方案优度评价方法。在构建物元......
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句......
提出了区间B样条曲线的降阶问题，并给出了两种不同的降阶方法：整体降阶法与分段降阶法，给出了个实例来说明算法，并比较了两种算法的优......
研究了不确定性桁架结构的动力响应分析问题。在桁架结构的物理参数、几何尺寸和荷载幅值均为区间变量时，从结构响应的Duhamel积分......
非法计算是C／C＋＋程序中的常见故障，该类故障极易导致系统崩溃。针对C／C＋＋语言中常见非法计算故障进行了分析，并从面向具体故障的测试思想出......
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后......
...
基于Maple软件包Discoverer中Trealroot算法,提出了一个整系数一元多项式实根隔离的改进算法.采用以Descartes法则和一个特殊的高......
静态分析由于并不执行源代码，导致无法获取变量在实际运行中的取值，进而对一些和变量取值相关的缺陷检测带来了一定困难．利用符号执行......
为了丰富了GIS基础理论,运用区间运算理论和集合论,根据定性距离约束条件,导出了定性距离推理的通项公式,重点研究了同向定性距离......
将模糊数学理论与统计能量分析方法相结合，提出了一种考虑模糊参数的复杂耦合系统声一振环境的预测方法。拓展了传统统计能量分析方......
研究了模糊参数压电智能桁架结构的动力特性分析问题.在压电主动杆和被动杆的物理参数和几何尺寸同时具有模糊性时,利用模糊因子法......
利用区间运算的相关理论,给出了计算矩阵方程AX+XB=C近似对称解及其可信误差界的算法,由此算法得到的误差界范围内必定存在一个精......
