检索结果-南通市图书馆

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. china 2. School of Material science, University of science and technology beijing, beijing 100083. china 3. Central Iron and Steel research Institute, beijing 100081, china 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 formal method to real-time protocol interoperability testing

在线全文

学校读者我要写书评

暂无评论

science in china(Series F) 2008年第11期51卷 1723-1744页

作者： WANG ZhiLiang1,3.YIN Xia2,3.& JING ChuanMing2,3.1 Network research center,Tsinghua University,beijing 100084,{3. 2 department of Computer science and technology,Tsinghua University,beijing 100084,{3. 3.Tsinghua National Laboratory for Information science and technology(TNList) ,beijing 100084,{3. 1. Network research center Tsinghua University Beijing 100084 China 3. Tsinghua National Laboratory for Information science and technology (TNList) Beijing 100084 China 2. department of Computer science and technology Tsinghua University Beijing 100084 China

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

关键词： protocol testing interoperability testing real-time testing test generation timed input output automata(TIOA)

Online application of automatic surface quality inspection system to finishing line of cold rolled strips

在线全文

学校读者我要写书评

暂无评论

Journal of University of science and technology beijing 2003年第4期10卷 38-41页

作者： Hao Sun, Ke Xu, and Jinwu XuNational Engineering research center of Advanced Rolling, University of science and {3. beijing, beijing 100083. china National Engineering research center of Advanced Rolling. University of science and {3. beijing Beijing 100083 China

An automatic surface quality inspection system installed on a finishing lineof cold rolled strips is introduced. The system is able to detect surface defects on cold rolledstrips, such as scratches, coil breaks, rusts, roll imprints, and so on. Multiple CCD area scancameras were equipped to capture images of strip surface simultaneously. Defects were detectedthrough 'Dark-field illumination' which is generated by LED illuminators. Parallel computationtechnique and fast processing algorithms were developed for real-time data processing. Theapplication to the production line shows that the system is able to detect defects effectively.

关键词： surface inspection cold rolled strip finishing line CCD cameras imageprocessing

Southeastern extension of the Red River fault zone (RRFZ) and its tectonic evolution significance in western South china Sea

在线全文

学校读者我要写书评

暂无评论

science china Earth sciences 2006年第8期49卷 839-850页

作者： LIU Baoming1,2,3. XIA Bin1, LI Xuxuan1,3. ZHANG Minqiang1,3. NIU Binhua2, ZHONG Lifeng1, JIN Qinghuan1,4 & JI Shaocheng1,5 1. Key Laboratory of Marginal Sea Geology and Resources, Chinese Academy of sciences,Guangzhou 510640, china 2. china University of Geosciences (beijing), beijing 100083. china 3. research center of science & technology department, cnooc, beijing 10002., china 4. Guangzhou Marine Geological Survey, Ministry of Land & Resources, Guangzhou 510075, china 5. Ecole Polytechnique Montreal, H3.3.7, Canada 1. Key Laboratory of Marginal Sea Geology and Resources Chinese Academy of Sciences Guangzhou 510640 China 2. china University of Geosciences (beijing) Beijing 100083 China 3. research center of science & technology department CNOOC Beijing 100027 China 4. Guangzhou Marine Geological Survey Ministry of Land & Resources Guangzhou 510075 China 5. Ecole Polytechnique Montreal H3C3A7 Canada

Recent geophysical surveys and basin modeling suggest that the No.1 fault in the Ying- gehai basin (YGHB) is the seaward elongation of the Red River fault zone (RRFZ) in the South china Sea (SCS). The RRFZ, which separates the South china and Indochina block, extends first along the Yuedong fault, offshore of Vietnam, and then continues southward and breaks off into two branches: the Lupar fault and the Tinjia fault. The southern extension of the Lupar fault dies out beneath the NW Borneo while the Tinjia fault extends southeast and reaches the Brunei-Sabah area. According to the gravity and geomagnetic data, and the tectonic evolution of the basins, there are different evolution histories between the Wan’an basin (WAB) and the basins in the Nansha block. The Tinjia fault may be the boundary between the Balingian block and the Nansha block. Hence, the line linking the Yue- dong fault and the Tinjia fault, which both are continental margin faults and strike-slip ones in the geological evolution histories, constitute the boundary between the Indochina and Nansha block. The Lupar fault, in contrast, is an intraplate fault within the Indochina block. The results provide new hints for reconstructing the tectonic evolution history of the RRFZ and the opening of the SCS, and also a framework for hydrocarbon prospecting in the region.

关键词： Red River fault zone, tectonic evolution, fault, extension, western South china Sea.

RRM:An incentive reputation model for promoting good behaviors in distributed systems

在线全文

学校读者我要写书评

暂无评论

science in china(Series F) 2008年第11期51卷 1871-1882页

作者： ZHANG Hong1,2,DUAN HaiXin1,3.& LIU Wu1,3.1 Tsinghua National Laboratory for Information science and technology,Tsinghua University,beijing 100084,{3. 2 department of Computer science and technology,Tsinghua University,beijing 100084,{3. 3.Network research center,Tsinghua University,beijing 100084,{3. 1. Tsinghua National Laboratory for Information science and technology Tsinghua University Beijing 100084 China 2. department of Computer science and technology Tsinghua University Beijing 100084 China 3. Network research center Tsinghua University Beijing 100084 China

Reputation systems represent soft security mechanisms that complement traditional information security mechanisms. They are now widely used in online e-commerce markets and communities in order to stimulate good behaviors as well as to restrain adverse behaviors. This paper analyzes the limitations of the conversational reputation models and proposes an incentive reputation model called the resilient reputation model （RRM） for the distributed reputation systems. The objective of this reputation model is not only to encourage the users to provide good services and, therefore, to maximize the probability of good transaction outcomes, but also to punish those adverse users who are trying to manipulate the application systems. The simulation results indicate that the proposed reputation model （RRM） could effectively resist against the common adverse behaviors, while protecting the profits of sincere users from being blemished by those adversaries.

关键词： reputation model distributed system trust soft security

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. china 2. Engineering research Institute, University of science and technology beijing, beijing 100083. china 3. Shougang research Institute of technology, beijing 100041, china) [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

A TTCN-3.based protocol testing system and its extension

在线全文

学校读者我要写书评

暂无评论

science in china(Series F) 2008年第11期51卷 1703-1722页

作者： YIN Xia1,3.WANG ZhiLiang2,3.JING ChuanMing1,3.& SHI XinGang2,3.1 department of Computer science and technology,Tsinghua University,{3. 100084,china 2 Network research center,Tsinghua University,{3. 100084,china 3.Tsinghua National Laboratory for Information science and technology(TNList) ,{3. 100084,china 1. department of Computer science and technology Tsinghua University Beijing 100084 China 3. ]Tsinghua National Laboratory for Information science and technology (TNList) Beijing 100084 China 2. Network research center Tsinghua University Beijing 100084 China

The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3.is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3. a protocol integrated testing system based on TTCN-3. is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented.

关键词： protocol testing TTCN-3 PITSv3 robustness testing

Natural convection gas pendulum and its application in accelerometer and tilt sensor

在线全文

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2005年第9期15卷 857-860页

作者： ZHANG Fuxue(research center of Sensor technology, {3. Information technology Institute, {3. 100101, china) research center of Sensor technology Beijing Information Technology Institute Beijing 100101 China

It is discovered that the natural convection gas has the pendulum characteristic, which leads to the introduction of the new concept of gas pendulum. In this paper, the buoyancy lift of natural convection gas is analyzed in a hermetic chamber, and the relationship between the buoyancy lift and the change of temperature is formulated. The experimental results show that the gas pendulum, similar to the solid pendulum and liquid pendulum, can be utilized to sense the acceleration and the tilt angle.

关键词： natural convection accelerometer tilt sensor.

Theoretical research progress in new-generation Internet architecture

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science in china(Series F) 2008年第11期51卷 1634-1660页

作者： WU JianPing1,2,3.LIU Ying2,3.& WU Qian2,3.1 department of Computer science,Tsinghua University,beijing 100084,{3. 2 Network research center,Tsinghua University,beijing 100084,{3. 3.Tsinghua National Laboratory for Information science and technology(TNList) ,beijing 100084,{3. 1. department of Computer science Tsinghua University Beijing 100084 China 2. Network research center Tsinghua University Beijing 100084 China 3. Tsinghua National Laboratory for Information science and technology (TNList) Beijing 100084 China

Internet has become the most important information infrastructure supporting modern socio-economic development, social progress and technological Innovation. Invented 3. years ago, today Internet is facing increasingly severe technical challenges. This paper introduces the progress of the major international newgeneration Internet research plans; analyzes its basic characteristics and the principal contradictions during the development; detsiledly introduces the research carried out by 973.Project ＂research of Future Internet Architecture＂ on the key scientific issues of new-generation Internet architecture and its latest research results; and looks to the future of the research-focus faced with the new situations of the basic research of new-generation Internet architecture as well as the new demands of innovative applications on Internet architecture.

关键词： new-generation Internet network architecture multi-dimension scalability