时序险象基本判据

本文利用几个定义和限制，得到了一外部激励ｘ，ｎ个状态变量电位异步时序电路的任一状态的一般逻辑表达式－特性方程、将此方程与状态表结合导出了产生时序险象时的状态变量数和稳定状态数所满足的条件；给出了对时序险象研究特别有用的基本判定法则。     

数字逻辑电路的竞争与险象分析

对于数字逻辑电路，由于外界多个输入信号的同时改变，以及自身电路的传输延迟，因而普遍存在竞争现象。本文全面分析组合逻辑电路和时序逻辑电路中竞争出现的条件，对于会导致险象的临界竞争，针对不同的逻辑电路类型分别指出消除险象的具体措施。所得结论对数字逻辑电路分析和设计具有一定指导作用。     

参数不确定混沌系统的自适应同步控制

用同步误差最小化的自适应方法与替代状态变量的同步法相结合,来研究混沌系统的同步控制,并且估计驱动系统的未知参数,所需的信息只要一个这个系统的状态变量.未知参数可能显含在这个已知状态变量的发展方程中,也可能不显含在这个发展方程中,只要满足一定的条件,都可以实现参数估计与系统的混沌同步.以Lorenz系统为例,进行了具体分析与数值模拟,所得结果说明该控制策略是有效的.     

卷积码的线性系统

介绍了卷积码的线性离散时不变系统模型。从建立卷积码的状态变量方程出发,研究了卷积码的代数结构,并详细论述了基于状态变量方程描述的迭代译码算法。     

用耦合模原理分析RLC串联电路

用两个状态变量构造的复数状态变量叫做耦合模.以耦合模为变量对电路或系统进行分析的方法叫耦合模分析.本文以RLC串联电路零输入响应和正弦稳态响应为例,介绍了耦合模原理在电路分析中的应用,包括耦合模的定义与性质,耦合模方程的列写与求解,耦合模方程的简化,以及用耦合模计算的元件储能和电路储能等.用数值计算方法给出了这些响应的波形,它们和用传统电路理论获得的波形完全一致.耦合模原理在分析模式耦合系统,并着眼于能量的传递时,具有特殊的用途,例如无线电能传输系统.     

用有源R-C网络综合最小实现的动态方程

在复杂的线性系统设计中,需在计算机上仿真,为此,需求得真有理传递函数阵最小实现的动态方程.这种动态方程的实现可用有源R-C网络的综合方法,就是使用电容、电阻与运算放大器的多种组合.本文先研究了一阶微分方程的综合,而后研究一般一阶状态方程组的综合,最后研讨了将放大器跨接的浮地电容电压转化为输出电压(对地)的综合方法.并且用一个含有三个状态变量动态方程的综合作为例题,以示其应用.     

一种卡尔曼滤波与粒子滤波相结合的非线性滤波算法

提出一种基于卡尔曼滤波与粒子滤波的非线性滤波算法.这种方法对于状态变量服从线性变化而观测方程为非线性的动态系统模型具有显著的效果.首先使用粒子滤波对状态变量进行初估计,然后对估计结果进行卡尔曼滤波,另外推导出该系统模型下状态变量估计误差的克拉美劳下界.通过计算复杂度分析及仿真实验验证,表明新方法与标准粒子滤波算法复杂度相当,但参数估计精度要高于标准粒子滤波以及扩展卡尔曼滤波算法,估计误差甚至要低于系统模型的克拉美劳下界.     

用耦合模原理分析RLC串联电路

用两个状态变量构造的复数状态变量叫做耦合模。以耦合模为变量对电路或系统进行分析的方法叫耦合模分析。本文以RLC串联电路零输入响应和正弦稳态响应为例,入门性地介绍了耦合模原理在电路分析中的应用,包括耦合模的定义与性质,耦合模方程的列写与求解,耦合模方程的简化,以及用耦合模计算的元件储能和电路储能等。用数值计算方法给出了这些响应的波形,它们和用传统电路理论获得的波形完全一致。耦合模原理在分析模式耦合系统,并着眼于能量的传递时,具有特殊的用途,例如无线电能传输系统。     

ANISIM软件简介

1.ANISIM的用途ANISIM可以求解九阶以下的常微分方程和差分方程,并能显示解答的变化过程和几何特性;可以描绘二阶自治系统的方向场和相平面上的解答轨线;可以显示三维空间中的轨线;可以显示poincaie映射;可以显示奇异吸引子在各个座标平面上的投影;可以显示各状态变量的数值;程序包内存70余个微分方程和差分方程,并允许使用者输入九阶以下的常微分方程和差分方程,并显示其解答的各种特性;可以帮助你探索非线性动态电路与系统中的     

时频分析的卡尔曼滤波匹配解调变换法

本文为多分量时频分析,提出了一种卡尔曼滤波的匹配解调变换的分析方法,该方法对信号的局部频率特性进行建模,以模型参数作为状态变量、以时频脊线为观测变量,分别建立起时频分析的状态方程和观测方程,据这些方程并利用卡尔曼滤波就可获得信号的瞬时频率,最后再对信号进行解调变换,就得到了能量高度集中的时频分布.在不同信噪比的情况下,仿真测试表明：本文方法优于现有文献报道方法.     

基于双稳态触发器的逻辑功能研究

