检索结果-南通市图书馆

A novel logic-based automatic approach to constructing compliant security policies

在线全文

学校读者我要写书评

暂无评论

Science china(Information sciences) 2012年第1期55卷 149-164页

作者： BAO YiBao1,2,4,YIN LiHua1,FANG BinXing 1,3&GUO Li 1 1Institute of Computing Technology,chinese academy of sciences,beijing 100190,china 2Institute of Electronic Technology,Information Engineering university,Zhengzhou 450004,china 3beijing university of Posts and Telecommunications,beijing 100190,china 4graduate university,the chinese academy of Science,beijing 100049,china 1. Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China2. Institute of Electronic Technology Information Engineering University Zhengzhou 450004 China4. Graduate University the Chinese Academy of Science Beijing 100049 China3. Beijing University of Posts and Telecommunications Beijing 100190 China

It is significant to automatically detect and resolve the incompliance in security *** existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security *** paper proposes a novel approach to automatically transform a given security policy into a compliant *** security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the *** prove that the algorithm is sound and complete under noninterference ***,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on Π*** approach is automatic,so it doesn't require a administrator with excess *** this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities.

关键词： security policy rewriting logic program compliance

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) [a]chinese academy of sciences Institute of Geodesy and Geophysics Wuhan China [b]graduate university of chinese academy of sciences Beijing 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.

SUSPENDED SEDIMENT TRANSPORT IN THE OFFSHORE NEAR YANGTZE ESTUARY

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 2008年第3期20卷 373-381页

作者： CHEN Bin WANG Kai Institute of Oceanology Chinese Academy of Sciences Qingdao 266071 China graduate university of the chinese academy of sciences Beijing 100039 China

Based on the Estuarine, Coastal and Ocean Modeling System with Sediments （ECOMSED） model, a 3-D hydrodynamic-transport numerical model was established for the offshore area near the Yangtze Estuary in the East china Sea .The hydrodynamic module was driven by tide and wind. Sediment module included sediment resuspension, transport and deposition of cohesive and non-cohesive sediment. The settling of cohesive sediment in the water column was modeled as a fimction of aggregation （flocculation） and deposition. The numerical results were compared with observation data for August, 2006. It shows that the sediment concentration reduces gradually from the seashore to the offshore area. Numerical results of concentration time series in the observation stations show two peaks and two valleys, according with the observation data. It is mainly affected by tidal current. The suspended sediment concentration is related to the tidal current during a tidal cycle, and the maximum concentration appears 1 h-4 h after the current maximum velocity has reached.

关键词： Yangtze Estuary sediment concentration sediment transport

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 100049, china 1. State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100190 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 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

A Test on Different Types of the Time Curve of Hardness Ratio of Gamma-Ray Bursts based on the Curvature Effect

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

chinese Journal of Astronomy and Astrophysics 2008年第4期8卷 451-464页

作者： Lan-Wei Jia National Astronomical Observatories/Yunnan Observatory,chinese academy of sciences,Kunming 650011,china graduate School of chinese academy of sciences,beijing 100049,china National Astronomical Observatories/ Yunnan Observatory Chinese Academy of Sciences Kunming 650011 China and graduate School of chinese academy of sciences Beijing 100049 China

We analyzed a sample of 66 gamma-ray bursts （GRBs） and statistically confirmed the prediction on the time curve of the hardness ratio of GRBs made by Qin et al. based on the curvature effect. In their analysis, GRB pulses are divided into three types according to the shape of their raw hardness ratio （RHR） time curves, defined as to include the background counts to the signal counts, so as to make use of counts within small time intervals. Of the three types, very hard sources exhibit a perfect pulse-like profile （type 1）, hard bursts possess a pulse-like profile with a dip in the decay phase （type 2）, and soft bursts show no pulse-like profile but have only a dipped profile （type 3）. In terms of the conventional hardness ratio, type 3 sources are indeed generally softer than those of type 1 and type 2, in agreement with the prediction. We found that the minimum value of RHR is sensitive in distinguishing the different types. We propose that GRB pulses can be classified according to the minimum value of RHR and that the different type sources may be connected with different strengths of the shock or/and the magnetic field.

关键词： gamma-rays burst -- gamma-rays observations - methods statistical

CONVERGENCE OF VORTEX METHODS FOR 3-D EULER EQUATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 239-250页

作者： Jia-fu Lin (Institute of System Science, academy of Mathematics and System sciences, chinese academy of sciences, beijing, 100080, china School of Mathematical sciences, Peking university, beijing 100871, china) 中科院系统科学所北京 100080

Presents a study on the convergence of vortex methods for the three-dimensional Euler equations in bounded domains. Related studies on the convergence of vortex methods; Formulation of vortex methods; Convergence for ... 详细信息

关键词： Euler equations vortex methods convergence initial-boundary value problem

Biodegradable amphiphilic block copolymers containing functionalized PEO blocks:Controlled synthesis and biomedical potentials

在线全文

学校读者我要写书评

暂无评论

Science china Chemistry 2010年第3期53卷 519-527页

作者： ZHANG Yu1,2,SUN PeiJian1,2 & GAN ZhiHua1 1CAS Key Laboratory of Engineering Plastics,Institute of Chemistry,chinese academy of sciences,beijing 100190,china 2graduate university of chinese academy of sciences,beijing 100039,china 1. CAS Key Laboratory of Engineering Plastics Institute of Chemistry Chinese Academy of Sciences Beijing 100190 China2. Graduate University of Chinese Academy of Sciences Beijing 100039 China

