18 resultados para 280402 Mathematical Logic and Formal Languages

em Chinese Academy of Sciences Institutional Repositories Grid Portal


Relevância:

100.00% 100.00%

Publicador:

Resumo:

A more powerful tool for binary image processing, i.e., logic-operated mathematical morphology (LOMM), is proposed. With LOMM the image and the structuring element (SE) are treated as binary logical variables, and the MULTIPLY between the image and the SE in correlation is replaced with 16 logical operations. A total of 12 LOMM operations are obtained. The optical implementation of LOMM is described. The application of LOMM and its experimental results are also presented. (C) 1999 Optical Society of America.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

High dimensional biomimetic informatics (HDBI) is a novel theory of informatics developed in recent years. Its primary object of research is points in high dimensional Euclidean space, and its exploratory and resolving procedures are based on simple geometric computations. However, the mathematical descriptions and computing of geometric objects are inconvenient because of the characters of geometry. With the increase of the dimension and the multiformity of geometric objects, these descriptions are more complicated and prolix especially in high dimensional space. In this paper, we give some definitions and mathematical symbols, and discuss some symbolic computing methods in high dimensional space systematically from the viewpoint of HDBI. With these methods, some multi-variables problems in high dimensional space can be solved easily. Three detailed algorithms are presented as examples to show the efficiency of our symbolic computing methods: the algorithm for judging the center of a circle given three points on this circle, the algorithm for judging whether two points are on the same side of a hyperplane, and the algorithm for judging whether a point is in a simplex constructed by points in high dimensional space. Two experiments in blurred image restoration and uneven lighting image correction are presented for all these algorithms to show their good behaviors.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The molecular structural parameters of indophenol and its derivatives were calculated by semi-empirical molecular orbital quantum chemical method,The relation between molecular structural parameters and formal potentials was analyzed by principal factor analysis and multiple Linear regression method. It was found that the formal potential of indophenols has a good relation with two-center electron exchange energy, E-ex (2), resonance energy of O-C bond, E-ex (C-1-O), and molecular ionization potential, I-p, among 19 moleclular structural parameters. The regression equation is E-0' = 1. 47 x 10 (-3) E-ex (two) - 5. 74 x 10 (-2) E-ex (C-1 - O) - 1. 41 x 10 (-2) I-p with RC = 0. 9999 and SD = 0. 00424. It was confirmed by the relation between structure parameters and formal potentials, and the thermodynamic stability of its intermediate products that the H (+) ionization is prior to the electron transfer step in the oxidation mechanism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present, for the first time to our knowledge, a generalized lookahead logic algorithm for number conversion from signed-digit to complement representation. By properly encoding the signed-digits, all the operations are performed by binary logic, and unified logical expressions can be obtained for conversion from modified-signed-digit (MSD) to 2's complement, trinary signed-digit (TSD) to 3's complement, and quarternary signed-digit (QSD) to 4's complement. For optical implementation, a parallel logical array module using an electron-trapping device is employed and experimental results are shown. This optical module is suitable for implementing complex logic functions in the form of the sum of the product. The algorithm and architecture are compatible with a general-purpose optoelectronic computing system. (C) 2001 Society of Photo-Optical Instrumentation Engineers.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Based on the interferential theory, we deduce a new type of analytic expression suitable for describing the evolutions of the optical bottle beam generated from the axicon-lens optical system illuminated by the Gaussian beam for the first time. The theory does not use much approximation in the process of mathematical analysis and can better illustrate the optical bottle beam evolutions at any positions. With the derived expression, the three-dimensional (3D) longitudinal and transverse intensity profiles of the optical bottle beam are simulated numerically. The numerical calculations have been confirmed by the experimental results.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Planar graphite has been extensively studied by Raman scattering for years. A comparative Raman study of several different and less common non-planar graphitic materials is given here. New kinds of graphite whiskers and tubular graphite cones (synthetic and natural) have been introduced. Raman spectroscopy has been applied to the characterization of natural graphite crystal edge planes, an individual graphite whisker graphite polyhedral crystals and tubular graphite cones. Almost all of the observed Raman modes were assigned according to the selection rules and the double-resonance Raman mechanism. The polarization properties related to the structural features, the line shape of the first-order dispersive mode and its combination modes, the frequency variation of some modes in different carbon materials and other unique Raman spectral features are discussed here in detail.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A new model of pattern recognition principles-Biomimetic Pattern Recognition, which is based on "matter cognition" instead of "matter classification", has been proposed. As a important means realizing Biomimetic Pattern Recognition, the mathematical model and analyzing method of ANN get breakthrough: a novel all-purpose mathematical model has been advanced, which can simulate all kinds of neuron architecture, including RBF and BP models. As the same time this model has been realized using hardware; the high-dimension space geometry method, a new means to analyzing ANN, has been researched.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A compact and stable three-port optical gate has been successfully fabricated by monolithically integrating asimple photodiode and an electroabsorption modulator. The gate shows an excellent DC logic "and" function with differ-ent load resistors. Its dynamical characteristics without packaging have also been measured. We observed a dynamic extinc-tion ratio of over 7dB with a 950Ω load resistor and a 7mW control light power at 622Mbit/s.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A new model of pattern recognition principles-Biomimetic Pattern Recognition, which is based on "matter cognition" instead of "matter classification", has been proposed. As a important means realizing Biomimetic Pattern Recognition, the mathematical model and analyzing method of ANN get breakthrough: a novel all-purpose mathematical model has been advanced, which can simulate all kinds of neuron architecture, including RBF and BP models. As the same time this model has been realized using hardware; the high-dimension space geometry method, a new means to analyzing ANN, has been researched.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the present study, the mechanism of intercellular calcium wave propagation in bone cell networks was identified. By using micro-contact printing and self-assembled monolayer technologies, two types of in vitro bone cell networks were constructed: open-ended linear chains and looped hexagonal networks with precisely controlled intercellular distances. Intracellular calcium responses of the cells were recorded and analysed when a single cell in the network was mechanically stimulated by nano-indentation. The looped cell network was shown to be more efficient than the linear pattern in transferring calcium signals from cell to cell. This phenomenon was further examined by pathway-inhibition studies. Intercellular calcium wave propagation was significantly impeded when extracellular adenosine triphosphate (ATP) in the medium was hydrolysed. Chemical uncoupling of gap junctions, however, did not significantly decrease the transferred distance of the calcium wave in the cell networks. Thus, it is extracellular ATP diffusion, rather than molecular transport through gap junctions, that dominantly mediates the transmission of mechanically elicited intercellular calcium waves in bone cells. The inhibition studies also demonstrated that the mechanical stimulation-induced calcium responses required extracellular calcium influx, whereas the ATP-elicited calcium wave relied on calcium release from the calcium store of the endoplasmic reticulum.