张端仪
- 作品数：10 被引量：12H指数：2
- 供职机构：华东船舶工业学院电了与信息系更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 二进制矢量矩阵的生成与复盖－通用简约验证测试集的构成方法研究
- 张端仪吴翰声
- 关键词：二进制递归论计算机辅助测试电路分析
- 构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现被引量：1
- 1993年
- 本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。
- 张端仪吴翰声
- 一种生成组合电路故障测试集的方法
- 1993年
- 本文介绍笔者提出的一种通过寻找临界最小项获得故障检测测试集的方法.这种方法与故障表法、布尔差分法及D算法不同,只需进行普通的加、减运算及求集合的交等.而且全部计算均采用人们熟悉的十进制数.最后.还介绍了实现这种方法的计算机运行输出结果.
- 张端仪
- 关键词：计算机故障检测组合电路
- 多元杨辉三角形及其性质被引量：2
- 1994年
- 本文提出多元杨辉三角形的概念．介绍多元杨辉三角形在定权代码计数中的应用及多元杨辉三角形的性质。
- 张端仪吴翰声
- 关键词：组合数学多值逻辑杨辉三角形
- 全文增补中
- 状态分配的穷举法——状态分配方案树
- 张端仪
- 关键词：对策树树(数学)时序电路网络图论
- 多元杨辉三角形的母函数及其应用
- 1997年
- 本文给出多元杨辉三角形的计数普母函数及其证明，并给出应用该函数导出的三个恒等式。
- 张端仪吴翰声
- 关键词：组合数学杨辉三角形母函数
- 一种生成通用简约验证测试集U（p，w）矩阵的算法
- 1995年
- 作者曾著文给出了构造Ｕ（ｐ，ｗ）矩阵的公式，一个Ｕ（ｐ，ｗ）矩阵含有特定的一组权．在前文的基础上，本文讨论如何根据给出的权产生相应的全部矢量的算法．本算法比较简单，适用于二值逻辑和多值逻辑．
- 张端仪吴翰声杨华锋
- 关键词：多值逻辑矩阵
- 通用简约验证测试集U（p，w）矩阵的广义构造公式被引量：1
- 1994年
- 本文是在文献［１］的基础上进行的研究．通过将文献［１］的三条定理推广到多进制情况以及对多进制ｐ中取ｉ矢量矩阵生成关系图的研究，提出了Ｕ（ｐ，ｗ）矩阵的广义构造公式．利用本文公式可直接生成多值逻辑电路在进行伪穷举测试时需要的通用简约验证测试集．
- 吴翰声张端仪
- 关键词：逻辑电路矩阵
- 基于对象模型的数字电路故障诊断专家系统——数字电路的框架模型
- 1991年
- 我们建立了一个基于对象模型的顺序电路74163计数器的故障诊断专家系统,该系统描述了对象的构造和功能,它是深层知识表示的一种.本文叙述了对象模型的概念.计数器电路的模型化方法.该电路的知识表示方法及知识库建立的方法.最后叙述了故障诊断的推理及执行诊断的画面。
- 吴翰声张端仪
- 关键词：人工智能故障诊断系统专家系统
- 基于对象模型的全腕式电动假肢的控制和诊断专家系统被引量：9
- 1993年
- 我们研制了一个基于对象模型的全腕式电动假肢专家系统,在该系统里,我们通过对假肢进行模型化建立了假肢对象的知识库,并根据控制目标和故障诊断目的设计了推理程序,因此,系统能控制假肢各个关节协调动作,使完成目标作业,并能诊断出假肢的故障。本文介绍对象模型的概念,有关假肢对象模型的阶层构造,知识表示方法。
- 吴翰声张端仪
- 关键词：专家系统对象模型
