关于g-期望的生成元唯一性定理

证明了在适当的假设以及gi(t,y,0)=0的条件下,如果关于任意终端值的g-期望相等,则对应的倒向随机微分方程的生成元被唯一确定。把有限区间上的g-期望的关于生成元的唯一性定理推广到无穷区间上,同时得到了一个反映g-期望与条件g-期望关系的重要性质。     

关于g-期望的生成元唯一性定理

证明了在适当的假设以及gi(t,y,0)=0的条件下,如果关于任意终端值的g-期望相等,则对应的倒向随机微分方程的生成元被唯一确定.把有限区间上的g-期望的关于生成元的唯一性定理推广到无穷区间上,同时得到了一个反映g-期望与条件g-期望关系的重要性质.     

自动测试用例生成中非四则运算的等价变换方法

C工程中的非四则运算在所有数值运算中出现的比例为23%。在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率。为此,提出一种等价变换方法,将非四则运算分解为多个四则运算,再应用四则运算的区间运算来提高整体的求解效率。实验表明,此方法能提高非四则运算的测试用例生成效率。     

模糊值函数极限(连续)及导数的新定义

介绍了模糊数的概念,模糊的运算规则,区间函数及模糊值函数的λ-截集,利用区间函数及模糊值函数的λ-截集给出模糊值函数的极限、连续和导数的定义.在此基础上首次提出模糊值函数一致极限、一致连续和一致导数的概念,并讨论了它们之间的关系.得出了模糊值函数在区间上有一致极限,则在区间上一致连续;在区间上一致连续,则在区间上有一致...     

扩展区间运算的变量值范围分析技术

首先扩展了数值区间代数理论,首次提出区间集的概念并定义了区间集上的运算,接着定义了布尔型和引用型变量的取值区间及其运算,最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(Range Analysis Based on Interval Computation, RABIC)。该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率。     

一种改进的快速FCM图像分割算法

FCM算法对图像的模糊特征具有较强的鲁棒性,在图像分割方面得到了广泛应用。但FCM算法采用随机初始化聚类中心的方法,使算法在迭代次数上有一定的不确定性。为提高FCM算法的运算效率,提出一种基于确定初始聚类中心的快速FCM图像分割算法。用最大类间方差法多次划分图像的灰度区间,根据区间中像素点的灰度值来初始化聚类中心,以使其尽可能的接近最终分割的聚类中心,减少算法的迭代次数。实验结果表明,与传统的FCM算法相比较,改进后的算法可以通过较少的迭代次数及运算时间分割图像。且该算法可以应用于诸多采取随机初始化聚类中心的FCM相关的算法中,以提高算法的运算效率。     

对称型区间线性规划的对偶理论

该文定义了一对对称型区间线性规划问题,研究了一对对称型区间线性规划问题最优解以及最优值区间之间的关系.讨论了几种区间数的序关系及其运算性质,在此基础上建立了一对对称型区间线性规划问题的对偶理论,并给出了算例诠释有关论证.     

Petri网位置不变量的几何意义

引入了Ｐｅｔｒｉ网路增益及位置不变量并运算的概念，建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量的关系，给出了Ｐｅｔｒｉ网图形运算与位置不变量运算之间的关系，证明了加权状态机位置不变量存在的充要条件，揭示了Ｐｅｔｒｉ网位置不变量的几何意义。     

广义区间数及其运算

本文首先给出了虚区间的概念,建立了虚区间的半“＊”运算,讨论了半“＊”运算的基本性质,在此基础上,利用本文引入的广义区间数的区间模的概念,建立了广义区间数的半“＊”运算,讨论了“＊”运算的性质及广义区间数的代数结构。     

任意区间上的广义N范数与生成元

在泛逻辑的不确定性推理中，N范数是一级运算的数理模型。论文目的是对现有泛逻辑中[0，1]区间上的N范数及其生成元进行扩展和完善，称任意[a，b]区间为广义区间，首先定义了广义区间[a，b]上的广义N范数与广义N性生成元；研究了它们的主要性质：封闭性、不动点、泛非性、偶等性等，给出了N性生成元的分类：常规N性生成元、奇异N性生成元、中心对称N性生成元；最后得到并证明了重要的广义N性生成元生成定理和广义N范数生成定理，从而为任意区间[a，b]上的分数逻辑的连接词运算模型提供了数学生成方法。     

