-
公开(公告)号：CN105116795B
公开(公告)日：2018-02-02
申请号：CN201510435048.X
申请日：2015-07-22
Applicant: 西安电子科技大学
IPC: G05B19/042
Abstract: 一种针对具有装配操作的自动制造系统的分布式控制方法，先检测一个状态M下能够使能的变迁的集合变迁，当TEN中的所有变迁都检测完毕，最终输出的TCN即为在状态状态M下，保证系统无死锁运行的变迁的集合；激发其中的任意变迁，得到新的状态，再判定该状态下能够保证系统无死锁运行的变迁的集合；如此反复，最终得到保证系统无死锁运行的发射序列。本发明应用Petri网作为数学工具，避免穷举状态空间，进而降低算法的复杂度，实现规模庞大的系统的高效控制，采用一种动态的、在线的、分布式的控制方式对局部状态进行观测和控制，从而最终确保整个系统的无死锁性。
-
公开(公告)号：CN106407723A
公开(公告)日：2017-02-15
申请号：CN201611025636.7
申请日：2016-11-17
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种面向低副瓣的稀疏排布阵列天线激励电流幅度的确定方法，包括：确定稀疏排布阵列天线的结构参数、电磁工作参数和稀疏排布矩阵，给出初始激励电流幅度加权方案；计算稀疏阵中相邻两个辐射单元在目标处的辐射场空间相位差，得到稀疏排布阵列天线的辐射场口面相位差；计算稀疏排布阵列天线的辐射场方向图；计算稀疏排布阵列天线的最大副瓣电平；根据天线设计要求，判断是否满足，若不满足，计算得到最低最大副瓣电平值，通过选择、交叉和变异方法更新阵列天线单元的激励幅度加权方案，重复计算，直至满足要求。本发明克服了疏排布阵列天线低副瓣性能实现的空缺，能够快速、有效地得到满足低副瓣要求的激励电流幅度加权方案。
-
公开(公告)号：CN110597194B
公开(公告)日：2022-10-04
申请号：CN201910761367.8
申请日：2019-08-18
Applicant: 西安电子科技大学
IPC: G05B19/418
Abstract: 本发明属于自动制造系统技术领域，公开了一种大规模柔性驱动的自动制造系统的协同活性构建方法，加工系统中有四种类型的资源：n1，n2，n3，n4；工具集n3，机器库n1，n2，n4；工具集n3是公用的；资源n1，n2，n3，n4的WRCN子网模型合并之后的WRCN大网；变迁代表着加工操作的开始或者结束，n1，n2，n3，n4分别代表着四个子网的初始资源数；在加工中，WRCN G1和WRCN G2有共同的加工路径t2p3t3；WRCN G1和WRCN G3有共同的加工路径t3p4t4；WRCN G3和WRCN G4有共同的加工路径t7p8t9。本发明提出子系统合成模型，使得合成之后的系统满足活性。
-
公开(公告)号：CN110213237B
公开(公告)日：2021-08-20
申请号：CN201910371368.1
申请日：2019-05-06
Applicant: 西安电子科技大学
Abstract: 本发明属于协同控制系统技术领域，公开了一种完全分布式子系统协同安全控制的控制方法、Petri网络模型；将上位系统通过基于库所的指标分解的分解技术分解成多个下位系统；计算第i个下位系统的可达状态，以及到达每个可达状态的最短步长；通过分布式安全诊断的算法计算出第i个下位系统的安全性。本发明分布式诊断方法具有很强的可靠性，将复杂的Petri网模型通过各种网的分解方法，可以分解成许多子网，通过对子网的研究来得出原系统的某些性质，同时可以具体到原系统的某个部分，相对于全局式诊断运行时间减少，速度变快，而且使得后期对系统的安全维护更加方便。
-
公开(公告)号：CN109739196B
公开(公告)日：2021-07-13
申请号：CN201910026513.2
申请日：2019-01-11
Applicant: 西安电子科技大学
IPC: G05B19/418
Abstract: 本发明属于自动制造系统技术领域，涉及一种含有不可观与不可控事件的自动制造系统无死锁控制方法,至少包括如下步骤：步骤一，生成自动制造系统在线可行步长；步骤二，依据生成自动制造系统在线可行步长获取最优步长；步骤三，依据最优步长进行避免死锁控制。它提出一种含有不可观与不可控事件的自动制造系统无死锁控制方法,以便能在不可控与不可观的情况下实现许可性最大的无死锁控制。
-
Patent Agency Ranking
公开(公告)号：CN112859866A
公开(公告)日：2021-05-28
申请号：CN202110061655.X
申请日：2021-01-18
Applicant: 西安电子科技大学
IPC: G05D1/02
Abstract: 本发明属于机器人路径规划技术领域，公开了一种机器人滚动路径规划方法、系统、存储介质、设备及应用，包括：初始化；构建滚动路径规划区域并计算各非障碍物节点所受的综合静态势场；计算当前节点周围八节点的动态斥力势场；判断当前节点是否为目标点，判断当前点是否位于本次滚动规划的窗口边界；输出当前滚动窗口内规划好的路径；判断当前滚动窗口内规划出的可行路径长度是否大于机器人行进步长；在每轮滚动规划所得的局部路径的基础上，对路径节点的连通性检测进行路径平滑；将平滑处理后的路径点保存在PointList。本发明使用基于计算势场强度方法来代替矢量合成方法，避免传统人工势场法的局部极值问题，更满足动态避障的要求。
-
公开(公告)号：CN109857083B
公开(公告)日：2021-03-26
申请号：CN201910026535.9
申请日：2019-01-11
Applicant: 西安电子科技大学
IPC: G05B23/02
Abstract: 本发明属于自动制造系统技术领域，涉及一种基于Petri网的含有不可观事件的无死锁控制方法,其特征是：至少包括如下步骤：(1)获取自动制造系统中自动控制过程可行步长；(2)依据自动控制过程可行步长得到最优步长；(3)获取最优步长的节点信息，根据节点信息判断节点中是否有死锁状态，如果没有，返回步骤(3)开始，有进入避免死锁步骤。它提供一种适应于自动制造系统的基于Petri网的含有不可观事件的无死锁控制方法，以解决自动制造系统含有不可观事件(但事件可控)的自动制造系统离线死锁。
-
公开(公告)号：CN111401680A
公开(公告)日：2020-07-10
申请号：CN202010082000.6
申请日：2020-02-06
Applicant: 西安电子科技大学
Abstract: 本发明属于自动制造系统技术领域，公开了一种具有复杂进程子网的自动制造系统的协同活性构建方法，PN子网和满足活性的WRCN子网通过共同变迁路径合成；为避免对制造系统的运转产生浪费，一旦开始加工之后，WRCN中资源库所的资源要连续输入；在满足上述条件的前提下，PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数进一步满足限制规则中的约束。本发明采用Petri网作为数学工具，子网合成之后的结果网一定满足活性，不需要再去找出所有信标来判断结果网是否满足活性，且将适应范围进一步扩展到一般网中。对于大规模的制造系统来说，可以对更复杂的过程行为进行建模，并且节省了大量查找信标的时间。
-
公开(公告)号：CN111245827A
公开(公告)日：2020-06-05
申请号：CN202010023943.1
申请日：2020-01-09
Applicant: 西安电子科技大学
Abstract: 本发明属于信息安全技术领域，公开了一种分布式网络信息安全检测方法、系统、存储介质、计算机，将上位系统N根据变迁分解的方法分解为i个下位系统Ni；获取各个分布式系统Ni的数据；数据预处理，建立方程组；方程组移项，使其标准化；将各个系统的数据带入到方程组中；通过解各个分布式系统的方程组，获得各个分布式系统的解向量。本发明当系统中的低阶变迁数目过多时，只需要相应地增加矩阵的行或者列，并不会增加方程组的个数，计算过程也不会受到影响；当低阶变迁数目发生改变时，不用改变所有的方程式，只需要在与基变量X有关的矩阵中增加或减少对应的基变量xij，应变能力较好，容错率较高。
-
公开(公告)号：CN110632901A
公开(公告)日：2019-12-31
申请号：CN201910733102.7
申请日：2019-08-09
Applicant: 西安电子科技大学
IPC: G05B19/418
Abstract: 本发明属于自动制造系统技术领域，公开了一种基于析取型广义互斥约束Petri网控制器简化及设计方法，所述基于析取型广义互斥约束Petri网控制器的简化设计方法包括以下步骤：通过对低维度不等式:初次简化约束不等式；利用分区方式实现对高维约束不等式的等价分解，给出对应的算法；利用简化后的不等式对控制器进行设计。本发明复杂度降低体现在析取型规范中各约束不等式简化后的组合形式发生了变化、连接弧减少以及添加库所的数目减少。本发明应用Petri网作为数学工具，应用低维度逻辑函数卡诺图简化以及高维分区简化算法后，继续对原网系统进行控制，对于disjunctive类型约束不等式，设计的控制器复杂度大大降低。
-
-
-
-
-
-
-
-
-
Search Results
75
records
(took 0.029 seconds)
