您的位置： 专家智库 > >

国家自然科学基金(61210004)

作品数：7 被引量：6H指数：1
相关作者：丁佐华江明月蒲戈光张娜韩维更多>>
相关机构：浙江理工大学华东师范大学联合国大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

领域

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

主题

  • 6个微分
  • 6个微分方程
  • 6个测试用例
  • 5个软件测试
  • 5个网络
  • 4个用户
  • 4个向量
  • 4个PETRI网
  • 3个牛顿-莱布尼...
  • 3个模糊微分方程
  • 3个莱布尼茨
  • 2个代码
  • 2个调度
  • 2个源代码
  • 2个时间自动机
  • 2个时序逻辑
  • 2个死锁
  • 2个死锁检测
  • 2个组件
  • 2个线性时序逻辑

机构

  • 8个浙江理工大学
  • 1个北京大学
  • 1个华东师范大学
  • 1个宁波大学
  • 1个浙江工程学院
  • 1个陕西师范大学
  • 1个浙江丝绸工学...

资助

  • 9个国家自然科学...
  • 6个浙江省自然科...
  • 2个国家高技术研...
  • 2个浙江省教育厅...
  • 2个浙江省“钱江...
  • 1个浙江省科技攻...
  • 1个浙江省重大科...
  • 1个广西壮族自治...
  • 1个浙江省科技计...
  • 1个浙江省新世纪...
  • 1个长江学者和创...
  • 1个创新研究群体...
  • 1个广西省自然科...
  • 1个国家级大学生...
  • 1个全国教育科学...
  • 1个陕西省自然科...
  • 1个四川省科技计...
  • 1个先进纺织材料...
  • 1个浙江省高等学...
  • 1个浙江省公益性...

传媒

  • 7个浙江理工大学...
  • 4个计算机学报
  • 3个软件学报
  • 3个计算机工程与...
  • 3个计算机工程与...
  • 3个2010 I...
  • 3个2011 A...
  • 2个计算机研究与...
  • 2个浙江大学学报...
  • 2个纺织学报
  • 2个计算机应用研...
  • 2个工程数学学报
  • 2个计算机科学
  • 2个软件工程
  • 2个2010 T...
  • 2个2011 I...
  • 1个计算机集成制...
  • 1个中国职业技术...
  • 1个华东师范大学...
  • 1个数学教育学报

地区

  • 5个浙江省
  • 1个上海市
共 9 条 记 录，以下是 1-9
丁佐华
供职机构：浙江理工大学
研究主题：软件测试 信息使用 频谱 测试用例 PETRI网
发表作品相关人物供职机构所获资助研究领域
江明月
供职机构：浙江理工大学
研究主题：A/S PIN 安全协议 线性时序逻辑 PRO
发表作品相关人物供职机构所获资助研究领域
吴丹
供职机构：浙江理工大学科学计算与软件工程实验室
研究主题：初始值问题 模糊微分方程 牛顿-莱布尼茨公式
发表作品相关人物供职机构所获资助研究领域
樊太和
供职机构：浙江理工大学理学院数学科学系
研究主题：模糊数 英文 模糊数空间 拓扑 完全分配格
发表作品相关人物供职机构所获资助研究领域
胡觉亮
供职机构：浙江理工大学理学院
研究主题：服装 闭环供应链 服装生产流水线 遗传算法 服装供应链
发表作品相关人物供职机构所获资助研究领域
韩维
供职机构：浙江理工大学科学计算与软件工程实验室
研究主题：遗产系统 MARKOV模型 A/S WEB PIN
发表作品相关人物供职机构所获资助研究领域
张娜
供职机构：浙江理工大学
研究主题：软件测试 测试用例 测试用例优先级 测试用例生成方法 测试用例生成
发表作品相关人物供职机构所获资助研究领域
李晓雪
供职机构：浙江理工大学科学计算与软件工程实验室
研究主题：程序不变量 测试用例集
发表作品相关人物供职机构所获资助研究领域
蒲戈光
供职机构：华东师范大学
研究主题：测试用例 健壮性 形式化验证 EVENT-B 源代码
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0