期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
与或非功能树的无损简化策略
1
作者
唐益明
刘晓平
《图学学报》
CSCD
北大核心
2013年第1期31-40,共10页
对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失。为此,面向与或非功能树,提出了无损简化的策略。给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法...
对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失。为此,面向与或非功能树,提出了无损简化的策略。给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法,针对AND/OR树证明了若干无损简化定理,在此基础上生成了与或非功能树的无损简化算法。通过应用实例,证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量,提升创新推理的效率。
展开更多
关键词
计算机应用
创新推理
无损简化
与或非功能树
在线阅读
下载PDF
职称材料
功能树的EFVM求解算法
被引量：
5
2
作者
唐益明
刘晓平
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010年第9期1578-1586,共9页
为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FV...
为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FVM的扩展与展开,给出EFVM直接求解算法;在考虑约简的基础上,提出EFVM约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计.
展开更多
关键词
概念设计
与或非功能树
经典命题逻辑
代数系统
约简
在线阅读
下载PDF
职称材料
题名
与或非功能树的无损简化策略
1
作者
唐益明
刘晓平
机构
合肥工业大学情感计算与先进智能机器安徽省重点实验室
合肥工业大学信息与通信工程博士后科研流动站
合肥工业大学计算机与信息学院
出处
《图学学报》
CSCD
北大核心
2013年第1期31-40,共10页
基金
国家自然科学基金资助项目(61203077
41076120
+6 种基金
61105076
61070124
60890075)
中国博士后科学基金资助项目(2012M521218)
中央高校基本科研业务费专项资助项目(2012HGQC0011
2012HGCX0001
2012HGBZ0639)
文摘
对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失。为此,面向与或非功能树,提出了无损简化的策略。给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法,针对AND/OR树证明了若干无损简化定理,在此基础上生成了与或非功能树的无损简化算法。通过应用实例,证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量,提升创新推理的效率。
关键词
计算机应用
创新推理
无损简化
与或非功能树
Keywords
computer application
innovative reasoning
lossless simplifying
and/or/notfunction tree
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
功能树的EFVM求解算法
被引量：
5
2
作者
唐益明
刘晓平
机构
合肥工业大学计算机与信息学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010年第9期1578-1586,共9页
基金
国家"九七三"重点基础研究发展计划项目(2009CB326203)
国家自然科学基金(60673028)
安徽省高等学校优秀青年人才基金(2010SQRL013ZD)
文摘
为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FVM的扩展与展开,给出EFVM直接求解算法;在考虑约简的基础上,提出EFVM约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计.
关键词
概念设计
与或非功能树
经典命题逻辑
代数系统
约简
Keywords
conceptual design
and/or/not function tree
classical propositional logic
algebra system
simplification
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
与或非功能树的无损简化策略
唐益明
刘晓平
《图学学报》
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
2
功能树的EFVM求解算法
唐益明
刘晓平
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
