共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
9.
<正>2012年,中国科学院系统控制重点实验室(以下简称"控制室")迎来建室50周年.控制室的前身是1962年3月成立于中国科学院数学研究所的控制理论研究室,是我国最早从事现代控制理论研究的单位.50年来,控制室见证了我国现代控制理论的发展历程.控制室成立之初目标就很明确:发展控制理论,并为我国的国防现代化和国民经济建设服务.50年来,在关肇直、宋健、陈翰馥、郭雷等前后几代领导带领下,控制室在控制理论基础研究 相似文献
10.
近日,国际模糊系统协会(IFSA)会刊《Fuzzy Sets and Systems》出版专刊(第182卷第1期,70th Anniversary of Yingming Liu)庆祝四川大学刘应明院士70华诞。刘应明院士1963年从北京大学数学力学系毕业后一直在四川大学数学学院工作。现为教育部985工程第三期平台--长江数学中心首席科学家。刘应明院士从事拓扑学和模糊数学等领域的研究工作,具有广泛的国际影响力。特别地,他对推动模糊数学在国内、国外的发展做出了重要贡献。1984年,他在美国夏威夷参加模糊系统与信息处理的国际学术团体--IFSA的筹建,并在1985年参 相似文献
11.
12.
13.
14.
15.
17.
18.
19.
本文先从软件工程的角度,探讨验证数据库说明的重要性.然后提出一种数据库说明的时序语言.一个数据库说明由静态约束、时序约束和操作描述组成.数据库是一个动态物体.它的演变是由操作序列建立的.本文介绍一种验证数据库说明的形式方法.该方法检查静态约束是否是协调的;操作描述的实现是否可在合法的数据库状态中应用,导致合法状态并且没有不良效应;最后,它检查容许操作序列都满足所有的时序约束. 相似文献
20.
1997年高考数学试题说明晨旭命题指导思想1997年命题的工作基础:1996年的命题工作总结,评价报告,统计数据,命题组对全卷和各题的难度预测值与统计值比较,1997年新版的《考试说明》.1997年高考数学科《考试说明》在两处进行了重要的修订:其一明... 相似文献