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

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

Monotonicity and nonmonotonicity in L3-valued propositional logic: 《Frontiers of Computer Science》2022年第4期33-43,共11页Wei Li Yuefei Sui; supported by the Open Fund of the State KeyLaboratory of Sofware Development Environment(SKLSDE-2010KF-06);Beijing University of Aeronautics and Astronautics,and by the National Basic Research Program of China(973 Program)(2005CB321901).; A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L_(3)-valued propositional logic, a multisequent is a triple Δ∣Θ∣Γ, which i...; 关键词：sequent mulisequent gentzen deduction system MONOTONICITY nonmonotonicity

Variant quantifiers in L_(3)-valued first-order logic: 《Frontiers of Computer Science》2021年第5期151-159,共9页Wei LI Yuefei SUI; the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2010KF-06);Beijing University of Aeronautics and Astronautics,and by the National Basic Research Program of China(973 Program)(2005CB321901).; Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for qua...; 关键词：L_(3)-valued(three-valued)first-order logic sequent QUANTIFIER soundness theorem completeness theorem

Information Security Protocol Based System Identification with Binary-Valued Observations被引量：2: 《Journal of Systems Science & Complexity》2018年第4期946-963,共18页XU Changbao ZHAO Yanlong ZHANG Ji-Feng; supported by the National Key Basic Research Program of China(973 Program)under Grant No.2014CB845301;the National Natural Science Foundation of China under Grant No.61227902; Traditional control does not pay much attention to information security problems in system identification enough, which are important in practical applications. This paper focuses on the security problem of input info...; 关键词：CRYPTOGRAPHY identification algorithm information security passive attacks security protocol time complexity

Iterative parameter estimate with batched binary-valued observations被引量：6: 《Science China(Information Sciences)》2016年第5期154-171,共18页Yanlong ZHAO Wenjian BI Ting WANG; supported by National Natural Science Foundation of China (Grant Nos. 61174042, 11171333);National Basic Research Program of China (973 Program) (Grant No. 2014CB845301); In this paper, we consider linear system identification with batched binary-valued observations. We constructed an iterative parameter estimate algorithm to achieve the maximum likelihood （ML） estimate. The first in...; 关键词：Binary-valued observation maximum likelihood estimate strongly convex system identification exponential rate

Boolean Functions with Four-Valued Walsh Spectra被引量：2: 《Journal of Systems Science & Complexity》2015年第3期743-754,共12页SUN Zhiqiang HU Lei; supported by the National Key Basic Research Program of China under Grant No.2013CB834203;the National Natural Science Foundation of China under Grant No.61472417;the Strategic Priority Research Program of Chinese Academy of Sciences under Grant No.XDA06010702;the State Key Laboratory of Information Security,Chinese Academy of Sciences; Three classes of Boolean functions with four-valued Walsh spectra are presented and their Walsh spectrum distributions are determined. They are derived from Bent functions of the MaioranaMc Farland and Dillon PS ap ty...; 关键词：Bent function Boolean function four-valued Walsh spectra Walsh spectrum.

Periodic Homogenization for Inner Boundary Conditions with Equi-valued Surfaces:the Unfolding Approach: 《Chinese Annals of Mathematics,Series B》2013年第2期213-236,共24页Doina CIORANESCU Alain DAMLAMIAN Tatsien LI; Supported by the National Natural Science Foundation of China (No. 11121101);the National Basic Research Program of China (No. 2013CB834100); Making use of the periodic unfolding method,the authors give an elementary proof for the periodic homogenization of the elastic torsion problem of an infinite 3dimensional rod with a multiply-connected cross section a...; 关键词：Periodic homogenization Elastic torsion Equi-valued surfaces Resistivitywell-logging Periodic unfolding method

The Double Ringel-Hall Algebras of Valued Quivers被引量：1: 《Chinese Annals of Mathematics,Series B》2006年第6期701-722,共22页Yanxin WANG Jie XIAO; Project supported by the National Natural Science Foundation of China (No.10471071) the 973 Project of the Ministry of Science and Technology of China.; This paper is devoted to the study of the structure of the double Ringel-Hall algebra D（A） for an infinite dimensional hereditary algebra A, which is given by a valued quiver F over a finite field, and also to the ...; 关键词：Ringel-Hall algebras Generalized Kac-Moody algebras Drinfeld double

Axis Problem of Rough 3-Valued Algebras: 《南昌工程学院学报》2006年第2期48-51,共4页Jianhua Dai Weidong Chen Yunhe Pan; The 973 NationalKey BasicResearchand Development Program of China (No .2002CB312106 ); theChinaPostdoctoralScience Foundation (N o.2004035715); the Science & Technology Program of Zhejiang Province in C hina(N o.2004C31098 );thePostdoctoraSlcienceFoundationofZhejiangProvinceinChina (No .2004-bsh-023).; The collection of all the rough sets of an approximation space has been given several algebraic interpretations, including Stone algebras, regular double Stone algebras, semi-simple Nelson algebras, pre-rough algebras...; 关键词：rough set theory approximation space 3-valued Lukasiewicz algebra AXIS

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.

VALUED