-
公开(公告)号：CN106203696B
公开(公告)日：2019-04-16
申请号：CN201610536636.7
申请日：2016-07-08
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于符号的混合装配序列生成方法，包括先根据装配体的联接矩阵和干涉矩阵创建联接矩阵和干涉矩阵的ZBDD表示；再根据装配体的干涉矩阵，求解优先关系矩阵；再搜索出所有可行的装配，并创建文件存放可行装配序列和装配过程中生成的子装配体，创建动态数组存放生成每个子装配体的路径数；后对生成的存放可行装配序列和子装配体的文件进行精化，删除装配过程中的死状态。本发明能够在较高的时间和空间效率下，通过分析所有可能的装配操作保证装配序列的完备性，通过判断局部装配几何可行性保证装配序列的可靠性，通过判断优先关系的可满足性保证算法的高效性，最终完成对装配体的所有可行装配序列的生成。
-
公开(公告)号：CN104653126B
公开(公告)日：2017-01-04
申请号：CN201510011347.0
申请日：2015-01-09
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种石油钻杆抓取推送机械手，其左、右夹臂通过左右扩张收缩机构和前后移动机构安装于推送架的上、下安装板之间，左右扩张收缩机构包括上滑动板与上安装板之间、下滑动板与下安装板之间对称设置的滑动板传动组件以及上安装板与夹臂之间、下安装板与夹臂之间对称设置的夹臂传动组件；前后移动机构包括设于左、右夹臂之间的移动板，移动板滑动置于上、下安装板的滑动槽内，移动板的上、下端分别连接上滑动板和下滑动板。本发明主体尺寸小，张口大，适用的钻杆直径范围广，可在钻杆丛中作业，提高作业效率，特别适合夹持5英寸～10英寸的钻杆。
-
公开(公告)号：CN104536901A
公开(公告)日：2015-04-22
申请号：CN201510034291.0
申请日：2015-01-23
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法，在语义Web环境中模型验证技术的基础上，引入动态描述逻辑，将动作的执行作为Web服务模型中状态变化的原因，其可以将传统的模型检测技术应用到语义Web环境下Web服务验证的问题上。从系统模型的角度，将语义Web服务抽象为模型检测中的状态迁移系统；同时引入了动作理论，将原子服务的前提条件和执行结果抽象为动作理论的原子动作，将动作的执行看作是原子服务中状态迁移的原因。在此基础上，考察动作的执行所产生的模型是否满足时态规范。本发明弥补了传统的验证方法没有考虑Web服务中状态迁移原因的局限性，丰富了语义Web环境下Web服务验证的方法。
-
公开(公告)号：CN104967442B
公开(公告)日：2018-02-02
申请号：CN201510445731.1
申请日：2015-07-27
Applicant: 桂林电子科技大学
IPC: H03K23/72
Abstract: 本发明公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联，同时将各个可逆主从JK触发器的输出CP端、输入CP端依次级联得到8421BCD码同步十进制加/减法计数器。本发明能量损耗较低，并能够在进一步显著降低系统功耗及电路实现代价的基础上实现加法计数/减法计数功能；主从JK触发器不存在空翻现象，抗干扰性能好，工作速度快；逻辑电路具有电路简洁、布局规整、易于构造的优点，同时还具有自启动功能。
-
Patent Agency Ranking
公开(公告)号：CN104653126A
公开(公告)日：2015-05-27
申请号：CN201510011347.0
申请日：2015-01-09
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种石油钻杆抓取推送机械手，其左、右夹臂通过左右扩张收缩机构和前后移动机构安装于推送架的上、下安装板之间，左右扩张收缩机构包括上滑动板与上安装板之间、下滑动板与下安装板之间对称设置的滑动板传动组件以及上安装板与夹臂之间、下安装板与夹臂之间对称设置的夹臂传动组件；前后移动机构包括设于左、右夹臂之间的移动板，移动板滑动置于上、下安装板的滑动槽内，移动板的上、下端分别连接上滑动板和下滑动板。本发明主体尺寸小，张口大，适用的钻杆直径范围广，可在钻杆丛中作业，提高作业效率，特别适合夹持5英寸～10英寸的钻杆。
-
公开(公告)号：CN104536901B
公开(公告)日：2017-06-23
申请号：CN201510034291.0
申请日：2015-01-23
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法，在语义Web环境中模型验证技术的基础上，引入动态描述逻辑，将动作的执行作为Web服务模型中状态变化的原因，其可以将传统的模型检测技术应用到语义Web环境下Web服务验证的问题上。从系统模型的角度，将语义Web服务抽象为模型检测中的状态迁移系统；同时引入了动作理论，将原子服务的前提条件和执行结果抽象为动作理论的原子动作，将动作的执行看作是原子服务中状态迁移的原因。在此基础上，考察动作的执行所产生的模型是否满足时态规范。本发明弥补了传统的验证方法没有考虑Web服务中状态迁移原因的局限性，丰富了语义Web环境下Web服务验证的方法。
-
公开(公告)号：CN104967442A
公开(公告)日：2015-10-07
申请号：CN201510445731.1
申请日：2015-07-27
Applicant: 桂林电子科技大学
IPC: H03K23/72
Abstract: 本发明公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联，同时将各个可逆主从JK触发器的输出CP端、输入CP端依次级联得到8421BCD码同步十进制加/减法计数器。本发明能量损耗较低，并能够在进一步显著降低系统功耗及电路实现代价的基础上实现加法计数/减法计数功能；主从JK触发器不存在空翻现象，抗干扰性能好，工作速度快；逻辑电路具有电路简洁、布局规整、易于构造的优点，同时还具有自启动功能。
-
公开(公告)号：CN106203696A
公开(公告)日：2016-12-07
申请号：CN201610536636.7
申请日：2016-07-08
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于符号的混合装配序列生成方法，包括先根据装配体的联接矩阵和干涉矩阵创建联接矩阵和干涉矩阵的ZBDD表示；再根据装配体的干涉矩阵，求解优先关系矩阵；再搜索出所有可行的装配，并创建文件存放可行装配序列和装配过程中生成的子装配体，创建动态数组存放生成每个子装配体的路径数；后对生成的存放可行装配序列和子装配体的文件进行精化，删除装配过程中的死状态。本发明能够在较高的时间和空间效率下，通过分析所有可能的装配操作保证装配序列的完备性，通过判断局部装配几何可行性保证装配序列的可靠性，通过判断优先关系的可满足性保证算法的高效性，最终完成对装配体的所有可行装配序列的生成。
-
公开(公告)号：CN204794967U
公开(公告)日：2015-11-18
申请号：CN201520548685.3
申请日：2015-07-27
Applicant: 桂林电子科技大学
IPC: H03K23/72
Abstract: 本实用新型公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联，同时将各个可逆主从JK触发器的输出CP端、输入CP端依次级联得到8421BCD码同步十进制加/减法计数器。本实用新型能量损耗较低，并能够在进一步显著降低系统功耗及电路实现代价的基础上实现加法计数/减法计数功能；主从JK触发器不存在空翻现象，抗干扰性能好，工作速度快；逻辑电路具有电路简洁、布局规整、易于构造的优点，同时还具有自启动功能。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.024 seconds)
