期刊文献+
共找到234篇文章
< 1 2 12 >
每页显示 20 50 100
自动制造系统中的事件、资源和Petri网 被引量:5
1
作者 朱玉超 李志武 《机械科学与技术》 CSCD 北大核心 1996年第3期459-463,共5页
讨论了自动制造系统中事件的形式化表示方法,以及制造系统中的工序和资源的Petri网表示.在此基础上还讨论了一类自动制造系统Petri网关联矩阵的构造形式和初始标识的确定方法.最后提出了自动制造系统Petri网控制器的... 讨论了自动制造系统中事件的形式化表示方法,以及制造系统中的工序和资源的Petri网表示.在此基础上还讨论了一类自动制造系统Petri网关联矩阵的构造形式和初始标识的确定方法.最后提出了自动制造系统Petri网控制器的形式化设计方法. 展开更多
关键词 自动制造系统 事件 资源 PETRI网
在线阅读 下载PDF
自动制造系统Petri网的公平活性控制策略(英文) 被引量:4
2
作者 李志武 贾建援 《自动化学报》 EI CSCD 北大核心 2003年第1期62-71,共10页
基于Petri网的不变式理论 ,针对典型的自动制造系统 ,提出了Petri模型强制公平性和活性的方法 .首先 ,基于网论T 不变式的概念 ,把系统的网模型设计为一个公平网 .此后 ,利用P 不变式把一个公平网设计为一个活的且公平网 .同时 ,提出了... 基于Petri网的不变式理论 ,针对典型的自动制造系统 ,提出了Petri模型强制公平性和活性的方法 .首先 ,基于网论T 不变式的概念 ,把系统的网模型设计为一个公平网 .此后 ,利用P 不变式把一个公平网设计为一个活的且公平网 .同时 ,提出了非冗余严格极小信标的概念 ,大大简化了系统的分析与设计 .一般说来 ,非冗余严格极小信标是系统严格极小信标一个小的子集 ,尤其对于复杂系统的网模型 .研究结果表明 ,只要使非冗余的严格极小信标受控 ,则系统所有的严格极小信标就不会被清空 .文中举例说明了这些控制方法的应用 .研究结果适用于一大类柔性制造系统 ,具有相当的普遍性 .这种方法对于自动制造系统的调度设计也具有一定意义和价值 . 展开更多
关键词 自动制造系统 PETRI网 公平活性 控制策略 柔性制造系统
在线阅读 下载PDF
自动制造系统的一种死锁避免策略 被引量:3
3
作者 李志武 贾建援 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第6期455-461,共7页
基于Petri网的结构分析理论 ,提出了自动制造系统Petri网模型的一种死锁控制方法。在这种策略的控制下 ,避免了系统中死锁的产生 ,从而使许多制造系统的Petri网模型具有活性。提出了一种保证所有严格极小信标至少含有一个托肯的方法。... 基于Petri网的结构分析理论 ,提出了自动制造系统Petri网模型的一种死锁控制方法。在这种策略的控制下 ,避免了系统中死锁的产生 ,从而使许多制造系统的Petri网模型具有活性。提出了一种保证所有严格极小信标至少含有一个托肯的方法。对冗余严格极小信标的研究 ,提高了Petri网复杂自动制造系统的建模能力。结果表明 ,在设计无死锁的Petri网模型时 ,不是所有的严格极小信标都要考虑 ,从而简化了设计结果和控制算法。 展开更多
关键词 自动制造系统 死锁避免策略 PETRI网 结构分析
在线阅读 下载PDF
自动制造系统规格说明语言的Petri网语义设计 被引量:1
4
作者 李志武 贾建援 叶尚辉 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第3期406-413,共8页
研究了自动制造系统中离散事件的形式化表示方法.依助通信顺序进程设计了制造系统的规格说明语言,在给出事件的Petri网表示的基础上,讨论了系统行为描述语言的Petri网语义,即系统Petri网控制器的静态结构.根据系统... 研究了自动制造系统中离散事件的形式化表示方法.依助通信顺序进程设计了制造系统的规格说明语言,在给出事件的Petri网表示的基础上,讨论了系统行为描述语言的Petri网语义,即系统Petri网控制器的静态结构.根据系统行为的描述语言及Petri网控制器的结构,可以研究具有活性、安全或有界性以及可逆性的Petri网控制器初始标识的设计算法.因此,制造系统规格说明语言的Petri网语义设计。 展开更多
关键词 自动制造系统 规格说明语言 PETRI网 CIM
在线阅读 下载PDF
自动制造系统中的迭代式死锁预防策略 被引量:1
5
作者 胡核算 李志武 王安荣 《计算机集成制造系统》 EI CSCD 北大核心 2008年第3期602-607,614,共7页
为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可... 为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可被清空的信标中可以容易地计算出一个严格极小信标,就可以在不遍历所有的严格极小信标的情况下,直接求得一组基本信标,从而大大地降低了策略的时间算法复杂度。同时,控制该组基本信标可以确保目标系统具有简单的控制器结构和尽可能多的许可行为。实验结果表明了该控制策略的有效性和高效性。 展开更多
关键词 自动制造系统 死锁预防 基本信标 混合整数规划法
在线阅读 下载PDF
自动制造系统设计和仿真中的死锁控制 被引量:1
6
作者 乐晓波 葛敬军 《计算机工程》 EI CAS CSCD 北大核心 2005年第4期192-194,共3页
通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设... 通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。 展开更多
关键词 PETRI网模型 自动制造系统设计 死锁 控制规范
在线阅读 下载PDF
离散自动制造系统Petri网的一种设计方法
7
作者 李志武 贾建援 叶尚辉 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1995年第2期195-200,共6页
文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言,采用该语言所形成的描述语言可以自动转化为系统的Petri网模型.文章为复杂离散自动制造系统Petri网形式化设计理论的研究,开辟了一条新途径.
关键词 离散系统 自动制造系统 PETRI网
在线阅读 下载PDF
一类自动制造系统Petri网的设计方法
8
作者 李志武 贾建援 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第2期253-256,共4页
根据自动制造系统工件工艺规程的形式化表示及通信顺序进程,提出了自动加工系统Petri网的一种综合方法,为研究复杂系统Petri网的设计理论提供了很好的基础.
关键词 PETRI网 工艺规程 自动制造系统 制造系统
在线阅读 下载PDF
基于标签Petri网的自动制造系统初始资源配置优化 被引量:10
9
作者 郝晋渊 孙丹丹 +2 位作者 郝真鸣 陈凡 冉宁 《电子测量与仪器学报》 CSCD 北大核心 2020年第8期30-36,共7页
自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。针对该问题,提出了一种基于标签Petri网和整数线性规划的计算方法。首先,根据标签Petri网的结构化特性给出拟执行任务与初始资源的约束关系,将... 自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。针对该问题,提出了一种基于标签Petri网和整数线性规划的计算方法。首先,根据标签Petri网的结构化特性给出拟执行任务与初始资源的约束关系,将初始资源配置优化问题抽象为整数线性规划问题;其次,利用Lingo等软件求解该整数线性规划问题;最后,通过实例对提出方法进行验证。实验结果表明,提出的方法简单高效,对实际自动制造系统的初始资源配置具有一定借鉴意义。 展开更多
关键词 自动制造系统 资源配置 标签Petri网 整数线性规划
在线阅读 下载PDF
船用螺旋桨模拟显示与自动制造 被引量:6
10
作者 高同兵 杨祥玮 《船海工程》 2002年第2期11-15,共5页
利用双三次样条曲面函数 ,对船用螺旋桨进行三维数学建摸 ,并在VC++6 .0环境下 ,用Objec tARX 2 0 0 0二次开发AutoCAD 2 0 0 0来实现螺旋桨三维模拟显示 ,根据已建立的螺旋桨三维数学模型的数据 ,运用到数控机床实现螺旋桨自动化生产。
关键词 船用螺旋浆 模拟显示 自动制造 双三次样条 伸张轮廓 曲面
在线阅读 下载PDF
自动制造系统的稳健控制方法的综述
11
作者 杜楠 胡核算 《控制理论与应用》 EI CAS CSCD 北大核心 2018年第1期79-85,共7页
随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做了大量的研究.但是大多数解决方案总是假设分配的资源不会故障.然而,任何一个制造研究者都知道,资源故障... 随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做了大量的研究.但是大多数解决方案总是假设分配的资源不会故障.然而,任何一个制造研究者都知道,资源故障来自各种各样的原因,包括工件破损、传感器故障、零件缺失和电器失灵等.显然,一旦资源发生故障,后续加工路径中需要使用这个故障资源的进程将停滞,不能完成其加工生产,直到故障资源被修复.那些不使用故障资源的支路也会被发生停滞的进程所阻塞.最坏的情况就是一个简单的资源故障可能会导致整个系统的崩溃.因此,制造系统中的资源故障问题急需解决.通过分析大量的文献资料,本文对解决死锁和阻塞问题的控制方法做了系统的总结研究.同时,对本文提出的稳健无死锁控制策略以及亟待开展的研究工作做了详细的介绍. 展开更多
关键词 自动制造系统 死锁预防 资源故障 稳健控制
在线阅读 下载PDF
自动制造系统计算机网络可靠性分析的二步法
12
作者 赵元良 《兵工自动化》 1995年第3期20-26,共7页
本文介绍一种分析生产系统计算机网络的数学模型。制造设备是生产系统的主体,由计算机网络控制。生产系统的每个站都认为有一台计算机和网络接口设备(NIU),作为整个网络的一部分。计算机网络和制造设备十分可靠,系统才能良好运行... 本文介绍一种分析生产系统计算机网络的数学模型。制造设备是生产系统的主体,由计算机网络控制。生产系统的每个站都认为有一台计算机和网络接口设备(NIU),作为整个网络的一部分。计算机网络和制造设备十分可靠,系统才能良好运行。这里研究计算机网络的可靠性,是以制造设备可靠为前提。由于全系统的运行依赖每个站的运行,任何一台网络设备出故障部会何止系统生产。这样的系统,其布局与各站串行的系统在逻辑上是等价的。因此,串行可靠性公式适用于这些系统。这个模型是通用模型,因为它采用的可靠性分析与网络布局无关。用网络设备的经常故障率,并用二步法确定网络可靠性对系统总费用的影响。文章还以实例说明了网络设计阶段重视可靠性的意义,并通过网络可靠性的具体分析揭示:大多数情况下,与网络故障而递增的费用材比,增加网络备用设备是合算的。 展开更多
关键词 自动制造系统 计算机网络 可靠性分析
在线阅读 下载PDF
现代自动制造系统中的信息网络安全的应用
13
作者 梁晖 刘晓明 《实用测试技术》 2002年第3期35-36,共2页
本文介绍了在自动制造系统中信息安全的体系框架和基本模型 ,并举例一个实际的网络安全解决方案。
关键词 自动制造系统 信息安全 网络化制造
在线阅读 下载PDF
高效率的整体刀具自动制造单元
14
作者 舒智勇 《工具技术》 北大核心 2003年第7期72-74,共3页
关键词 刀具自动制造单元 德国瓦尔特公司 刀具磨床 刀具测量机 刀具虚拟磨削软件 效率
在线阅读 下载PDF
自动制造技术特点与发展趋势分析
15
作者 王一茗 《农机使用与维修》 2020年第8期42-43,共2页
机械制造技术为各个行业的发展提供了基础性的服务,有力的保证了机械类产品的供给与品质,为进一步提升机械制造的实际应用能力,自动制造技术被广泛的使用和推广,并表现出了明显的技术优势。通过对自动制造技术的组成与特点进行研究,总... 机械制造技术为各个行业的发展提供了基础性的服务,有力的保证了机械类产品的供给与品质,为进一步提升机械制造的实际应用能力,自动制造技术被广泛的使用和推广,并表现出了明显的技术优势。通过对自动制造技术的组成与特点进行研究,总结并分析了自动制造技术未来的发展趋势。 展开更多
关键词 自动制造技术 特点 组成 智能化 发展趋势
在线阅读 下载PDF
河北农业大学国家级一流本科专业机械设计制造及其自动化
16
《河北农业大学学报》 北大核心 2025年第3期F0002-F0002,共1页
学制学位4年授予工学学士学位核心课程工程图学、理论力学、材料力学、机械原理、机械设计、机械工程材料、机械制造基础、互换性与测量技术、机械制造工艺学、液压与气压传动、机械控制工程等。
关键词 机械设计制造及其自动 学士学位
在线阅读 下载PDF
自动化制造单元最小完工时间调度问题的混合启发式算法 被引量:10
17
作者 晏鹏宇 杨乃定 车阿大 《计算机集成制造系统》 EI CSCD 北大核心 2010年第4期847-854,共8页
自动化制造单元最小完工时间调度问题属于NP-hard难题,目前尚缺乏有效的调度方法。为此,提出基于遗传和禁忌搜索的混合启发式算法,用以搜索一组最满意的机器人搬运作业排序。以遗传算法为基本结构,在初始种群产生和交叉、变异操作中引... 自动化制造单元最小完工时间调度问题属于NP-hard难题,目前尚缺乏有效的调度方法。为此,提出基于遗传和禁忌搜索的混合启发式算法,用以搜索一组最满意的机器人搬运作业排序。以遗传算法为基本结构,在初始种群产生和交叉、变异操作中引入禁忌搜索技术,以提高优化质量。基于搬运作业规则的初始种群构造算法和两阶段交叉、变异算子克服了传统算子对可行搬运作业排序的破坏,而邻域移动算子则保证了禁忌搜索的多样性和集中性。最后,随机实验结果验证了算法的有效性。 展开更多
关键词 自动制造单元 最小完工时间 调度 混合启发式算法
在线阅读 下载PDF
基于混合量子进化算法的自动化制造单元调度 被引量:16
18
作者 王跃岗 车阿大 《计算机集成制造系统》 EI CSCD 北大核心 2013年第9期2193-2201,共9页
为解决传统智能优化算法在求解自动化制造单元调度问题时易出现早熟、陷入局部最优等问题,提出了混合量子进化算法。该算法采用序列染色体和量子染色体相结合的混合编解码策略,利用构造启发式算法生成初始种群,避免了不可行解的大量产生... 为解决传统智能优化算法在求解自动化制造单元调度问题时易出现早熟、陷入局部最优等问题,提出了混合量子进化算法。该算法采用序列染色体和量子染色体相结合的混合编解码策略,利用构造启发式算法生成初始种群,避免了不可行解的大量产生;为提高算法的优化性能,进化过程中采用序列染色体和量子染色体同步交叉变异策略,并引入了基于图论的不可行解修复策略。通过与遗传算法、基本量子进化算法的对比实验,验证了算法的有效性。 展开更多
关键词 自动制造单元 调度 混合量子进化算法 构造启发式算法
在线阅读 下载PDF
自动化制造单元调度算法综述 被引量:6
19
作者 周珍 车阿大 《计算机应用研究》 CSCD 北大核心 2010年第6期2001-2005,共5页
作为未来先进制造系统的重要发展方向,自动化制造单元(roboticcells)在半导体和印刷电路板制造、化学电镀、钢铁冶炼和机械制造等行业获得了日趋广泛的应用。为全面总结自动化制造单元调度算法的研究现状,对自动化制造单元进行分类,在... 作为未来先进制造系统的重要发展方向,自动化制造单元(roboticcells)在半导体和印刷电路板制造、化学电镀、钢铁冶炼和机械制造等行业获得了日趋广泛的应用。为全面总结自动化制造单元调度算法的研究现状,对自动化制造单元进行分类,在此基础上综述了国内外自动化制造单元调度方法取得的进展及存在的问题,并指明了其进一步的研究方向。 展开更多
关键词 自动制造单元 调度 物料运送机器人 算法
在线阅读 下载PDF
一种半导体自动化制造系统中的死锁避免 被引量:3
20
作者 滕少华 伍乃骐 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第1期25-32,共8页
在半导体自动化制造TRACK系统中,由于没有缓冲空间,死锁避免更加困难,保守策略大大降低资源利用率。而路径的柔性为获得更有效的死锁避免策略提供了可能性。本文采用面向资源的着色Petri网建模,基于该模型并利用路径柔性,提出一个系统... 在半导体自动化制造TRACK系统中,由于没有缓冲空间,死锁避免更加困难,保守策略大大降低资源利用率。而路径的柔性为获得更有效的死锁避免策略提供了可能性。本文采用面向资源的着色Petri网建模,基于该模型并利用路径柔性,提出一个系统无死锁的充分条件,并给出相应的控制规律。依据该规律,系统中任务的个数不受限制,并能处理多晶片类型。最后,给出一个说明本方法的应用实例。 展开更多
关键词 半导体自动制造系统 死锁避免 PETRI网 控制策略
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部