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.     

Revised Assignment of the Raman Active Fundamental Vibrations of Tetracyanoethylene

We present a revised assignment of the Raman active fundamental vibrations of TCNE which utilizes new information obtained from Raman studies of electron donor/acceptor complexes of TCNE. This new assignment is consistent with and supported by all available evidence from previous studies.     

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

研究了采用二相非交叠功率时钟的绝热触发器及时序电路的设计，介绍了采用二相无交叠功率时钟的互补传输门绝热逻辑（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.     

On Preservation Theorems for Two-Variable Logic

We show that the existential preservation theorem fails for two-variable first-order logic FO². It is known that for all k ≥ 3, FO^k does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO².