ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

经方量化归经研究中的向量矩阵应用

在经方量化归经研究中发现,药物组成的归经量化问题,若以五维向量表示更能体现其药物的归经方向和归经比例.利用向量矩阵分析方法给出了方剂归经量化的一种全新的量化模型体系,并以此研究方剂归经的量化规律及其应用特点.     

基于严格α-双链对角占优矩阵的非奇H-矩阵的判定准则

研究了非奇H-矩阵的判定问题.先给出了几个判定严格α-双链对角占优矩阵的充要条件,进一步利用矩阵对角占优理论得到了判定非奇H-矩阵的一些充分条件,推广和改进了已有的相关结果,并用数值算例说明了这些判定方法的有效性.     

B-矩阵线性互补问题的误差界估计

利用严格对角占优M-矩阵的逆矩阵的无穷大范数的范围,给出了B-矩阵线性互补问题误差界新的估计式.相应数值算例表明了结果的有效性.     

α-混合序列部分和乘积精确渐近性的一般形式

利用前人获得的α-混合序列部分和乘积的渐近分布的结果,对一般的边界函数和拟权函数得到了α-混合序列部分和乘积的精确渐近性的一般形式.     

浅析几类双输入排队系统模型

从矩阵几何解的角度出发,分析了七种类型的Geom/Geom/(Geom/Geom)/H 双输入排队系统.对这几个模型进行了描述,使用拟生灭过程探讨了各类模型的矩阵结构,并给出了其状态转移概率矩阵.     

基于熵权模糊综合评价模型的股票内在价值研究

针对股票内在价值评判方法中指标权重设定的主观性缺陷,提出在利用熵权确定各指标权重的基础上,运用模糊综合评价方法对股票会计信息的综合指标进行模糊处理,为投资者投资股票提供一种新的参考;并通过"一带一路"概念股中的五支工程基建行业类股票进行模拟实证分析,证明将会计信息进行相关量化处理,能够为投资者提供较为客观的选择,同时基于熵权的模糊综合评价模型在股票内在价值评价中具有可行性.     

关于稳定矩阵分解定理的一个简单证明

一个矩阵称为稳定的,如果这个矩阵的特征值全包含在单位开圆盘内.利用Parker关于复方阵的分解定理给出了稳定矩阵分解定理的一个简单证明,并对奇异值全部严格小于1的矩阵给出了类似的结论.     

基于白化值的区间DEA建模

传统数据包络分析要求输入输出数据为精确数,然而在某些实际应用中,区间形式的数据相较于精确数更容易获得.将区间数转化为白化值,并基于传统C~2R模型提出了基于白化值的区间C~2R模型.考虑到决策单元的有效性不易通过基于白化值的区间C~2R模型来判断,因此将非阿基米德无穷小概念引入到上述模型,构建了具有非阿基米德无穷小的区间C~2R模型.此外,还给出了用于判断决策单元有效性的区间目标规划方法:分别通过G_(IC~2R)模型和WG_(IC~2R)模型判断决策单元是否为区间DEA有效与区间弱DEA有效.     

广义行(列)酉对称矩阵的Moore-penrose逆

通过对母矩阵进行奇异值分解的方法得到广义行(列)酉对称矩阵的奇异值分解进一步得到其Moore-penrose逆;用谱分解方法得到母矩阵的Moore-penrose逆,进一步得到广义行(列)酉对称矩阵的Moore-penrose逆.