界函数相关论文
近15年来，我国的医院建设经历了三个很有特点的阶段：”十五”期间．遭遇了SARS的挑战，促进我国医院建筑建设的数量与规模扩大．“十一五”......
针对一类不确定性不满足匹配条件的线性系统, 利用Lyapunov方程和不确定项的范数界,分别设计了具有可调参数的鲁棒线性状态和输出......
介绍了 Dijkstra 的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再......
