论文部分内容阅读
软件开发的面向对象分析及形式描述
【机 构】
：
兰州大学
【出 处】
：
兰州大学
【发表日期】
：
1995年期
其他文献
博ⅢA是广西博白农业科学研究所选育的三系不育系,开花习性好,异交结实率高。多年生产实践表明,博ⅢA最佳抽穗扬花期要求温度在28～32℃、湿度在80%～85%。总结了培育分蘖壮秧、
罚函数方法是用于求解非线性约束优化问题的一类重要方法.它们将约束优化问题转化为无约束优化问题求解，从而使得求解过程变得简单有效.因此，罚函数法一直是数学规划领域的一个
本文主要讨论了神经网络模型的指数稳定性,全局指数稳定性以及全局鲁棒指数稳定性,全文分为三章.第一章中,利用拓扑学上的同胚理论,线性矩阵不等式(LMI)以及Laypunov-Krasovs
成办函[2015]167号各区(市)县政府,市政府各部门,有关单位:《成都建设具有国际影响力购物天堂行动计划》已经市政府同意,现印发你们,请认真组织实施。2015年10月24日成都建设
20世纪50年代出现的广义函数，使偏微分方程理论得到了迅速发展.从80年代开始，出于对不同问题的需要，J.Bonet，R.W.Broun，R.Meise，D.Voge，B.A.Taylor等引入了Beurling型超可微函数空间
在工程与科学计算中经常遇到奇异问题,例如力学中断裂问题,热力学中不连续传热系数问题,油藏工程中注水驱油问题等.由于奇点污染,使常用的计算方法精度大为降低.为了改进奇异