Evaluation of recursive queries with extended rules in deductivedatabases

In order to extend the expressive power of deductive databases, a formula that can have existential quantifiers in prenex normal form in a restricted way is defined as an extended rule. With the extended rule, we can easily define a virtual view that requires a division operation of relational algebra to evaluate. The paper addresses a recursive query evaluation where at least one formula in a recursive rule set is of an extended rule. We investigate transformable recursions as well as four cases of non-transformable recursions of transitive-closure-like and linear type. The work reveals that occurrence of an existentially quantified variable in the extended recursive body predicate might dramatically limit the level of recursive search. In particular, the number of iterations to answer extended queries can be determined, independently of database contents     

化学镀Ni—P镀层的X射线衍射研究

根据X射线衍射分析结果,对化学镀高P(含P>11wt％或19at％)Ni-P镀层加热时效时,镀层成分和加热温度对结构转变的影响作了研究,结果表明,高P共晶、过共晶(含P>11wt％或19at％)合金的结构转变有如下特征:(1)相同加热时效条件下,Ni-P合金的结构转变与成分有密切关系:(2)对同一成分的过共晶合金,Ni-P合金的结构转变与时效温度密切相关;(3)过共晶合金在290～360℃温度范围内时效处理,出现Ni_xP_y介稳相,X射线衍射分析认为Ni_xP_y为Ni_(12)P_5。     

Plasma properties of laser-ablated St target in air

Ｐｌａｓｍａｐｒｏｐｅｒｔｉｅｓｏｆｌａｓｅｒ－ａｂｌａｔｅｄＳｔｔａｒｇｅｔｉｎａｉｒＷａｎｇＸｉａｎｇ－Ｔａｉ（王象泰）；ＭａｎＢａｏ－Ｙｕａｎ（满宝元）；ＷａｎｇＧｏｎｇ－Ｔａｎｇ（王公堂）；ＦａｎＸｉ－Ｊｕｎ（樊锡君）；ＷａｎｇＪｕｎ（王军）...     

Oxidation of methane to formaldehyde over Fe/SiO2 and Sn---W mixed oxides

In an attempt to develop new catalysts for the formation of formaldehyde from methane, the promotion effect of Fe on SiO₂ and that of Sn on WO₃ have been studied. The formation of formaldehyde on silica can be appreciably enhanced by the impregnation of Fe, as far as iron loadings are kept below 0.1 atom.% (Fe/Si × 100). In the case of Sn---W---Ox catalysts, both the addition of Sn to WO₃, and that of W on SnO₂ were effective to the selective formaldehyde formation. Absorption spectra (UV-Vis) and ESR measurements revealed that tetrahedrally coordinated Fe³⁺ in the silica network plays an important role in the formation of formaldehyde. A thin surface layer consisting of W and Sn oxides can account for the selective formaldehyde formation on the Sn---W---Ox catalysts.     

Analysis of color symbology from the perspective of cultural semiotics focused on Korean costume colors according to the cultural changes

The purpose of this study was to analyze the symbolization of colors as cultural codes, based on costume colors. In order to study the significance of colors in cultural changes, we carried out a quantitative analysis and interpreted it from the perspective of cultural semiotics. The range of this study was focused on Korean costume colors, over diverse diachronic stages of Korean culture. For this study 1535 color samples were collected, measured with a spectrophotometer, and analyzed quantitatively according their diachronic stages of origin. As a result, red, blue, and yellow were found to be the most frequently used colors during the Chosun Dynasty, a period based on Confucianism. These colors acted as cultural codes with cultural significance. During the Modern times pink, light blue, and black increased in frequency and represented the reception of western culture, the changing sex role of women in society, and utilitarianism. In these days, neutral colors and grayish tones of all colors are the most significant colors of high frequency. The use of such colors is closely related to industrialization, mechanization, functionalism, and the changes of women's sex roles in the societies. They are used as cultural codes, especially to emphasize a rational and masculine image rather than a feminine image. © 2006 Wiley Periodicals, Inc. Col Res Appl, 32, 71–79, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/col.20290     

Modeling the Absorption of Acidic Gases by Alkanolamine Solutions Incorporating Several Reactions

A general model, based on double film theory, is developed to study absorption with chemical reactions. In the liquid film region, the model is a set of differential equations that describe the mass transfer accompanying several chemical reactions; the resolution of the system is achieved by the finite difference method using an implicit scheme combined with Newton's method. Continuity equations and equilibrium coefficients are exploited in the treatment of the bulk region, which is based on the Newton‐Raphson method; the results are used directly as boundary conditions in the liquid film equations. Maxwell‐Stefan equations have been used as a rigorous approach in this model.     

A recurrent neural network for solving a class of general variational inequalities.

This paper presents a recurrent neural-network model for solving a special class of general variational inequalities (GVIs), which includes classical VIs as special cases. It is proved that the proposed neural network (NN) for solving this class of GVIs can be globally convergent, globally asymptotically stable, and globally exponentially stable under different conditions. The proposed NN can be viewed as a modified version of the general projection NN existing in the literature. Several numerical examples are provided to demonstrate the effectiveness and performance of the proposed NN.     

收尽铁路油槽车底油的措施

介绍了造成铁路油槽车底油收不尽的原因，一是节约意识差；二是设备设施陈旧或维护不够；三是操作不当。提出了增强节约意识，挖掘设备潜力，采用合理的吸油方法的对策。