检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 1991年第2期3卷 71-79页

作者：魏道政中国科学院计算技术研究所CAD开放研究实验室北京100080

本文提出组合电路故障模拟的一种新方法。对一个给定的输入向量t,除第一遍真值模拟是从电路的初级输入到初级输出进行计算外,故障模拟是从电路的初级输出到初级输入逐级进行表达式运算,由得到的表达式可以判断t能否检测电路中任何一条... 详细信息

本文提出组合电路故障模拟的一种新方法。对一个给定的输入向量t,除第一遍真值模拟是从电路的初级输入到初级输出进行计算外,故障模拟是从电路的初级输出到初级输入逐级进行表达式运算,由得到的表达式可以判断t能否检测电路中任何一条引线上的s—a—0或s—a—1单故障。本文还介绍了本算法和临界路径跟踪法相结合的一种算法,简化了临界路径跟踪法中对扇出源临界性的处理过程。

关键词：初级输入组合电路输入向量初级输出临界路径临界性单故障扇出控制输入子电路

来源：评论

学校读者我要写书评

暂无评论

基于扇出源分析的一种故障模拟方法

引用

计算机辅助设计与图形学学报 1991年第1期3卷 17-23页

作者：宫云占魏道政中国科学院计算技术研究所CAD开放研究实验室 100080

本文提出了一种基于扇出源分析的故障模拟方法,通过采用五种信息标记,根据其传播规则和对不同的扇出源进行分类,使之可以有效地加速扇出源临界性的判定,从而提高模拟速度。

关键词：数字电路故障模拟扇出源

来源：评论

学校读者我要写书评

暂无评论

集成化电子cad系统中逻辑划分系统—CALOP

引用

计算机辅助设计与图形学学报 1991年第3期3卷 1-5,17页

作者：沈兆宣林宗楷郭玉钗中国科学院计算技术研究所CAD开放研究实验室 100080

本文分析了逻辑划分问题的困难,提出采用自动与交互相结合的策略,并给出一个开放的自动划分与高级的交互划分相结合的计算机辅助逻辑划分系统—CALOP。

关键词：逻辑划分 CALOP 设计过程逻辑电路划分问题划分算法层次法工程设计阶段自底向上设计子元

来源：评论

学校读者我要写书评

暂无评论

Mandelbrot数集和非线性过程的可视性图象

引用

计算机辅助设计与图形学学报 1991年第4期3卷 26-32页

作者：胡纪阳胡瑞安华中理工大学中国科学院计算技术研究所CAD开放研究实验室北京100080

本文通过Mondelbrot数集映象变换式,讨论了Riccati常微分方程的数值解是如何与其变换式相对应,并由此与非线性常微分方程相联系的,提出M-Euler数学模型和算法。非线性过程常见于机械、电气和力学中。研究表明,这类非线性常微分方程的数... 详细信息

本文通过Mondelbrot数集映象变换式,讨论了Riccati常微分方程的数值解是如何与其变换式相对应,并由此与非线性常微分方程相联系的,提出M-Euler数学模型和算法。非线性过程常见于机械、电气和力学中。研究表明,这类非线性常微分方程的数值解的复变換式与M-数集有密切关系,它们具有分数维性质。本文研究了此类问题的理论、算法,并在计算机上输出可视性图象。

关键词：非线性过程常微分方程 Mandelbrot 数值解 Riccati 分数维吸引子非线性微分方程复变数学模型

来源：评论

学校读者我要写书评

暂无评论

XUEcad系统的VHDL硅编译器

引用

计算机辅助设计与图形学学报 1991年第3期3卷 69-72,82页

作者：弋鹏翔赵阳西安电子科技大学电路CAD所 710071 中国科学院计算技术研究所CAD开放研究实验室 000080

VHDL硅编译器是XUEcad集成电路自动设计系统的一个辅助工具。本文将着重介绍改进后的VHDL硅编译器的布局、布线算法。

关键词：硅编译器 VHDL XUEcad 元树辅助工具链表单元库接口程序去模糊树表示

来源：评论

学校读者我要写书评

暂无评论

传动箱专家系统的总体结构和推理控制机制

引用

计算机辅助设计与图形学学报 1991年第2期3卷 38-45页

