电流控阈技术及三值电流型 CMOS施密特电路

本文以开关信号理论为指导 ,对电流型 CM OS电路中如何实现阈值控制进行研究. 建立实现阈 值控制电路的电流传输开关运算 ,并用于指导电流型 CMOS施密特电路的开关级设计 .用 PSPICE程序 模拟证明了所设计的电路具有理想的施密特电路特性.     

光致异构全光逻辑门理论与实验研究

基于双光抽运探测模型，利用偶氮苯聚合物光致异构和光致双折射效应，建立了全光逻辑门的理论分析模型，提出了一种新颖的全光逻辑门设计方案.该方案基于输入抽运光和信号光的强度或偏振态，设计了“与”门、“或”门、“异或”门和“异或非”门等基本功能的全光逻辑门.以掺杂分散红1(DR1)的聚甲基丙烯酸甲酯(PMMA)薄膜为样品进行实验，得到了比较好的逻辑门运算实验结果，与理论分析相符合.     

NorTRACK product tracking system—development and implementation

This paper presents the experience gained by developers and users with implementation and operation of NorTRACK^TM, a real-time computerized product tracking system. A Programmable Logic Controller (PLC) collects and transfers data in real time to NorTRACK’s Oracle^TM database on a Windows NT^TM server network. After extensive development and Beta testing at MDS Nordion’s Canadian Irradiation Centre in Montreal, Canada, NorTRACK was installed in January 1997 with a new irradiation facility in Ethicon Endo-Surgery Inc.’s Albuquerque plant in the United States. NorTRACK communicates with the irradiator control and safety system, the plant's central manufacturing database, an innovative pallet staging and tote loading robot, and an automated dosimetry reading system. This integrated system allows the sterilization facility to monitor the irradiator operation and the flow of many products, through varied processing modes, continuously and reliably. As a result of operating with NorTRACK, both MDS Nordion’s CIC facility and the Endo-Surgery manufacturing site, are beginning to realize unique benefits in their respective operations. MDS Nordion is also initiating several future product enhancements and additional productivity modules. This paper describes the NorTRACK system, the various stages of the development project and Beta tests, and the experience of the users to date in their operations.     

低功耗互补传输门绝热逻辑和时序电路的设计

研究了采用二相非交叠功率时钟的绝热触发器及时序电路的设计，介绍了采用二相无交叠功率时钟的互补传输门绝热逻辑（CPAL）电路，并分析了其工作原理．该电路利用nMOS管自举原理对负载进行全绝热驱动，从而减小了电路整体功耗，且CPAL能耗几乎与工作频率无关．提出了性能良好的低功耗绝热D、T和JK触发器，并与其他几种绝热触发器进行功耗比较．给出了绝热时序电路的一般设计方法，并作为实例采用应用绝热D触发器设计了十进制计数器．SPICE程序模拟表明：设计的电路具有正确的逻辑功能及低功耗的优点．     

Investment optimization on port’s development by fuzzy integer programming

In this research, the main purpose is to formulate a model to determine the optimum investment on port development from national investment prospective; on the other hand, costs and benefits are calculated from consumer and investor’s viewpoint. The formulated model is an integer-programming model. The emphasis is on how to formulate an investment optimization problem where cargo operation, investment costs, cargo-handling capacity, cargo transportation network, and the world maritime fleet constraints are included. Fuzzy numbers are used for cargo forecast study results. The output of the model is the type of design ships and design berths which are needed in each sub period, so that the port planner (the government) will find out the optimum development plan of port in each sub period when there is uncertainty in cargo handling forecast (fuzzy numbers).     

建立模糊诊断矩阵的一种新方法

本文首先提出了一个新的模糊逻辑算子——模糊加权综合算子“#”,进而给出建立模糊诊断矩阵的新方法——网络法 ,并给出了相应的算法     

A coding method for a sequent calculus of propositional logic

The paper deals with a coding method for a sequent calculus of the propositional logic. The method is based on the sequent calculus. It allows us to determine if a formula is derivable in the calculus without constructing a derivation tree. The main advantage of the coding method is its compactness in comparison with derivation trees of the sequent calculus. The coding method can be used as a decision procedure for the propositional logic.     

