非淡泊无以明志非宁静无以致远--华东师范大学郁文生教授  

作　　者：王涛 

出　　处：《科技成果管理与研究》2014年第4期9-10,共2页Management And Research On Scientific & Technological Achievements

摘　　要：一、系统鲁棒严格正实综合 系统传递函数“严格正实”的概念源于控制理论的多个领域，给出系数空间中传递函数鲁棒严格正实域的刻画是Huang和Hollot等人1990年提出的尚未解决的问题，而传递函数的鲁棒严格正实综合，也是控制理论中有挑战性的研究问题，其本质上可化为一些非线性代数方程组或不等式组的求解问题，而这正是数学上古老而又富有勃勃生机的内容之一。新近数学定理机器证明理论的发展，特别是多项式完全判别系统的建立，为这一古老问题注入了新的活力。

关 键 词：华东师范大学 完全判别系统 非线性代数方程组 严格正实 宁静 传递函数 控制理论 数学定理 

分 类 号：O174.5[理学—数学]