检索结果-南通市图书馆

Neural Network for Solving Monotone LinearComplementary Problems

在线全文

学校读者我要写书评

暂无评论

Communications in Nonlinear Science and Numerical Simulation 1999年第2期4卷 128-132页

作者： Xingban GAO(Department of Mathematics, shaanxi normal university, Xi’an 710062, China) Department of Mathematics Shanxi Normal University Xi'an 710062 China

A neural network for solving monotone linear complementary problem isproposed. It has not involved any parameter and is proven to be uniformly, asymptoticallyand stably convergent to an exact solution of the linear co... 详细信息

关键词： linear complementary problems neural network asymptotical stability

Compactness theorems of fuzzy semantics

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2000年第2期45卷 120-125页

作者： WANG Guojun Institute of Mathematics, shaanxi normal university, Xi’an/710062, China Institute of Mathematics Shaanxi Nornial University Xi’an China

The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.

关键词： fuzzy semantics compactness loglc compactness inductive set point compactness Lukasiewicz semantics.

The connectedness of H(λ) unit interval and H(λ) real line

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1997年第23期42卷 2016-2017页

作者： LI ShenggangDepartment of Mathematics, shaanxi normal university, Xi’an 710062, China Department of Mathematics Shaanxi Normal University Xi’an China

JUST like in classical mathematics, fuzzy unit interval I(L) and fuzzy real line R(L), thebasic and important research objects of fuzzy mathematics, also interest a good few *** 1992, Wang and Xu, by refining the topology of I(L), defined a new fuzzy unit in-terval——H(λ) unit interval I(L), and established the Stone-Cech compactification theoryfor weakly induced L-fuzzy topological spaces. In 1993, Zhang and Liu introduced the con-cept of weak inducification of L-fuzzy topological space, and in this way, I(L) is exactly

关键词： real line The connectedness of H unit interval and H line

Quasi-formal deductive system for fuzzy propositional calculus

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1997年第14期42卷 1154-1157页

作者： WANG GuojunInstitute of Mathematics, shaanxi normal university, Xi’an 710062, China Institute of Mathematics Shaanxi Normal University Xi’ an China

ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-

关键词： ΣR-tautology α-mod us ponens α-hypothetical syllogism quasi-formal deductive system.

Progress in the studies of low-molecular mass gelators with unusual properties

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2011年第4期54卷 575-586页

作者： LIU KaiQiang,HE PanLi & FANG Yu Key Laboratory of Applied Surface and Colloid Chemistry (shaanxi normal university),Ministry of Education School of Chemistry and Materials Science,shaanxi normal university,Xi’an 710062,China Key Laboratory of Applied Surface and Colloid Chemistry (shaanxi normal university) Ministry of Education School of Chemistry and Materials Science Shaanxi Normal University Xi’an China

This article is intended to provide an overview of recent progress in the studies of cholesterol-based low-molecular mass gelators (LMMGs) with unusual properties,in particular,gelation and selective gelation at room temperature,gel emulsions and gel film formation,*** applications of the LMMGs in spilled oil collection and water purification are briefly presented.

关键词： gelation at room temperature selective gelation gel emulsions gel films

Implicational lattices and generalization of Stone's representation theorem

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第12期43卷 997-1000页

作者： WANG Guojun Institute of Mathematics, shaanxi normal university, Xi’an 710062, China Institute of Mathematics Shaanxi Normal University Xi’an China

Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone’s representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.

关键词： Stone’s representation theorem R 0_semantic Lindenbaum algebra implicational lattice fuzzy implicational space representation theorem of regular implicational lattices.

Finite automata based on quantum logic and monadic second-order quantum logic

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2010年第1期53卷 101-114页

作者： LI YongMing College of Computer Science, shaanxi normal university, Xi’an 710062, China College of Computer Science Shaanxi Normal University

We introduce monadic second-order quantum logic and prove that the behaviors of finite automata based on quantum logic are precisely the quantum languages definable with sentences of our monadic secondorder quantum logic. This generalizes Büchi’s and Elgot’s fundamental theorems to quantum logic setting. We also consider first-order quantum logic and show that star-free quantum languages and aperiodic quantum languages introduced here coincide with the first-order quantum definable ones. This generalizes Schützenberger’s fundamental theorems to quantum logic setting. The determinazation of finite automata based on quantum logic is studied by introducing the generalized subset construction method. Then the Kleene theorem in the frame of quantum logic is presented here.

关键词： quantum logic finite automaton monadic second quantum logic quantum language quantum computation Kleene theorem

Study on Chemiluminescence Reactions of L ucigenin and Reductants by Flow Injection Analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2000年第1期11卷 61-64页

作者： Zhi Jia ZHU Jiu Ru LU (Experimental Center, Hebei normal university. Shijiazhuang 050016 Department of Chemistry, shaanxi normal university, Xian 710062) Experimental Center Hebei Normal University Shijiazhuang 050016 China Department of Chemistry Shaanxi Normal University Xian 710062 China

The chemiluminescence reactions between lucigenin and reductants such as Mo(LII),V( II), U(III), W(III), Cr(II), Ti(III) and Fe( II), which were produced on-line by passing Mo(VI),V(V),U(VI), W(VI), Cr(VI,III),Ti(IV) and Fe(III) through a micro Jones column, are studied in detail. Results show that the reactions can be used directly for the determination of these substances. The mechanism of the reactions is also investigated.

关键词： reductant lucigenin chemiluminescence flow injection analysis

Antichains and their application for enumerating ternary logic functions

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1997年第1期42卷 83-84页

作者： WANG GuojunDepartment of Mathematics, shaanxi normal university, Xi’an 710062, China Department of Mathematics Shaanxi Normal University Xi’an China

MUKAIDONO proposed and systematically investigated the theory of regular ternary logic functions that meets the need of uncertain inferences. The enumeration of ternary logic functions is very complicated and several results have been obtained only in the case where the number of variables is less than 7. In this letter we offer a new possible way to solve the prob-

关键词： Antichains and their application for enumerating ternary logic functions