您的位置: 专家智库 > >

韩维

作品数:11 被引量:0H指数:0
供职机构:浙江理工大学科学计算与软件工程实验室更多>>
发文基金:浙江省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

领域

  • 5个自动化与计算...
  • 4个理学

主题

  • 5个微分
  • 5个微分方程
  • 5个PETRI网
  • 4个自适
  • 4个自适应
  • 3个动态自适应
  • 3个性能分析
  • 3个模糊规则
  • 3个模糊控制
  • 3个模糊微分方程
  • 2个移动AGEN...
  • 2个软件测试
  • 2个时序逻辑
  • 2个死锁
  • 2个死锁检测
  • 2个牛顿-莱布尼...
  • 2个组件
  • 2个网络
  • 2个线性时序逻辑
  • 2个连续PETR...

机构

  • 7个浙江理工大学
  • 1个宁波大学
  • 1个陕西师范大学

资助

  • 6个浙江省自然科...
  • 4个国家自然科学...
  • 1个国家高技术研...
  • 1个陕西省自然科...

传媒

  • 5个2010 I...
  • 5个2011 A...
  • 3个工业控制计算...
  • 3个浙江理工大学...
  • 2个计算机学报
  • 1个模糊系统与数...
  • 1个数学学报(中...
  • 1个软件学报
  • 1个计算机辅助设...
  • 1个计算机工程与...
  • 1个工程数学学报
  • 1个四川大学学报...
  • 1个计算机工程与...
  • 1个纯粹数学与应...
  • 1个计算机科学
  • 1个陕西师大学报...
  • 1个咸阳师范学院...
  • 1个软件工程与应...
  • 1个第四届中国软...
  • 1个2010 T...

地区

  • 6个浙江省
7 条 记 录,以下是 1-7
丁佐华
供职机构:浙江理工大学
研究主题:软件测试 频谱 测试用例 PETRI网 连续PETRI网
发表作品相关人物供职机构所获资助研究领域
江明月
供职机构:浙江理工大学
研究主题:A/S PIN 安全协议 线性时序逻辑 PRO
发表作品相关人物供职机构所获资助研究领域
刘忠山
供职机构:浙江理工大学
研究主题:WEB服务组合 遗产系统 性能分析 用例模型 模糊控制
发表作品相关人物供职机构所获资助研究领域
谭娟
供职机构:浙江理工大学
研究主题:可达性 自动机 时钟 时间自动机 PETRI网
发表作品相关人物供职机构所获资助研究领域
刘凤丽
供职机构:浙江理工大学信息电子学院
研究主题:PETRI网 A/S WEB服务组合 PIN 安全协议
发表作品相关人物供职机构所获资助研究领域
吴丹
供职机构:浙江理工大学科学计算与软件工程实验室
研究主题:初始值问题 模糊微分方程 牛顿-莱布尼茨公式
发表作品相关人物供职机构所获资助研究领域
樊太和
供职机构:浙江理工大学理学院数学科学系
研究主题:模糊数 英文 模糊数空间 拓扑 完全分配格
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0