陈世平

作品数:6被引量:7H指数:2
导出分析报告
供职机构:电子科技大学自动化工程学院更多>>
发文主题:可读证明GAS三角不等式智能教育软件初等不等式更多>>
发文领域:自动化与计算机技术理学更多>>
发文期刊:《四川大学学报(自然科学版)》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
逻辑表达式图的实现及其在集成电路故障可测性中的应用
《四川大学学报(工程科学版)》2006年第2期151-154,共4页陈世平 陈光(礻禹) 
数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在...
关键词:逻辑表达式图 二元判决图 呆滞型故障 测试 
基于整数序列表示的逻辑函数化简
《四川大学学报(自然科学版)》2004年第5期965-969,共5页陈世平 陈光 
作者在开发一个逻辑代数符号系统中,引入了逻辑函数的一种紧凑的基于整数序列表达方式,将每一个逻辑函数用一个整数序列来描述,每一个简单项用一个或两个整数来表达.基于整数序列的表示方式特别便于机械化.在逻辑函数Q M化简法的基础上...
关键词:整数序列 Q-M法 最简与或式 冗余变量 
基于DIXON结式的聚筛法的自动化软件GAS
《四川大学学报(工程科学版)》2004年第3期101-103,共3页刘忠 陈世平 向晓林 
非线性代数方程组的求解是一个尚未完全解决的问题。基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,然而运用该算法的求解过程需要进行专家干预,使得该方法不能被广泛地推广和应用。对基于DIXON结式的聚筛法进行了...
关键词:吴法 DIXON结式 聚筛法 
一个求解非线性代数方程组软件GAS的实现
《四川大学学报(自然科学版)》2003年第4期691-694,共4页刘忠 陈世平 
基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,但是应用该算法需要专家干预,极大地影响了该算法在求解非线性代数方程组方面的推广和应用.作者提出了变元全排列算法和方程扩充法,有效地提高了聚筛法实现的效率,同...
关键词:DIXON结式 聚筛法 变元全排列 方程扩充法 
三角不等式的自动证明被引量:7
《四川大学学报(自然科学版)》2003年第4期686-690,共5页陈世平 张景中 
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成.讨论了算法的实现技术,分析了其复杂度与输出结果.
关键词:可读证明 计算机符号代数 变量归一算法 智能教育软件 
初等不等式的可读证明的自动生成被引量:6
《四川大学学报(工程科学版)》2003年第4期86-93,共8页陈世平 张景中 
结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分...
关键词:规则 逆向演绎系统 模型 初等可读证叫 深度约束 
检索报告 对象比较 聚类工具 使用帮助 返回顶部