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程序 模拟证明了所设计的电路具有理想的施密特电路特性.     

多层介质膜脉冲宽度压缩光栅与超短脉冲作用时的性能分析

基于啁啾脉冲放大技术的超短脉冲激光系统是提供超快、超强激光的重要途径，具有良好输出波形和高损伤阈值的多层介质膜脉冲宽度压缩光栅是获得高峰值功率脉冲激光的关键. 基于傅里叶谱变换方法和严格模式理论，分析了多层介质膜光栅(MDG)在超短脉冲作用下的光学特性. 结果表明，当MDG的反射带宽小于具有高斯分布的入射脉冲的频谱宽度时，-1级反射脉冲呈非对称高斯分布，其前沿出现振荡，并且-1级反射脉冲能量开始剧烈下降. 讨论了MDG结构参数对其反射带宽的影响. 分析了MDG与超短脉冲作用时的近场光分布，对提高其抗激光损 关键词： 脉冲压缩光栅 傅里叶谱变换 模式理论 损伤阈值     

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.     

Fast sensitivity analysis of defective system

Sensitivity analysis of linear vibration system is of wide interest. In this paper, sensitivity analysis based on non-defective system and defective system is summarized in all cases. Specially, for the defective systems, a fast method for the perturbation problem of state vectors is constructed in terms of the theories of generalized eigenvectors and adjoint matrices. By this method, the state vector derivatives can be expressed by a linear combination of generalized eigenvectors. The expansion coefficients can be obtained without solving large-scale equations based on eigensolutions of original system. Numerical results demonstrate the effectiveness and the stability of the method.     

对用稳定图识别真假模态的一点改进

利用单位样值响应矩阵和自由响应的特征值分解形式中的特征值前的系数矩阵的范数作稳定判据，结合稳定图识别真假模态，计算表明，本方法具有较好的分解能力。