您的位置： 专家智库 > >

丁佐华

作品数：33 被引量：48H指数：4
供职机构：浙江理工大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 19个自动化与计算...
  • 7个文化科学
  • 7个理学
  • 5个经济管理
  • 5个电子电信
  • 4个轻工技术与工...
  • 3个交通运输工程
  • 2个机械工程
  • 2个医药卫生
  • 2个社会学
  • 2个艺术
  • 1个建筑科学
  • 1个农业科学
  • 1个一般工业技术
  • 1个自然科学总论

主题

  • 8个软件测试
  • 8个网络
  • 8个测试用例
  • 7个微分
  • 7个微分方程
  • 7个PETRI网
  • 6个形式化
  • 5个形式化方法
  • 5个软件系统
  • 5个图像
  • 5个组件
  • 5个连续PETR...
  • 4个信号
  • 4个一致性
  • 4个架构
  • 3个实时系统
  • 2个代码
  • 2个调度
  • 2个动力学
  • 2个信道

机构

  • 16个浙江理工大学
  • 2个华东师范大学
  • 1个北京大学
  • 1个无锡科技职业...
  • 1个上海电力学院
  • 1个教育部
  • 1个浙江大学
  • 1个上海大学
  • 1个浙江工程学院
  • 1个浙江丝绸工学...

资助

  • 13个国家自然科学...
  • 6个浙江省自然科...
  • 5个国家高技术研...
  • 2个浙江省教育厅...
  • 2个国家科技重大...
  • 2个全国教育科学...
  • 2个浙江省“钱江...
  • 1个国家重点基础...
  • 1个江苏省自然科...
  • 1个上海市自然科...
  • 1个浙江省科技攻...
  • 1个国家教育部“...
  • 1个浙江省重大科...
  • 1个广西壮族自治...
  • 1个浙江省科技计...
  • 1个江苏省“六大...
  • 1个浙江省新世纪...
  • 1个长江学者和创...
  • 1个创新研究群体...
  • 1个广西省自然科...

传媒

  • 10个浙江理工大学...
  • 6个计算机工程与...
  • 5个软件学报
  • 5个计算机工程与...
  • 4个计算机学报
  • 3个纺织学报
  • 2个计算机研究与...
  • 2个工业控制计算...
  • 2个计算机时代
  • 2个计算机工程
  • 2个计算机应用
  • 2个计算机应用研...
  • 2个计算机系统应...
  • 2个光通信技术
  • 2个计算机科学
  • 2个计算机教育
  • 2个智能计算机与...
  • 2个软件工程与应...
  • 2个2010 I...
  • 2个2011 A...

地区

  • 14个浙江省
  • 2个上海市
  • 1个江苏省
共 19 条 记 录，以下是 1-10
胡觉亮
供职机构：浙江理工大学
研究主题：服装 服装生产流水线 服装供应链 闭环供应链 供应链
发表作品相关人物供职机构所获资助研究领域
章靠
供职机构：浙江理工大学
研究主题：软件测试 并发程序 事件图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
韩维
供职机构：浙江理工大学科学计算与软件工程实验室
研究主题：遗产系统 MARKOV模型 A/S WEB PIN
发表作品相关人物供职机构所获资助研究领域
周远
供职机构：浙江理工大学
研究主题：频谱 形式化建模 PETRI网 高中数学课程 衔接问题
发表作品相关人物供职机构所获资助研究领域
江明月
供职机构：浙江理工大学
研究主题：A/S PIN 安全协议 线性时序逻辑 PRO
发表作品相关人物供职机构所获资助研究领域
吴正志
供职机构：浙江理工大学
研究主题：性能分析 连续PETRI网 常微分方程 微分方程 城市交通
发表作品相关人物供职机构所获资助研究领域
林红昌
供职机构：浙江理工大学
研究主题：PETRI网 基于UML 测试用例 ISG 可行性
发表作品相关人物供职机构所获资助研究领域
杨晓燕
供职机构：浙江理工大学
研究主题：频谱 自适应算法 购物系统 组件 自适应机制
发表作品相关人物供职机构所获资助研究领域
张娟
供职机构：浙江理工大学理学院
研究主题：WNT5A NRTI 信号通路调控 信号通路 小脑
发表作品相关人物供职机构所获资助研究领域
李晓雪
供职机构：浙江理工大学科学计算与软件工程实验室
研究主题：程序不变量 测试用例集
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0