您的位置： 专家智库 > >

黄赛杰

作品数：10 被引量：1H指数：1
供职机构：华东师范大学更多>>
发文基金：上海市教育委员会创新基金国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 7篇工作流
  • 4篇资源分配
  • 4篇资源分配策略
  • 4篇自动机
  • 3篇硬件
  • 3篇统计模型
  • 3篇自动机模型
  • 2篇寻优
  • 2篇寻优方法
  • 2篇映射
  • 2篇云计算
  • 2篇软硬件
  • 2篇时序逻辑
  • 2篇图形建模
  • 2篇中资
  • 2篇流模型
  • 2篇模型映射
  • 2篇回归函数
  • 2篇活动图
  • 2篇基于统计

机构

  • 10篇华东师范大学
  • 1篇新思科技有限...

作者

  • 10篇黄赛杰
  • 9篇陈铭松
  • 2篇顾璠
  • 2篇蒲戈光

传媒

  • 1篇计算机应用与...

年份

  • 2篇2018
  • 2篇2017
  • 4篇2015
  • 2篇2014
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于机器学习和统计模型检验的工作流最优配置寻优方法
本发明公开了一种基于机器学习和统计模型检验的工作流最优配置寻优方法，包括以下步骤：可行RAI生成，获取工作流配置的所有可能组合实例，并经用户需求筛选得到所有符合要求的解；可行RAI的特征化，提取资源分配实例的特征以获取特...
陈铭松顾璠黄赛杰
文献传递
不确定环境下云工作流资源分配策略的评估与优化研究
由于云计算灵活、方便、维护成本低等特性,越来越多的工作流服务商选择将其服务部署到云端。然而受制造工艺等不确定性因素影响,虚拟机性能通常在价格、执行时间等方面存在偏差(variation)。由于这些偏差的存在,云服务商无法...
黄赛杰
关键词：资源分配策略SLA
文献传递
一种基于时间自动机的软硬件最优划分的可视化方法
本发明公开了一种基于时间自动机的软硬件最优划分的可视化方法，包括以下步骤：工作流建模步骤：利用图形建模框架创建多个模块，根据各模块的偏序关系绘制工作流模型；时间自动机模型设计步骤：为每个模块设计时间自动机，构建工作流模型...
陈铭松黄赛杰蒲戈光
一种云计算中资源分配策略的评估方法
本发明公开了一种云计算中资源分配策略的评估方法，包括：将部署在云计算平台上的项目划分为多个功能模块，根据功能模块之间的关系进行建模以生成工作流模型；根据资源分配策略将云计算资源分配至每个功能模块，确定每个功能模块的运行参...
陈铭松黄赛杰
一种基于时间自动机的软硬件最优划分的可视化方法
本发明公开了一种基于时间自动机的软硬件最优划分的可视化方法，包括以下步骤：工作流建模步骤：利用图形建模框架创建多个模块，根据各模块的偏序关系绘制工作流模型；时间自动机模型设计步骤：为每个模块设计时间自动机，构建工作流模型...
陈铭松黄赛杰蒲戈光
文献传递
一种基于约束求解的Verilog语言静态分析方法被引量：1
2015年
由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值语句进行处理。实验结果显示,该方法能有效地检测Verilog程序中设计的缺陷,并给出错误发生时程序的状态。
黄赛杰陈铭松金乃咏
关键词：硬件设计
基于机器学习和统计模型检验的工作流最优配置寻优方法
本发明公开了一种基于机器学习和统计模型检验的工作流最优配置寻优方法，包括以下步骤：可行RAI生成，获取工作流配置的所有可能组合实例，并经用户需求筛选得到所有符合要求的解；可行RAI的特征化，提取资源分配实例的特征以获取特...
陈铭松顾璠黄赛杰
文献传递
一种云计算中资源分配策略的评估方法
本发明公开了一种云计算中资源分配策略的评估方法，包括：将部署在云计算平台上的项目划分为多个功能模块，根据功能模块之间的关系进行建模以生成工作流模型；根据资源分配策略将云计算资源分配至每个功能模块，确定每个功能模块的运行参...
陈铭松黄赛杰
文献传递
一种基于统计模型检验的UML活动图评估方法
本发明公开了一种基于统计模型检验的UML活动图评估方法，包括：UML活动图建模步骤：根据工程系统逻辑为工程系统建模，以生成相应的UML活动图模型；转换规则制定步骤：在UML活动图模型和时间自动机模型之间建立转换规则；模型...
陈铭松顾幡黄赛杰张心潜
文献传递
一种基于统计模型检验的UML活动图评估方法
本发明公开了一种基于统计模型检验的UML活动图评估方法，包括：UML活动图建模步骤：根据工程系统逻辑为工程系统建模，以生成相应的UML活动图模型；转换规则制定步骤：在UML活动图模型和时间自动机模型之间建立转换规则；模型...
陈铭松顾幡黄赛杰张心潜
文献传递
全选 清除 导出
共1页<1>
聚类工具0