作者：项红黄心渊万耀青兵器工业总公司计算机应用技术研究所北京100081 北京理工大学 100081 中国科学院计算技术研究所CAD开放研究实验室北京100080

机械设计专家系统的总体结构和推理控制机制是求解复杂机械设计问题,高效完成设计的关键问题之一。本文结合传动箱设计专家系统(GBES)的研制,对这些问题进行探讨,提出了GBES模块化的总体结构以及所采用的黑板控制法、推理链、手段目的... 详细信息

机械设计专家系统的总体结构和推理控制机制是求解复杂机械设计问题,高效完成设计的关键问题之一。本文结合传动箱设计专家系统(GBES)的研制,对这些问题进行探讨,提出了GBES模块化的总体结构以及所采用的黑板控制法、推理链、手段目的分析、正、反向推理等相结合的推理控制机制。

关键词：专家系统推理控制总体结构推理链机械设计推理机知识表示方式反向推理手段目的分析正向推理

来源：评论

学校读者我要写书评

暂无评论

组合逻辑电路的测试故障模型

引用

计算机学报 1990年第7期13卷 528-538页

作者：曾文斌中国科学院计算技术研究所CAD开放实验室

本文依据组合逻辑电路中功能单元的每一单固定型故障的完全测试集,定义了一种测试故障模型及测试故障的支配与相容关系,在测试生成中采用这种故障模型:(1)可完整描述功能单元上的所有单固定型故障,在功能级完成故障信号的激活。敏化及... 详细信息

本文依据组合逻辑电路中功能单元的每一单固定型故障的完全测试集,定义了一种测试故障模型及测试故障的支配与相容关系,在测试生成中采用这种故障模型:(1)可完整描述功能单元上的所有单固定型故障,在功能级完成故障信号的激活。敏化及反向定位,提高故障覆盖率;(2)在测试生成之前,消除一些可不考虑的故障,压缩故障字典;(3)可依据支配与相容关系确定测试码搜索时功能。单元输入值的选择顺序,优化最终生成的测试码。

关键词：组合逻辑电路故障测试逻辑电路

来源：评论

学校读者我要写书评

暂无评论

一种有效的启发式自动逻辑划分算法

引用

计算机学报 1990年第9期13卷 679-684页

作者：张思平林宗楷郭玉钗中国科学院计算技术研究所CAD开放实验室

逻辑划分是工程化设计阶段要解决的第一个问题。它是一个NP问题。由于问题本身的复杂性,寻求获得精确最优解的算法是不现实的。本文提出一种有效的启发式算法,首先,对电路按照一定的规则产生功能组;然后,将功能组分配到各模块中。这两... 详细信息

逻辑划分是工程化设计阶段要解决的第一个问题。它是一个NP问题。由于问题本身的复杂性,寻求获得精确最优解的算法是不现实的。本文提出一种有效的启发式算法,首先,对电路按照一定的规则产生功能组;然后,将功能组分配到各模块中。这两步的结果,设计者均可通过人工干预方法对之进行修改和控制。该算法已在Apollo工作站上给予初步实现,通过试验数据试算,其结果至少与人工划分结果差不多,并且速度很快。

关键词：启发式逻辑划分算法计算技术

来源：评论

学校读者我要写书评

暂无评论

计算机辅助建筑外观设计系统

引用

计算机研究与发展 1990年第3期27卷 52-55页

作者：易新刘安伟刘慎权中国科学院计算技术研究所CAD开放实验室

本文通过对传统建筑外观设计方法的分析与评价,综合近几年来计算机图形学的最新发展技术,给出了一个计算机辅助建筑外观设计系统的模型及其实现方法。

关键词：计算机建筑外观设计 cad

来源：评论

学校读者我要写书评

暂无评论

二维松弛布局方法

引用

计算机学报 1990年第3期13卷 207-214页

作者：许建国中国科学院计算技术研究所CAD开放研究实验室

本文采用有向图表示、提出一种二维的最小区域布局方法。在对初始布局对应的有向图进行一系列松弛操作的基础上,得到一个灵活的拓扑表示和相应的数学模型——二次最优化问题,其中包括对一组障碍矩形区域的考虑,最后由分枝限界法求解。

关键词：二维布局有向图图论

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：