搜索结果: 1-5 共查到“知识要闻 计算机科学技术 高可信”相关记录5条 . 查询时间(0.021 秒)
生命体是一个以生物大分子为材料构成的人类已知的最智慧的信息处理“机器”。所以,人类近几十年来,意在用生物材料研发信息处理的计算机,称为生物计算机。当前的生物计算机主要集中于DNA计算机的理论、实现技术与方法展开研发。
863信息技术领域“新一代高可信网络”课题开始申请
863 信息技术 新一代高可信网络
2009/7/5
863信息技术领域“高可信软件”重点项目课题开始申请
863信息技术;高可信软件
2009/4/15
北京大学高可信软件技术教育部重点实验室通过专家验收
北京大学高可信软件技术教育部重点实验室 验收
2008/12/15
2008年12月10日,教育部科技司组织专家对北京大学高可信软件技术教育部重点实验室建设项目进行了验收,专家组由来自国内其他高校和中科院研究所的7位专家组成,中国科学院软件所周巢尘院士任专家组组长。北京大学常务副校长林建华,信息学院杨芙清院士,科学研究部部长周辉、副部长吴朝东及基地建设办公室成员参加了验收会。验收会由教育部科技司基础李渝红处长主持。