检索结果-南通市图书馆

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 Information Processing,Institute of Computing Technology,chinese academy of sciences,beijing 100190,china 2 graduate university of chinese academy of sciences,beijing,china Key Laboratory of Intelligent Information Processing 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 measuring method of effects of herbs based on classification used for intelligent calculation of efficacies of prescriptions

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information sciences) 2010年第10期53卷 2047-2061页

作者： GAO QuanQuan 1 & REN TingGe 2 1 academy of Math & Systems, chinese academy of sciences, beijing 100190, china 2 beijing university of chinese Medicine, beijing 100029, china academy of Math & Systems Chinese Academy of Sciences Beijing China beijing university of chinese Medicine Beijing China

It is important to translate dosage of each medical herb in a prescription into intensity of its effects measured by mathematical models. In this paper, we present intelligent calculational algorithms on efficacies of prescriptions of chinese Medicine (CM), study "how curative effects of any herb depend on dosage" when constructing CM intelligent systems, and discuss relevant issues and definitions. In order to measure intensities of effects of all herbs reasonably, the natural classification method is proposed to classify herbs into 38 natural classes according to their dosage ranges using the knowledge of CM dosage and distribution rules of herbs. Then the 38 natural classes are clustered to 6 basic classes reflecting characteristic attributes of various herbs. Based on the results of classified herbs, a set of nonlinear measuring functions of intensities of effects is designed for various basic classes. These functions have been embedded in our intelligent calculation system of efficacies of prescriptions. The effects of 560 herbs and curative efficacies of more than 1000 prescriptions derived from "ShangHan Lun", "JinGui YaoLue", "Ming Jia Yi An", etc., have been calculated and discovered successfully. It is proved that the accuracy of theses results by these models has been obviously enhanced.

关键词： intelligent calculation mathematical modeling measuring method efficacies of prescriptions

Dynamic tree-based authenticated group key exchange protocol

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information sciences) 2010年第8期53卷 1591-1602页

作者： LI Hui 1,2 , WU ChuanKun 1 & TENG JiKai 1,2 1 State Key Laboratory of Information Security, Institute of Software, chinese academy of sciences, beijing 100190, china 2 graduate university of chinese academy of sciences, beijing 1.0049, china State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China graduate university of chinese academy of sciences Beijing China

Authenticated group key exchange protocols allow a group of users over a public network to establish a shared secret key for the subsequent cryptographic goals. In this paper, we extend BD-II scheme into a dynamic setting, and propose a tree-based authenticated key exchange protocol which is more suitable for dynamic groups in such as ad hoc networks. Our protocol is proven secure in random-oracle model. Additionally, we analyze the costs of our protocols in both communication and computation terms, and compare its performance with three well-known protocols.

关键词： tree-based group key exchange dynamic provable security

SHRIMP zircon U-Pb geochronology of early Mesozoic felsic igneous rocks from the southern Lancangjiang and its tectonic implications

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Earth sciences 2006年第10期49卷 1032-1042页

作者： PENG Touping1,2, WANG Yuejun1, FAN Weiming1, LIU Dunyi3, SHI Yuruo3 & MIAO Laicheng4 1. Key Laboratory of Isotope Geochronology and Geochemistry, Guangzhou Institute of Geochemistry, chinese academy of sciences, Guangzhou 510640, china 2. graduate university of chinese academy of sciences, beijing 100039, china 3. SHRIMP isotope Laboratory, chinese academy of Geological sciences, beijing 100037, china 4. Institute of Geology and Geophysics, chinese academy of sciences, beijing 100029, china Key Laboratory of Isotope Geochronology and Geochemistry Guangzhou Institute of Geochemistry Chinese Academy of Sciences Guangzhou China graduate university of chinese academy of sciences Beijing China SHRIMP isotope Laboratory Chinese Academy of Geological Sciences Beijing China Institute of Geology and Geophysics Chinese Academy of Sciences Beijing China

The SHRIMP zircon U-Pb geochronology of three typical samples, including two monzo nitic granites from the Lincang batholith and a rhyolite from the Manghuai Formation are presented in the southern Lancangjiang, western Yunnan Province. The analyses of zircons for the biotite monzonitic granites from the northern (02DX-137) and southern (20JH-10) Lincang batholith show the single and tight clusters on the concordia, and yield the weighted mean 206Pb/238U ages of 229.4 ± 3.0 Ma and 230.4 ± 3.6 Ma, respectively, representing the crystallized ages of these granites. The zircons for the rhyolitic sample (02DX-95) from the Manghuai Formation give a weighted mean 206Pb/238U age of 231.0 ± 5.0 Ma. These data suggest that the igneous rocks from the Lincang granitic batholith and Manghuai Formation have a similar crystallized age. In combination with other data, it is inferred that both were generated at a narrow age span (~230 Ma) and were originated from the postcollisional tectonic regime. An early Proterozoic 206Pb/238U apparent age of 1977±44 Ma is additionally obtained from one zircon from the biotite monzonitic granite (southern Lincang batholith), indicative of devel- opment of the early Proterozoic Yangtze basement in the region. These precisely geochronological data provide important constraints on better understanding the Paleozoic tectonic evolution of the Tethys, western Yunnan Province.

关键词： SHRIMP zircon U-Pb dating, Middle Triassic, Lincang granitic batholith, Manghuai Formation rhyolite, southern Lancangjiang.

