数学理论与应用杂志 省级期刊

存在检测错误的软件测试方法

作者：张丰博; 孙海燕; 徐昕 刊期：2005年第02期

软件系统中通常会存有一些错误，而有些错误只有在进一步的开发中才会被检测出来，即使有专门的检测人员也会由于各种原因而不能清除其中全部的错误．前人用Capture-recapture模型来估计软件中合有的错误数量，并且取得了很好的估计值．但是这一模型假设检测行为总是正确的，而本篇文章中将会考虑这种可能性；检测行为错误；并且在本篇文章中被...

途径生成函数中特征多项式的几个性质

作者：严海芳 刊期：2005年第02期

途径生成函数Wij(G，x)记图G中从起点i到终点j的途径数目，本文应用途径生成函数研究特征多项式的性质，得到了若干新的结果．

带有碰撞爆炸的离散的凝结方程密度守恒解的唯一性

作者：郑列 刊期：2005年第02期

在条件aij≤Amin{i，j}，i，J≥1(其中A是非负常数)成立的情况下，证明了带有碰撞爆炸的离散的凝结方程的密度守恒解是唯一的，所获得的结论改进了已有的结果．

FI性质的传递

作者：竹红英 刊期：2005年第02期

一个环R称为左(右)FI环，如果它的每一个平坦左(右)R模是内射的，R称为FI环是指它既是左且右的FI环．本文讨论了当R是FI环时，其多项式环R[t]，矩阵环MN(R)以及分式不S^-1R也是FI环的充分与必要条件．

指数效用函数下投资组合问题的有效集方法

作者：刘树人 刊期：2005年第02期

本文在指数型效用函数条件下提出了求解高维数组合投资问题的有效集方法，实例说明：该方法是可行的、有效的．

Banach空间中增生算子方程的Ishikawa迭代解

作者：张树义 刊期：2005年第02期

复赋范空间中的同时太阳集的最佳逼近

作者：罗先发 刊期：2005年第02期

研究了复赋范空间中的同时太阳集对无穷序列的最佳逼近问题，得到了特征及唯一性定理．

具有正负系数的抛物中立型时滞偏微分方程解振动的充要条件

作者：杨军; 王春艳; 章胤; 张洁 刊期：2005年第02期

本文研究了具有正负系数的抛物中立型时滞偏微分方程的振动性，获得了该方程所有解振动的克要条件，并用例子加以说明．

预条件广义极小残余新算法

作者：于春肖; 穆运峰 刊期：2005年第02期

研究Krylov子空间广义极小残余算法(GMRES(m))的基本理论，给出GMRES(m)算法透代求解所满足的代数方程组．深入探讨算法的收敛性与方程组系数矩阵的密切关系，提出一种改进GMRES(m)算法收敛性的新的预条件方法，并作出相关论证．

地形坡度面积的二维多分辨分析研究

作者：秦艳红; 卢林; 吴纪桃 刊期：2005年第02期

不同分辨率下地面坡度的面积存在较大的差异，这为水土流失监测及水土保持规划工作的开展带来诸多不便．本文基于二维小波的多分辨分析理论，提出并证明了不同分辨率下地面坡度的面积与复杂地貌形态复杂度及尺度之间的变化关系。为水土流失的监测及水土保持规划工作的开展提供必要的理论工具．数值仿真试验验证了该理论的有效性及稳定性．

保险公司每期总准备金计算

作者：邓志民; 罗琰; 李芳芳 刊期：2005年第02期

本文在保险公司是风险中性的情况下，讨论了在投资影响下的每期总准备金计算问题．通过建立它应满足的线性倒向随机微分方程，得到它在投资影响下的计算公式．

最小费用k度限制树对策

作者：王小燕; 谢政 刊期：2005年第02期

本文在Glover—Klingman算法及最小费用支撑树对策的基础上，讨论了最小费用k度限制树对策问题．利用威胁、旁支付理论制订了两种规则，并利用优超、策略等价理论分别给出了在这两种规则下最小费用k度限制树对策核心中的解，从而证明了在这两种规则下其核心非空．

Fuzzy-Grey综合评判模型与射击方案的优化

作者：熊志刚; 吴强 刊期：2005年第02期

本文考虑类别标准已确定的综合评判问题，将灰色理论中的关联分析用于Fuzzy综合评判模型，用灰色关联系数来替代隶属度，提出一种的综合评判的方法，运用于射击方案的优化．

障碍平方期权的定价

作者：李小爱 刊期：2005年第02期

本文讨论了一种变异期权——收益结构为平方的障碍期权，在股票价格服从几何布朗运动的模型下，由带单侧吸收壁的布朗运动的密度和分布函数得到连续障碍平方期权的定价公式．

多元统计在山东农村居民消费结构分析中的应用

作者：王言英; 涂德胜 刊期：2005年第02期

本文运用多元统计的因子分析、聚类分析法，对山东各地区农村居民的消费结构进行统计分析；然后在将山东省农村各地区分为四类的基础上，分析比较各类地区消费结构的差异及其成因；最后就如何促进山东农村居民合理消费，以此拉动山东农村经济的发展，提出相应的建议．