双稳态触发器是具有记忆功能的核心逻辑单元，在数字集成电路中发挥着重要作用。采用特征方程法并配合电路结构来研究双稳态触发器的逻辑功能，充分体现了各触发器之间的演变过程、相互联系及转换。     

时序逻辑电路设计的经典案例教学探究

围绕时序逻辑电路设计中串行数据检测器这一教学案例进行探讨,分析了传统和两种改进型电路的设计缺陷及其逻辑抽象本质,通过将传统设计方法和实用的电路设计相结合,能够把时序逻辑电路设计中涉及的逻辑抽象、状态等价、状态化简等概念实例化,教学内容的理论体系更完整、教学过程的逻辑性更强,有助于激发同学们夯实理论知识体系、解决实际问题的创新性思维能力。     

Hazard-Free Self-Timed Design: Methodology and Application to Asynchronous Routing in an Heterogeneous Parallel Machine

The goal of this research is to enable the actual building of parallel machines. The example chosen in this paper is a heterogeneous parallel machine with an intrinsic asynchronous behavior. An asynchronous router fully supports such a logical asynchronism. However, every parallel processor would exhibit asynchronism similar enough to warrant the study of a general methodology. The main part of the paper deals with an original method that ensures a hazard-free self-timed design assuming the worst conditions for robustness. Hazards are classified under three types. On top of logic hazards that resort to implementation, equation hazards are eliminated by an optimal covering. A new variable labelled state-trajectory is proposed: its integrity guarantees immunity to function hazards. The method was fruitfully applied to the VLSI CMOS implementation of the above-mentioned router. Peculiar fully customized cells were designed. Circuit-measured performances as well as some machine inner-communication performances are presented.     

基于Hopfield网络的时序电路测试方法探析

针对时序电路置初态难的问题，提出了利用假想思想把时序电路转化为组合电路的方法，并结合时序电路的特点来实现测试矢量。发现利用EDA工具软件仿真正常电路的波形。可很快得到稳定状态，选择不同的反馈线可得到各稳定状态的次组合电路。结果表明此方法可实现故障的测试矢量，是一种研究时序电路故障测试产生的有效方法。     

Weakly guiding analysis of elliptical core step index waveguidesbased on the characteristic numbers of Mathieu's equation

A new weak guidance analysis for step index elliptical core optical fibers is developed. The method shows that weakly guiding, or linearly polarized (LP), modes are determined by and correspond uniquely to the characteristic numbers of Mathieu's equation. This is the first analysis of elliptical core weakly guiding modes which determines propagation constants and indexes modes by directly solving the underlying Mathieu's equation through the sole use of characteristic numbers. The resulting new analysis resolves an ambiguity in the standard literature concerning the classification of weakly guiding modes     

常用逻辑函数复合项险象简化精确定位

本文根据逻辑余式的基本原理，在二变量基本项与复合项组合险象的基础上，导出了三变量基本项与复合项。采用K=1状态变化过程中赋值不同的中间逻辑状态，得到了三变量复合项功能冒险之简化计算法则。这种计算方法简单而快建，使工作量大大降低．为四变量逻辑函数以及多变量函数组合险象的最终解决提供了一条效途径。     

Computational methods for performance evaluation of a statisticalmultiplexer supporting bursty traffic

A statistical multiplexer supporting a number of bursty sources is modeled as a discrete time, single server queueing system with an infinite buffer. The probability generating function (PGF) method is used to analyze the queueing behavior. The PGF method requires the determination of a large number of boundary values and, hence, the roots of the characteristic equation. An iterative algorithm to evaluate the characteristic roots is proposed. When the arrival process is a superposition of independent processes, a decomposition approach is used to reduce the state space involved in the computational algorithm. Additionally, the computational algorithm is made efficient through the establishment of conditions under which all the roots are either real or nonnegative real numbers. A set of equations to recursively compute the moments of the queue length are established. Sample applications of the computational methods to evaluate the performance of a multiplexer supporting voice and video sources, modeled by two-state Markov and L-state MMPP processes, respectively, demonstrate the viability of the proposed methods     

超导逻辑门JAWS的电压态特性分析

本文是在数值分析基础上，用节点相位差的线性近似对ＪＡＷＳ门的非线性状态方程进行线性化，由此获得了门电压态特性的解析描述。其结果与数值分析非常一致，并揭示了门的隔离特性、扇出和电压态上叠加的高频振荡特性与门电路参数之间的关系。电压态振荡源于约瑟夫逊结的超流分量，因此它同样可存在于由约瑟夫逊结构成的以电压为状态特征的超导逻辑门中。     

A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits

In contrast to combinational logic and master clocked sequential logical, asynchronous feedback circuits are partially defined due to analogous meta-stabilities. We present a novel formalism to exactly explore this digitally assisted analog phenomenon in order to build up a representative test bench that is able to enforce race constraints (meta-stable behavior) for non-deterministics, instabilities as well as for oscillations in feedback structures. Further, we introduce our definitions for consistently modeling under state transition graphs, we provide all entities for modeling asynchronous feedback structures and state our proposed methodology with an exemplary asynchronous circuitry. The given example is explained at a high level of abstraction, all data for revision is provided, too. The approach seems to be capable to test for meta-stabilities, analog behavior in feedback digital structures.