应用PLD设计控制器的新方法

控制器是数字系统的重要组成部分，它的设计是基础工作，其传统设计方案繁荣。在应用可编程逻辑器件（PLD）的控制器设计中，使用算法状态机因（ASM图）进行控制过程描述，直接用硬件描述语言的一种—VHD编程作为设计输入方式，借助设计自动化软件实现，使设计过程简化。     

一种事件驱动面向对象的设计工具--PEAD

在分析了上前常用的程序设计方法和现有设计工具的局限性之后，介绍了ＰＥＡＤ（ｐｒｏｂｌｅｍ ａｎｄ ｅｖｅｎｔ ａｎａｌｙｓｉｓ ｄｉａｇｒａｍ）图在描述对象和对象之间关系方面的能力以及在描述事件和事件处理过程方面所具有能力。ＰＥＡＤ图由ＰＡＤ图发展而来，能够适用于象ＰｏｗｅｒＢｕｉｌｄｅｒ、Ｖｉｓｕａｌ ＢＡＳＩＣ等事件驱动面向对象的软件开发工具和程序设计语言的详细设计。     

有约束条件的二分图的（g,f）—因子

设Ｇ是一个图，ｇ，ｆ是定义在Ｖ（Ｇ）上的非负整数函数，如果对Ｇ中任意ｎ个顶点的集合Ｄ，Ｇ－Ｄ有（ｇ，ｆｄ）－因子，则称Ｇ是（ｇ，ｆ，ｎ）－可消去图。本文给出了二分图Ｇ是（ｇ，ｆ，ｎ）－可消去图的一个充要条件，并且研究了（ｇ，ｆ，ｎ）－可消去图的一些性质。     

有约束条件的二分图的(g,f)-因子

设Ｇ是一个图，ｇ，ｆ是定义在Ｖ（Ｇ）上的非负整数函数，如果对Ｇ中任意ｎ个顶点的集合Ｄ，Ｇ—Ｄ有（ｇ，ｆ）－因子，则称Ｇ是（ｇ，ｆ，ｎ）－可消去图．本文给出了二分图Ｇ是（ｇ，ｆ，ｎ）－可消去图的一个充要条件，并且研究了（ｇ，ｆ，ｎ）－可消去图的一些性质．     

邻域并与Dλ—圈

设图 Ｇ 是一个ｎ 阶简单图, Ｇ 中的一个圈 Ｃ 称为 Ｄλ圈,如果 Ｇｗ Ｖ（ Ｃ）的每个连通分支的阶都小于整数λ,如果 Ｇ 是 ２连通图,且 Ｎ Ｃλ（ Ｇ）≥ ｎ２ － ２（λ－ １）,则 Ｇ 含有 Ｄλ圈或 Ｇ 是 Ｐｅｔｅｒｓｅｎ 图或 Ｇ 是三类例外图     

图中含Dλ—圈的一个充分条件

设图Ｇ是一个ｎ阶简单图，Ｇ中的一个圈Ｃ称为Ｄλ一圈，如果Ｇ／Ｖ（Ｃ）的每个连能分支的阶都小于λ。当Ｇ是３－连通图，且有ＮＣλ（Ｇ）≥ｎ＋４／２－２λ时，Ｇ含有Ｄλ－圈或Ｇ是Ｐｅｔｅｒｓｅｎ图。     

关于∪D（n_1~i；j_2~i，n_2~i；…；j_（mi）~i，n_（mi）~i的优美性

本文给出了在条件ｊ∈｛２，３，．．．，ｋ｝，２≤　，　≤３下，图Ｄ（　　　）∪Ｄ（　）∪．．．∪Ｄ（　）的ｋ－优美标号，不仅得到结果任两个菱梯图的并　是ｋ－优美的，而且还得到结果（ｎ为正整数）和Ｐ（）∪Ｐ（）（２≤，≤３或２≤，≤３或２≤，≤３或２≤，≤３）均是ｋ－优美的。     

过特定顶点集S的S—D—圈与S—D—路

利用领域域交给出了图Ｇ的每个Ｓ－厚大圈都是Ｓ－Ｄ－圈的一个充分条件，并给出了对任意｛ｕ，ｖ｝包含Ｖ（Ｇ），Ｇ的每条（ｕ，ｖ）－Ｓ－最大路都是Ｓ－Ｄ－路的一个充分条件。     

强连通图的二阶指数集

设Ｄ为ｎ阶强连通图，Ａ（Ｄ）为Ｄ的邻接矩阵，则以Ａ（Ｄ）＋Ａ~２（Ｄ）为本原矩阵，其指数称为Ｄ的二阶指数，ｎ阶强连通图的二阶指数集Ｓ（２，ｎ）＝｛１，２，…，ｎ－１｝。     

路圈和Dn并补的色唯一性

本文证明了两类图Ｐ并Ｃ并Ｄ并（ｌＣ３）和Ｐ并Ｃ并Ｄ并（ｌＣ３）并（Ｐｑ－１）的补图在一定条件下是唯一的。     

胸腺内双阴胸腺细胞重建动态的数学模型

