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

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

A Novel Design of Octal-Valued Logic Full Adder Using Light Color State Model: 《Computers, Materials & Continua》2021年第6期3487-3503,共17页Ahmed Talal Osama Abu-Elnasr Samir Elmougy; Due to the demand of high computational speed for processing big data that requires complex data manipulations in a timely manner,the need for extending classical logic to construct new multi-valued optical models bec...; 关键词：Mathematical modeling numerical simulations optical logic optics in computing multi-valued logic full adder

The B4-valued propositional logic with unary logical connectives ～1 /～2/┐被引量：1: 《Frontiers of Computer Science》2017年第5期887-894,共8页Wei LI Yuefei SUI; Acknowledgements This work was supported by the National Natural Science Foundation of China （Grant Nos. 91224006 and 61173063） and the Ministry of Science and Technology （201303107）.; A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ～1, ～2, ┐ and two binary logical connectives A, v, and a Gentzen-typed deduction system will be given s...; 关键词：the Belnap logic MODALITY the soundness thecompleteness

Multiplier Design Utilizing Tri Valued Logic for RLNS Based DSP Applications: 《Circuits and Systems》2016年第4期417-433,共17页Shalini Radakirishnan Valliammal Sampath Palaniswami; Residue Number System (RNS) has proved shaping the Digital Signal Processing (DSP) units into highly parallel, faster and secured entities. The computational complexity of the multiplication process for a RNS based de...; 关键词：Residue Number System (RNS) Residue Logarithmic Number System (RLNS) Tri Valued Logic (TVL) Binary Logic Error Correction Circuits

A Comparison of Paraconsistent Description Logics: 《International Journal of Intelligence Science》2013年第2期99-109,共11页Norihiro Kamide; Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations o...; 关键词：Paraconsistent Description LOGIC Paraconsistent SEMANTICS Four-Valued SEMANTICS Quasi-Classical SEMANTICS Single-Interpretation SEMANTICS Dual-Interpretation SEMANTICS

Nature of complex number and complex-valued neural networks被引量：1: 《Frontiers of Electrical and Electronic Engineering in China》2011年第1期171-180,共10页Akira HIROSE; supported by the Assistance Grant of the Hoso Bunka Foundation.; We discuss the nature of complex number and its effect on complex-valued neural networks(CVNNs).After we review some examples of CVNN applications,we look back at the mathematical history to elucidate the features of ...; 关键词：electromagnetic wave LIGHTWAVE COHERENCE adaptive processing in sensing and imaging learning logic neural hardware

Logic and logic-based control被引量：6: 《控制理论与应用（英文版）》2008年第1期26-36,共11页Hongsheng QI Daizhan CHENG; the National Natural Science Foundation of China (No.60274010, 60343001, 60221301, 60334040); This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, im...; 关键词：Semi-tensor product Matrix expression of logic Mix-valued logic Logic-based fuzzy control

Fuzzifying Topological Linear Spaces Based on Continuous-Valued logic被引量：9: 《Journal of Mathematical Research and Exposition》2006年第1期77-88,共12页张广济邹开其张成; the National Natural Science Foundation of China (60274016);the Project of Scientific Research in Hight Education Bureau Liaoning Province (2023901018).; In this paper, we introduce the concept of fuzzifying topological linear space and discuss the structures and properties of the balanced neighborhood system of zero element. We also give the algebraic properties and t...; 关键词：continuous-valued logic fuzzifying topological linear spaces balanced set zero element neighborhood system convex set.

Automata theory based on complete residuated lattice-valued logic (Ⅱ)被引量：6: 《Science in China(Series F)》2002年第6期442-452,共11页邱道文; This work was supported by the National Foundation for Distinguished Young Scholars (Grant No. 69725004);the National Key Project for Basic Research (Grant No. 1998030509).; It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued automata) and the truth-value lattice of the underlying logic (i.e. residuated lattice). In particular...; 关键词：non-classical logics AUTOMATA retrievability homomorphisms.

Automata theory based on complete residuated lattice-valued logic被引量：14: 《Science in China(Series F)》2001年第6期419-429,共11页邱道文; This work was supported by the National Foundation for Distinguished Young Scholars (Grant No. 69725004); the National Key Project for Basic Research (Grant No.1998030509) ; the National Natural Science Foundation of China (Grant No. 69823001).; This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and par-ticularly presents a cha...; 关键词：non-classical logics AUTOMATA topology.

The Fundamental Theorem of Ultraproducts in Lattice valued Model for L_α Logic: 《Chinese Quarterly Journal of Mathematics》1998年第2期5-9, ,共5页宋; In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for...; 关键词：ULTRAPRODUCT lattice valued model L_α language

VALUED