位置：立项数据库 > 立项详情页
　海量信息的协同性和可生存性的理论与实践研究
  • 项目名称：　海量信息的协同性和可生存性的理论与实践研究
  • 批准号：2005CB321900
  • 项目来源：国家重点基础研究发展计划（973计划）2005－2006年项目
  • 研究期限：2005-07-
  • 项目负责人：李未
  • 依托单位：北京航空航天大学
  • 批准年度：2005
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 4
  • 0
  • 0
  • 0
  • 0
期刊论文
有界模型检测同步多智体系统的时态认知逻辑
一种改进的基于规则的带权模糊推理算法
Quantum software framework： a tentative study
相对时钟倾斜的相干检测算法
李未的项目
软件生产自动化中的新理论和新方法研究
期刊论文 28
互联网网络行为的物理学测量和分析研究
期刊论文 2 会议论文 4
开放计算的验证和优化
面向移动计算设备的蜂窝数据通讯技术
期刊论文 2
高速网络环境下典型示范系统及其关键技术
期刊论文 4
移动IP无缝切换技术研究
期刊论文 11 会议论文 9
亚洲程序设计语言与系统研讨会
类型理论及类型语言研究
程序规范的形成理论和技术
　国家科技基础条件平台门户应用系统
期刊论文 10
基于Internet网的智能信息服务系统原型的研究
开放逻辑及认识进程研究
开放计算与开放逻辑——亚洲软件基础研讨会2002