PCI总线

本文阐述了ＰＣＩ总线的性能特点，技术规范，ＰＣＩ总线与ＩＳＡ，ＥＩＳＡ，ＶＥＳＡ总线的比较以及配置空间等。     

PCI总线及其特点

详细论述了高性能局部总线－ＰＣＩ总线的系统结构和各引脚的信号特征，给出了ＰＣＩ总线的操作时序，阐述了该总线的操作方式，并与ＥＩＳ，ＩＳＡ和ＶＬ－Ｂｕｓ总线相比较，说明了ＰＣＩ总线的综合特点。     

局部总线PCI技术

本文从传统的计算机总线结构入手，详细介绍了当今流行的局部总线ＰＣＩ技术的总线机制及其特点，突出了ＰＣＩ总线与传统ＩＳＡ、ＥＩＳＡ总线及ＶＬ局部总线相比较之优越性。     

个人微机(PC)总线综述

本文根据 ＰＣ总线的发展，从应用角度着重介绍 ＰＣ／ＸＴ、ＩＳＡ、ＥＩＳＡ三种总线的内在联系和各自的特点。讨论了它们的兼容性问题以及ＰＣ总线的发展趋势。     

关于CompactPCI的一些问题

摩托罗拉公司计算机部是全球最大的ＶＭＥ及Ｃｏｍ－ＰａｃｔＰＣＩ板级产品供应商,ＣｏｍＰａｃｔＰＣＩ是实现嵌入式电子解决方案的重要支撑硬件,下面是经常被问到的一些关于ＣｏｍｐａｃｔＰＣＩ的问题。１什么是ＣｏｍｐａｃｔＰＣＩ总线？ＣｏｍｐａｃｔＰＣＩ总线是一种高性能工业总线,它基于标准ＰＣＩ电子规范说明,使用３Ｕ或６ＵＥｒｏｃａｒｄ包装。ＣｏｍｐａｃｔＰＣＩ板则使用基于ＩＥＣ和Ｂｅｌｌｃｏｒｅ标准的高质量２ｍｍ针式连接器。ＣｏｍｐａｃｔＰＣＩ板从机箱前部插人,而Ｉ／Ｏ可由前面板或后部接人。２Ｃｏｍｐ…     

国际·国内动态

国际·国内动态ＤＥＣＣＯＭＰＡＣＴＰＣＩ总线产品再胜筹美国ＤＥＣ公司宣布将推出基于ＩＮＴＥＬ和ＡＬＰＨＡ的ＣＯＭＰＡＣＴＰＣＩ总线的产品，以满足迅速增长的ＣＯＭＰＡＣＴＰＣＩ市场的需求。ＤＥＣ的ＣＯＭＰＡＣＴＰＣＩ６４位单板计算机处理器主频将超过３０...     

微机总线及接口技术的发展

１总线结构的类型 ＰＣ机的系统总线可分 为 ＩＳＡ、ＥＩＳＡ、ＭＣＡ、ＶＥＳＡ、ＰＣＩ、ＡＧＰ等多种标准。 （ １）ＩＳＡ／ＥＩＳＡ／ＭＣＡ／ＶＥＳＡ总线 ＩＳＡ（Ｉｎｄｕｓｔｒｙ Ｓｔａｎｄａｒｄ　Ａｒｃｈｉｔｅｃｔｕｒｅ）,是ＩＢＭ公司为２８６／ＡＴ电脑制定的总线工业标准,也称为ＡＴ标准。ＩＳＡ总线的影响力非常大,直到现在仍存在大量ＩＳＡ设备。 ＥＩＳＡ（Ｅｘｔｅｎｄｅｄ　Ｉｎｄｕｓｔｒｙ　 Ａｒｃｈｉｔｅｃｔｕｒｅ）,是 ＥＩＳＡ集团（由 Ｃｏｍｐａｑ、ＨＰ、ＡＳＴ等组成）专为３２位ＣＰＵ设计的总线…     

基于EPLD的PCI总线仲裁器的设计与实现

以自行研制开发的 ＰＣＩ高速总线背板为背景,系统地论述了 ＰＣＩ总线的仲裁机制、总线的缺省占用、仲裁信号协定及优先级仲裁算法,给出了采用 Ｅ Ｐ Ｌ Ｄ实现仲裁器功能的编程设计。     

使用IEEE-488总线实现单片机数据采集系统与PC机的通信

简要介绍了ＩＥＥＥ－４８８通用标准总线,重点介绍了使用ＩＥＥＥ－４８８总线实现８０３１单片机数据采集系统与ＰＣ机通信的硬件结构、接口电路及软件设计。     

PCI总线的传输协议概述

ＰＣＩ总线是一种先进的计算机局部总线。本文介绍了ＰＣＩ总线的特点，描述了ＰＣＩ总线的信号与命令，着重叙述了ＰＣＩ总线的传输协议。     

Minimal states and maximum free energies of materials with memory

Definitions are given of the maximum and minimum free energy associated with a given state of a material with memory. Also, the concept of a minimal state is introduced. These concepts are then explored in detail for a specific isothermal model, where the stress is given by a non-linear elastic part and a memory part which is a linear functional of the strain tensor history. It is shown that the equivalence class constituting a minimal state is a singleton except where only isolated singularities occur in the Fourier transform of the relaxation tensor derivative. If the minimal state is not a singleton, then the maximum free energy is less than the work function and is a function of the minimal state. An explicit expression is given for the maximum free energy.     

Dual-side see-through integral imaging 3D display system based on lens array holographic optical element