应用统计原理对考试成绩作合理化分析与检验

应用统计原理,在计算机上实现辅助运算,对学期考试百分制分数作区间估计与异常分数评定     

广义区间数及其运算

以向量及一一对应为直观背景，在分析了现行区间运算规则弊端的前提下，引入了虚区间的概念，建立了一种新的区间运算规则，讨论了这种运算规则的性质及区间数的一些代数结构，给出了区间数的模的概念及一些基本性质。     

条件事件和三值逻辑

文中以Ｇｏｏｄｍａｎ条件事件代数为背景，基于一种与主理想陪集形式有一一对应关系的特殊的条件事件表示法，建立了一个代数模型．在此模型上研究了条件事件和三值逻辑之间的关系，并给出了条件事件运算和三值逻辑运算的９种对应关系     

负相依索赔条件下带常数利率的风险模型在随机时间上的破产概率

研究了负相依索赔条件下带常数利率的风险模型在随机区间上的破产问题.假设随机埋单服从指数分布,通过分析随机时间与有限时间之间的关系,得到了该模型破产概率的渐近表达式.     

灰色聚类方法及其在环境影响评价中的应用

引入了一个新的区间序关系，讨论了灰阵的几个运算．在此基础上将灰类白化函数视为Ｒ上的灰数，给出了相应的聚类方法以及矩阵表示．并具体应用于水利水电工程环境影响的评价中     

基于MBR的主方向关系运算

针对主方向关系推理中的合成与取反运算,利用矩形代数及区间代数理论,提出了基于MBR(Minimum Bounding Rectangles)主方向关系与矩形代数关系相结合的新模型,利用矩形代数理论实现了基于物体MBR主方向关系的表述问题,同时给出了主方向关系推理中的基本运算,并证明了理论的正确性.通过将物体方向关系和矩形代数的有机结合,利用矩形代数良好的计算性质可以为以后的主方向空间推理以及一致性检验提供更为简便快捷的算法.     

云重心方法在舰炮维修性评价中的应用

针对已有的云重心评价方法中评价云发生器的参数设置不合理问题,提出了2倍熵规则,并以此为基础建立了熵参数确定模型;给出了专家个体区间数与平均区间数之间的差异度计算方法,从而建立了超熵参数确定模型。针对云重心偏离度的求解模型繁琐且有偏差的问题,建立起定量评价等级界定的区间数与定性评语对应的区间数之间的等比转换关系,将定量指标的集结值映射到定性评语对应的区间数中,并简化了求解模型。最后通过某舰炮维修性评价实例,验证了改进模型的科学性和合理性。     

区间型灰数的标准型和整除性

在[1]中,引进区间型灰数以F简称区间数的四则运算的直接表示,使乘除法运算简单明了。本文引进了区间数的标准型,不只用它简化乘除运算,而且用它讨论整除性,求解简单区间数方程。     

区间值模糊参数软集及其在决策中的应用

定义了区间值模糊参数软集的概念,研究了区间值模糊参数软集的运算及运算性质。然后,给出利用区间值模糊参数软集进行决策的方法,并通过实例说明了方法的可行性。     

风电并网系统的区间动态经济调度方法研究

大规模风电并网对电力系统的优化调度提出了新的挑战。通过用三元区间数刻画负荷与风电输出功率的不确定性,建立了区间动态经济调度模型。模型以常规机组的发电成本最小为目标,考虑了对应净负荷区间中值和区间上下限的机组出力调整约束;引入了调度权重的概念,通过对不同权重下机组出力的比较,分析了以三元区间数刻画负荷和风电输出功率的不确定性对系统有功调度的影响。利用MATLAB二次规划程序包对所建模型进行求解,以IEEE-30节点系统为例进行了仿真分析,仿真结果表明所列区间动态经济调度模型对风电与负荷的随机变化具有较好的适应性。