陈世平
- 作品数：6 被引量：10H指数：2
- 供职机构：电子科技大学自动化工程学院更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 逻辑表达式图的实现及其在集成电路故障可测性中的应用被引量：1
- 2006年
- 数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams,BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。
- 陈世平陈光
- 基于DIXON结式的聚筛法的自动化软件GAS被引量：2
- 2004年
- 非线性代数方程组的求解是一个尚未完全解决的问题。基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,然而运用该算法的求解过程需要进行专家干预,使得该方法不能被广泛地推广和应用。对基于DIXON结式的聚筛法进行了深入地分析和研究,针对聚筛法在不能从DIXON导出方程组DPS中直接选出关于所有变元的三角列的情况下效率较低的问题,在计算机编程算法方面提出了变元轮换法和方程扩充法,使得该问题得到了有效地解决。在此改进的基础上开发的自动化软件GAS在非线性代数方程组的求解方面有很高的效率,整个计算过程无需人工介入,从而解决了该方法仅仅停留在理论研究领域而不能应用于实际工程计算的问题。
- 刘忠陈世平向晓林
- 一个求解非线性代数方程组软件GAS的实现
- 2003年
- 基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,但是应用该算法需要专家干预,极大地影响了该算法在求解非线性代数方程组方面的推广和应用.作者提出了变元全排列算法和方程扩充法,有效地提高了聚筛法实现的效率,同时完成了求解非线性代数方程组的自动化软件GAS.
- 刘忠陈世平
- 三角不等式的自动证明被引量：7
- 2003年
- 作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成.讨论了算法的实现技术,分析了其复杂度与输出结果.
- 陈世平张景中
- 关键词：可读证明智能教育软件
- 基于整数序列表示的逻辑函数化简
- 2004年
- 作者在开发一个逻辑代数符号系统中,引入了逻辑函数的一种紧凑的基于整数序列表达方式,将每一个逻辑函数用一个整数序列来描述,每一个简单项用一个或两个整数来表达.基于整数序列的表示方式特别便于机械化.在逻辑函数Q M化简法的基础上,提出了一个改进的基于整数运算的逻辑函数化简法.该算法只在同类简单项中寻找冗余变量,能输出具有最少的项数,且在项数相等的情况下又具有最少因子总数的所有最简与或式.
- 陈世平陈光
- 初等不等式的可读证明的自动生成被引量：6
- 2003年
- 结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中。
- 陈世平张景中
