孟瑜
- 作品数：22 被引量：17H指数：3
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西高等学校科研项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 试探究面向虚拟装配的产品装配建模技术要点
- 2014年
- 当前产品设计越来越复杂,基于设计复杂基础下模拟出装备建模技术,在该技术指导下,进行实体模型、装配模型、实体表达进行混合建立模型。在单元划分基础上,需要构建出每个复杂产品基本单元层次,做好将其放置在四级多层次中,进行关联装配模型分析。基于建模基础上,建立起虚拟的转配操作基本流程,这样就可以更好的保障装配建模有效性。
- 孟瑜
- 关键词：虚拟装配
- 基于动态描述逻辑和模型检测的语义Web服务验证方法
- 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法，在语义Web环境中模型验证技术的基础上，引入动态描述逻辑，将动作的执行作为Web服务模型中状态变化的原因，其可以将传统的模型检测技术应用到语义Web环境下...
- 常亮王耀光徐周波孟瑜古天龙
- 文献传递
- 基于行为和结构特征的相似语义工作流检索被引量：4
- 2017年
- 相似语义工作流检索是语义工作流重用的首要任务.现有的相似语义工作流检索方法仅关注结构特征,忽略了行为特征,影响了检索到的相似语义工作流的整体质量,提高了语义工作流重用的代价.为此,提出一种结合行为和结构特征的2阶段相似语义工作流检索算法.使用任务紧邻关系集表达语义工作流的执行行为,结合领域知识构造语义工作流库的任务紧邻关系树索引和数据索引.针对查询语义工作流,先基于任务紧邻关系树索引和数据索引进行过滤得到候选语义工作流集;然后使用图匹配相似性算法对候选语义工作流集进行验证,得到排序的候选语义工作流集.实验结果表明,较主流的语义工作流检索算法,该方法的检索性能有较大提升,可以为工作流重用提供更高质量的语义工作流.
- 孙晋永古天龙闻立杰钱俊彦孟瑜
- 关键词：结构特征
- 面向装配序列规划的装配本体设计被引量：4
- 2016年
- 为提高装配序列规划的自动化程度,实现装配相关活动间信息的共享、重用和顺畅传递,实现装配序列规划系统与其它异构系统之间的无缝集成和互操作,将本体技术引入到装配建模中.针对装配序列规划建模需求,构建面向装配序列规划且基于装配对象的装配本体(OWL-ASP).OWL-ASP由Properties本体、Assembly Info本体和Assembly Seq本体组成,分别描述装配对象的装配属性、装配信息、装配顺序等.在OWL-ASP的基础上,利用语义Web规则语言刻画装配规则,形成统一的装配知识表示层次体系,实现对装配知识的严格刻画和自动推理.通过球阀装配的实例说明装配本体和装配规则的有效性.
- 孟瑜古天龙常亮李凤英
- 关键词：装配序列规划本体描述逻辑
- 基于可逆逻辑的8421BCD码同步十进制加/减法计数器
- 本发明公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联，同...
- 李龙古天龙常亮徐周波孟瑜
- 文献传递
- 一种基于粗糙集的机械装配知识发现方法被引量：2
- 2012年
- 为了解决机械装配行业工艺知识提取困难的问题,提出一种基于粗糙集理论的装配知识发现方法,给出其计算机软件实现方案,并用实例验证方法的有效性。该方法运用粗糙集中属性重要度的概念和方法,实现属性核和属性约简的求解,并根据约简挖掘隐含在经验数据中的专家知识,形成相应的决策规则。实例验证结果说明,该方法可以有效地提高装配效率和装配知识的学习。
- 危前进董荣胜孟瑜崔更申
- 关键词：知识发现粗糙集机械装配
- 基于可逆逻辑的8421BCD码同步十进制加/减法计数器
- 本实用新型公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联...
- 李龙古天龙常亮徐周波孟瑜
- 文献传递
- 石油钻杆抓取推送机械手
- 本发明公开了一种石油钻杆抓取推送机械手，其左、右夹臂通过左右扩张收缩机构和前后移动机构安装于推送架的上、下安装板之间，左右扩张收缩机构包括上滑动板与上安装板之间、下滑动板与下安装板之间对称设置的滑动板传动组件以及上安装板...
- 古天龙袁文兵徐周波常亮孟瑜
- 文献传递
- 一种基于符号的混合装配序列生成方法
- 本发明公开了一种基于符号的混合装配序列生成方法，包括先根据装配体的联接矩阵和干涉矩阵创建联接矩阵和干涉矩阵的ZBDD表示；再根据装配体的干涉矩阵，求解优先关系矩阵；再搜索出所有可行的装配，并创建文件存放可行装配序列和装配...
- 李凤英彭瑞常亮孟瑜
- 基于符号零压缩二叉决策图的组合测试用例生成方法
- 2018年
- 组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造问题的复杂度是NP完全的。给出了一种基于符号零压缩二叉决策图(Zero-suppressed Binary Decision Diagram,ZBDD)的组合测试用例生成方法。该方法首先利用ZBDD的结构特性,对测试系统进行紧凑的符号表示。然后利用ZBDD的隐式操作,结合贪心算法的思想,不断地覆盖更多的组合并缩小未覆盖组合集合,生成2~4维覆盖强度的较小测试用例集。实验证明,所提方法不仅可行而且节点开销小。
- 黄钰尧李凤英常亮孟瑜
- 关键词：测试用例生成
