云南高校图书馆联盟文献共享服务平台- VALUED

VALUED: 作品数：444被引量：503H指数：10; 导出分析报告; 相关领域：理学更多>>; 相关作者：陈之兵张广济张成邹开其吴群励更多>>; 相关机构：深圳大学南京航空航天大学大连大学北京协和医院更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金中国博士后科学基金国家重点基础研究发展计划广东省自然科学基金更多>>

Syntax of first-order lattice valued logic system FM被引量：4: 《Chinese Science Bulletin》1997年第16期1337-1340,共4页Xu, Y Qin, KY Song, ZM; PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice and obtained some beautiful results. In order to study more general lattice valued logic systems...; 关键词：LATTICE implication ALGEBRA LATTICE VALUED logic FORMAL proof.

A class of strong laws for the sequences of nonnegative integer-valued random variables被引量：1: 《Chinese Science Bulletin》1995年第23期1937-1943,共7页刘文; Let {X_n, n≥1} be a sequence of random variables taking values in S={1,2,…} with the joint distribution f（x₁,…, x_n）=P（X₁=x₁,…, X_n=x_n）...; 关键词：strong law LIKELIHOOD ratio NONNEGATIVE integer-valued random variable GENERATING function.

Spectral characterization of the correlation-immunity of multiple-valued logic functions: 《Chinese Science Bulletin》1995年第3期182-184,共3页张木想肖国镇; Project supported by the National Natural Science Foundation;Doctoral Programme Foundation of Institutions of Higher Education; Correlation-immunity is an important concept in cryptology. In ref. [1] Siegenthaler introduced the mathematical definition of correlation-immunity and used the correlation-immunity order of logic functions as a measu...; 关键词：multiple-valued LOGIC FUNCTION correlation-immunity chrestenson TRANSFORM error-correcting cpdes.

Construction of a Class of Binary Sequences With Two-valued Autocorrelation被引量：1: 《Chinese Science Bulletin》1993年第10期873-877,共5页郭宝安蔡长年; 'Project supported by the University SC & Tech. Foundation of China.; The pseudorandom sequences used widely in spread spectrum communications and cryptography are required to have not only large linear complexity, but also good auto(cross-)correlation properties. Now it is known that t...; 关键词：SPREAD spectrum communications CRYPTOGRAPHY PSEUDORANDOM sequences.

ANOTHER VERSION OF THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT OF LATTICE-VALUED MODELS: 《Chinese Science Bulletin》1992年第17期1491-1492,共2页应明生; In[1—3], Wang et al. assume always that the lattice of truth values possesses a weak or strong characteristic formula. It is not difficult to know that one of the essential reasons for which such a strong condition m...; 关键词：TRUTH assume imposed VALUED satisfy REASONS letter otherwise belongs THANKS

SOME PROBLEMS ON THE LATTICE-VALUED LOWER SEMICONTINUOUS FUNCTIONS: 《Chinese Science Bulletin》1992年第14期1228-1229,共2页李永明; Recently, the following two problems have been posed in [1]:(ⅰ) When is ω_L (J) an algebraic lattice?(ⅱ) When is ω_L (J) a completely distributive lattice? where ω_L (J)denotes the family of all continuous functi...; 关键词：TOPOLOGICAL ALGEBRAIC TOPOLOGY posed mentioned

THE BOOLEAN-VALUED MODEL OF THE AXIOM SYSTEM OF GB: 《Chinese Science Bulletin》1991年第2期99-102,共4页李娜; Scott formulated his version of Boolean-valued models in 1967, He proved that the V^（B） is a Boolean-valued model of ZFC, i. e. every axiom of ZFC has Boolean value 1, and assumed the GCH. Then, if B satis...; 关键词：AXIOM SYSTEM GB Boolean-valued model maximum and minimmn PRINCIPLE AXIOM SYSTEM QM.

γ-UNIT LOCK RESOLUTION ON λ-HORN SET: 《Chinese Science Bulletin》1990年第5期439-440,共2页刘叙华杨凤杰; We presented the concept of Operator Fuzzy Logic System and λ-Resolution Method in 1984, and obtained some theoretical results. In practice, in many cases knowledge and rules can be expressed by λ-Horn set of clause...; 关键词：Operator literal CLAUSE HORN SET VALUED reasoning CONVENIENT VALID resolved lowest

INFORMATION CONDITIONS FOR A CLASS OF LIMIT THEOREMS FOR THE SEQUENCE OF m-VALUED RANDOM VARIABLES: 《Chinese Science Bulletin》1990年第3期182-186,共5页刘文; Let {X_n, n≥1} be a sequence of random variables taking values in S={1, 2,…, m} with the joint; 关键词：relative ENTROPY DENSITY deviation of ENTROPY DENSITY LIMIT theorem.

SOLVING GENERALIZED FRACTIONAL PROGRAMMING WITH p+1-PARAMETER PROGRAMMING: 《Chinese Science Bulletin》1989年第8期699-700,共2页徐增堃; For the generalized fractional programming （P） where S is a nonempty subset of Rⁿ, f_i and g_i are real-valued functions on S, and g_i are positive on S, we propose the follo...; 关键词：nonempty FRACTIONAL VALUED SUBSET 吕才

VALUED