Completeness theorem for propositional probabilistic models whose measures have only finite ranges

A propositional logic is defined which in addition to propositional language contains a list of probabilistic operators of the form P_s (with the intended meaning the probability is at least s). The axioms and rules syntactically determine that ranges of probabilities in the corresponding models are always finite. The completeness theorem is proved. It is shown that completeness cannot be generalized to arbitrary theories.This research was supported by Ministarstvo za nauku, tehnologije i razvoj Republike Srbije, through Matematiki institut, under grant 1379Mathematics Subject Classification (2000): 03C70, 03B48     

A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

On the polynomial-space completeness of intuitionistic propositional logic

We present an alternative, purely semantical and relatively simple, proof of the Statman's result that both intuitionistic propositional logic and its implicational fragment are PSPACE-complete.This paper was supported by grant 401/01/0218 of the Grant Agency of the Czech Republic. % Mathematics Subject Classification (2000):     

On the number of -equivalent non-isomorphic models

We prove that if is consistent then is consistent with the following statement: There is for every a model of cardinality which is -equivalent to exactly non-isomorphic models of cardinality . In order to get this result we introduce ladder systems and colourings different from the ``standard' counterparts, and prove the following purely combinatorial result: For each prime number and positive integer it is consistent with that there is a ``good' ladder system having exactly pairwise nonequivalent colourings.

     

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

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

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).