论文部分内容阅读
改正了Ｆｌｅｔｃｈｅｒ［１］关于对称矩阵特征值之和的次梯度计算公式的错误，并讨论了一类次梯度集的一些几何特性。
关于对称矩阵特征值之和的次梯度计算
【摘 要】
：
改正了Ｆｌｅｔｃｈｅｒ［１］关于对称矩阵特征值之和的次梯度计算公式的错误，并讨论了一类次梯度集的一些几何特性。
【机 构】
：
福州大学计算机科学与技术系
【出 处】
：
福州大学学报：自然科学版
【发表日期】
：
1994年6期
【基金项目】
：
国家教委留学回国人员资助
其他文献
达到性成熟的繁殖母兔为确保繁殖效果常进行发情鉴定,常用方法有：行为观察法：处于发情期的母兔常表现精神不安,食欲减少,躁动,用下颌摩擦餐具,并有叼草筑窝和隔笼观望等行为;非
目的 提高 PCB 的检测和故障诊断能力， 从而提高 PCB 的维修性. 方法 结构标准化和应用新的可测性设计. 结果 PCB 的测试检测能力显著提高. 结论 可测 性设计是提高 PCB 测试
通过测定人血清脱铁转铁蛋白C-端结合部位结合铽（Ⅲ）荧光强度随时间的变化，在0.1 mol/L Hepes、pH7.4及室温下观察了柠檬酸对人血清脱铁转铁蛋白结合铽（Ⅲ）的脱除。结果表明，低柠檬
考虑了横向剪切力和切向位移的影响，给出任意长圆柱壳在动荷载下的非线性稳定性方程，采用小扰动法级数展开，通过Ｌａｐｌａｃｅ变换求解，利用边界条件得出移动环荷载下的临界荷载。
先引入半群Ｓ上的Ｌ－Ｆｕｚｚｙ同余关系的概念，进而讨论Ｌ－Ｆｕｚｚｙ同余关系的几个基本性质，然后证明半群Ｓ上的所有Ｌ－Ｆｕｚｚｙ同余关系作成一个格，同时证明群Ｇ上所有Ｌ－Ｆｕｚｚｙ同余关系作成一个模格．
目前对糖尿病的治疗主要有饮食控制或运动,口服降糖药(2型糖尿病)和注射胰岛素.90年代以来确立的治疗目标为:(1)血糖的精确控制.糖尿病控制和并发症研究(DCCT)及英国前瞻性糖
在磷酸介质中，以溴酸钾氧化结晶紫褪色为指示反应，建立了测定亚硝酸根的流动注射催化光度法。检测的线性范围在5～100μg/L。
在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指