根据小鼠的胸腺细胞实验数据,建立了描述胸腺细胞（ｔｈｙｍｏｃｙｔｅ）发育过程的数学模型,该模型考虑了胸腺细胞与胸腺基质细胞（ｔｈｙｍｉｃ ｓｔｒｏｍａｌ ｃｅｌｌ,ＴＳＣ）之间的相互作用,能够模拟ＣＤ４－ＣＤ８－ＤＮ细胞重建动态及正常小鼠胸腺细胞的发育过程,研究表明,模型中的一些参数应该是含有时间延迟的,通过模型研究了胸腺细胞与ＴＳＣ之间亲和力在胸腺选择过程中的阳性与阴性选择中的差异,理论预言与实     

QHD－Ⅱ模型中的核力

在泡泡图近似下，给出了量子强子动力学ｌｌ（ＱＨＤ－ｌｌ）模型中的核子－核子（ＮＮ）相互作用．由ＱＨＤ－ｌｌ模型给出的ＮＮ相互作用与通常的核理论符合得很好．     

Z^0能区量子电动力学的实验检验

量子电动力学（ＱＥＤ）的实验检验一直是ｅ＋ｅ－对撞机上的重要物理工作之一．在Ｚ０共振峰附近（８８～９４ＧｅＶ），ｅ＋ｅ→γγ是最干净的ＱＥＤ过程．ＬＥＰ四个实验组通过这一过程分别对ＱＥＤ进行了实验检验，证明在迄今人们所能达到的ｅ＋ｅ－对撞最高质心系能量下，ＱＥＤ仍然很好地描述ｅ＋ｅ－→γγ过程，即在２×１０－１６ｃｍ线度内，ＱＥＤ仍然成立．我们参加了Ｌ３国际合作组的工作，在国内分析了１９９０年、１９９１年Ｌ３的物理数据，本文报告我们的分析方法和结果．     

HVDC dc侧基于滞环控制的有源直流滤波器

本文针对ＨＶＤＣ直流侧无源－有源混合型滤波器的结构,分析了混合型滤波器的控制原理,提出了基于Ｈｙｓｔｅｒｓｅｉｓ特性的控制器,并设计了相应的控制电路,文中最后给出了控制器及滤波性能仿真曲线,仿真结果表明,基于Ｈｙｓｔｅｒｓｉｓ控制的混合型有源直流滤波器（ＨＡＤＦ）动态响应快,补偿效果好。     

数据库装配工具 LOADER 的研究

描述了ＬＯＡＤＥＲ的功能特点,针对一个实例给出了ＤＭ２－ＬＯＡＤＥＲ的系统结构．在ＬＯＡＤＥＲ的设计中,采用了分层原则（数据库接口层和编译层相分离）．提出基于对象标志处理多媒体数据的方法．     

数据库装配工具LOADER的研究

描述了ＬＯＡＤＥＲ的功能特点，针对一个实例给出了ＤＭ２－ＬＯＡＤＥＲ的系统结构，在ＬＯＡＤＥＲ的设计中，采用了分层原则（数据库接口层和编译层相分离），提出基于对象标志处理多媒体数据的方法。     

X—可迹图的两个推论

在［２］中的结果：如果Ｇ是ｎ阶２－连通图，Ｘ∪→－Ｖ（Ｇ）并且ＮＣ２（Ｘ）≥ｎ－１／２，则Ｇ是Ｘ－可迹图。本文利用该结果推广了Ｄｉｒａｃ和Ｏ．Ｏｒｅ分别在文献［３］和［４］中有关可迹图方面的结论。     

三维束流传输的程序──TRACE-3D／PC

这个程序是由ＴＲＡＣＥ－３Ｄ／ＶＡＸ版本改造而成，可用于微机以进行束流传输元件设计。它是一个计算传输系统束流（包括空间电荷效应）的束包络交互式束流动力学程序。在微机上运行的ＴＲＡＣＥ－３Ｄ／ＰＣ保留了原版本的功能与特点，同时增加了结果图形输出、实时帮助、实时文件编辑等功能；它是加速器设计中一个方便而有用的工具。文中描述了ＴＲＡＣＥ－３Ｄ／ＰＣ的主要性能和一个例子。     

智能CAD方法及应用

文章对智能ＣＡＤ中的基于实例设计（ＣＢＤ）方法作了较详细的讨论, 包括ＣＢＤ的过程模型、实例描述、推理方法和系统自学习等。对于设计实例的描述和智能ＣＡＤ的推理机制等方面, 介绍了不同的方案与技术。最后对国内外ＣＢＤ技术的应用情况作了简要叙述     

小圈二重覆盖三角剖分图

近三角剖分图是一连通平面图,其内面均为三角形,而其外面可能不是．图Ｇ的一个二重覆盖（ＣＤＣ）指它的一个圈族Ｃ,使得Ｇ的每条边恰属于Ｃ的两个元素．令Ｇ为一个具有ｎ个节点的２－连通平面图,Ｃ为Ｇ的一个ＣＤＣ．若｜Ｃ｜≤ｎ－１,则称Ｃ为Ｇ的一个小圈二重覆盖（ＳＣＤＣ）．本文证明每个近三角剖分图均存在一个ＳＣＤＣ．