您的位置： 专家智库 > >

裘宗燕

作品数：20 被引量：66H指数：5
供职机构：北京大学数学科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学理学更多>>

合作作者

领域

  • 9个自动化与计算...
  • 3个文化科学
  • 2个电子电信
  • 1个经济管理
  • 1个理学
  • 1个兵器科学与技...

主题

  • 7个形式化
  • 7个形式化方法
  • 4个软件开发
  • 4个网络
  • 4个逻辑系统
  • 3个形式化验证
  • 3个形式化验证方...
  • 3个软件结构
  • 3个自动生成
  • 2个英文
  • 2个硬件
  • 2个语言
  • 2个知识
  • 2个中间件
  • 2个软件开发方法
  • 2个设计方法
  • 2个设计语言
  • 2个神经网
  • 2个神经网络
  • 2个状态机

机构

  • 5个北京大学
  • 3个北京京航计算...
  • 1个哈尔滨工业大...
  • 1个华东师范大学
  • 1个吉林大学
  • 1个河南大学
  • 1个北京工业大学

资助

  • 6个国家自然科学...
  • 2个国家高技术研...
  • 1个北京市自然科...
  • 1个高等学校骨干...
  • 1个河南省教育厅...
  • 1个河南省科技攻...
  • 1个中国博士后科...
  • 1个河南省基础与...
  • 1个北京市教育委...
  • 1个国家教育部博...
  • 1个上海市科学技...

传媒

  • 8个北京大学学报...
  • 3个计算机研究与...
  • 3个软件学报
  • 3个计算机科学
  • 2个计算机学报
  • 2个软件导刊
  • 1个传感器世界
  • 1个吉林大学自然...
  • 1个中国大学教学
  • 1个北京工业大学...
  • 1个河南大学学报...
  • 1个计算机工程与...
  • 1个计算机应用与...
  • 1个微电子学与计...
  • 1个计算机应用
  • 1个小型微型计算...
  • 1个测控技术
  • 1个中国科学（E...
  • 1个计算机仿真
  • 1个传感技术学报

地区

  • 8个北京市
  • 1个河南省
共 9 条 记 录，以下是 1-9
杨红丽
供职机构：北京工业大学
研究主题：XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品相关人物供职机构所获资助研究领域
张乃孝
供职机构：北京大学数学科学学院
研究主题：程序设计语言 程序语言 程序设计 数据结构 语言
发表作品相关人物供职机构所获资助研究领域
魏晋伟
供职机构：北京大学数学科学学院信息科学系
研究主题：公钥加密 门禁系统 门禁 系统模型 群签名
发表作品相关人物供职机构所获资助研究领域
于林宇
供职机构：北京京航计算通讯研究所
研究主题：测试装置 工业数据采集 换向开关 可移植性 现场测试
发表作品相关人物供职机构所获资助研究领域
王颖
供职机构：北京京航计算通讯研究所
研究主题：形式化验证方法 形式化方法 基于逻辑 逻辑系统
发表作品相关人物供职机构所获资助研究领域
郑红军
供职机构：北京大学数学科学学院信息科学系
研究主题：程序设计语言 GARMENT 部分求值技术 部分求值 软件自动生成
发表作品相关人物供职机构所获资助研究领域
陈钢
供职机构：北京京航计算通讯研究所
研究主题：处理器 程序块 变址寄存器 加密解密 解密技术
发表作品相关人物供职机构所获资助研究领域
陈丹敏
供职机构：河南大学
研究主题：B方法 软件设计 移动学习模式 网络技术 教学设计
发表作品相关人物供职机构所获资助研究领域
孙猛
供职机构：北京大学
研究主题：UML RSL 形式化 MEDIATOR CSP
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0