复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

振动系统的模态分析实验设计

利用模态分析原理和简单试验仪器，得到了直观的悬臂梁和圆盘前4阶模态振型，使学生熟悉了模态分析原理和测试方法，有利于学生对振动规律的理解．     

Railway wheel fault diagnosis using a fuzzy-logic method

A simple method for diagnosis of railway wheel defects using fuzzy-logic is proposed. The method is based on vibration measurements at different train speeds on healthy wheels and wheels with defects known a priori. The measured vibrations are statistically analyzed and confidence intervals for healthy and defective wheels depending on train speed and frequency of analysis are established. To facilitate the implementation of the method a fuzzy-logic is adopted. The fuzzy-logic model stores the obtained experience in a database and performs the decision making on damage extent and consequently the need of preventive maintenance. In view of the obtained results, the advantages and the limitations of the proposed approach as well as suggestions for further improvements are presented and discussed.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

Stochastic resonance in perspective

Summary We outline the historical development of stochastic resonance (SR), a phenomenon in which the signal and/or the signal-to-noise ratio in a nonlinear system increase with increasing intensity of noise. We discuss basic theoretical ideas explaining and describing SR, and we review some revealing experimental data that place SR within the wider context of statistical physics. We emphasize the close relationship of SR to some effects that are well known in condensed-matter physics. Paper presented at the International Workshop ?Fluctuations in Physics and Biology: Stochastic Resonance, Signal Processing and Related Phenomena?, Elba, 5–10 June 1994.     

Statistical mechanics of warm and cold unfolding in proteins

We present a statistical mechanics treatment of the stability of globular proteins which takes explicitly into account the coupling between the protein and water degrees of freedom. This allows us to describe both the cold and the warm unfolding, thus qualitatively reproducing the known thermodynamics of proteins. Received: 19 March 1998 / Revised and Accepted: 25 May 1998     

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic.     

The Maximal Closed Classes of Unary Functions in p-Valued Logic

In many-valued logic the decision of functional completeness is a basic and important problem, and the thorough solution to this problem depends on determining all maximal closed sets in the set of many-valued logic functions. It includes three famous problems, i.e., to determine all maximal closed sets in the set of the total, of the partial and of the unary many-valued logic functions, respectively. The first two problems have been completely solved ([1], [2], [8]), and the solution to the third problem boils down to determining all maximal subgroups in the k-degree symmetric group S_k, which is an open problem in the finite group theory. In this paper, all maximal closed sets in the set of unary p-valued logic functions are determined, where p is a prime. Mathematics Subject Classification: 03B50, 20B35.     

A neuro-fuzzy system for X-ray spectra interpretation

A decision scheme for the interpretation of spectra from wavelength dispersive X-ray fluorescence spectrometry is described that encompasses elements from three areas of artificial intelligence: fuzzy logic, rule based expert systems and neural net technology.After transforming the recorded spectra to line spectra by appropriate background correction a reasoning scheme is applied that takes into account not only the observed spectra, but also the recording conditions and prior spectroscopic information regarding the relative emission probabilities and the usefulness of the different lines for the purpose of element identification. The latter is done on the basis of a previously described scheme to compute conditional a posteriori Bayes probabilities for a mean matrix. These different pieces of information are then assembled into a battery of fuzzy rules. The importance of the rules as well as the importance of the X-ray lines is determined in a training process, similar to the one in a feedforward back-propagation network.To further stabilize the results this network is pruned in a second training cycle. This, however, had little effect on the quality of interpretation.The advantages of this approach to the interpretation of X-ray spectra over older ones are numerous: the system adapts itself to better interpret spectra that are of greater importance to a laboratory as these are better represented in the training set; the fuzzy logic is capable of working with incomplete and uncertain knowledge, and the neural network results based on these fuzzy rules is readily interpretable by the X-ray spectroscopist as every rule can be expressed also in natural language as in any classical rule based system.On leave from Silesian University, Katowice, Poland     

Comparison of the thermal behavior of three cellulose fibers mercerized or submitted to solar degradation

Comparison of Lyocell, modal and viscose fibers was performed by means of differential scanning calorimetry, thermogravimetry and scanning electron microscopy. Thermal analysis was performed in air atmosphere. Samples were mercerized (21.3 g 100 mL-1) or submitted to solar radiation (seven months). Solar degraded samples presents a higher thermal stability and are initially less degraded. Furthermore, Lyocell fiber is the most stable under thermal degradation conditions. Heating produces a reduction of the fiber diameter (about 50%). This revised version was published online in July 2006 with corrections to the Cover Date.