孟瑜

作品数：11被引量：16H指数：3
导出分析报告
供职机构：桂林电子科技大学更多>>
发文主题：减法计数器可逆逻辑码同步十进制描述逻辑更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《软件导刊》《数字技术与应用》《模式识别与人工智能》《计算机仿真》更多>>
所获基金：国家自然科学基金广西壮族自治区自然科学基金广西高等学校科研项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号零压缩二叉决策图的组合测试用例生成方法
《计算机科学》2018年第1期255-260,共6页黄钰尧 李凤英 常亮 孟瑜 
广西自然科学基金项目(2016GXNSFAA380054);桂林电子科技大学研究生教育创新(YJCXS201541);广西高等学校高水平创新团队及卓越学者计划资助
组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造问题的复杂度是NP完全的。给出了一种基于符号零压缩二叉决策图(Zero-suppressed Binary Decision Diagra...
关键词：组合测试 零压缩二叉决策图 覆盖强度 测试用例生成 
基于行为和结构特征的相似语义工作流检索被引量：4
《计算机研究与发展》2017年第9期1880-1891,共12页孙晋永 古天龙 闻立杰 钱俊彦 孟瑜 
国家自然科学基金项目(61562015;61572146;U1501252);广西自然科学基金项目(2015GXNSFDA139038;2016GXNSFDA380006);广西可信软件重点实验室项目(KX201627);广西高等学校高水平创新团队及卓越学者计划项目;桂林电子科技大学创新团队项目;广西精密导航技术与应用重点实验室项目(DH201508)~~
相似语义工作流检索是语义工作流重用的首要任务.现有的相似语义工作流检索方法仅关注结构特征,忽略了行为特征,影响了检索到的相似语义工作流的整体质量,提高了语义工作流重用的代价.为此,提出一种结合行为和结构特征的2阶段相似语义...
关键词：工作流重用 语义工作流 相似性检索 结构特征 行为特征 任务紧邻关系树索引 
基于描述逻辑的传感器网络事件检测
《计算机科学》2016年第12期269-272,286,共5页张玉利 常亮 孟瑜 古天龙 
国家自然科学基金(61363030;61572146;U1501252);广西自然科学基金(2015GXNSFAA139285);广西高等学校高水平创新团队及卓越学者计划;桂林电子科技大学研究生教育创新计划(YJCXS201539)资助
基于异构数据源的事件检测是物联网上的一类典型应用。现有技术已经可以实现对异构数据源的收集、过滤、表示及部分数据的低层次融合和分析,但对于隐藏结论获取等高层次信息融合仍然需要人工参与。针对这种情况,给出了基于轻量级描述逻...
关键词：物联网 异构数据源 传感器网络 描述逻辑 事件检测 
基于符号零压缩二叉决策图的装配可行性判定方法被引量：1
《计算机科学》2016年第6期28-31,49,共5页彭瑞 李凤英 常亮 孟瑜 
广西高校科研项目(YB2014125);桂林电子科技大学研究生教育创新计划资助项目(YJCXS201541);广西高等学校高水平创新团队及卓越学者计划资助
为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行...
关键词：装配可行性 装配体联接矩阵 装配体干涉矩阵 零压缩二叉决策图 
面向装配序列规划的装配本体设计被引量：4
《模式识别与人工智能》2016年第3期203-215,共13页孟瑜 古天龙 常亮 李凤英 
国家自然科学基金项目(No.61363030;61262030);广西高校科研项目(No.YB2014125)资助~~
为提高装配序列规划的自动化程度,实现装配相关活动间信息的共享、重用和顺畅传递,实现装配序列规划系统与其它异构系统之间的无缝集成和互操作,将本体技术引入到装配建模中.针对装配序列规划建模需求,构建面向装配序列规划且基于装配...
关键词：装配序列规划 本体 描述逻辑 规则 装配特征 
基于计算思维的数理逻辑教学改革探索被引量：5
《计算机教育》2015年第15期31-35,共5页常亮 徐周波 孟瑜 古天龙 
针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将"对问题进行抽象建模—形式化—自动化—分析评估"这一思维模式贯穿于教学过程中,以及如何在教学中强...
关键词：计算思维 数理逻辑 抽象 形式化 自动化 
试探究面向虚拟装配的产品装配建模技术要点
《数字技术与应用》2014年第5期217-218,共2页孟瑜 
当前产品设计越来越复杂,基于设计复杂基础下模拟出装备建模技术,在该技术指导下,进行实体模型、装配模型、实体表达进行混合建立模型。在单元划分基础上,需要构建出每个复杂产品基本单元层次,做好将其放置在四级多层次中,进行关联装配...
关键词：复杂产品 虚拟装配 多层次关联模型 
分支时态描述逻辑ALC-CTL及其可满足性判定
《计算机科学》2014年第3期205-211,共7页李屾 常亮 孟瑜 李凤英 
国家自然科学基金(61363030;61100025;61262030);广西自然科学基金(2012GXNS FBA053169;2012GXNSFAA053220);广西可信软件重点实验室基金(KX201109)资助
时态描述逻辑是将描述逻辑与时态逻辑相结合后得到的逻辑系统,具有较强的描述能力;但是大部分的时态描述逻辑都是将时态算子同时引入到概念和公式中,使得公式可满足性问题的计算复杂度过高。将描述逻辑ALC与分支时态逻辑CTL相结合,提出...
关键词：时态描述逻辑 分支时态逻辑 可满足性问题 TABLEAU算法 复杂度 
复杂工序过程中装配序列最优调度仿真
《计算机仿真》2014年第1期370-373,共4页孟瑜 钱瑞胜 危前进 
研究制造业装配序列优化问题,由于操作工序的复杂程度不断增加,在工序之间的装配调度过程中,局部调度序列的最优标准存在冲突,不同环节直接的调度过程的矛盾日益突出。传统的调度方法一旦面对较为复杂的工序,在建立模型时,很容易受到多...
关键词：复杂工序 装配序列 调度冲突 
计算机辅助装配工艺设计关键技术探究
《软件导刊》2012年第11期17-19,共3页孟瑜 
计算机辅助装配工艺设计能够大大提高现代工业生产的效率和质量,对其进行探究有着非常重要的实践意义。从装配模型、装配顺序的设计以及对装配顺序的检验和优化着手,对其中的几点关键技术了进行了分析,希望对计算机辅助装配工艺设计的...
关键词：装配模型 装配工艺 装配关系 装配顺序 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部