您的位置: 专家智库 > >

国家杰出青年科学基金(60225012)

作品数:9 被引量:22H指数:3
相关作者:傅育熙顾永跟董笑菊钟发荣朱涵更多>>
相关机构:上海交通大学湖州师范学院浙江师范大学更多>>
发文基金:国家杰出青年科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术理学语言文字更多>>

领域

  • 12个自动化与计算...
  • 8个理学
  • 6个文化科学
  • 3个电子电信
  • 2个经济管理
  • 2个医药卫生
  • 2个语言文字
  • 2个自然科学总论
  • 1个机械工程
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个政治法律

主题

  • 11个形式化
  • 9个网络
  • 6个形式化方法
  • 5个形式化分析
  • 5个匿名
  • 4个形式化研究
  • 4个应用软件
  • 4个语义
  • 3个代理
  • 3个形式化验证
  • 3个生物模型
  • 2个等价
  • 2个电池
  • 2个电力
  • 2个电子商务
  • 2个电子支付
  • 2个电子支付协议
  • 2个异常检测
  • 2个硬件
  • 2个硬件设计

机构

  • 11个上海交通大学
  • 2个浙江师范大学
  • 1个华东理工大学
  • 1个湖州师范学院

资助

  • 12个国家杰出青年...
  • 9个国家自然科学...
  • 8个国家重点基础...
  • 4个浙江省科技计...
  • 4个国家教育部博...
  • 2个国家高技术研...
  • 2个上海市自然科...
  • 2个浙江省自然科...
  • 2个湖州市自然科...
  • 1个高等学校骨干...
  • 1个教育部“优秀...
  • 1个浙江省教育厅...
  • 1个浙江省新世纪...
  • 1个国家部委预研...
  • 1个湖州市科技攻...
  • 1个湖州市科技计...
  • 1个上海市教育发...
  • 1个上海市科学技...
  • 1个上海市科学技...
  • 1个新世纪高等教...

传媒

  • 9个上海交通大学...
  • 6个计算机工程
  • 6个计算机科学
  • 5个计算机研究与...
  • 5个计算机学报
  • 5个软件学报
  • 4个计算机应用研...
  • 4个2005年全...
  • 3个计算机工程与...
  • 3个计算机应用与...
  • 3个计算机应用
  • 2个微电子学与计...
  • 2个计算机仿真
  • 2个浙江师大学报...
  • 2个浙江师范大学...
  • 2个计算机教育
  • 2个2006年全...
  • 2个浙江省高校计...
  • 1个电信科学
  • 1个中国大学教学

地区

  • 9个上海市
  • 3个浙江省
12 条 记 录,以下是 1-10
傅育熙
供职机构:上海交通大学电子信息与电气工程学院软件学院
研究主题:进程代数 互模拟 并发计算 Π-演算 元模型
发表作品相关人物供职机构所获资助研究领域
顾永跟
供职机构:湖州师范学院信息与工程学院
研究主题:安全协议 云计算 激励机制 区块链 指纹匹配
发表作品相关人物供职机构所获资助研究领域
董笑菊
供职机构:上海交通大学
研究主题:互模拟 进程代数 P系统 可视化 网络异常
发表作品相关人物供职机构所获资助研究领域
钟发荣
供职机构:浙江师范大学数理与信息工程学院
研究主题:网络可靠度 可靠性分析 进程代数 BDD 网络
发表作品相关人物供职机构所获资助研究领域
董驻鹏
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:生物模型 DNA计算机 形式化方法 Π-演算 形式化研究
发表作品相关人物供职机构所获资助研究领域
李国强
供职机构:上海交通大学
研究主题:形式化研究 PETRI网 形式化验证 SPI演算 非交互式
发表作品相关人物供职机构所获资助研究领域
宋琳
供职机构:上海交通大学
研究主题:公共服务视角 新社会阶层 自由择业知识分子 信息融合 卡尔曼滤波
发表作品相关人物供职机构所获资助研究领域
陈建明
供职机构:浙江师范大学数理与信息工程学院
研究主题:信息技术 PBIL算法 K-匿名 泄密风险 数据可用性
发表作品相关人物供职机构所获资助研究领域
倪佳华
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:DNA计算机 形式化方法 生物模型
发表作品相关人物供职机构所获资助研究领域
徐贤
供职机构:华东理工大学信息科学与工程学院计算机科学与工程系
研究主题:PKG 信任 基于身份 可证安全 门限密码体制
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0