奇异矩阵的Krylov方法的误差分析比较

Krylov方法是求解线性方程组Ax=b,A∈CN×N,b∈CN的一种迭代方法,当A非奇异时,已有很好研究.而当A奇异或接近奇异阵时,在一定的假定条件下,Krylov方法的解与范教最小的最小二乘解A+b之间的差是可以估计出来的.     

一类下级有穷的拟素整函数

证明了对有穷级整函数,若Julia方向总数有穷,且有一个有穷亏值,则能找到一个角形域,使该函数在此角形域内有界。并以此结论证明了该函数是拟素的。     

水溶液中合成羟基磷灰石的实验研究

羟基磷灰石是一种生物活性陶瓷材料 ,为目前齿科和骨科所喜用的替代材料。本文在热力学基础上 ,采用中和反应和复反应制备HA ,并分析讨论温度、PH值、加料方式、加料速率及超声波等因素对合成HA的影响。制得样品均用化学分析法测定Ca P值 ,部分采用X射线衍射法 (XRD)和电镜照相 (SEM)来鉴定样品HA的纯度     

武汉机场飞行区土方调配大系统优化方案研究

武汉机场是国家重点建设项目。本文提出了机场飞行区土方工程的最优调配问题。它是一个规模庞大的大系统最优规划, 变量多达一千四百九十六个, 一般计算机容量已不够。为此, 在工民建施工领域首次提出了大系统土方调配优化数学模型进行优化, 得出的优化方案可节约经费1073441.29元。所建立的大系统土方调配优化数学模型对工民建等大型土方调配优化有普遍的应用价值。     

关于局部极值与最值问题的注记

本文讨论了极值的局部性，局部极值与最值的关系，以及解应用题时取最值问题的判断。     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

多自由度系统振动的Barnett-Lothe矩阵

利用Stroh理论的本征方程与多自由度振动的方程非常相似特点,将Stroh理论推广到多自由度系统振动的分析研究中,获得多自由度振动的Barnett-Lothe矩阵及Barnett-Lothe积分公式,避免了求解特征值和特征向量的麻烦。     

关于一个特征值猜测的注记

给出一个特征值猜测的反例并得到该猜测成立的充要条件，改进了一个关于矩阵数值范围的定理。