-
题名基于遗传算法的TBDD排序方法
被引量:2
- 1
-
-
作者
龙望宁
杨士元
闵应骅
童诗白
-
机构
清华大学计算机系
清华大学自动化系
中科院计算所cad开放实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
1998年第5期1-6,共6页
-
基金
国家自然科学基金
国家CIMS工程研究中心基金
-
文摘
带时间参数的二叉判决图(TBDD)在电路的时滞故障测试中有着重要的应用价值,但其变量排序是用常规方法无法解决的一个优化问题.本文提出一种基于遗传算法的TBDD排序算法.用快速衡量值和TBDD节点数来计算个体的适应度,针对变量排序的特定问题,提出一种模板保序交叉方法.采用自适应的变异概率计算方法,并提出一个适合于TBDD排序问题的变异算法.实验结果表明较好地解决了TBDD的排序问题.
-
关键词
遗传算法
二叉判决图
TBDD
变量排序
-
Keywords
Genetic algorithm, Delay fault test, Binary decision diagrams, Variable ordering for TBDD
-
分类号
O242.23
[理学—计算数学]
-
-
题名数据场可视化系统(DVS)和它的应用(英文)
被引量:3
- 2
-
-
作者
刘慎权
唐卫清
李华
-
机构
中科院计算所cad开放实验室
-
出处
《流体力学实验与测量》
CSCD
1997年第2期54-54,59,42,共3页
-
文摘
探讨三个方面的问题,即数据场可视化的数据模型、体系结构以及应用。文章通过对应用领域的实际分析和综合。总结出常用的22种数据场的类型,依此提炼出了数据场可视化系统的数据模型和体系结构,文章还对相关的可视化方法作了介绍。根据文中提供的模型在Indigo2工作站上实现的一个数据场可视化系统已被应用于许多专业领域,文章最后给出了几个方面应用的结果。
-
关键词
数据场
可视化系统
数据模型
体系结构
DVS
-
Keywords
scientific computing
data field
visualization
data model
software structure
system
-
分类号
TN911.72
[电子电信—通信与信息系统]
-
-
题名人机对话快速生成刀具投影图
被引量:1
- 3
-
-
作者
陈定方
胡贤金
-
机构
武汉交通科技大学港口机械工程系
机械部成都工具研究所
中科院计算所cad开放实验室
-
出处
《武汉交通科技大学学报》
1998年第2期124-127,共4页
-
文摘
论述了在给出刀具的一个截面的情况下,通过编制人机交互式对话功能的程序文件,运用计算机辅助作图法快速绘出刀具该截面投影图的方法,以期提高图形生成效率和准确度.其中,工件廓形的计算机离散化是实现该功能的一个重要砝码.
-
关键词
截形
计算机辅助绘图
刀具
设计
投影图
-
Keywords
section
projecting
computer aided drawing
-
分类号
TG710.2
[金属学及工艺—刀具与模具]
-
-
题名因特网应用中音质技术的研究
被引量:2
- 4
-
-
作者
何宝宏
林守勋
林宗楷
-
机构
中科院计算所cad开放实验室
-
出处
《通信学报》
EI
CSCD
北大核心
1999年第9期70-74,共5页
-
文摘
语音是协同应用中最重要的组成部分之一。尽管已经出现了一些语音工具,但仍还有一些重要问题有待解决,尤其是音质普遍不高。本文分析了造成因特网语音应用中音质下降的原因,研究了静音抑制、传输控制、播放和操作系统调度等改善音质的方法。
-
关键词
因特网
音质
语音信号处理
-
Keywords
Internet,voice quality
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
TN912.3
[电子电信—通信与信息系统]
-
-
题名分布式系统中的动态测试调度
被引量:2
- 5
-
-
作者
向东
魏道政
-
机构
中科院计算所cad开放实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
1992年第5期53-58,共6页
-
文摘
本文提出了一种在分布式环境下电路的并行测试调度算法。文中采用了动态调度的策略,最大限度地提高了测试的并行度。这种动态测试调度不同于静态调度在测试以前对各处理机分配任务,而是在测试过程中逐步形成测试方案,充分利用了处理机的空闲时间。
-
关键词
调度
动态测试
调度
电路
-
Keywords
Testing scheduling, Distributed scheduling, Parallel testing,Dynamic testing scheduling
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
-
题名并行测试的测试调度及其控制
被引量:1
- 6
-
-
作者
向东
魏道政
-
机构
中科院计算所cad开放实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
1993年第11期44-50,共7页
-
文摘
本文首先从理论上比较严格的证明了测试调度问题是多项式可解的。提出了一种O(n^2)的最优测试调度策略。最后,阐述了一种测试调度的控制策略,使得多路转换器控制输入最少。
-
关键词
并行测试
并行处理
测试调度
控制
-
Keywords
Parallel processing in test generation,Test scheduling,Test length,Polynomial algorithm,Optimal algorithm
-
分类号
TP206
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种多目标雷达视频信号模拟器的设计
被引量:1
- 7
-
-
作者
刘先峰
徐保民
-
机构
北京理工大学电子工程系
中科院计算所cad开放实验室
-
出处
《电光与控制》
北大核心
1998年第4期41-44,共4页
-
文摘
详述了一种多目标雷达信号模拟器的设计思想及其实现方法,该模拟器采用计算机和高速处数字处理芯片相组合的方法,能够模拟多种复杂调制方式下的雷达发射信号和多目标在多种杂波和噪声情况下的相干回波信号,该模拟器可与信号处理机,数据处理机及显示器民闭环,便于在实验室内对雷达系统进行调试与评估以节省时间和资金,该模拟器信号频带宽很宽,实时性好,模拟器参数设置方便。
-
关键词
雷达信号
雷达回波
DSP
雷达模拟器
视频信号
-
分类号
TN955
[电子电信—信号与信息处理]
TN957.51
[电子电信—信号与信息处理]
-
-
题名以CPU为核心的数字系统的VHDL建模研究
- 8
-
-
作者
张作俊
林守勋
郭玉钗
林宗楷
-
机构
中科院计算所cad开放实验室
-
出处
《微电子学与计算机》
CSCD
北大核心
1995年第4期10-12,共3页
-
基金
863高科技资助
-
文摘
本文介绍了VHDL在以CPU为核心的数字系统中建模的方法、在算法级上给出CPU的功能描述,对MENIORY建立简化模型,对接口电路给出信号的定时描述。
-
关键词
数字系统
VHDL
逻辑模拟
CPU
-
Keywords
VHDL,Logic simulation,Modeling
-
分类号
TP271.82
[自动化与计算机技术—检测技术与自动化装置]
-