检索结果-南通市图书馆

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 100022, 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.

Optimal reactions for the synthesis of superheavy nucleus ^(270)Hs

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第6期49卷 641-648页

作者： LIU Zuhua1,3.& BAO Jingdong1,2 1. Key Laboratory of Beam technology and Material Modification of Ministry of Education, beijing Normal University, beijing 100875, {3. 2. Physics Department, beijing Normal University, beijing 100875, {3. 3. {3. institute of Atomic Energy, beijing 102413. {3. Key Laboratory of Beam technology Material Modification of Ministry of Education Beijing Normal University Beijing 100875 China Physics Department Beijing Normal University Beijing 100875 China china institute of Atomic Energy Beijing 102413 China

The superheavy nucleus 270Hs is expected to be a “double-magic” deformed nucleus. We have calculated its cross sections of evaporation residue for the reactions 248Cm(26Mg,4n)270Hs, 244Pu(3.Si,4n)270Hs, 23.U(3.S,4n)270Hs and 226Ra(48Ca,4n)270Hs using a two-parameter Smoluchowski equation. It is found from our results that 226Ra(48Ca,4n)270Hs and 23.U(3.S,4n)270Hs are two optimal reactions for the synthesis of the superheavy nucleus 270Hs due to their large negative Q-values.

关键词： diffused fusion barrier,Smoluchowski equation,superheavy nuclei.

Solving the input data in error correc-tion of optical fabrication by finite Fourier coefficient algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2006年第1期49卷 50-60页

作者： CHENG Haobo1,2, SUN Guozheng3.& FENG Zhijing2 1. Department of Optical Engineering, beijing institute of technology, beijing 100081, china 2. Department of Precision Instruments and Mechanology, Tsinghua University, beijing 100084, china 3. china North Industries Group Corporation, beijing 100089, china 1. Department of Optical Engineering Beijing Institute of Technology Beijing 100081 China 2. Department of Precision Instruments and Mechanology Tsinghua University Beijing 100084 China 3. china North Industries Group Corporation Beijing 100089 China

A free-form lens (FFL) is a special surface that is difficult to be fabricated. FFL are usually fabricated by computer-controlled optical surfacing (CCOS) technique. During CCOS, the material removal amount is determined by the unit removal function (URF) convoluting with the input data――the dwell time. When the removal amount and the URF are known, how to solve the input data involves the special algorithm――deconvolution. Usually, the input data are solved by virtue of low pass filter or iterative methods. However, an approximation solution would destroy the machining stability nec-essary to perform precisely CCOS. In this paper, to solve the input data, a new method that is based on the finite Fourier coefficient is put forward. It can give a continuous and accurate solution for fabricating choice. Several parameters are simulated, which influ-ence the process of CCOS, and evaluating on the effect of the method is also carried out. Experimental results verify that this method is suitable for guiding the manufacturing of high precision FFL.

关键词： optical fabrication, computer controlled optical surfacing, free-form lens, finite Fourier coefficient, error correction.

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. {3. 2. School of Material Science, University of Science and technology beijing, beijing 100083. {3. 3. Central Iron and Steel Research institute, beijing 100081, {3. 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 RE2O3.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.

A fiducial argument for generalized p-value

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2007年第7期50卷 957-966页

作者： Xin-min LI~(1+) Xing-zhong XU~2 Guo-ying LI~3.1 institute of Applied Mathematics,Shandong University of technology,Zibo 255049,china 2 Department of Mathematics,{3.,beijing 100801,china 3.Academy of Mathematics and Systems Science,Chinese Academy of Sciences,beijing 100800,china institute of Applied Mathematics Shandong University of Technology Zibo 255049 China Department of Mathematics Beijing Institute of Technology Beijing 100801 China Academy of Mathemtics Systems Science Chinese Academy of Sciences Beijing 100800 China

This paper provides a general method for constructing generalized p-value via the fiducial ***,the power properties of the generalized test are *** illustrations, the two-parameter exponential distribution and unbalan... 详细信息

关键词： fiducial distribution generalized p-value frequency property two-parameter exponential distribution variance component 62F03 62E15

Final Temperature Prediction Model of Molten Steel in RH-TOP Refining Process for IF Steel Production

在线全文

学校读者我要写书评

暂无评论

Journal of Iron and Steel Research International 2012年第3期19卷 1-5页

作者： WANG Yu-nan1, BAO Yan-ping1, CUI Heng2, CHEN Bin3. JI Chen-xi3.(1. State Key Laboratory of Advanced Metallurgy, University of Science and technology beijing, beijing 100083. {3. 2. Engineering Research institute, University of Science and technology beijing, beijing 100083. {3. 3. Shougang Research institute of technology, beijing 100041, {3.) [a] State Key Laboratory of Advanced Metallurgy University of Science and Technology Beijing Beijing 100083 China [b] Engineering Research institute University of Science and Technology Beijing Beijing 100083 China [c] Shougang Research institute of technology Beijing 100041 China

In order to precisely control the final temperature of molten steel in RH （Ruhrstahl Heraeus）-TOP blowing refining, the final temperature prediction models of molten steel in RH-TOP blowing refining process for Interstitial Free （IF） steel production were established under the condition of oxygen blowing and non-oxygen blowing respec- tively. The results show that the beginning molten steel temperature of refining and the amount of added scrap were influential factors, the baking temperature in vacuum chamber was a factor that had small influence. When the model was operated, the hitting probability was above 95%（under the condition of both oxygen blowing and non-oxygen blo- wing） of prediction deviation ±10℃. The accuracy is analyzed.

关键词： RH-TOP molten steel temperature prediction model

On the periodic solutions of a type of differential-iterative equations

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第3期43卷 204-206页

作者： GE Weigao 1, LIU Zhengrong 2 and YU Yuanhong 3.1. Department of Applied Mathematics, beijing institute of technology, beijing 100081, china 2. Department of Mathematics, Yunnan University, Kunming 650091, china 3. institute of Applied Mathematics, C Department of Applied Mathematics Beijing Institute of Technology Beijing China Department of Mathematics Yunnan University Kunming China institute of Applied Mathematics Chinese Academy of Sciences Beijing China

Sufficient conditions for the existence of periodic solutions to a type of nonautonomous differential_iterative equations are given.

关键词： differential_iterative equation periodic solution fixed point.

The precipitation and effect of nano nitrides in HSLC steel

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2008年第7期51卷 989-998页

作者： FU Jie1, LIU YangChun1,2 & WU HuaJie1,3.1 School of Metallurgical and Ecological Engineering, University of Science and technology beijing, beijing 100083. {3. 2 Shougang technology Research institute, Shougang (Group) Corporation, beijing 100041, {3. 3.Metallurgical Engineering Research institute, University of Science and technology beijing, beijing 100083. {3. 1. School of Metallurgical and Ecological Engineering University of Science and Technology Beijing Beijing 100083 China 2. Shougang technology Research institute Shougang (Group) Corporation Beijing 100041 China 3. Metallurgical Engineering Research institute University of Science and Technology Beijing Beijing 100083 China

The existing forms of N and Al in HSLC (high strength low carbon) steel produced by TSCR (thin slab casting and rolling process), the precipitation thermodynamics and kinetics of AlN, and its effects on structure and mechanical property are studied. The experimental results show that only a small quantity of nitrogen is com- bined into AlN in HSLC steel produced by TSCR and most of the nitrogen in steel is still free nitrogen. Aluminum-nitride is mainly precipitated during the period of slow air cooling after coiling, but not during rolling and water cooling. The acid-soluble aluminum has no obvious effect on the grain size and mechanical property of HSLC steel produced by TSCR whose acid-soluble aluminum content is 0.005%―0.043.. The precipitation of AlN is not the main cause of grain refinement of HSLC steel produced by TSCR, nor is AlN the dominating precipitate that has precipitation strengthening effect. The nano nitrides are not pure AlN, but have complex compositions.

关键词： thin slab casting and rolling high strength low carbon steel AlN nano nitride precipitation strengthening

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, {3. 2. beijing Zhongke Ansheng Corporation of Information technology, beijing 100080, {3. 3. Graduate School of the Chinese Academy of Sciences, beijing 10003., {3. 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.