对数正态总体的容忍限和容忍区间估计

对数正态总体在数理统计中占有重要的地位。本文从容忍限和容忍区间的定义出发，给出了对数正态总体的水平为（1-β，1-γ）的容忍限和容忍区间的估计。     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

无约束min-max-min问题的区间斜率方法

区间斜率方法已应用于解决全局优化问题,且得到了较好的结果。讨论目标函数为因子函数的离散无约束min-max-min问题,利用区间斜率,构造目标函数的区间扩张和区间斜率删除原则,建立了求解离散无约束min-max-min问题的区间斜率算法,并给出了数值算例。相关结论和数值结果都表明:该方法可以同时求出问题的最优值和全部全局最优解,是可靠和有效的。     

支付值为区间数的双矩阵博弈的二次规划求解方法

基于区间数集合IR上的不大于关系，给出支付值为区间数的双矩阵博弈的数学模型及其解的概念。先由区间数双矩阵博弈的混合策略均衡点存在的充要条件导出区间数双矩阵博弈的区间数二次规划解法，然后把区间数二次规划转化为一般二次规划．最后给出数值实例并利用lingo软件进行求解。     

一类连续型minimax问题的区间斜率算法

讨论了目标函数为一阶连续可微的无约束连续型minimax问题的区间算法.利用连续型极大熵函数和区间斜率法,通过建立区间扩张和无解区域删除检验原则,构造了求解连续型minimax问题的区间斜率算法,证明了算法的收敛性,并给出了数值算例.相关结论和数值结果都表明,其方法是可靠和有效的.     

松籽特征参数及脱壳可靠性研究

本文对松籽的结构、变形特征参数进行了研究，建立了干涉模型．并在保证松仁完好率的条件下，提出了最优压缩量和松籽可脱壳性即脱壳可靠度计算方法     

区间系统严格正实的顶点结果

首先给出了确定对象严格正实的新的充要条件，证明了新的结果完全等价于Ｃｈａｐｅｌｌａｔｅ的结果，在此基础上，推出了区间系统严格正实的顶点结果，使得区间系统严格正实问题转化为有限个对象严格正实问题，最后，给出了区间Ｌｕｅ′ｅ系统的鲁棒Ｐｏｐｏｖ准则的顶点结果。     

单形上Bernstein多项式的快速求值

给出单形上Ｂｅｒｎｓｔｅｉｎ多项式求值的一种快速赋值方式，速度比ｄｅ Ｃａｓｔｅｌｊａｕ算法快一个数量级，稳定性优于Ｓｃｈｕｍａｋｅｒ方法，且乘除量也少于Ｓｃｈｕｍａｋｅｒ方法。