We propose a dual-side see-through integral imaging 3D display based on a lens array holographic optical element (LAHOE). The display system consists of two projectors and a LAHOE. The LAHOE is fabricated according to the theory of reflective volume holograms. An interference pattern is formed by a plane-wave beam and a spherical-wave array beam, and the interference pattern is recorded into a photopolymer material. Thus, the LAHOE is formed. When a reference beam is projected into the LAHOE, the wavefront of a convex micro-lens array is reconstructed. When a phase conjugation reference beam is projected into the LAHOE, the wavefront of a concave micro-lens array is reconstructed. So, the LAHOE possesses the optical properties of a convex micro-lens array and a concave micro-lens array. The proposed display is developed using integral imaging principle and it realizes dual-side see-through integral imaging 3D display.     

Pushdown Processes: Games and Model-Checking

A pushdown game is a two player perfect information infinite game on a transition graph of a pushdown automaton. A winning condition in such a game is defined in terms of states appearing infinitely often in the play. It is shown that if there is a winning strategy in a pushdown game then there is a winning strategy realized by a pushdown automaton. An EXPTIME procedure for finding a winner in a pushdown game is presented. The procedure is then used to solve the model-checking problem for the pushdown processes and the propositional μ-calculus. The problem is shown to be DEXPTIME-complete.     

混合关系中的函数依赖及其相关规则

在实际应用中有这样一类关系数据库,其中数据项在某个属性上的取值本身又是一个关系。讨论这种混合关系中的函数依赖及其相应的相关规则具有一定的理论意义和实际应用价值。给出这种混合关系的形式定义、混合关系中4种类型的函数依赖关系以及相应的4种类型的相关规则;并给出混合关系到一般关系的转换,通过这个转换说明了混合关系与普通关系的联系及其差别。给出一个实际应用中的例子,来说明混合关系中的函数依赖和相关规则的形式多样性。     

二进神经网络中汉明球的逻辑意义及一般判别方法

剖析二进神经元的逻辑意义对二进神经网络的规则提取是十分重要的，在布尔空间中，汉明球是一种线性可分的空间结构，如何从汉明球中提取出具有清晰逻辑意义的规则是二进神经网络研究的一个问题，通过对MofN规则表达形式的扩展，分析了汉明球的逻辑意义，提出了表达汉明球逻辑意义的LEM规则和GEM规则方法，并且讨论了汉明球和汉明补球的等价性，另一个重要的结果是证明了二进神经元和汉明球等价的充要条件，从而建立了判别汉明球的一般方法。     

辨识非线性曲线的非线性极大似然—优化法

工程上经常碰到非线性曲线辨识问题。本文探讨一种非线性极大似然-优化法并结合三次样条函数拟配法,形成统一的逐次逼近的直接辨识非线性曲线的非线性辨识方法。该法兼有极大似然法的唯一性、很好的收敛性和优化法直接处理非线性系统的能力,辨识出的样条函数曲线能无限地光滑地逼近非线性曲线。     

Vague集的模糊逼近与模糊熵

给出了vague集转换为模糊集的一种新的方法,定义了vague集的模糊逼近。利用vague集的模糊逼近研究了vague集的模糊熵及其相关性质。     

A type system for logic programs

A theory for a type system for logic programs is developed which addressesthe question of well-typing, type inference, and compile-time and run-time type checking. A type is a recursively enumerable set of ground atoms, which is tuple-distributive. The association of a type to a program is intended to mean that only ground atoms that are elements of the type may be derived from the program. A declarative definition of well-typed programs is formulated, based on an intuitive approach related to the fixpoint semantics of logic programs. Whether a program is well typed is undecidable in general. We define a restricted class of types, called regular types, for which type checking is decidable. Regular unary logic programs are proposed as a specification language for regular types. An algorithm for type-checking a logic program with respect to a regular type definition is described, and its complexity is analyzed. Finally, the practicality of the type system is discussed, and some examples are shown. The type system has been implemented in FCP for FCP and is incorporated in the Logix system.     

Control design based on a linear state function observer

A control design method based on a linear state function observer is proposed. The method is a semi-inverse design procedure in that the control law is not designed before the observer system, but is a result of the observer design. However, the observer design is not completely independent of the control design, but seeks to yield a feedback signal that is close to a prescribed control law. First, the observer design problem is considered as the reconstruction of a linear function of the state vector. The linear state function to be reconstructed is the given control law. Then, based on the derivation for linear state function observers, the observer design is formulated as a parameter optimization problem. The optimization objective is to generate a matrix that is close to the given feedback gain matrix. Based on that matrix, the form of the observer and a new control law can be determined. The semi-inverse design procedure can yield a reduced-order observer with dimension considerably smaller than that of the system. Two numerical examples are used to demonstrate the proposed design procedure.     

Fault tolerant control for joint structure in PEMS high speed maglev train

The PEMS high speed maglev train, which features a permanent magnet inside an electromagnet, is a new kind of maglev train for long distance intercity transportation. The joint structure, which consists of two single levitation sub‐systems, is the fundamental levitation unit. Two kinds of faults are considered and corresponding fault tolerant control strategies are proposed. The first fault condition is when a gap sensor that is part of a single levitation system is faulty. For this kind of fault, a fault tolerant control strategy based on signal reconfiguration is proposed. The second fault condition is when the whole of a single levitation sub‐system is faulty. Under this condition, a faulty model is firstly established, then a fault tolerant control strategy is designed. When this kind of fault is detected, a switch from the normal controller to the fault tolerant controller can make the faulty system stable.