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

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