检索结果-南通市图书馆

A formal model of fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2005年第4期48卷 499-512页

作者： QING Sihan1,2.3.& LI Gaicheng1,2.3.1. Engineering Research Center for Information Security Technology, institute of Software, {3. Aca- demy of {2., Beijing 100080, china 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 100080, china 3. Graduate School of the {3. Academy of {2., Beijing 10003., china Engineering Research Center for Information Security Technology Institute of Software Chinese Aca- demy of Sciences Beijing Zhongke Ansheng Corporation of Information Technology Graduate School of the chinese Academy of sciences

Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior. The model provides a novel formal definition of exchanged items, and presents the formal goals for fairness, accountability, etc., reflecting the inherent requirements for fair exchange protocols across-the-board. In order to check, prove, and design fair exchange protocols effectively and efficiently, the model puts forward a novel property of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third party, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this paper presents the analysis steps of fair exchange protocols appealing to our model. An unknown attack is uncovered. The analysis reveals the process of a complete attack, discovering deeper reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable properties.

关键词： events local causal relation local temporal relation global relation exchanged item security goals.

Explicit analytical solutions of the anisotropic Brinkman model for the natural convection in porous media(Ⅱ)

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第4期48卷 422-430页

作者： CAI Ruixian1, GOU Chenhua1, 2.& ZHANG Na1 1. institute of Engineering Thermophysics, chinese Academy of {2., Beijing 100080, china 2. Graduate School, chinese Academy of {2., Beijing 100080, china institute of Engineering Thermophysics Chinese Academy of Sciences Beijing China Graduate School Chinese Academy of Sciences Beijing China

Some algebraically explicit analytical solutions are derived for the anisotropic Brinkman model―an improved Darcy model―describing the natural convection in porous media. Besides their important theoretical meaning (for example, in analyzing the non-Darcy and anisotropic effects on the convection), such analytical solutions can be the benchmark solutions that can promote the development of computational heat and mass transfer. Some solutions considering the anisotropic effect of permeability have been given previously by the authors, and this paper gives solutions including the anisotropic effect of thermal conductivity and the effect of heat sources.

关键词： explicit analytical solution, porous medium, natural convection, Brinkman model, anisotropic.

Geochemical simulation of the formation of brine and salt minerals based on Pitzer model in Caka Salt Lake

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2004年第8期47卷 720-726页

作者： LIU Xingqi1, CAI Keqin2.& YU Shengsong3.1. Nanjing institute of Geography and Limnology, chinese Academy of {2., Nanjing 2.0008, china 2. china University of Geo{2., Beijing 100083. china 3. institute of Salt Lakes, chinese Academy of {2., Xining 810008, china Nanjing institute of Geography and Limnology Chinese Academy of Sciences Nanjing China china University of Geosciences Beijing China institute of Salt Lakes Chinese Academy of Sciences Xining China

The geochemical simulation of the formation of brine and salt minerals based on Pitzer model was made in Caka Salt Lake. The evolution of the mixed surface-water and the mineral sequences were calculated and compared with the hydrochemical compositions of the brine and the salt minerals of the deposit in Caka Salt Lake. The results show that the formation temperature of the lake is between 0°C and 5°C, which is well identical with other studies. The mixing of salt-karst water with the surface waters, neglected by the former researchers, is very important to the formation of the lake, indicating that the initial waters resulting in the formation of the lake are multi-source. It is the first time to use Pitzer model in china for making geochemical simulation of the formation and evolution of inland salt lake and satisfactory results have been achieved.

关键词： Pitzer model,Caka Salt Lake,geochemical simulation,salt-karst water.

A new DNA algorithm to solve graph coloring problem

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第6期17卷 733-738页

作者： Jiang Xingpeng1, Li Yin2. Meng Ya3.and Meng Dazhi2.1. National Laboratory of Pattern Recognition,institute of Automation, {3. Academy of {2., Beijing 100080, china 2. College of Applied {2., Beijing University of Technology, Beijing 10002., china 3. School of Science, Beijing institute of Technology, Beijing 100081, china) National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing 100080 China National High Magnetic Field Laboratory Florida State University 1800 East Paul Dirac Drive Tallahassee Florida 32306 USA

Using a small quantity of DNA molecules and little experimental time to solve complex problems successfully is a goal of DNA computing. Some NP-hard problems have been solved by DNA computing with lower time complexity than conventional computing. However, this advantage often brings higher space complexity and needs a large number of DNA encoding molecules. One example is graph coloring problem. Current DNA algorithms need exponentially increasing DNA encoding strands with the growing of problem size. Here we propose a new DNA algorithm of graph coloring problem based on the proof of four-color theorem. This algorithm has good properties of needing a relatively small number of operations in polynomial time and needing a small number of DNA encoding molecules (we need only 6R DNA encoding molecules if the number of regions in a graph is R).

关键词： DNA computing NP-hard problem graph coloring problem.

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

笔谈:透视台湾地区2.2.年“两项选举”

台湾研究 2024年第1期 1-14页

作者： institute of Taiwan Studies, chinese Academy of Social {2. 中国社会科学院台湾研究所

2.2.年1月13.,台湾地区领导人和立法机构“二合一”选举落下幕。民进党籍候选人赖清德、萧美琴当选台湾地区正副领导人。台湾地区立法机构总额113.中,中国国民党获52.,民进党获51席,民众党获8席,无党籍及未经政党推荐者获2..

关键词：中国国民党民进党立法机构台湾地区民众党推荐者二合一候选人

Environmental characteristics of Mid-Holocene recorded by lacustrine sediments from Lake Daihai, north environment sensitive zone, china

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2006年第9期49卷 968-981页

作者： SUN Qianli1,2. ZHOU Jie1, SHEN Ji3. CHEN Peng1,2. WU Feng1,2.& XIE Xiuping1,2.1. State Key Lab of Loess and Quaternary Geology, institute of Earth Environment, chinese Academy of {2., Xi’an 710075, china 2. Graduate University of chinese Academy of {2., Beijing 10003., china 3. Nanjing institute of Geography and Limnology, chinese Academy of {2., Nanjing 2.0008, china State Key Lab of Loess and Quaternary Geology Institute of Earth Environment Chinese Academy of Sciences Xi’an China Graduate University of chinese Academy of sciences Beijing China Nanjing institute of Geography and Limnology Chinese Academy of Sciences Nanjing China

Climate proxies, such as total organic carbon and nitrogen (TOC, TN), carbonate content (CaCO3., grain-size and pollen of the sediment core retrieved from enclosed Lake Daihai which lies in the north china environment sensitive zone are analyzed to reconstruct the environment evolution of the area based on high-resolution radiocarbon chronology. The results reveal that the TOC and TN contents of the sediments correlate well with pollen percentage and pollen flux variations during the Holocene, and both reach their peak values simultaneously at 6.7―3.5 ka BP (calendar age, 7.6―3.6 ka BP). Since 6.7 ka BP, both the CaCO3.and organic matter contents of the core have simultaneous variations, and their high values also occur during 6.7―3.5 ka BP. While during 9.0―6.7 ka BP (calendar age, 10―7.6 ka BP) relatively lower level of organic matter content and pollen flux corre- spond to the higher level of carbonate content. The above relations suggest that during 6.7―3.5 ka BP, the productivity and effective precipitation were greatly improved in the lake drainage area, and this would probably strengthen the hydrodynamic conditions, enhancing organic matter, pollen and carbonate inputs from terrestrial sources. Such processes would account for the enrichment of both organic matter and carbonate in the sediments. While during 9.0―6.7 ka BP, the lower level of or- ganic matter, pollen flux but high carbonate content show depressed productivity and declined vege- tation coverage. The higher carbonate content at this stage would have probably resulted from the higher evaporation ratio of the lake water under relatively drier climate conditions. Therefore, it is in- ferred that during 6.7―3.5 ka BP, the climate was more humid with abundant rainfalls and vegetation was more flourishing in the Lake Daihai area. This can be seen as Holocene Climate Optimum (HCO). As a result, this has evident discrepancies with the traditional notion that the HCO occurs at Early Holocene or early Mid

关键词： Lake Daihai, Mid-Holocene, lacustrine sediments, environmental characteristics.

Physical mechanisms of plant roots affecting weathering and leaching of loess soil

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2006年第9期49卷 1002-1008页

作者： LI Yong1,2. ZHANG Qingwen1,2. WAN Guojiang3. HUANG Ronggui3. PIAO Hechun3. BAI Lingyu2.& LI Lu2.1. State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau, institute of Soil and Water Conservation, chinese Academy of {2., Yangling 712.00, china 2. institute of Agro-Environment and Sustainable Development, chinese Academy of Agricultural {2., Beijing 100081, china 3. institute of Geochemistry, chinese Academy of {2., Guiyang 550002. china State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau Institute of Soil and Water Conservation Chinese Academy of Sciences Yangling China institute of Agro-Environment and Sustainable Development Chinese Academy of Agricultural Sciences Beijing China institute of Geochemistry Chinese Academy of Sciences Guiyang China

Plant roots have potential impacts on soil mineral weathering and *** objective is to understand the physical mechanisms of plant roots affecting weathering andleaching of loess soil. Root densities were measured through the method of a large-size dug profile,and transport fluxes of soil elements were determined using an undisturbed monolith soilinfiltration device on the hilly and gully regions of the chinese Loess Plateau. The results showthat the improvement effects of soil environment by plant roots are mainly controlled by the densityand weight of the fibrous roots with the diameters less than 1 mm. Plant roots have the strongereffects on soil physical properties than chemical properties. The principal components analysis(PCA) indicates that soil physical properties by plant roots account for 56.7% of variations in soilenvironment whereas soil chemical properties and pH contribute about 2..2. of the soil *** roles of plant roots in controlling soil weathering and leaching increased in the followingorder: infiltration enhancement > increase of bio-active substance > stabilization of soilstructure. The effects of plant roots on soil mineral weathering and leaching can be quantifiedusing the multiple regression models with the high prediction accuracies developed in this study.

关键词： plant roots, soil weathering and leaching rates, soil environment field, principal components analysis (PCA), chinese Loess Plateau.

Spectral analysis of quasi-stationary sea surface topography from GRACE mission

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2005年第11期48卷 2040-2048页

作者： ZHANG Zizhan1,2.& LU Yang1,3.1. institute of Geodesy and Geophysics, chinese Academy of {2., Wuhan 43.077, china 2. Graduate School of the chinese Academy of {2., Beijing 10003., china 3. Unite Center for Astro-geodymics Research, chinese Academy of {2., Shanghai 2.003., china institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan China Graduate School of the chinese Academy of sciences Beijing China Unite Center for Astro-geodymics Research Chinese Academy of Sciences Shanghai China

During the last two decades satellite altimetry has offered an abundance of meas-urements of the sea surface resulting in the improvement of global mean sea surface height (MSSH) and marine geoid determination. On the other hand, with the launching of new genera-tion gravity satellites, some high accuracy long-wavelength gravity models are available. These breakthroughs give us a great opportunity for new estimation of quasi-stationary sea surface topography (QSST). In this paper, the new gravity model GGM01C derived from GRACE mission is briefly presented, and a new global high precision and high-resolution QSST is determined based on the GGM01C model and the global MSSH. The spectral features of the QSST esti-mated by GGM01C and EGM96 gravity model to degree/order 2.0 are discussed by spectral analysis. As a result, the QSST is mainly composed of long waves, medium waves partially and short waves scarcely, its power spectral structures are different between the zonal direction and the meridional direction, there are great differences between the two models, which maybe ex-plain why the ocean currents derived from the two gravity models by Tapley show different pat-terns.

关键词： quasi-stationary sea surface topography, mean sea surface height, GGM01, fast Fourier transform, spectral analysis

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2.3., LI Xiao-wei 2.3.. School of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang, china 2. institute of Computing Technology, {2. Academy of sciences, Beijing 100080, china 3. Graduate School of the {2. Academy of sciences, Beijing 10003., china School of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate School of the chinese Academy of sciences Beijing China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison