您的位置： 专家智库 > >

张晋津

作品数：15 被引量：5H指数：1
供职机构：南京审计大学更多>>
发文基金：国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
相关领域：自动化与计算机技术理学文化科学更多>>

合作作者

领域

  • 5个自动化与计算...
  • 2个交通运输工程
  • 1个化学工程
  • 1个机械工程
  • 1个建筑科学
  • 1个航空宇航科学...
  • 1个文化科学
  • 1个理学

主题

  • 4个等价
  • 4个互模拟
  • 3个形式化
  • 3个模态逻辑
  • 3个精化
  • 2个等价关系
  • 2个递归
  • 2个递归算子
  • 2个形式化设计
  • 2个语义
  • 2个时序逻辑
  • 2个算子
  • 2个逻辑
  • 2个进程代数
  • 2个控制系统
  • 1个等价性
  • 1个低浓度
  • 1个低温低浊
  • 1个低浊
  • 1个地理信息

机构

  • 5个南京航空航天...
  • 1个滨州医学院
  • 1个南京大学
  • 1个中国海洋大学
  • 1个太原市黄河供...

资助

  • 5个国家自然科学...
  • 5个江苏省高校自...
  • 2个江苏省自然科...
  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个霍英东教育基...
  • 1个江苏省青年科...
  • 1个山东省自然科...
  • 1个江苏省教育厅...
  • 1个国家教育部博...
  • 1个全国农业职业...
  • 1个中国航空科学...
  • 1个中央高校基本...

传媒

  • 3个电子世界
  • 2个计算机工程与...
  • 2个控制理论与应...
  • 2个计算机技术与...
  • 1个科学通报
  • 1个山西科技
  • 1个给水排水
  • 1个南京航空航天...
  • 1个计算机学报
  • 1个华中科技大学...
  • 1个计算机应用研...
  • 1个软件学报
  • 1个计算机工程与...
  • 1个中国科学（E...
  • 1个青海大学学报...
  • 1个解放军理工大...
  • 1个航空计算技术
  • 1个哈尔滨工程大...
  • 1个青岛大学学报...
  • 1个青岛大学学报...

地区

  • 5个江苏省
共 5 条 记 录，以下是 1-5
邓鹏辉
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：进程代数 CLT T-TEST MUS MAY
发表作品相关人物供职机构所获资助研究领域
施晓静
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：N- 互模拟 精化 模态逻辑 聚类
发表作品相关人物供职机构所获资助研究领域
朱朝晖
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：人工智能 常识推理 情境演算 表示定理 UML
发表作品相关人物供职机构所获资助研究领域
邢惠丽
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：帆船 帆船比赛 路径规划 区段 信息安全
发表作品相关人物供职机构所获资助研究领域
张严
供职机构：南京航空航天大学
研究主题：飞机 机轮 地面滑行 互模拟 变速箱
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0