A series of controllable amphiphilic block copolymers composed of poly(ethylene oxide)(PEO) as the hydrophilic block and poly(ε-caprolactone)(PCL) as the hydrophobic block with the amino terminal group at the end of the PEO chain(PCL-b-PEO-NH2) were *** on the further reaction of reactive amino groups,diblock copolymers with functional carboxyl groups(PCL-b-PEO-COOH) and functional compounds RGD(PCL-b-PEO-RGD) as well as the triblock copolymers with thermosensitive PNIPAAm blocks(PCL-b-PEO-b-PNIPAAM) were *** well-controlled structures of these copolymers with functional groups and blocks were characterized by gel permeation chromatography(GPC) and 1H NMR *** copolymers with functionalized hydrophilic blocks were fabricated into microspheres for the examination of biofunctions via cell culture experiments and in vitro drug *** results indicated the significance of introducing functional groups(e.g.,NH2,COOH and RGD) into the end of the hydrophilic block of amphiphilic block copolymers for biomedical potentials in tissue engineering and controlled drug release.

关键词： amphiphilic block copolymers biodegradable polymers functional terminal group cell growth drug release

Optimization of mathematical models for thematic maps

在线全文

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2010年第S1期53卷 15-24页

作者： QI QingWen1,ZHANG An1,JIANG LiLi1,ZOU XiuPing2,XU Li3 & CHENG Xi1,4 1 Institute of Geographical sciences and Natural Resources Research,chinese academy of sciences,beijing 100101,china 2 Institute of Policy and Management,chinese academy of sciences,beijing 100080,china 3 Taishan university,Taian 271021,china 4 graduate university of chinese academy of sciences,beijing 100049,china chinese Acad Sci Inst Geog Sci & Nat Resources Res Beijing 100101 Peoples R China chinese Acad Sci Inst Policy & Management Beijing 100080 Peoples R China Taishan Univ Tai An 271021 Shandong Peoples R China chinese Acad Sci Grad Univ Beijing 100049 Peoples R China

The thematic map is a major class of maps designed to demonstrate particular features or concepts,functioning as an indispensable tool in geographical *** process of thematic mapping is one into which geographical research goes deeply and *** key activity and course of thematic map production is the use of mathematical models to create thematic data ***,the selection and optimization of mathematical models is in the forefront of thematic map *** theoretical foundations,mechanisms and methods of mathematical model optimization are expounded in this paper,including two approaches,the phase by phase mode and the multi-aim scheme balance *** studies in eco-environment mapping and emergency mapping are described and analyzed,with a hierarchical analysis method being used in the model optimization for eco-environment fragility and sensitivity assessment mapping in Beibuwan (Guangxi) District,the dynamic system (DS) method being used in the model optimization for ecological security adjustment mapping in Xishuang Banna,Yunnan province,and the multi-phase mode being used in the models for forest fire and infectious diseases mapping.

关键词： thematic map mathematic model optimization

Teleconnection between the Indian summer monsoon onset and the Meiyu over the Yangtze River Valley

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2008年第7期51卷 1021-1035页

作者： LIU YunYun1,2,3 & DING YiHui2 1 chinese academy of Meteorological sciences, beijing 100081, china 2 National Climate Center, beijing 100081, china 3 graduate university of chinese academy of sciences, beijing 100049, china 1. chinese academy of Meteorological sciences Beijing 100081 China 2. National Climate Center Beijing 100081 China 3. graduate university of chinese academy of sciences Beijing 100049 China

Based on the Indian and chinese precipitation data and the NCEP-NCAR reanalysis circulation data, the relationship between the Indian summer monsoon (ISM) onset and the Meiyu over the Yangtze River Valley has been discussed by the methods of correlation analysis and composite analysis. The results show that the date of ISM onset over Kerala in the southwestern coast of the Indian Peninsula is about two weeks earlier than the beginning of the Meiyu over the Yangtze River Valley. After the outbreak of ISM, the teleconnection mode sets up from the western coast of India via the Bay of Bengal (BOB) to the Yangtze River Valley and southern Japan. It is different both in time and space from the telecon- nection mode which is from the northwest of India via the Tibetan Plateau to northern china. The for- mer mode is defined as the "south" teleconnection of the Asian summer monsoon, forming in the pe- riod of ISM onset; while the latter mode is called the "north" teleconnection, mainly occurring in the Asian monsoon culminant period. During the process of the "south" teleconnection’s formation, the Asian monsoon circulation has experienced a series of important changes: ISM onset, the northward movement of the south Asia high (SAH), the onset vortex occurrence, the eastward extension of the stronger tropical westerly belt, and the northeastward jump of the western Pacific subtropical high (WPSH), etc. Consequently, since ISM sets up over Kerala, the whole Asian continent is covered by the upper SAH after about two weeks, while in the mid- and lower troposphere, a strong wind belt forms from the Arabian Sea via the southern India, BOB and the South china Sea (SCS), then along the western flank of WPSH, to the Yangtze River Valley and southern Japan. With the northward moving of the subtropical jet streams, the upper westerly jet stream and the low level jet have been coupled ver- tically over east Asia, while the Yangtze River Valley happens to locate in the ascending motion

关键词： Indian summer monsoon (ISM) the Meiyu over the Yangtze River Valley teleconnection mode