对称奇异线性方程组极小范数解的迭代法

给出了求对称奇异线性方程组Ａｘ＝ｂ极小范数解的迭代算法，其迭代公式为此处／为秩是，ｒ（ｒ＜ｎ）的ｎ阶实对称矩阵，Ｅ为ｎ阶单位阵，ｂ为ｎ维列向量，ｍ为正整数，ε为正实数。证明了这类选代算法的收敛性，讨论了它的事先误差估计式和事后误差估计式。作为应用，给出了求超定线性方程组极小最小二乘解的迭代算法、特征向量导数计算的迭代算法和对于病态正定线性方程组。本文的选代算法可改善病态条件，算例表明也是有效的。     

一类非线性椭圆型方程非平凡解和分歧点的存在性

本文给出了所谓集中到列紧原理的另一形式,并利用它讨论了一类非线性椭圆型方程广义银和分歧点的顾在性。     

基于FMECA信息的测试性验证试验样本分配方法

针对目前国内外测试性验证试验中普遍采用的基于故障率的分层抽样方法考虑因素单一,可能导致样本分配不尽合理,而现有考虑多因素的样本分配方法代表性不足,难以实现工程上的应用的问题,对影响样本分配的因素与故障模式影响及危害性分析(FMECA)信息的关系进行了详细分析,提出了基于FMECA信息的样本分配方法。首先定义了单元影响系数和影响因子向量,提出了向量各元素赋值规则,解决了影响因素选取的问题;其次通过基于逼近理想解排序法(TOPSIS)优化的层次分析法确定了权值矩阵,实现了样本分配。最后通过实例验证表明该方法考虑因素全面,运用灵活,更具代表性和工程应用价值。     

Lyapunov矩阵方程的一种数值解法及部分并行处理

本文设计了求解Lyapunov矩阵方程的一种新方法。所考虑的矩阵方程是 AX—XB=C(1)其中A,B,C分别是m×m,n×n和m×n的已知矩阵。 该方法首先是将系数矩阵A,B初等相似约化为三对角矩阵,即存在可逆矩阵U,V,使U~(-1)AU=A,V~(-1)BV=B,其中A,B为三对角矩阵。然后设计了矩阵方程AY—YB=C的公式解法,分三步: 1)求f(λ)=det(λI—A)的λ各次幂的系数a_0,…,a_m; 2)计算sum from i=1 to m (A_(m-i)-CB~(m-i)),f(B); 3)求解Y。解方程AY—YB=C的方法称为THR算法。 最后经逆变换获得原矩阵方程(1)的解X。 求解矩阵方程(1)的方法称为R—THR算法。该方法的计算量约为m~3+4/3n~3+7m~2n+5nm~2+m~2。 本文给出了R—THR的串行计算的数值例子,并给出了THR算法的并行计算格式。最后通过几种数值方法的比较,表明该方法是可行的,也是有效的。     

中国上市公司收入分配与所有权结构的实证分析

从公司收入分配角度研究不同所有权性质公司的企业利益和员工利益,研究发现不同所有权结构的企业生产效率差异不大,私有企业的企业利益优于国有企业,国有相对控股企业和私有相对控股企业的企业利益与员工利益相对较好,混合制企业的生产效率可能较低,企业利益与员工利益也相对较差.没有发现支持国有控股企业有大量冗员的证据,国企改革取得部分成功.     

信息分类代码的数据库形式标准研究初探

阐述了数据库形式标准的内涵,介绍了国内外数据库形式标准现状并归纳其特点,分析了信息分类代码标准采用数据库形式标准的可行性,并对数据库形式信息分类代码标准的制定和使用进行了初步探讨.最后,提出了开展数据库形式信息分类代码标准试点工作的建议.     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于TOPSIS算法的空间快速响应发射方案评估

针对空间快速响应发射方案评估优选问题,通过分析空间快速响应发射任务规划过程得到发射方案组成要素,在此基础上构建了三级评估指标体系;综合考虑专家主观喜好和客观事实,同时为了有效避免个别专家个性意愿对于权重分配的影响,采用信息熵权法和群决策层次分析法相组合的方式完成了指标赋权;针对方案指标数据的多样性,通过逼近理想解排序法对方案进行了综合评估及优选排序.典型算例证明了该方法的科学性和实用性,可为空间快速响应发射方案评估优选提供理论支撑.     

注意正确使用百分点

"百分点"这个数学基础概念的使用现在越来越多,但不少媒体用错了。例如"2007年XX产量为100万吨,2008年达112万吨,增加了12百分点"的表达有误,应该用百分数表示,即"增加了12%"。百分点只用于比较采用百分数形式表示的数值的增减,例如个人存款的年利率从3.25%降至2.25%,