区间运算相关论文
随着计算机科学技术的蓬勃发展,计算机软件的应用覆盖面越来越广。越来越多的学者着手于软件测试的理论研究,并取得到了飞速的进展......
随着信息时代的到来,软件技术突飞猛进,软件产品在社会各个应用扮演着越来越重要的角色。如何保证软件质量一直是计算机技术的热门......
近年来,空指针引用故障引发的软件安全问题层出不穷,给软件开发公司及用户带来了极大的困扰,也引起了国内外对之进行故障发现的研......
软件测试是衡量计算机软件质量的过程,它是整个软件开发过程中不可分割的一部分,直接关系到软件质量的好坏。软件质量通常是指正确......
随着软件功能越来越强大,软件的规模和复杂性也日益庞大和增高,这就导致开发人员难以彻底完全理解软件,因此软件测试成为保证软件......
随着高渗透率分布式电源间歇性发电并网、大规模电动汽车随机充电以及大量智能量测设备的量测误差,配电网的波动性和随机性大大增......
面向路径的测试用例自动生成技术的发展在一定程度上解决了软件测试过程中手动测试效率低和失误率高的问题,是软件测试领域的研究......
嵌入式系统在当代社会经济生产生活的各个领域,小到游戏机,大到航空航天电子设备,都有着广泛的应用。对于嵌入式系统来讲,内存是极......
单元覆盖测试通过检测函数单元中的某类成分是否被测试过程覆盖来判断测试的充分性。任何函数单元都不是独立的,往往需要调用其它......
配电系统作为电力系统传输的最后一个环节,因其与用电用户直接相连,加之随着社会发展进程的不断加快,人民对于电能的质量要求不断......
在实际的工程应用中结构的性能受多方面的不确定性因素和误差的影响,如结构的材料参数、载荷或几何参数等不确定性。为了确保结构......
由于区间运算在学术和工程方面应用广泛,所以自从上个世纪六十年代初区间分析理论提出之后,许多数学工作者和工程工作者都在区间运......
吴消元法是求解多元代数方程组的一个重要方法.将区间运算应用于吴方法中,把求解一般代数方程组零点集的问题转化为求解区间代数方......
提出了区间B样条曲线的降阶问题,并给出了两种不同的降阶方法:整体降阶法与分段降阶法.给出了两个实例来说明算法,并比较了两种算......
内存泄漏故障是程序中某处申请的内存空间，没有释放或没有完全释放或多次释放，是程序中常见的故障，极易导致系统崩溃。从面向具体错误......
利用区间因子表征区间变量的不确定性,将区间变量表示为其均值和区间因子的乘积;根据区间运算规则,将区间分析与有限元方法相结合,......
给出了零维多项式组所有零点的1种直接表示算法．零点的这种表示方法可避免一般三角化方法引起的误差．此外，该方法较少地依赖符号计算，......
针对物流中心选址方案评价时属性信息的不完全性和不确定性,提出了一种基于区间物元的物流中心选址方案优度评价方法。在构建物元......
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句......
研究了不确定性桁架结构的动力响应分析问题。在桁架结构的物理参数、几何尺寸和荷载幅值均为区间变量时，从结构响应的Duhamel积分......
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后......
静态分析由于并不执行源代码，导致无法获取变量在实际运行中的取值，进而对一些和变量取值相关的缺陷检测带来了一定困难．利用符号执行......
为了丰富了GIS基础理论,运用区间运算理论和集合论,根据定性距离约束条件,导出了定性距离推理的通项公式,重点研究了同向定性距离......
将模糊数学理论与统计能量分析方法相结合，提出了一种考虑模糊参数的复杂耦合系统声一振环境的预测方法。拓展了传统统计能量分析方......
研究了模糊参数压电智能桁架结构的动力特性分析问题.在压电主动杆和被动杆的物理参数和几何尺寸同时具有模糊性时,利用模糊因子法......
利用区间运算的相关理论,给出了计算矩阵方程AX+XB=C近似对称解及其可信误差界的算法,由此算法得到的误差界范围内必定存在一个精......
在非线性模型参数失配下,直接采用滤波算法很难获到理想的估计状态.本文基于扩展集员估计方法,在状态估计中引入参数的不确定信息,......
软件测试是保证软件质量的重要方法。单元测试是对被测程序最小单元或模块进行的测试,通常分为测试用例生成、测试用例执行和测试......
多项式系统的三角化方法在多项式方程组求解和平面多项式系统小扰动极限环的构造方面发挥着重要作用.吴方法是重要的三角化方法之......
传统可靠性方法利用概率论和模糊理论处理结构不确定因素.应用非概率凸集模型处理结构的不确定性,结合有限元分析,通过结构材料不......
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检......
用均值和离差两参数表征区间变量的不确定性, 根据区间运算规则, 论证了区间变量的运算特性.将区间分析和有限元方法相结合, 提出......
缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型：数据拷贝和格式化字符串造......
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的......
变量越界是C/C++软件中的常见故障,广泛存在于C/C++软件的数值计算模块中。首先分析了变量越界故障的故障特点,并从面向具体故障的......
摘要电力系统暂态时域仿真中，一些参数在测量和实际运行中存在不确定性，故引入区间改进欧拉法进行暂态时域仿真。本文将传统暂态仿真......
目标运行建模过程中，存在系统参数不确定的情形．将基于标准卡尔曼滤波的多传感器信息融合算法由系统参数确定的情形推广至参数不确定......
随着软件产业化的发展,人们对软件的质量、成本和进度提出了越来越高的要求,软件测试逐渐成为了软件开发过程中不可或缺的重要环节......
随着计算机技术和数值计算方法的发展,科学计算在科学与工程中的作用逐渐提升,已由辅助性工具转变为与理论、实验并重的科研手段之......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
考虑优化级多目标优化控制问题，提出一种基于区间运算的字典序多目标模型预测控制算法。对约束线性系统，结合字典序列法和滚动优化原......
系统模型稳定性降阶在医学、工程、神经网络、自动化等领域有广泛的应用.在保持降阶模型稳定性的前提下,本文考虑了系统模型稳定性......
形状匹配是遥感图像目标识别、字符识别、手形识别和步态识别等任务中的关键步骤之一.针对刚体识别任务中形状匹配易受方向、尺度......
复杂工程结构中模糊性和随机性常同时存在,常规可靠性分析模型已不能满足日益复杂的工程结构系统分析需要,且在某些问题上由于不恰......
配电系统可靠性是电力系统的运行特性及其可靠性的集中体现。配电系统可靠性的研究和应用,对保证供电质量、提高经济效益以及进行......
