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

MINIMAL: 作品数：618被引量：907H指数：13; 导出分析报告; 相关领域：医药卫生更多>>; 相关作者：曹光鲁国尧吕德峰左洪福蔡景更多>>; 相关机构：东南大学华南师范大学华中科技大学南京大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金中国博士后科学基金更多>>

Minimal observability of Boolean networks被引量：2: 《Science China(Information Sciences)》2022年第5期153-164,共12页Yang LIU Jie ZHONG Daniel W.C.HO Weihua GUI; supported in part by Natural Science Foundation of Zhejiang Province of China(Grant Nos.LR20F030001,LY22F030005,LD19A010001);National Natural Science Foundation of China(Grant Nos.62173308,61903339)。; In this study,the minimum observability of Boolean networks(BNs)is investigated by using the semi-tensor product(STP)of matrices.First,a new system based on the considered BN is obtained to analyze states pair dynamic...; 关键词：Boolean networks minimal observability semi-tensor product

Stabilization of logical control networks:an event-triggered control approach被引量：8: 《Science China(Information Sciences)》2020年第1期163-173,共11页Shiyong ZHU Yang LIU Yijun LOU Jinde CAO; supported by National Natural Science Foundation of China (Grant Nos. 11671361, 61833005, 61573096);Natural Science Foundation of Zhejiang Province (Grant No. LD19A010001);Natural Science Foundation of Jiangsu Province (Grant No. BK20170019);Jiangsu Provincial Key Laboratory of Networked Collective Intelligence (Grant No. BM2017002); This paper investigates the global stabilization problem of k-valued logical control networks(KVLCNs) via event-triggered control(ETC), where the control inputs only work at several certain individual states. Compared...; 关键词：logical control network event-triggered control STABILIZATION semi-tensor product minimal spanning in-tree

Efficient zonal diagnosis with maximum satisfiability被引量：4: 《Science China(Information Sciences)》2018年第11期13-26,共14页Meng LIU Dantong OUYANG Shaowei CAI Liming ZHANG; supported by National Natural Science Foundation of China (Grant Nos. 61672261, 61502199, 61402196, 61272208); Model-based diagnosis(MBD) has been widely acknowledged as an effective diagnosis paradigm.However, for large scale circuits, it is difficult to find all cardinality-minimal diagnoses within a reasonable time. This pa...; 关键词：model-based diagnosis MaxS AT subset-minimal diagnoses cardinality-minimal diagnoses zone propagate-extend

On the matrix feedback shift register synthesis for matrix sequences: 《Science China(Information Sciences)》2016年第3期83-92,共10页Liping WANG Guang ZENG; supported by National Basic Research Program of China(973 Program)(Grant No.2013CB834203);National Natural Science Foundation of China(Grant Nos.61170289;61003291); In this paper, a generalization of the linear feedback shift register synthesis problem is presented for synthesizing minimum-length matrix feedback shift registers （MFSRs for short） to generate prescribed matrix se...; 关键词：Berlekamp-Massey algorithm minimal partial realization MULTISEQUENCES σ-LFSR

Exploiting transmission opportunities in heterogeneous wireless networks:a transmission power saving perspective被引量：1: 《Science China(Information Sciences)》2014年第2期127-133,共7页JU HongHao LI JianDong LONG Yan YANG XiaoNiu; supported by National Natural Science Foundation of China(Grant No.61231008);National Natural Science Foundation of China(Grant No.61101143);National Basic Research Program of China(Grant No.2009CB320404);Program for Changjiang Scholars and Innovative Research Team in University(PCSIRT)(Grant No.IRT0852);111 Project(Grant No.B08038); Exploiting transmission opportunities in dimensions of user equipments （UEs）, radio access networks （RANs）, and radio resource units （RRUs）, in heterogeneous wireless networks （HWNs）, we focus on a new perspec...; 关键词：heterogeneous wireless networks power saving minimal rate requirement binary linear program-ming rate-power efficiency

Explicit-form complex orthogonal design for space-time block codes被引量：2: 《Science China(Information Sciences)》2013年第6期11-20,共10页LI Yuan YUAN Chen KAN HaiBin; supported by National Natural Science Foundations of China (Grant Nos. 61170208,60832001);Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20090071110073);Shanghai Shuguang Project (Grant No. 10SG01);Fox Ying Yung Education Foundation (Grant No. 114401);National High-Tech Research & Development Program of China (Grant No. 2009AA01A348); In this paper,we present a construction of complex orthogonal design for space-time block codes in any number of antennas.Our construction achieves both the maximal rate and minimal delay.So far as we know,our constru...; 关键词：space-time block codes complex orthogonal design explicit-form construction maximal rate minimal delay

Construction of minimal trellises for quantum stabilizer codes被引量：2: 《Science China(Information Sciences)》2013年第1期204-214,共11页XIAO FangYing CHEN HanWu; supported by National Natural Science Foundation of China (Grant Nos. 60873101,61170321);Research Fund for the Doctoral (Grant No. 20110092110024);Research Foundation of Graduate School of Southeast University (Grant No. YBJJ0820); The size of vertex set of quantum trellises affects the efficiency of decoding algorithms, which can be improved by reducing the number of vertices. Based on the standard check matrix of stabilizer codes, an algorithm...; 关键词：quantum stabilizer code check matrix TRELLIS Pauli matrix

Maximal contractions in Boolean algebras被引量：2: 《Science China(Information Sciences)》2012年第9期2044-2055,共12页SHI HuiXian WANG GuoJun; supported by National Natural Science Foundation of China (Grant Nos. 11171200,61005046,61103133);Fundamental Research Funds for the Central Universities (Grant No. GK201004006); In the present paper, the concepts of deductive element and maximal contraction are introduced in Boolean algebras, and corresponding theories of consistency and maximal contractions are studied. An algorithm principl...; 关键词：deductive element consistency maximal contraction minimal subtraction basic element CLAUSE

The upper bound of the minimal number of hidden neurons for the parity problem in binary neural networks被引量：2: 《Science China(Information Sciences)》2012年第7期1579-1587,共9页LU Yang YANG Juan WANG Qiang HUANG ZhenJin; Binary neural networks （BNNs） have important value in many application areas. They adopt linearly separable structures, which are simple and easy to implement by hardware. For a BNN with single hidden layer, the pro...; 关键词：binary neural network restraining neuron n-bit parity problem Hamming sphere SP function

An algorithm to compute maximal contractions for Horn clauses被引量：6: 《Science China(Information Sciences)》2011年第2期244-257,共14页LUO Jie LI Wei; supported by the National Basic Research Program of China (Grant No. 2005CB321901);the National High-Tech Research and Development Program of China (Grant No. 2007AA01Z146);the State Key Laboratory of Software Develop Environment Supported Project (Grant No. SKLSDE-2008ZX-01); In the theory of belief revision, the computation of all maximal subsets （maximal contractions） of a formula set with respect to a set of facts is one of the key problems. In this paper, we try to solve this problem...; 关键词：maximal contraction minimal inconsistent set minimal subtraction Horn clause

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

MINIMAL

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

MINIMAL

检索结果分析

下载全文

用户登录

高级检索检索式检索