检索结果-南通市图书馆

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第2期49卷 155-174页

作者： QING Sihan1,2.3.& LI Gaicheng1,3.1. Engineering Research Center for Information Security technology, Institute of Software, Chinese Academy 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 10003., {2. Engineering Research Center for Information Security technology Institute of Software Chinese Academy of Sciences Beijing China beijing Zhongke Ansheng Corporation of Information technology Beijing China Graduate school of the Chinese Academy of Sciences Beijing China

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately,

关键词： fair exchange logical protocol formal model security requirement.

The Self-assembling and Application of Inorganic Anti-bacterial material Made of Natural Nanoporous Carrier

在线全文

学校读者我要写书评

暂无评论

Journal of Wuhan university of technology({2.s Science) 2008年第6期23卷 771-774页

作者：孙春宝 school of Civil and Environmental Engineering University of Science and Technology Beijing

The inorganic antimicrobial material was inhibited to the microbes with the added metal ion,*** primary wet product carrying 5%-10% zinc ion was generated under the following conditions：temperature was 95 ℃,solution zinc concentration was 1.2.2.0 mol/L,and the ratio of Zn solution to zeolite weight was 5：*** final stable product was manufactured after baking in an oven for 1-3.h at the temperature of 500-900 ℃.The baked material was tested for its disinfection effectiveness and coloring effect when mixed with paint *** on the final batch of tests,the zinc content of this anti-microbial product was further optimized.

关键词： inorganic antimicrobial nanoporous material antibacterial coating zeolite self-assembling

Influence of magnetic current on the ground state entanglement in an isotropic transverse XY chain

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:materials International 2007年第10期17卷 1147-1151页

作者： Liu Dan1,2., Zhang Yong3.and Long Guilu1,2.1. Key Laboratory for Atomic and Molecular NanoSciences, and Department of Physics, Tsinghua university, {3. 100084, {2. 2. Center of Quantum Information Science and technology, Tsinghua National Laboratory for information Science and technology, {3. 100084, {2. 3. Institute of Physics, school of Sciences, {3. university of Posts and Telecommunications, {3. 100876, {2.) Key Laboratory for Atomic and Molecular NanoSciences Department of Physics Tsinghua University Beijing 100084 China Center of Quantum Information Science and technology Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China Institute of Physics School of Sciences Beijing University of Posts and Telecommunications Beijing 100876 China

We study the ground state entanglement in a three-qubit XY chain under the influence of a magnetization current. It is found that the ground state changes from a W state to a disentangled state as the magnetic field varies. When the Lagrange multiplier λ>3. namely under a strong magnetic current, the ground state holds onto a W state for a large range of the magnetic field strength. A phase transition to the magnetization-current phase occurs under a certain condition.

关键词： Heisenberg-XY chain magnetic-current phase transition.

A New Genetic Algorithm Based on Niche Technique and Local Search Method

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of university of Science and technology {2. 2001年第1期8卷 63-68页

作者： Jinwu Xu, Jiwen Liu Mechanical Engineering school, university of Science and {2. {3., beijing 100083. china Mechanical Engineering school Univ. of Sci. and Technology Beijing Beijing 100083 China

The genetic algorithm has been widely used in many fields as an easy robust global search and optimization method. In this paper, a new generic algorithm based on niche technique and local search method is presented under the consideration of inadequacies of the simple genetic algorithm. In order to prove the adaptability and validity of the improved genetic algorithm, optimization problems of multimodal functions with equal peaks, unequal peaks and complicated peak distribution are discussed. The simulation results show that compared to other niching methods, this improved genetic algorithm has obvious potential on many respects, such as convergence speed, solution accuracy, ability of global optimization, etc.

关键词： genetic algorithm (GA) niche technique local search method

Algorithm for Computation of Unstructured Real Stability Radius and Its Applications

在线全文

学校读者我要写书评

暂无评论

International Journal of Minerals,Metallurgy and materials 1998年第4期12卷 245-250页

作者： Xiaodan Zhang Lequan Min(Applied Science school, university of Science and {2. {3., beijing 100083. china) Applied Science school University of Science and Technology Beijing Beijing 100083 China

An algorithm for the computation of the unstructured real stability radius of high dimensional linearsystem is presented. Using the accurate formula of the real stability radius of 2.dimensional system linear systemchecks the algorithm. The result shows that the algorithm is reliable and efficient. As applications, the unstructuredreal stability radii of 2.dimensional Chua's circuit and 3.dimensional piecewise-linear system are calculated, thedynamical orbits of the corresponding perturbed systems are simulated.

关键词： lincar systems stability robustness parameter perturbation computational methods

Application of the annexation principle to the thermodynamic property study of ternary metallic melts In-Bi-Cu and In-Sb-Cu

在线全文

学校读者我要写书评

暂无评论

Journal of university of Science and technology {2. 2002年第3期9卷 170-176页

作者： Man ZhangMetallurgy school, university of Science and {2. {3., beijing 100083. china (Received 2.01-10-2.) Metall. Sch. Univ. of Sci. and Technol. Beijing Beijing 100083 China

Based on the phase diagrams, measured activities and the annexationprinciple, calculating models of mass action concentrations for In-Bi-Cu and In-Sb-Cu melts havebeen formulated. Calculated results not only agree well with practical values, but also obey themass action law, showing that the deduced model can reflect the structural reality of given meltasand that the annexation principles is applicable to these tow ternary metallic melts. So long asthere is one from three binary systems constituting the ternary melts, in which the activities ofone component exhibit positive deviation relative to Raoultian behavior, heterogeous meltsinevitably would form, so heterogeneous calculating model should be used to calculate their massaction concentrations. On the contrary, if all the binary melts are homogeneous and their activitiesexhibit negative deviation with respect to the Raoult's law, then the ternary melts formed fromthem will certainly be homogeneous, hence single phase model should be applied.

关键词： activity mass action concentration coexistence theory annexationprinciple

Sticking-up Behaviors and Surface Friction of IF Electrogalvanized Sheet Steel in Forming

在线全文

学校读者我要写书评

暂无评论

International Journal of Minerals,Metallurgy and materials 1999年第1期13卷 61-63,68页

作者： Jiming Hu Jixun Wu Yanping Lu Yanrong Zhu (material Science and Engineering school, {2. of Science and {3. beijing, beijing 100083. china) Univ of Science and technology Beijing Beijing China

X-ray diffraction (XRD), ball-disc friction and wearing machine and draw-bead test were introduced to investigat the strcusture and workability of IF sheet steel electrogalvanized deposits prepared from sulphate solution system. It was shown that the picking-up of the zinc coating on die strengthened with the increasing of friction factor which was originally affected by the coating's structure. Duing forming, (00X) planes (X= 2. 4) preferential orientation of zinc deposits increased, which resulted in enhanc ing the coating's friction behaviors. Therefore, the forming mechanism of electrogalvedzed deposit was demonstrated that both friction and the stricking -up behaviors of the coating are intensified simultaneously and affect each other.

关键词： electrogalvanized deposit forming friction factor

The crustal structure under Sanjiang and its dynamic implications:Revealed by seismic reflection/refraction profile between Zhefang and Binchuan,Yunnan

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2005年第9期48卷 1329-1336页

作者： ZHANG Zhongjie1, BAI Zhiming1, WANG Chunyong2. TENG Jiwen1, Lü Qingtian3. LI Jiliang1, LIU Yifeng1 & LIU Zhenkuan4 1. Institute of Geology and Geophysics, Chinese Academy of Sciences, beijing 10002., {3. 2. Institute of Geophysics, {3. Seismological Bureau, beijing 100085, {3. 3. Institute of Deposition Resource, Chinese Academy of Geosciences, beijing 10003., {3. 4. school of Exploration and Information, {3. university of Geosciences,{13. Institute of Geology and Geophysics Chinese Academy of Sciences Beijing China Institute of Geophysics China Seismological Bureau Beijing China Institute of Deposition Resource Chinese Academy of Geosciences Beijing China school of Exploration and Information China University of Geosciences Beijing China

The fault belts in Sanjiang mainly include Jinshajiang-Honghe fault, Lancangjiang fault and Nujiang fault (called Sanjiang faults) in western Yunnan Province, china. By interpreting the wide-angle seismic reflection/refraction profile between Zhefang and Binchuan, which crosses Tengchong and Baoshan blocks in Dianxi (western Yunnan) tectonic zone, we recon- struct the crustal structure with seismic traveltime tomography for crustal P-wave velocity and the seismic scattering image for crustal seismic reflection structure. In this paper, we firstly present the crustal structure images of P-wave velocity and seismic reflection under the wide-angle seismic profile. These results demonstrate that, the crustal velocity structure and seismic reflec- tion structure along the profile can be divided into 3.segments, and there is an obvious difference of crustal structure among the eastern, the western and the middle segment. Generally, crustal P-wave velocities in the Baoshan segment are 0.1―0.2.km/s slower and seismic reflection am- plitudes from Moho discontinuity are stronger than the other 2.segments. In the studied area, crustal thickness is about 40 km, and shows the thickening tendency from west to east along the profile. Additionally, it can be seen that there is one strong-amplitude seismic reflection event as bright points at the depths of 8―10 km, along the segment of 80―115 km of the profile (south- ward of Tengchong); and seismic reflection wave-field from Moho discontinuity varies obviously along the lateral direction. Finally, we make some discussions on the crustal thickening pattern in the Sanjiang fault belt, structural environment of earthquake development and the contact rela- tionship between the Tengchong block, Banshan block and Luxi trough.

关键词： Sanjiang area wide-angle seismic profile crustal structure.

Comparison of Ferrite Refinement Mechanisms by Different Processing Schedules in 08 and 2.Mn Steels

在线全文

学校读者我要写书评

暂无评论

Journal of university of Science and technology {2. 2001年第3期8卷 218-223页

作者： Ping Yang Feng’e Gui, Shicai Ma material Science and Engineering school, {2. of Science and {3. beijing, beijing 100083. china material Sci. and Engineering Sch. Univ. of Sci. and Technol. Beijing Beijing 100083 China

The influence of deforming temperature on ferrite refinement was analyzed by comparing the microstructures obtained by deformation at above A(r3., in two-phase region of (alpha + gamma) and at below A(t) in clean 08 and 2.Mn steels. The results indicate that ferrite refinement through strain induced transformation by deformation at above A(r3. is more effective than that by deformation simply through ferrite dynamic recrystallization. The main problem of ferrite refinement by deformation at below A(r3. is the inhomogeneity of microstructure which is controlled by the orientations and sizes of ferrite grains and the distribution of second phases. Ferrite dynamic recrystallization after strain induced transformation can further effectively refine ferrite.

关键词： clean carbon steel strain induced transformation grain refinement ferrite dynamic recrystallization