检索结果-南通市图书馆

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. {3.,institute of computing technology,chinese academy of sciences,beijing 100190,China 2 Graduate University of{13.,beijing,China key laboratory of intelligent {3. {3. Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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{3.,China 2 key laboratory of intelligent information processing,institute of computing technology,chinese academy of sciences,beijing{3.,China institute of Mathematics Academy of Mathematics and Systems Science Beijing China key laboratory of intelligent {3. {3. 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Simulation study of phase retrieval for hard X-ray in-line phase contrast imaging

引用

Science China(Physics,Mechanics & Astronomy) 2005年第4期48卷 450-458页

作者： YU Bin1,2, PENG Xiang1,2, TIAN Jindong1, NIU Hanben1, DIAO Luhong3.& LI Hua3.1. key laboratory of Optoelectronic Devices and Systems of Ministry of Education, institute of Optoelec- tronics, Shenzhen University, Shenzhen 518060, China 2. State key laboratory of Precision Measuring {3. and Instruments, Tianjin University, Tianjin 3.0072,China 3. key laboratory of intelligent information processing, institute of computing technology, chinese academy of sciences, {13. 100080,China key laboratory of Optoelectronic Devices and Systems of Ministry of Education Institute of Optoelectronics Shenzhen University Shenzhen China State key laboratory of Precision Measuring technology and Instruments Tianjin University Tianjin China key laboratory of intelligent {3. {3. Institute of Computing Technology Chinese Academy of Sciences Beijing China

Two algorithms for the phase retrieval of hard X-ray in-line phase contrast imaging are presented. One is referred to as Iterative Angular Spectrum Algorithm (IASA) and the other is a hybrid algorithm that combines IASA with TIE (transport of intensity equation). The calculations of the algorithms are based on free space propagation of the angular spectrum. The new approaches are demonstrated with numerical simulations. Comparisons with other phase retrieval algorithms are also performed. It is shown that the phase retrieval method combining the IASA and TIE is a promising technique for the application of hard X-ray phase contrast imaging.

关键词： X-ray optics, phase contrast imaging, phase retrieval, angular spectrum, hard X-ray.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A computational model for feature binding

引用

Science China(Life sciences) 2008年第5期51卷 470-478页

作者： SHI ZhiWei1,2, SHI ZhongZhi1, LIU Xi1,2 & SHI ZhiPing1 1 key laboratory of intelligent {3. {3., institute of computing technology, chinese academy of sciences, beijing 100190, China 2 Graduate University of chinese academy of sciences, beijing 100049, China key laboratory of intelligent {3. {3. Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

The "Binding Problem" is an important problem across many disciplines, including psychology, neuroscience, computational modeling, and even philosophy. In this work, we proposed a novel computational model, Bayesian Linking Field Model, for feature binding in visual perception, by combining the idea of noisy neuron model, Bayesian method, Linking Field Network and competitive mechanism. Simulation Experiments demonstrated that our model perfectly fulfilled the task of feature binding in visual perception and provided us some enlightening idea for future research.

关键词： Binding Problem computational model Bayesian Linking Field Model

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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. {3., institute of computing technology, chinese academy of sciences, beijing 100080, China 2 laboratory of Visual {3. {3., institute of Biophysics, chinese academy of sciences, beijing 100101, China key laboratory of intelligent {3. {3. 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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, China {3., institute of computing technology, chinese academy of sciences, beijing 100190, China National Engineering laboratory for Video technology School of Electrical Engineering and Computer Science Peking University Beijing China key laboratory of intelligent {3. {3. Institute of Computing Technology Chinese Academy of Sciences Beijing China

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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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 processing 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. {3. 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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Strict constraints on 2D primitive pairs for engineering symbol recognition:Theory and application

引用

Science China(information sciences) 2012年第5期55卷 1032-1041页

作者： LI Ting 1,2,QIU XianJie 1,HUANG He 1 & WANG ZhaoQi 1 1 Virtual Reality laboratory,institute of computing{3. chinese academy of sciences,beijing 100190,China 2 Graduate University of chinese academy of sciences,beijing 100049,China Virtual Reality laboratory Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

Geometric constraints on the line-line pair,line-arc pair and arcarc pair are *** con-straints are able to encode the geometric relations between lines,arcs and circles.A geometric proof is presented to demonstrate that the constraints are stable under translation,rotation,uniform scaling or reflection of the primitive *** on the constraints,an algorithm for recognizing symbols in drawings is ***-perimental results show that,compared with three other methods,our method can distinguish more primitive pairs and has higher accuracy in engineering symbol recognition.

关键词： coordinated multi-point transmission multicell cooperation capacity analysis MIMO-OFDM power allocation frequency selective MIMO channel

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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., {3. 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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. , {3. 100029, China 2. Commission of the National Natural Science Foundation of China , {3. 100083. China 3. The Center of information Science , Peking University, {3. 100871, China 4. Open laboratory of Visual information processing , institute of Biophysics ,{3. , {3. 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.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：