检索结果-南通市图书馆

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 {3.,Beijing 100084,{2. 2.network research center,Tsinghua {3.,Beijing 100084,{2. 3.Tsinghua National Laboratory for Information Science and Technology(TNList) ,Beijing 100084,{2. 1. Department of Computer Science Tsinghua University Beijing 100084 China 2. network research {2. 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

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 {3. {2.,Tsinghua university,Beijing 100084,china 2.Department of Computer Science and Technology,Tsinghua university,Beijing 100084,china 3.Tsinghua National Laboratory for Information Science and Technology(TNList) ,Beijing 100084,china 1. network research {2. 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)

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,{2. 2.Department of Computer Science and Technology,Tsinghua university,Beijing 100084,{2. 3.network research center,Tsinghua university,Beijing 100084,{2. 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 {2. 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

Study on lithogeochemistry of Middle Jurassic basalts from southern china represented by the Fankeng basalts from Yongding of Fujian Province

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第10期49卷 1020-1031页

作者： ZHOU Jincheng1,2. JIANG Shaoyong1,2. WANG Xiaolei1,2. YANG Jinghong 1,2.& ZHANG Mengqun 3.1. State Key Laboratory of Mineral Deposit research, Nanjing university, Nanjing 2.0093. {2. 2. Department of Earth Sciences, Nanjing university, Nanjing 2.0093. {2. 3. Modern Analysis center, Nanjing university, Nanjing 2.0093. {2. 1. State Key Laboratory of Mineral Deposit research Nanjing University Nanjing 210093 China 2. Department of Earth Sciences Nanjing University Nanjing 210093 China 3. Modern Analysis center Nanjing University Nanjing 210093 China

There exists an E-W trending Middle Jurassic volcanic zone in southern china. The Fankeng basalts in the Yongding basin of Fujian Province are considered to be a typical example. The Fankeng basalts have TiO2.contents in the range of 1.92.-3.2.%. They are classified as high-Ti basalts. They also have higher total Fe (averaging FeO* = 11.09%). The Middle Jurassic Fankeng basalts from southwestern Fujian have obvious distinctive lithogeochemical features from early Cre- taceous basalts from southeastern coast of china. They have higher HFSE, such as Th, Nb, Ta, Zr and Ti. Their element ratios related with HFSE, such as Zr/Ba, La/Nb, La/Ta ,Zr/Y, Ti/Y, Ba/Nb, K/Ti and Rb/Zr are similar to those of OIB. The most samples have ε Nd(T) of-0.70-0.2., which are near chondrite. Some samples have higher ε Nd(T) of ***, these basaltic magmas might be derived from depleted asthenospheric mantle. The lithogeochemical characteristics of the Fankeng basalts may be caused by interaction between asthenosphere and lithosphere at the time. The (Early-) Middle Jurassic basalts and gabbros from southeastern Hunan, southern Jiangxi and northern Guangdong provinces show similar geochemical features to those of the Fankeng basalts from the Yongding of Fujian. Occurrence of these OIB-type basalts in the area may be regarded as the petrological mark of upwelling of asthenosphere at the time. Upwelling of asthenosphere has led to tectonic extension and the formation of rifted basin in the area.

关键词： interaction between asthenosphere and lithosphere, lithogeochemistry, basalts, Middle Jurassic, southern china.

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2.3.& WANG Huijun2.1. Nansen-Zhu International research {3., Institute of Atmospheric Physics, Chinese Academy of Sciences, Beijing 10002., {2. 2. Department of Atmospheric Science, Yunnan university, Kunming 650091, {2. 3. Graduate university of the Chinese Academy of Sciences, Beijing 100049, {2. 1. Nansen-Zhu International research center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China 2. Department of Atmospheric Science Yunnan University Kunming 650091 China 3. Graduate university of the Chinese Academy of Sciences Beijing 100049 China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.

Effects of binders on the performance of electric double-layer capacitors of carbon nanotube electrodes

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2005年第5期15卷 453-457页

作者： LI Chensha1*, WANG Dazhi1, ZHANG Baoyou2. WANG Xiaofeng1, CAO Maosheng3. and LIANG Ji1(1. Department of Mechanical Engineering, Tsinghua university, Beijing 100084, {2. 2. center for Analysis and Measurement, Harbin Institute of Technology, Harbin 150001, {2. 3. School of Material Science and Engineering, Tsinghua university, Beijing 100084, {2.) Department of Mechanical Engineering Tsinghua University Beijing 100084 China center for Analysis and Measurement Harbin Institute of Technology Harbin 150001 China School of Material Science and Engineering Tsinghua University Beijing 100084 China

Polarizable electrodes of electric double layer capacitor (EDLCs) were made from carbon nanotubes. Effects of different binders, which are phenolic resin (PF) and polytetrafluoroethylene (PTFE), on the properties of polarizable electrodes are studied. Results indicate that the microstructure, pore size distribution and specific capacitance of the electrodes with PTFE binder are superior to those electrodes with PF binder after carbonization. The suitable binder (PTFE) for carbon nanotubes electrodes is proposed.

关键词： carbon nanotubes electric double-layer capacitors phenolic resin polytetrafluoroethylene.

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,Beijing {3.,{2. 2.network research center,Tsinghua university,Beijing {3.,{2. 3.Tsinghua National Laboratory for Information Science and Technology(TNList) ,Beijing {3.,{2. 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 {2. 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

Theory of truth degrees of propositions in the logic system Ln^＊

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第4期49卷 471-483页

作者： LI Jun1,2.& WANG Guojun1,3.1. Institute of Mathematics, Shaanxi Normal university, Xi’an 710062. {3. 2. School of Sciences, Lanzhou university of Technology, Lanzhou 73.050, {3. 3. research center for Science, Xi’an Jiaotong university, Xi’an 710049, {3. 1. Institute of Mathematics Shaanxi Normal University Xi’an 710062 China 2. School of Sciences Lanzhou University of Technology Lanzhou 730050 China 3. research center for Science Xi’an Jiaotong University Xi’an 710049 China

By means of infinite product of uniformly distributed probability spaces of cardinal n the concept of truth degrees of propositions in the n-valued generalized Lu- kasiewicz propositional logic system Ln^＊ is introduced in the present paper. It is proved that the set consisting of truth degrees of all formulas is dense in [0,1], and a general expres- sion of truth degrees of formulas as well as a deduction rule of truth degrees is then obtained. Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in n-valued generalized Lukasiewicz propositional logic is established.

关键词： truth degree similarity degree approximate reasoning.

Electric-stimulus rate encoding algorithm of Mandarin tonal information in cochlear implant

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第12期16卷 1315-1321页

作者： GUAN Tian~1, GONG Qin~1 and YE Datian~2.*(1. Department of Biomedical Engineering, Tsinghua university, Beijing 100084, {2. 2. research center of Biomedical Engineering, Graduate School at Shenzhen, Tsinghua university, Shenzhen 518055, {2.) [a]Department of Biomedical Engineering Tsinghua University Beijing China [b]research center of Biomedical Engineering Graduate School at Shenzhen Tsinghua University Shenzhen China

The modern multi-channel cochlear implants usually extract and encode the temporal envelope cues. This kind of algorithms can hardly satisfy the users who speak tonal languages, such as Mandarin. Many studies have tried to enhance the recognition ability of Mandarin through encoding tonal information and made suggestions to frequency-modulate the fixed pulse-rate carrier with the extracted tonal information based on the rate-pitch theory in electric hearing. However, how to encode and deliver the tonal information such as F_0by changing electric-stimulus rate has not got further study in clinical electric-stimulus mode. The present paper focuses on this matter by piecewise calculating the appreciable electric-stimulus rates. Then an electric-stimulus encoding algorithm of Mandarin tone is brought forward and testified through acoustic simulations. Such conclusion can be drawn that this algorithm of electric-stimulus rate could convey tonal information well and help to enhance the Mandarin speech recognition ability.

关键词： cochlear implant tone fundamental frequency electric-stimulus rate.