期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
带运输时间和单自动机的流水作业排序
被引量：
1
1
作者
时凌
张琼
+1 位作者
时义梅
刘丁酉
《石河子大学学报（自然科学版）》
CAS
北大核心
2018年第4期524-528,共5页
本文研究n个工件在2台机器上加工的流水作业排序问题。同一工件在一台机器上完工后在下一台机器加工之前有一个时间间隔即运输时间,所有运输时间都是由单自动机来完成运输,同一时间自动机只能运输一个工件,本文主要研究所有加工时间均...
本文研究n个工件在2台机器上加工的流水作业排序问题。同一工件在一台机器上完工后在下一台机器加工之前有一个时间间隔即运输时间,所有运输时间都是由单自动机来完成运输,同一时间自动机只能运输一个工件,本文主要研究所有加工时间均匀等于1的情况下该问题的复杂性,并给出新的启发式算法,证明该算法的最坏性能比是3/2,且上界是紧的。
展开更多
关键词
流水作业排序问题
复杂性
运输时间
单自动机
在线阅读
下载PDF
职称材料
运用时间分类树的确定单时钟时间自动机学习
被引量：
2
2
作者
米钧日
张苗苗
+1 位作者
安杰
杜博闻
《软件学报》
EI
CSCD
北大核心
2022年第8期2797-2814,共18页
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了...
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了一种改进的学习算法,使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构,有效地减少了成员查询次数,降低了算法的空间复杂度,并能够高效率地构建假设自动机.最后进行了相关实验,实验结果表明,提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中,改进算法的学习速度最高可提高45倍以上.
展开更多
关键词
模型学习
主动学习
确定性
单
时钟时间
自动机
时间语言
逻辑时间分类树
在线阅读
下载PDF
职称材料
题名
带运输时间和单自动机的流水作业排序
被引量：
1
1
作者
时凌
张琼
时义梅
刘丁酉
机构
广州工商学院基础教学部
湖北民族民族学院理学院
武汉大学数学与统计学院
出处
《石河子大学学报（自然科学版）》
CAS
北大核心
2018年第4期524-528,共5页
基金
国家自然科学基金(6134030),广州工商学院2018院级科研(KA201831)项目
文摘
本文研究n个工件在2台机器上加工的流水作业排序问题。同一工件在一台机器上完工后在下一台机器加工之前有一个时间间隔即运输时间,所有运输时间都是由单自动机来完成运输,同一时间自动机只能运输一个工件,本文主要研究所有加工时间均匀等于1的情况下该问题的复杂性,并给出新的启发式算法,证明该算法的最坏性能比是3/2,且上界是紧的。
关键词
流水作业排序问题
复杂性
运输时间
单自动机
Keywords
flow-shop scheduling problem
complexity results
transportation delay
single robot
Subject classification： 90B35
分类号
O223 [理学—运筹学与控制论]
在线阅读
下载PDF
职称材料
题名
运用时间分类树的确定单时钟时间自动机学习
被引量：
2
2
作者
米钧日
张苗苗
安杰
杜博闻
机构
同济大学软件学院
Max Planck Institute for Software Systems
University of Warwick
出处
《软件学报》
EI
CSCD
北大核心
2022年第8期2797-2814,共18页
基金
国家自然科学基金(61972284,62032019)。
文摘
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了一种改进的学习算法,使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构,有效地减少了成员查询次数,降低了算法的空间复杂度,并能够高效率地构建假设自动机.最后进行了相关实验,实验结果表明,提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中,改进算法的学习速度最高可提高45倍以上.
关键词
模型学习
主动学习
确定性
单
时钟时间
自动机
时间语言
逻辑时间分类树
Keywords
model learning
active learning
deterministic one clock timed automata(TA)
timed language
logic timed classification tree
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
带运输时间和单自动机的流水作业排序
时凌
张琼
时义梅
刘丁酉
《石河子大学学报（自然科学版）》
CAS
北大核心
2018
1
在线阅读
下载PDF
职称材料
2
运用时间分类树的确定单时钟时间自动机学习
米钧日
张苗苗
安杰
杜博闻
《软件学报》
EI
CSCD
北大核心
2022
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
