您的位置： 专家智库 > >

陈志东

作品数：12 被引量：27H指数：1
供职机构：北京航空航天大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 5个自动化与计算...
  • 2个电子电信
  • 1个经济管理
  • 1个天文地球
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个一般工业技术
  • 1个政治法律
  • 1个文化科学
  • 1个理学
  • 1个兵器科学与技...

主题

  • 5个私有
  • 4个代码
  • 4个交易
  • 3个代码执行
  • 3个动态模型
  • 3个形式化
  • 3个形式化方法
  • 3个形式化验证
  • 3个形式化验证方...
  • 3个用户
  • 3个用户界面
  • 3个元组
  • 3个三元组
  • 3个区块
  • 3个状态机
  • 3个自动生成
  • 3个文档
  • 3个链系统
  • 2个形式化建模
  • 2个形式化建模与...

机构

  • 4个北京航空航天...
  • 1个西安理工大学
  • 1个北京中电普华...

资助

  • 5个国家自然科学...
  • 3个国家重点实验...
  • 1个国家高技术研...
  • 1个国家科技支撑...
  • 1个国家重点基础...
  • 1个江苏省自然科...
  • 1个中国博士后科...
  • 1个国家电网公司...
  • 1个辽宁省博士科...
  • 1个香港特区政府...
  • 1个中国航空科学...
  • 1个中央高校基本...

传媒

  • 5个信息安全研究
  • 2个计算机研究与...
  • 1个电子测量技术
  • 1个电信科学
  • 1个物理学报
  • 1个电子世界
  • 1个大众用电
  • 1个计算机工程
  • 1个电气自动化
  • 1个微电子学与计...
  • 1个小型微型计算...
  • 1个软件学报
  • 1个计算机工程与...
  • 1个系统仿真学报
  • 1个计算机工程与...
  • 1个计算机与数字...
  • 1个航空兵器
  • 1个北京航空航天...
  • 1个飞行器测控学...
  • 1个计算机科学

地区

  • 5个北京市
共 5 条 记 录，以下是 1-5
胡凯
供职机构：北京航空航天大学
研究主题：合约 链系统 区块链 交易 架构
发表作品相关人物供职机构所获资助研究领域
白晓敏
供职机构：北京航空航天大学
研究主题：合约 私有 区块链 状态机 形式化建模与验证
发表作品相关人物供职机构所获资助研究领域
黄洁华
供职机构：北京航空航天大学
研究主题：合约 交易 私有 区块链 状态机
发表作品相关人物供职机构所获资助研究领域
董爱强
供职机构：北京中电普华信息技术有限公司
研究主题：架构 服务请求 投票 体式 存储介质
发表作品相关人物供职机构所获资助研究领域
孙赫
供职机构：北京航空航天大学计算机学院
研究主题：P2P 架构 私有 双链 区块链
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0