Reconstruction of temperature series in china for the last 5000 years

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第8期16卷 838-845页

作者： GE Quansheng, WANG Shunbing and ZHENG Jingyun (Institute of Geographical sciences and Natural Resources Research, chinese academy of sciences, beijing 100101, china graduate School of the chinese academy of sciences, beijing 100039, china) Institute of Geographical sciences and Natural Resources Research Chinese Academy of Sciences Beijing 100101 China graduate School of the chinese academy of sciences Beijing 100039 China

A temperature series with a 100 year resolution for the last 5000 years in china has been reconstructed by using 31 longterm temperature proxy series selected from recent publications in the last 20 years. The proxy records include pollens, stalagmites, lake-sediments, peat, ice cores and historical documents. The result reveals that in the millennial scale temperature variation it was warm in 3050-250 BC and it was cold in 250 BC-1950 AD. In the above two periods there were many stages of sub-scale temperature fluctuations. The result also shows an obvious temperature discrepancy on the century to multi-century scale between the Eastern Monsoon Region, the Qinghai-Tibet Region and the Northwestern Region in 2850 BC, 2350 BC, 1350 BC, 950-350 BC, 50-250 AD, and 550 AD. A comparison between the reconstructed series of this paper and some North Hemisphere temperature series indicates that in the longterm scale change, the temperature change in china is in phrase with that of the Northern Hemisphere during the last 5000 years, while on the century to multi-century scale there are differences at the beginning and end times, which may imply that temperature change does not occur simultaneously in different regions.

关键词： temperature series the last 5000 years china.

ON THE CENTRAL RELAXING SCHEME Ⅱ: SYSTEMS OF HYPERBOLIC CONSERVATION LAWS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第6期19卷 571-582页

作者： Hua-zhong Tang (School of Mathematical sciences, Peking university, beijing 100871, china) (LSEC,ICMSEC academy of Mathematics and Systems sciences, chinese academy of sciences, beijing 100080, china) School of Mathematical sciences Peking University Beijing 100871 China

This paper continues to study the central relaxing schemes for system of hyperbolic conservation laws, based on the local relaxation approximation. Two classes of relaxing systems with stiff source term are introduced to approximate system of conservation laws in curvilinear coordinates. Based on them, the semi-implicit relaxing schemes are con- structed as in [6, 12] without using any linear or nonlinear Riemann solvers. Numerical experiments for one-dimensional and two-dimensional problems are presented to demon- strate the performance and resolution of the current schemes.

关键词： Hyperbolic conservation laws The relaxing system The central relaxing schemes The Euler equations.

Models and methods for precise determination of ionospheric delay using GPS

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第2期17卷 187-196页

作者： YUAN Yunbin, HUO Xingliang and OU Jikun ( Institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 430077, china graduate university of chinese A-cademy of sciences, beijing 100039, china) Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China graduate university Chinese Academy of Sciences Beijing 100039 China

The basic principles and methods for precisely determining ionospheric delays in GPS observations are introduced and discussed. Various methods and models for fitting ionospheric delays based on GPS are compared and a... 详细信息

关键词： GPS ionospheric delay atmosphere modeling precise GPS positioning.

BUD2,encoding an S-adenosylmethionine decarboxylase,is required for Arabidopsis growth and development

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Cell Research 2006年第5期16卷 446-456页

作者： Chunmin Ge~(1,2,*) Xia Cui~(1,2,*) Yonghong Wang~1 Yuxin Hu~3 Zhiming Fu~1 Dongfen Zhang~(1,2) Zhukuan Cheng~1 Jiayang Li~1 ~1State Key Laboratory of Plant Genomics and National Center for Plant Gene Research,Institute of Genetics and Developmental Biology,chinese academy of sciences,beijing 100101,china ~2graduate School,chinese academy of sciences,beijing 100101,china ~3Institute of Botany,chinese academy of sciences,beijing 100093,china State Key Laboratory of Plant Genomics and National Center for Plant Gene Research Institute of Genetics and Developmental Biology Chinese Academy of Sciences Beijing China graduate School Chinese Academy of Sciences Beijing China Institute of Botany Chinese Academy of Sciences Beijing China

Polyamines are implicated in regulating various developmental processes in plants,but their exact roles and how theygovern these processes still remain *** report here an Arabidopsis bushy and dwarf mutant,bud2,which resultsfrom the complete deletion of one member of the small gene family that encodes S-adenosylmethionine decarboxylases(SAMDCs) necessary for the formation of the indispensable intermediate in the polyamine biosynthetic ***2 plant has enlarged vascular systems in inflorescences,roots,and petioles,and an altered homeostasis *** double mutant of bud2 and samdcl,a knockdown mutant of another SAMDC member,is embryo lethal,demonstrat-ing that SAMDCs are essential for plant *** results suggest that polyamines are required for the normalgrowth and development of higher plants.

关键词： BUD2 polyamines embryogenesis plant architecture Arabidopsis

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Earth sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2,3 & WANG Huijun2 1. Nansen-Zhu International Research Center, Institute of Atmospheric Physics, chinese academy of sciences, beijing 100029, china 2. Department of Atmospheric Science, Yunnan university, Kunming 650091, china 3. graduate university of the chinese academy of sciences, beijing 1.0049, china Nansen-Zhu International Research Center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Department of Atmospheric Science Yunnan University Kunming China graduate university of the chinese academy of sciences Beijing China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.