2024年8月17日
星期六
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
黄赛杰
作品数:
10
被引量:1
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张