检索结果-南通市图书馆

Threshold quantum secure direct communication without entanglement

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第2期51卷 176-183页

作者： YANG YuGuang1,3 & WEN QiaoYan2.1 College of Computer Science and Technology, beijing University of Technology, beijing 10002.,{2. 2.school of Science, beijing University of Posts and Telecommunications, beijing 100876,{2. 3 State Key Laboratory of Information Security (graduate school of Chinese Academy of Sciences), beijing 100049,{2. 1. College of Computer Science and Technology Beijing University of Technology Beijing 100022 China 3. State Key Laboratory of Information Security (graduate school of Chinese Academy of Sciences) Beijing 100049 China 2. school of Science Beijing University of Posts and Telecommunications Beijing 100876 China

For the first time, a threshold quantum secure direct communication (TQSDC) scheme is presented. Similar to the classical Shamir's secret sharing scheme, the sender makes n shares, S1, …, Sn of secret key K and each receiver keeps a share secretly. If the sender wants to send a secret message M to the receivers, he en-codes the information of K and M on a single photon sequence and sends it to one of the receivers. According to the secret shares, the t receivers sequentially per-form the corresponding unitary operations on the single photon sequence and ob-tain the secret message M. The shared shares may be reusable if it can be judged that there is no eavesdropper in line. We discuss that our protocol is feasible with current technology.

关键词： quantum secure direct communication threshold secure direct communication quantum secret sharing

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.31. school of Information Engineering, Zhejiang Forestry College, Hangzhou 311300, Zhejiang, china 2. Institute of Computing Technology, Chinese Academy of Sciences, {2. 100080, china 3. graduate school of the Chinese Academy of Sciences, beijing 10003., china school of Information Engineering Zhejiang Forestry College Hangzhou 311300 Zhejiang 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

A novel operation mode for spaceborne polarimetric SAR

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2011年第4期54卷 884-897页

作者： QI WeiKong 1,2.& YU WeiDong 1 1 Institute of Electronics,Chinese Academy of Sciences,beijing 100190,china 2.{2. school of Chinese Academy of Sciences,beijing 10003.,china 1. Institute of Electronics Chinese Academy of Sciences Beijing 100190 China2. Graduate School of Chinese Academy of Sciences Beijing 100039 China

A novel operation mode for spaceborne polarimetric SAR,named polarization space-division adding polarization code-division (PSD-PCD) operation mode,is proposed in this paper through combining polarimetric SAR with elevation digital beam-forming (DBF) on *** a pulse repetition interval the up-chirp LFM sub-pulse is transmitted with horizontal polarization antenna,and with some delay the down-chip LFM subpulse is transmitted with vertical polarization antenna to realize code *** every sub-aperture receives returns from ground,SAR system uses range DBF to separate echoes relative to different sub-pulses in order to realize space *** system PRF is equal to that of single-polarization SAR,and elevation DBF help reduce range ambiguity ***,the main system parameters,including PRF,delay between two sub-pulses,radar equation and ambiguity are analyzed and compared with those of single-polarization *** results demonstrate the feasibility and validity of PSD-PCD operation mode.

关键词： spaceborne synthetic aperture radar (SAR) polarimetry digital beamforming (DBF) operation mode ambiguity ratio polarization space-division polarization code-division

Geographical Agglomeration of Chinese Manufacturing Industries

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国人口·资源与环境：英文版 2007年第2期5卷 3-11页

作者： Zhang Hua 1, 2. Zheng Wei3 1. Institute of Geographical Sciences and Natural Resources Research, Chinese Academy of Sciences, beijing 100101, china 2. {2. school of the Chinese Academy of Sciences, beijing 10003., china 3. school of Geography, beijing Normal University, beijing 100875, 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 school of Geography Beijing Normal University Beijing 100875 China

Based on the plant level data from the First National Census of Basic Units, the Second National Census of Basic Units, and the First National Economic Census of china, this paper ex- amines the geographical agglomeration of Chinese manufacturing industries at a more disaggregated level both by industrial classi-fication and spatial unit analysis. Applying the agglomeration index proposed by Maurel and Sedillot, studies show that the most agglomerated industries are resource-intensive, and capital and technology intensive while industries demanding localized inputs or serving localized markets or favored by local governments are fairly dispersed. The more disaggregated industries are more spa- tially agglomerated. At the finer spatial scale, industries are more dispersed. Results indicate that within-county spillovers are stronger than nearby-county spillovers, and within-prefecture spillovers are stronger than nearby prefecture spillovers. Local- ized spillovers are still quite substantial at a range beyond that of counties. Comparing the agglomeration index of Chinese manu- facturing industries in 1996, 2.01 and 2.04, agglomeration seems to be a general tendency. Results also indicate that some industries have experienced remarkable changes in their levels of agglom- eration in the period 1996–2.04.

关键词： industrial agglomeration manufacturing industries the MS index

Evaluation of the Interfacial Adhesion between Brittle Coating and Ductile Substrate by Cross-Sectional Indention

在线全文

学校读者我要写书评

暂无评论

材料热处理学报 2004年第5B期25卷 1187-1190页

作者： SUJian-yu ZHANGKun CHENGuang-nan InstituteofMechanics ChineseAcademyofSciencesBeijingChina／／GraduateSchooloftheChineseAcademyofSciencesBeijingChina InstituteofMechanics ChineseAcademyofSciencesBeijingChina

The cross-sectional indentation method is extended to evaluate the interfacial adhesion between brittle coating and ductile substrate. The experimental results on electroplated chromium coating/steel substrate show that the interfacial separation occurs due to the edge chipping of brittle coating. The corresponding models are established to elucidate interfacial separation processes. This work further highlights the advantages and potential of this novel indentation method.

关键词：分界面附着刻痕可锻衬底应力涂层铬钢

Relationship between surface subsidence factor and mining depth of strip pillar mining

在线全文

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 2011年第S3期21卷 594-598页

作者： GUO Wen-bing1, 2. HOU Quan-lin 1, ZOU You-feng2.1. College of Earth Science, graduate University of Chinese Academy of Sciences, beijing 100049,{2. 2. school of Energy Science and Engineering, Henan Polytechnic University, Jiaozuo 454000,{2. Chinese Acad Sci Coll Earth Sci Grad Univ Beijing 100049 Peoples R China Henan Polytech Univ Sch Energy Sci & Engn Jiaozuo 454000 Peoples R China

Strip pillar mining is one of the most important technical measures to control mining subsidence in china. Mining depth is one of the most important factors that can affect the mining subsidence in strip pillar mining. Six numerical simulation models were set up to simulate the surface subsidence of strip pillar mining in different mining depths. The mining depth in these six models ranges from 300 to 800 m. The simulated results were compared and analyzed. The formula was established based on the simulated results. It demonstrated that the subsidence of strip pillar mining method is related to mining depth. While the other conditions are the same, the subsidence of strip pillar mining increases with the increase of mining depth by logarithmic relationship.

关键词： subsidence factor strip pillar mining mining depth numerical simulation

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, china 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080, china 3. graduate school of the Chinese Academy of Sciences, beijing 10003., china 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.

Cloning and expression of putative ethylene receptor genes in soybean plant

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第10期17卷 1152-1160页

作者： Xie Zongming1,2.3, Lei Gang1,2. Wuriyanghan Hada1,2. Tian Aiguo1, Zhang Jinsong1 and Chen Shouyi1(1. National Key Laboratory of Plant Genomics, Institute of Genetics and Developmental Biology, Chinese Academy of Sciences, beijing 100101, china 2. {2. school of Chinese Academy of Sciences, beijing 10003., china 3. Xinjiang Academy of Agricultural and Reclamation Science, Shihezi 832.00, china) National Key Laboratory of Plant Genomics Institute of Genetics and Developmental Biology Chinese Academy of Sciences Beijing 100101 China graduate school of Chinese Academy of Sciences Beijing 100039 China Xinjiang Academy of Agricultural and Reclamation Science Shihezi 832000 China

Ethylene plays important roles in plant growth, development, and stress responses, and ethylene receptors have been identified and studied extensively in various plant species. Here we report the cloning of four ethylene receptor genes from soybean, i.e. GmETR1, GmERS1, GmETR2.and GmEIN4. Construction of the phylogenic tree showed that GmETR1 and GmERS1 belong to subfamily I whereas GmETR2.and GmEIN4 belong to subfamily II. The four ethylene receptor genes showed different tissue-specific expression patterns in roots, stems, leaves, cotyledons, flowers, pods and seeds of soybean. These genes were differentially regulated by various abiotic stresses and plant hormones. The possible roles of the four genes in soybean plant were also discussed.

关键词： abiotic stress expression analysis ethylene receptor plant hormone soybean.

Improvement of different source function expressions in SWAN model for the Bohai Sea

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2005年第8期15卷 720-724页

作者： YIN Baoshu1*, YANG Dezhou1, SHA Rina 1,2.and CHENG Minghua1(1. Institute of Oceanology, Chinese Academy of Sciences, Qingdao 2.6071, china 2. graduate {2. of the Chinese Academy of Sciences, beijing 10003., china) Institute of Oceanology Chinese Academy of Sciences Qingdao 266071 China. graduate school of the Chinese Academy of Sciences Beijing 100039 China

The simulating wave nearshore （SWAN） wave model has been widely used in coastal areas, lakes and estuaries. However, we found a poor agreement between modeling results and measurements in analyzing the chosen four typical cases when we used the default parameters of the source function formulas of the SWAN to make wave simulation for the Bohai Sea. Also, it was found that at the same wind process the simulated results of two wind generation expressions （Komen, Janssen） demonstrated a large difference. Further study showed that the proportionality coefficient α in linear growth term of wave growth source function plays an unperceived role in the process of wave development. Based on experiments and analysis, we thought that the coefficient α should change rather than be a constant. Therefore, the coefficient α changing with the variation of friction velocity U*was introduced into the linear growth term of wave growth source function. Four weather processes were adopted to validate the improvement in the linear growth term. The results from the improved coefficient α agree much better with the measurements than those from the default constant coefficient α. Furthermore, the large differences of results between Komen wind generation expression and Janssen wind generation expression were eliminated. We also experimented with the four weather processes to test the new white-capping mechanisms based on the cumulative steepness method. It was found that the parameters of the new white-capping mechanisms are not suitable for the Bohai Sea, but Alkyon's white-capping mechanisms can be applicable to the Bohai Sea after amendments, demonstrating that this improvement of parameter α can improve the simulated results of the Bohai Sea.

关键词： waves SWAN model wave growth source function new proportionality coefficient formula.