Chaotic dynamics in biological information processing: A heuristic outline

Summary A given but otherwise random environmental time series impinging on the input of a certain biological processor passes through with overwhelming probability practically undetected. A very small percentage of environmental stimuli, though, is ?captured? by the processor's nonlinear dissipative operator asinitial conditions, that is, assolutions of the processor's dissipative dynamics. The processor, then, is in such cases instrumental in compressing or abstracting those stimuli, thereby making the external world to collapse from a previous regime of a ?pure state? of suspended animation onto a set of stable eigenfunctions or ?categories?—chaotic strange attractors. The characteristics of this cognitive set depend on the operator involved and the hierarchical level where the abstraction takes place. In this paper we model the physics of such a cognitive process and the role that the thalamo-cortical pacemaker of the (human) brain plays in both stimulating the individual attractors and permutating them on a time division multiplexing basis. A synthesis of the Markovian processes taking place within each individual attractor-memory and the Markovian or semi-Markovian process involving the intermittent jumping among the different attractor-memories are discussed.

---

Riassunto Una data ma casuale serie temporale ambientale che influisce sull'immissione di un determinato processore biologico passa con schiacciante probabilità praticamente inosservata. Una piccolissima percentuale di stimoli ambientali, tuttavia, è catturata dall'operatore dissipativo non lineare del processore comecondizioni iniziali, cioè comesoluzioni della dinamica dissipativa del processore. Il processore è quindi, in tali casi, strumentale nel comprimere o estrarre quegli stimoli, facendo perciò collassare il mondo esterno da un precedente regime di ?stato puro? ad animazione sospesa ad un gruppo di autofunzioni stabili o ?categorie?—attrattori caotici strani. Le caratteristiche di questo gruppo cognitivo dipendono dall'operatore coinvolto e dal livello gerarchico in cui l'estrazione ha luogo. In questo lavoro si modella la fisica di tale processo cognitivo e il ruolo che lo stimolatore talamo-corticale del cervello (umano) ha sia nello stimolare gli attrattori individuali che nel permutarli su una base che manda segnali multiplex a divisione temporale. Si discute una sintesi dei processi markoviani che hanno luogo all'interno di ogni attrattore-memoria individuale e il processo markoviano o semimarkoviano che interessa il salto intermittente tra i diversi attrattori-memoria.

---

Резюме Временная последовательность на входе некоторого биологического процессора может иметь практически недетектируемую вероятность. Очень небольшой процент стимулов окружающей среды ?захватывается? нелинейным диссипативным оператором процессора как начальные условия, т.е. представляется как решение диссипативпой динамики процессора. Затем процессор обрабатывает внешние стимулы, вынуждая внешний мир коллапсировать из предыдущего режима ?чистого состояния? приостановленного оживления в систему собственных функций или ?категорий?. Характеристики зтой познавательной системы зависят от используемого оператора и иерархического уровня, на котором происходит абстрагирование. В зтой статье мы моделируем физику такого познавательного процесса. Обсуждается синтез марковских процессов, происходящий внутри отдельного злемента ?атрактор-память?, и марковский или полумарковский процесс, включающий пережежающиеся прыжки между различными злементами ?атракторпамять?.

     

PSPACE complexity of modal logic <Emphasis Type="Italic">K D</Emphasis>45<Subscript>n</Subscript>

We study sequent calculus for multi-modal logic K D45_n and its complexity. We introduce a loop-check free sequent calculus. Loop-check is eliminated by using the marked modal operator □_i^•, which is used as an alternative to sequents with histories ([8], [3], [5]). All inference rules are invertible or semi-invertible. To get this, we use or branches beside common and branches. We prove the equivalence between known sequent calculus and our newly introduced efficient sequent calculus. We concentrate on the complexity analysis of the introduced sequent calculus for multi-modal logic K D45_n. We prove that the space complexity of the given calculus is polynomial (O(l ³)). We show the maximum height of the constructed derivation tree that leads to the reduction of the time and space complexity. We present a decision algorithm for multi-modal logic K D45_n and some nontrivial examples to improve the introduced loop-check free sequent calculus.