VLSI CAD技术集成与智能化

为了适应超大规模集成电路(VLSI)的迅速发展的需求,各种 VLSI CAD 工具和专家系统不断被开发出来。CAD 工具的集成系统是高性能 VLSICAD 软件发展的一种很好的模式。由于 VLSI 设计中许多问题的求解是非算法的,不大适合用基于算法的程序求解,因而基于知识的设计专家系统的开发与应用受到极大重视。基于算法的程序和基于知识的软件各有其长处,故将两者结合起来,开发智能化辅助设计与决策的 VLSI CAD 环境,是 VLSI 自动设计技术发展的重要趋势。     

对AuthorWare流程控制设计的分析

一、软件特点及应用 作为多媒体创作系统,AuthorWare具有很多优点:1.高度的集成化(集设计、调试、运行于一体);2.开发效率高,易于增量开发;3.为程序员提供了API,可以扩充设计工具和风格。 AuthorWare的以上优点使我们选用它来制作CAI课件或者在软件开发中用于建立基于“快速原型法”的开发原型。 二、系统设计方法 AuthorWare采用基于流程图的设计方式,采用基于事件驱动和面向对象的设计方法来完成软件开发。     

一种基于WEB的VLSI协同设计平台

文章结合CSCW理论与VLSICAD技术,介绍了一种基于WEB的远程VLSI协同设计的网络平台,提出在WEB上实现VLSI协同设计系统要满足的要求,并给出具体实施的模型框架,指出了实施的关键技术。     

基于可测试性设计的测试综合技术初探

本文从测试性设计的角度出发,讨论了测试综合技术的必要性,以及测试综合的方法与步骤。     

适用于VLSI数据管理和工具控制的面向对象方法

本文提出了一个能有效地支持ＶＬＳＩ设计的面向对象的方法，它主要包括数据的管理和工具的控制。它采用一个数据模型（称为ＤＴＯ模型）刻划设计对象，由四个基本参量（设计对象类，设计方法，历史版本，等价视图）唯一确定，为了进行设计方法的描述，开发了一种描述工具特征的设计方法扩展描述语言（ＤＭＥＬ）。采用设计事件堆栈的方法用于工具的控制，实现了动态的设计流程调度机制（ＤＤＦＳ）。ＤＴＯ模型结合ＤＤＦＳ，成功地     

使用MAX+PlusⅡ软件平台设计电子线路系统

本文简述EDA技术的基本特征和系统设计过程．介绍了一种EDA软件平台，并用实例说明了在EDA平台上进行电路设计、实验的具体方法及研究。     

基于知识的分布式设计流管理技术研究

在ＣＡＤ集成框架中，建立高水平的设计流管理专家系统是解决分布式设计流管理的有效技术途径，本文提出一种通过建立分布式设计流管理知识库，实现设计流管理的自动化的方法，我们以设计流图为基础，采用基于扩展Ｐｅｔｒｉ网的理论模型描述设计流的动态行为，并将该模型与基于知识的方法相结合，实现了基于知识的分布式设计流管理系统，它能在较高层次管理在分布、异杈设计环境下的设计过程，该设计流管理系统在ＹＨＣＩＦ集成框哿     

一种混合知识基／优化方法的FMS设计系统

针对ＦＭＳ的设计问题，本文提出了基于ＦＭＳ“功能／行为／结构”模型的设计策略，并利用该策略构造了基于知识和优化方法的ＦＭＳ设计系统。该系统由知识库、模型及算法库、资源类库、动态数据库和仿真器组成。     

基于图的参数化设计方法

本文描述了一种基于图形数据，利用约束网络来实现约束传递，进而达到参数驱动的参数化设计方法。该方法实现简单，已用于图形建库工具。     

基于结构知识的机械产品设计技术

针对产品设计现状,研究结构设计知识.通过结构知识单元表达概念信息,对设计规则进行BNF表示,之后提取产品设计知识与规则,在此基础上提出了基于结构知识的机械产品设计方法.该方法在多腔模系统设计中得到了成功应用.     

反编译程序图设计与控制流分析

反编译是一种能将低级语言翻译到高级语言的工具。本文着重介绍反编译代码存储的程序图方法，以及在程序图基础上，对代码程序进行控制流分析、控制结构提取，给出了结构提取的算法；控制流分析过程中的程序图变换。     

基于有向图深度优先遍历的组合反馈环路检测算法

分析了造成数字逻辑设计在仿真过程中出现死循环的一个原因,提出了一种在仿真前发现设计中可能造成仿真时死循环的方法.方法主要分为三个步骤:1)分析数字逻辑设计中形成组合逻辑关系可能的文法形式.2)利用Juliano[1]三元组范式化方法对过程赋值语句进行范式化,从而判别哪些过程赋值是会生成组合逻辑电路.3)用有向图深度优先遍历方法发现组合反馈回路,以检测数字逻辑设计中组合回路的陷阱.并分析了算法复杂性.     

基于信息流的SELinux策略分析模型

针对SELinux安全策略分析和管理上的困难,提出了一种SELinux信息流分析模型SELIF。首先构造有效安全上下文集合和安全上下文的授权关系,然后根据许可权的信息流语义,用标记转换系统表示的安全上下文关系来刻画信息流。SELIF信息流模型可以直观地表达SELinux策略所描述的安全上下文之间的信息流路径,实现对复杂策略的直观分析和管理。     

基于质量控制的科研生产管理系统的总体设计

航天产品质量要求高、风险大,需对产品研发、生产、调试、安装及服务全过程实施质量控制.介绍了以质量控制为主线的科研生产管理系统,重点介绍系统设计的思想与总体设计.     

基于基本块标识方法的控制流图生成器设计

设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。     

基于车流量的交通灯智能控制算法

随着道路交通流量日益增加,现有交通灯使用的时间固定控制方法并不能很好地满足各种复杂交通情况。针对这一背景,在使用视频图像对车辆跟踪计数实时采集车流量的基础上,提出一种根据各方向车流量控制交通灯时间的算法。该算法根据实时的车流情况更新各方向的绿灯分配时间,自动调节各方向绿灯时间比例,并根据路口总车流量的大小智能调节绿灯时间周期大小。基于Delphi平台对算法进行仿真,结果表明:该算法能根据实时车流信息自适应调整各方向绿灯时长,并通过自动调节各方向绿灯时间总和来有效实现交通拥堵或畅通情况下交通灯的智能控制。