检索结果-南通市图书馆

The correspondence between the concepts in description logics for contexts and formal concept analysis

在线全文

学校读者我要写书评

暂无评论

Science china(information sciences) 2012年第5期55卷 1106-1122页

作者： MA Yue 1,2,SUI YueFei 1 & CAO CunGen 1 1 key laboratory of intelligent {3. processing,institute of computing technology,chinese academy of sciences,beijing 100190,china 2 Graduate University of{13.,beijing,china key laboratory of intelligent {3. processing Institute of Computing Technology Chinese Academy of Sciences Graduate University of chinese academy of sciences

Formal concept analysis (FCA) and description logic (DL) are meant to be formalizations of concepts.A formal concept in the former consists of its intent and extent,where the intent is the set of all the attributes shared by each object in the extent of the concept,and the extent is the set of all the objects sharing each property in the intent of the concept.A concept in the latter formalization is simply a concept name,the interpretation of which is a subset of a *** consider the correspondence between concepts in both formalizations,a multi-valued formal context must be represented both as a knowledge base and as a model of the DL for contexts,where concepts are decomposed into tuple concepts C,interpreted as a set of tuples and value concepts V,interpreted as a set of attribute-value *** show that there is a difference between the interpretation of concepts R.V /R.C and the Galois connection between the extent/intent of formal concepts in *** to the Galois connection,there should be concepts of the form + R.V and + R.C inter-preted in FCA,and hence the logical language L for DL is extended to be L + together with + as a constructor so that + R.V and + R.C are well-defined ***,according to the interpretation in DL there should be pseudo concepts in FCA so that the interpretation of concepts R.V /R.C is the extent/intent of pseudo *** correspondence between formal concepts and concepts in L +,and between pseudo concepts and concepts in L are presented in this paper.

关键词： description logic formal concept analysis concept attribute/role

The universal fuzzy logical framework of neural circuits and its application in modeling primary visual cortex

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Life sciences) 2008年第10期51卷 902-912页

作者： HU Hong1, LI Su2, WANG YunJiu2, QI XiangLin2 & SHI ZhongZhi1 1 key laboratory of intelligent {3. processing, institute of computing technology, chinese academy of sciences, beijing 100080, china 2 laboratory of Visual {3. processing, institute of Biophysics, chinese academy of sciences, beijing 100101, china key laboratory of intelligent {3. processing Institute of Computing Technology Chinese Academy of Sciences Beijing China laboratory of Visual information processing Institute of Biophysics Chinese Academy of Sciences Beijing China

Analytical study of large-scale nonlinear neural circuits is a difficult task. Here we analyze the function of neural systems by probing the fuzzy logical framework of the neural cells' dynamical equations. Al- though there is a close relation between the theories of fuzzy logical systems and neural systems and many papers investigate this subject, most investigations focus on finding new functions of neural systems by hybridizing fuzzy logical and neural system. In this paper, the fuzzy logical framework of neural cells is used to understand the nonlinear dynamic attributes of a common neural system by abstracting the fuzzy logical framework of a neural cell. Our analysis enables the educated design of network models for classes of computation. As an example, a recurrent network model of the primary visual cortex has been built and tested using this approach.

关键词： nonlinear dynamical system fuzzy logic visual cortex

A direct product decomposition of QMV algebras

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2012年第4期55卷 841-850页

作者： LU Xian 1 ,SHANG Yun 1,& LU RuQian 1,2 1 institute of Mathematics,academy of Mathematics and Systems Science,beijing 100190,{3. 2 key laboratory of intelligent information processing,institute of computing technology,chinese academy of sciences,beijing 100190,{3. institute of Mathematics Academy of Mathematics and Systems Science Beijing China key laboratory of intelligent {3. processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

We study the direct product decomposition of quantum many-valued algebras (QMV algebras) which generalizes the decomposition theorem of ortholattices (orthomodular lattices).In detail,for an idempo- tent element of a given QMV algebra,if it commutes with every element of the QMV algebra,it can induce a direct product decomposition of the QMV *** the same time,we introduce the commutant C(S) of a set S in a QMV algebra,and prove that when S consists of idempotent elements,C(S) is a subalgebra of the QMV *** also generalizes the cases of orthomodular lattices.

关键词： QMV algebra commutativity idempotent decomposition theorem

PARALLEL CHAOTIC MULTISPLITTING ITERATIVE METHODS FOR THE LARGE SPARSE LINEAR COMPLEMENTARITY PROBLEM

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第3期19卷 281-292页

作者： Zhong-zhi Bai (State key laboratory of Scientific/Engineering Competing institute of Computational Mathematics and Scientific/Engineering {3., academy of Mathematics and Systems sciences, chinese academy of sciences, beijing 100080, china) 中科院计算数学与工程计算数学所科学与工程计算国家重点实验室北京 100080

Focuses on a study which presented a parallel chaotic multisplitting method for solving the large sparse linear complementarity problem. Preliminaries of the study; Equations of the parallel chaotic multisplitting met... 详细信息

关键词： linear complementarity problem matrix multisplitting chaotic iteration relaxed method convergence property

Salient region detection and segmentation for general object recognition and image understanding

在线全文

学校读者我要写书评

暂无评论

Science china(information sciences) 2011年第12期54卷 2481-2490页

作者： HUANG TieJun 1 , TIAN YongHong 1 , LI Jia 2 & YU HaoNan 11 National Engineering laboratory for Video technology, School of Electrical Engineering and Computer Science, Peking University, beijing 100871, {3. 2 key laboratory of intelligent information processing, institute of computing technology, chinese academy of sciences, beijing 100190, {3. National Engineering laboratory for Video technology School of Electrical Engineering and Computer Science Peking University key laboratory of intelligent {3. processing Institute of Computing Technology Chinese Academy of Sciences

General object recognition and image understanding is recognized as a dramatic goal for computer vision and multimedia retrieval. In spite of the great efforts devoted in the last two decades, it still remains an open problem. In this paper, we propose a selective attention-driven model for general image understanding, named GORIUM (general object recognition and image understanding model). The key idea of our model is to discover recurring visual objects by selective attention modeling and pairwise local invariant features matching on a large image set in an unsupervised manner. Towards this end, it can be formulated as a four-layer bottom-up model, i.e., salient region detection, object segmentation, automatic object discovering and visual dictionary construction. By exploiting multi-task learning methods to model visual saliency simultaneously with the bottom-up and top-down factors, the lowest layer can effectively detect salient objects in an image. The second layer exploits a simple yet effective learning approach to generate two complementary maps from several raw saliency maps, which then can be utilized to segment the salient objects precisely from a complex scene. For the third layer, we have also implemented an unsupervised approach to automatically discover general objects from large image set by pairwise matching with local invariant features. Afterwards, visual dictionary construction can be implemented by using many state-of-the-art algorithms and tools available nowadays.

关键词： object recognition image understanding visual saliency salient object segmentation visual dictionary

SUBSPACE SEARCH METHOD FOR A CLASS OF LEAST SQUARES PROBLEM

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第2期18卷 133-140页

作者： Zi-Luan Wei (institute of Computational Mathematics and Scientific / Engineerin computing, chinese academy of sciences, P.O. Box 2719,{3., china) 中科院计算数学与科学工程计算所北京 100080

Presents information on a study which described a subspace search method for solving a class of least squares problem. Derivation of the algorithm; Convergence results; Modification of algorithm and applications.

关键词： subspace search method A class of least squqres problem convergence analysis.

Response synchronization: New progress in brain-visual information processing

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 1999年第16期44卷 1447-1458页

作者： ZHAO Songnian, XIONG Xiaoyun, YAO Guozheng and GUO Aike1. State key laboratory of Atmospheric Boundary Layer Physics and Atmospheric Chemistry , institute of Atmospheric Physics ,{3. , beijing 100029, china 2. Commission of the National Natural Science Foundation of china , beijing 100083. china 3. The Center of information Science , Peking University, beijing 100871, china 4. Open laboratory of Visual information processing , institute of Biophysics ,{3. , beijing 100101, china State key laboratory of Atmospheric Boundary Layer Physics and Atmospheric Chemistry Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Commission of the National Natural Science Foundation of china Beijing China The Center of information Science Peking University Beijing China Open laboratory of Visual information processing Institute of Biophysics Chinese Academy of Sciences Beijing China

Studies on brain-vision have entered a new stage, after the stimulus-induced y synchronized oscillation of neuron group activities have been discovered in cat primary visual cortex. Naturally, how to understand the visual system became a very important methodological problem. From aspects such as information processing, nonlinear dynamics and neuronal network, some primary problems in vision studies have been deeply discussed, which are

关键词： neuron group (neural population) synchro-oscillation computational theory of vision response synchroniza-tion.

Communication network designing:Transmission capacity,cost and scalability

在线全文

学校读者我要写书评

暂无评论

Science china(information sciences) 2012年第11期55卷 2454-2465页

作者： ZHANG GuoQiang1,2,3.& ZHANG GuoQing1 1institute of computing technology,{3. academy of sciences,beijing 100190,china 2School of Computer Science and technology,Nanjing Normal University,Nanjing 210046,china 3.rovincial key laboratory for Computer information {13. technology,Soochow University,Suzhou 215000,china institute of computing technology Chinese Academy of Sciences Beijing China School of Computer Science and technology Nanjing Normal University Nanjing China Provincial key laboratory for Computer information {3. technology Soochow University Suzhou China

Despite the growing number of works centering around the traffic dynamics on complex networks,these researches still have some common shortcomings,e.g.,too simple traffic flow model and lack of considerations for the designing cost and scalability *** paper builds on a more realistic traffic flow model,and offers a holistic view on the network designing *** addition to the extensively studied transmission capacity,this paper takes designing cost and scalability as two other designing objectives,and presents a quantitative study of how different designing choices independently and collectively influence these objectives by the introduction of a cartesian coordinate *** is shown that different kinds of network topologies display different shapes of achievable solution spaces and exhibit different abilities to achieve cost-effective and scalable *** particular,we find the philosophy underlying empirical network designing and engineering today fails to meet the cost-effective and scalable designing requirements,and propose a cost-effective and scalable designing scheme for BA-like networks,i.e.,the efficient routing combined with effective betweenness based link bandwidth *** addition,when designing a thoroughly new network from the beginning,we find that ER network is a good candidate to achieve cost-effective and scalable designing in most settings.

关键词： cost-effective communication network designing network transmission efficiency network topology traffic dynamics next generation network scalable network designing

Multiparty simultaneous quantum identity authentication with secret sharing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第3期51卷 321-327页

作者： YANG YuGuang1,2,WEN QiaoYan3.& ZHANG Xing4,5 1 College of Computer Science and technology,beijing University of technology,beijing 100022,china 2 State key laboratory of information Security (Graduate University of the chinese academy of sciences),beijing 100049,china 3.School of Science,beijing University of Posts and Telecommunications,beijing 100876,china 4 institute of Electronic technology,information Engineering University,Zhengzhou 450004,china 5 Trusted computing laboratory,beijing University of technology,beijing 100022,china College of Computer Science and technology Beijing University of Technology Beijing China State key laboratory of information Security (Graduate University of the{3.) Beijing China School of Science Beijing University of Posts and Telecommunications Beijing China institute of Electronic technology Information Engineering University Zhengzhou China Trusted computing laboratory Beijing University of Technology Beijing China

Two multiparty simultaneous quantum identity authentication (MSQIA) protocols based on secret sharing are presented. All the users can be authenticated by a trusted third party (TTP) simultaneously. In the first protocol,the TTP shares a random key K with all the users using quantum secret sharing. The ith share acts as the authentication key of the ith user. When it is necessary to perform MSQIA,the TTP generates a random number R secretly and sends a sequence of single photons encoded with K and R to all the users. According to his share,each user performs the corresponding unitary operations on the single photon sequence sequentially. At last,the TTP can judge whether the impersonator exists. The sec-ond protocol is a modified version with a circular structure. The two protocols can be efficiently used for MSQIA in a network. They are feasible with current technol-ogy.

关键词： quantum identity authentication secret sharing quantum cryptography