检索结果-南通市图书馆

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, Chinese Aca- demy of Sciences, beijing 100080, {2. 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080, {2. 3. Graduate School of the Chinese Academy of Sciences, beijing 100039, {2. 1. Engineering Research center for Information Security Technology Institute of Software Chinese Academy of Sciences 100080 Beijing China 2. beijing Zhongke Ansheng Corporation of Information Technology 100080 Beijing China 3. Graduate School of the Chinese Academy of Sciences 100039 Beijing China

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.

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, Chinese Academy of Sciences, beijing 100080, china 2. College of Applied Sciences, 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 College of Applied Sciences Beijing University of Technology Beijing 100022 China School of Science Beijing Institute of Technology Beijing 100081 China

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.

Relationship between the Asian-Pacific oscillation and the tropical cyclone frequency in the western North Pacific

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Earth Sciences 2008年第3期51卷 380-385页

作者： ZHOU BoTao1, CUI Xuan2.& ZHAO Ping3 1 Laboratory for Climate Studies, National Climate center, china Meteorological Administration, {2. 100081, china 2.National Meteorological center, china Meteorological Administration, {2. 100081, china 3 Chinese Academy of Meteorological Sciences, china Meteorological Administration, {2. 100081, china 1. Laboratory for Climate Studies National Climate Center China Meteorological Administration Beijing 100081 China 2. National Meteorological center China Meteorological Administration Beijing 100081 China 3. Chinese Academy of Meteorological Sciences China Meteorological Administration Beijing 100081 China

The relationship between the Asian-Pacific oscillation (APO) and the tropical cyclone frequency over the western North Pacific (WNP) in summer is preliminarily investigated through an analysis of ob- served data. The result has shown clearly that APO is significantly and positively correlated to the tropical cyclone frequency in the WNP. If APO is above (below) the normal in summer, more (less) tropical cyclones will tend to appear in the WNP. The present study also addresses the large-scale at- mospheric general circulation changes underlying the linkage between APO and the WNP tropical cy- clone frequency. It follows that a positive phase of summer APO is concurrent with weakened as well as northward and eastward located western Pacific subtropical high (WPSH), low-level convergence and high-level divergence, and reduced vertical zonal wind shear in the WNP, providing favorable envi- ronment for the tropical cyclone genesis, and thus more tropical cyclones will come into being, and vice versa.

关键词： Asian-Pacific oscillation western North Pacific tropical cyclone atmospheric circulation

Technical development of proteomics

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1999年第16期44卷 1441-1447页

作者： WAN Jinghong and HE Fuchu1.Chongqing Medical University, Chongqing 400046, china 2. beijing Institute of {2. Medicine, beijing 100850, china Corresponding author Chongqing Medical University Chongqing China beijing Institute of radiation Medicine Beijing China

Proteome research is an important complementarity for the genome research, which uses quantitative protein-level measurements to characterize biological process. Proteome techniques include two aspects. One is two-dimensional electrophoresis, which is the unique technology to separate the components of proteome. The other is identification of the

关键词： proteome two-dimensional electrophoresis image analysis peptide-mass fingerprinting database.

Strong decays of N~*(1535) in an extended chiral quark model

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2009年第10期52卷 1452-1457页

作者： AN ChunSheng1,2.3 & ZOU BingSong1,2.3 1 Institute of High Energy Physics,Chinese Academy of Sciences,beijing 100049,china 2.Theoretical Physics {2. for Science Facilities,Chinese Academy of Sciences,beijing 100049,china 3 Graduate University of Chinese Academy of Sciences,beijing 100049,china Institute of High Energy Physics Chinese Academy of Sciences Beijing 100049 China Theoretical Physics center for Science Facilities Chinese Academy of Sciences Beijing 100049 China Graduate University of Chinese Academy of Sciences Beijing 100049 China

The strong decays of the N*(1535) resonance are investigated in an extended chiral quark model by including the low-lying $ qqqq\bar q $ components in addition to the qqq component. The results show that these five-quark components in N*(1535) contribute significantly to the N*(1535) → Nπ and N*(1535) → Nη decays. The contributions to the Nη decay come from both the lowest energy and the next-tolowest energy five-quarks components, while the contributions to the Nπ decay come from only the latter one. Taking these contributions into account, the description for the strong decays of N*(1535) is improved, especially for the puzzling large ratio of the decays to Nη and Nπ.

关键词： N*(1535) strong decays five-quark components

Progress and review of the studies on the end-Triassic mass extinction event

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2005年第12期48卷 2049-2060页

作者： DENG Shenghui1,2. LU Yuanzheng1,2.3 & XU Daoyi4 1. Research Institute of Petroleum Exploration and Development, beijing 100083, china 2. Key Laboratory of Oil and Gas Reservoir of Petrochina, beijing 100083, china 3. china University of Geosciences, beijing 100083, china 4. Institute of Geology, china Earthquake Administration, beijing 10002., china 1. Research Institute of Petroleum Exploration and Development 100083 Beijing China 2. Key Laboratory of Oil and Gas Reservoir of Petrochina 100083 Beijing China 3. china University of Geosciences 100083 Beijing China 4. Institute of Geology China Earthquake Administration 100029 Beijing China

The mass extinction at the end-Triassic is one of the five biggest in the Phanerozoic. However,it is the least well understood among these five events, and only till last decade it became a great academic interesting subject to geologists. The evidences for this event come obviously from bivalves, brachiopods, ammonites, corals, radiolaria, ostracods and foraminifera of marine habitats, and plants and tetrapods of terrestrial realm. By contrast, for some of other groups, such as marine gastropods and marine vertebrates, no mass extinction has been recog-nized yet. The extinction event is strongly marked at specific level but shown a complicated situa-tion at generic and family levels. Dramatic changing of the environment, such as the temperature raise due to the greenhouse effect, the marine anoxic habitats caused by a sudden transgression after the regression at the end of Triassic, has been claimed to be the main cause of the extinction. Many hypotheses have been suggested to demonstrate the mechanisms of the environment changing, among which two popular ones are the bolide impact and volcanic eruption. The Triassic-Jurassic (Tr-J) boundary mass extinction event is still poorly understood because no enough data have been obtained from the Tr-J boundary successional sections of both marine and terrestrial sediments, and most of these studies were regionally restricted. The basic aspects of the event and its associated environmental conditions remain poorly characterized and the causal mechanism or mechanisms are equivocal. Some authors even doubt its occurrence. china has many successionally developed terrestrial and marine Tr-J sections. Detailed studies of these sections may be important and significant for well understanding of the event.

关键词： progress, review, end-Triassic, mass extinction, mechanism, Tr-J boundary.

Solvation effects on brain uptakes of isomers of ^(99m)Tc brain imaging agents

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2002年第21期47卷 1786-1791页

作者： JIA Hongmei, MA Xiaohui, WANG Cunxin & LIU Boli1. Department of Chemistry, beijing Normal University, beijing 100875, {2. 2. center for Biomedical Engineering, beijing Polytechnic University, beijing 10002., {2. 1. Department of Chemistry Beijing Normal University Beijing 100875 China 2. center for Biomedical Engineering Beijing Polytechnic University Beijing 100022 China

Analysis of electrostatic hydration free energies of the isomers of the 99mTc-BAT and 99mTc-DADT complexes is carried out using the computer simulation technique. The results show that not only a correlation exists between the logarithm of the brain uptake and the electrostatic hydration free energy for the isomers of 99mTc-brain radiopharmaceu-ticals, but also a linear relationship exists between the logarithm of the ratio of the brain uptake of the syn isomer to that of the anti one and the difference between the electrostatic hydration free energy of the syn-isomer and that of the anti one. Furthermore, the investigation on the important factors influencing the brain uptakes of 99mTc-radiophar-maceuticals and the reasons of the different biodistribution of the isomers of the 99mTc-complexes is explored at the molecular level. The results may provide a reference for the rational drug design of brain imaging agents.

关键词： 99mTc-brain imaging agent isomer brain uptake electro-static hydration free energy.

The mathematical model of wetting angle of heterogeneous nucleation

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2004年第4期47卷 391-397页

作者： HUANG Cheng1, SONG Bo1, MAO Jinghong2.& ZHAO Pei3 1. School of Metallurgical and Ecological Engineering, University of Science and Technology beijing, beijing 100083, {2. 2. School of Material Science, University of Science and Technology beijing, beijing 100083, {2. 3. Central Iron and Steel Research Institute, beijing 100081, {2. 1. School of Metallurgical and Ecological Engineering University of Science and Technology Beijing 100083 Beijing China 2. School of Material Science University of Science and Technology Beijing 100083 Beijing China 3. Central Iron and Steel Research Institute 100081 Beijing China

The heterogeneous nucleation has been analyzed in terms of the thermodynamic theory, and the mathematical model of wetting angle of heterogeneous nucleation has been developed based on the dynamic requirements of hetero- and homogeneous nucleation. With the wetting angel model, the wetting angles of different catalysts in liquid iron have been calculated. The result shows that the wetting angle of most catalysts is smaller than 40, and the value of f() is far less than 1. The wetting angles of TiN, TiC and RE2.3 are smaller, while the wetting angle of MnO is bigger among the ordinary nucleation catalysts. The wetting angles calculated by this model are in agreement with the results of other research work.

关键词： heterogeneous nucleation, mathematical model, wetting angle, undercooling.

An integrated view of the correlations between genomic and phenomic variables

在线全文

学校读者我要写书评

暂无评论

Journal of Genetics and Genomics 2009年第11期36卷 645-651页

作者： Dong Yang,Ying Jiang,Fuchu He State Key Laboratory of Proteomics,beijing Proteome Research center,beijing Institute of radiation Medicine,beijing 102.06,china [a]State Key Laboratory of Proteomics Beijing Proteome Research Center Beijing Institute of Radiation Medicine Beijing 102206 China

Genome sequencing opened the flood gate of ＂-omics＂ studies, among which the research about correlations between genomic and phenomic variables is an important part. With the development of functional genomics and systems biology, genome-wide investigation of the correlations between many genomic and phenomic variables became possible. In this review, five genomic variables, such as evolution rate （or ＂age＂ of the gene）, the length of intron and ORF （protein length） in one gene, the biases of amino acid composition and codon usage, along with the phenomic variables related to expression patterns （level and breadth） are focused on. In most cases, genes with higher mRNA/protein expression level tend to evolve slowly, have less intronic DNA, code for smaller proteins, and have higher biases of amino acid composition and codon usage. In addition, broadly expressed proteins evolve more slowly and are shorter than tissue-specific proteins. Studies in this field are helpful for deeper understanding the signatures of selection mediated by the features of gene expression and are of great significance to enrich the evolution theory.

关键词： genomic variable phenomic variable expression pattern evolution selection