特定类有穷结构上的逻辑的表达能力

有穷模型论是受数据库理论和计算复杂性理论推动而发展起来的数理逻辑的一个研究领域。有穷模型论的主题之一就是探讨逻辑在有穷结构上的表达能力，本文围绕这一主题取得如下结果： 1. 使用Ehrenfeucht-Fraïssé博弈的方法，我们证明了在有穷纯算术结构类BFR上，Δ0≠Δ1，从而解决了Atserias博士论文中提出的一个开放问题 ； 2．提出一个新的在双射博弈中使用警察和强盗博弈的策略构造，利用这一策略构造，我们给出Dawar和Richerby的文章中的关键定理的正确证明，同时还对Atserias, Bultov和Dawar的文章中的一个关键结果作出改进 ； 3. 使用变型的Cai-Fürer-Immerman构造和Dawar和Richerby的条件，我们证明了在平衡图上，IFP+C不能刻画PTIME ，从而在“有无逻辑在完美图相关的图类上刻画PTIME”这一问题的研究上取得进展 ； 4. 利用所谓的扭结图和变异的扭结图，我们证明了可比较图，区间图以及AT-free图在FO(TC)中可定义，从而在“完美图相关的图类的逻辑可定义性”这一问题的研究上取得进展。

a higher-order duration calculus and its completeness

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

Pipeline Corrosion Analyzed by Fuzzy Reliability Methods

Fuzzy reliability methods are used to study the corrosion of pipelines. Three methods are used. They consist of using fracture failure modes, failure assessment diagram (FAD) and residual strength for establishing fuzzy reliability. Calculations are made by application of JC, improved GA-JC and Mente-carlo methods. Examples for oilfield injecting water pipeline show the residual strength well agree with field data. Mente-carlo methods appear to yield results that have better agreement with field data.

Optical intrinsically fuzzy mathematical morphology for gray-scale image processing

Intrinsically fuzzy morphological erosion and dilation are extended to a total of eight operations that have been formulated in terms of a single morphological operation--biased dilation. Based on the spatial coding of a fuzzy variable, a bidirectional projection concept is proposed. Thus, fuzzy logic operations, arithmetic operations, gray-scale dilation, and erosion for the extended intrinsically fuzzy morphological operations can be included in a unified algorithm with only biased dilation and fuzzy logic operations. To execute this image algebra approach we present a cellular two-layer processing architecture that consists of a biased dilation processor and a fuzzy logic processor. (C) 1996 Optical Society of America

Fuzzy reasoning morphological operators and their optical implementation

Fuzzy-reasoning theory is widely used in industrial control. Mathematical morphology is a powerful tool to perform image processing. We apply fuzzy-reasoning theory to morphology and suggest a scheme of fuzzy-reasoning morphology, including fuzzy-reasoning dilation and erosion functions. These functions retain more fine details than the corresponding conventional morphological operators with the same structuring element. An optical implementation has been developed with area-coding and thresholding methods. (C) 1997 Optical Society of America.

FUZZY SOLID SETS FOR MATHEMATICAL MORPHOLOGY AND OPTICAL IMPLEMENTATION

Fuzzy sets in the subject space are transformed to fuzzy solid sets in an increased object space on the basis of the development of the local umbra concept. Further, a counting transform is defined for reconstructing the fuzzy sets from the fuzzy solid sets, and the dilation and erosion operators in mathematical morphology are redefined in the fuzzy solid-set space. The algebraic structures of fuzzy solid sets can lead not only to fuzzy logic but also to arithmetic operations. Thus a fuzzy solid-set image algebra of two image transforms and five set operators is defined that can formulate binary and gray-scale morphological image-processing functions consisting of dilation, erosion, intersection, union, complement, addition, subtraction, and reflection in a unified form. A cellular set-logic array architecture is suggested for executing this image algebra. The optical implementation of the architecture, based on area coding of gray-scale values, is demonstrated. (C) 1995 Optical Society of America

Fuzzy inferring mathematical morphology and optical implementation

Fuzzification is introduced into gray-scale mathematical morphology by using two-input one-output fuzzy rule-based inference systems. The fuzzy inferring dilation or erosion is defined from the approximate reasoning of the two consequences of a dilation or an erosion and an extended rank-order operation. The fuzzy inference systems with numbers of rules and fuzzy membership functions are further reduced to a simple fuzzy system formulated by only an exponential two-input one-output function. Such a one-function fuzzy inference system is able to approach complex fuzzy inference systems by using two specified parameters within it-a proportion to characterize the fuzzy degree and an exponent to depict the nonlinearity in the inferring. The proposed fuzzy inferring morphological operators tend to keep the object details comparable to the structuring element and to smooth the conventional morphological operations. Based on digital area coding of a gray-scale image, incoherently optical correlation for neighboring connection, and optical thresholding for rank-order operations, a fuzzy inference system can be realized optically in parallel. (C) 1996 Society of Photo-Optical Instrumentation Engineers.

Modal analysis of deep-etched low-contrast two-port beam splitter grating

Modal analysis of a deep-etched low-contrast two-port beam splitter grating under Littrow Mounting is presented. The guideline for the design of a subwavelength transmission fused-silica phase grating as high-efficiency grating, polarizing beam splitter (PBS), and two-port beam splitter, is summarized. As an example, a polarization-independent two-port beam splitter grating is designed at wavelength of 1064 nm. We firstly analyzed the physical essence of the grating by the simplified modal method. The guideline for the grating design and the approximate grating parameters are obtained. Then using the rigorous coupled-wave analysis (RCWA) with parameters varying around the approximate ones, Optimum grating parameters can be determined. With the design guideline, the time for the rigorous calculation of the grating profile parameters can be reduced significantly. (C) 2008 Elsevier B.V. All rights reserved

Modal fields and bending loss analyses of three-layer large flattened mode fibers

Theoretical method to analyze three-layer large flattened mode (LFM) fibers is presented. The modal fields, including the fundamental and higher order modes, and bending loss of the fiber are analyzed. The reason forming the different modal fields is explained and the feasibility to filter out the higher order modes via bending to realize high power, high beam quality fiber laser is given. Comparisons are made with the standard step-index fiber. (c) 2006 Elsevier B.V. All rights reserved.