公开(公告)号：CN106407723B

公开(公告)日：2018-10-09

申请号：CN201611025636.7

申请日：2016-11-17

Applicant: 西安电子科技大学

Inventor： 王从思 ,  颜语喆 ,  胡核算 ,  黄进 ,  周金柱 ,  朱诚 ,  宋立伟 ,  段宝岩 ,  王伟锋 ,  袁帅 ,  唐宝富 ,  钟剑锋

IPC: G06F17/50 ,  G06N3/12

Abstract: 本发明公开了一种面向低副瓣的稀疏排布阵列天线激励电流幅度的确定方法，包括：确定稀疏排布阵列天线的结构参数、电磁工作参数和稀疏排布矩阵，给出初始激励电流幅度加权方案；计算稀疏阵中相邻两个辐射单元在目标处的辐射场空间相位差，得到稀疏排布阵列天线的辐射场口面相位差；计算稀疏排布阵列天线的辐射场方向图；计算稀疏排布阵列天线的最大副瓣电平；根据天线设计要求，判断是否满足，若不满足，计算得到最低最大副瓣电平值，通过选择、交叉和变异方法更新阵列天线单元的激励幅度加权方案，重复计算，直至满足要求。本发明克服了疏排布阵列天线低副瓣性能实现的空缺，能够快速、有效地得到满足低副瓣要求的激励电流幅度加权方案。

公开(公告)号：CN105022377B

公开(公告)日：2018-02-02

申请号：CN201510435932.3

申请日：2015-07-22

Applicant: 西安电子科技大学

Inventor： 胡核算 ,  承艳

IPC: G05B19/418

CPC classification number: Y02P90/02

Abstract: 一种基于Petri网的自动制造系统的控制方法，通过死锁避免算法、稳健性加强算法、并发性改善算法，这三个算法的运行，将产生一组变迁集合，任意属于该集合的变迁的发射都能满足无死锁，稳健性并改善系统并发性，每发射一个变迁后，这三个算法需要重新依次计算，再产生一个新的变迁集合，如此循环往复，实时动态地生成一组事件发生序列。本发明保证系统在出现资源故障时那些不需要故障资源的进程不会被需要故障资源的进程阻塞，能够持续流畅加工，并改善系统的并发性。

公开(公告)号：CN106200575A

公开(公告)日：2016-12-07

申请号：CN201610532730.5

申请日：2016-07-07

Applicant: 西安电子科技大学

Inventor： 胡核算 ,  杜楠

IPC: G05B19/418

CPC classification number: Y02P90/02 ,  Y02P90/04 ,  Y02P90/18 ,  G05B19/41885

Abstract: 本发明涉及一种基于Petri网的自动制造系统的稳健性控制方法。它通过首先，检测一个可达状态M下所有使能的变迁，然后在所有的使能变迁中检测出保证系统无死锁的变迁集合，再在所有的无死锁变迁中检测出保证系统稳健的变迁，最后在所有稳健的变迁中检测出最大并发性允许变迁。在最大并发性允许变迁集合中选择一个变迁发射。每发射一个变迁，就会得到一个新的状态，在新状态下，继续执行上述的步骤。如此反复，最终得到保证系统稳健无死锁运行的变迁序列，按照该序列发射，不仅保证系统无死锁，而且能保证系统无阻塞。本发明应用Petri网作为数学工具，对自动制造系统进行建模，从而实现系统能持续流畅的加工。

公开(公告)号：CN105184385A

公开(公告)日：2015-12-23

申请号：CN201510434111.8

申请日：2015-07-22

Applicant: 西安电子科技大学

Inventor： 胡核算 ,  陈晨

IPC: G06Q10/04 ,  G06Q50/04 ,  G05B19/418

CPC classification number: Y02P90/02 ,  Y02P90/30

Abstract: 一种针对将装配操作嵌入到柔性加工路径中的自动制造系统，首先根据系统的当前状态，得出可以使能的变迁的集合Ten；进而判断Ten中每个元素是否可以保证系统无死锁运行。判断的依据是：模拟发射元素t∈Ten，根据t的位置，若当前资源可以支持对应的托肯抵达一个关键库所/关键库所统一体的子关键库所，针对关键库所统一体的情况，需要保证装配操作的其他平行进程的托肯都能抵达各自对应的子关键库所，那么t∈Tdf。当所有的变迁都检测完毕后，得到Tdf，发射t∈Tdf，进入到下一个状态，重新判断。本发明能够保证系统的无死锁性，并尽可能的获得较大的许可性，采用边预测边控制的方式，实现实时的在线的控制。

公开(公告)号：CN105022377A

公开(公告)日：2015-11-04

申请号：CN201510435932.3

申请日：2015-07-22

Applicant: 西安电子科技大学

Inventor： 胡核算 ,  承艳

IPC: G05B19/418

CPC classification number: Y02P90/02 ,  G05B19/418 ,  G05B2219/32165

Abstract: 一种基于Petri网的自动制造系统的控制方法，通过死锁避免算法、稳健性加强算法、并发性改善算法，这三个算法的运行，将产生一组变迁集合，任意属于该集合的变迁的发射都能满足无死锁，稳健性并改善系统并发性，每发射一个变迁后，这三个算法需要重新依次计算，再产生一个新的变迁集合，如此循环往复，实时动态地生成一组事件发生序列。本发明保证系统在出现资源故障时那些不需要故障资源的进程不会被需要故障资源的进程阻塞，能够持续流畅加工，并改善系统的并发性。