检索结果-南通市图书馆

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,china 2 Department of Computer {3. and technology,Tsinghua University,Beijing 100084,china 3.Tsinghua national Laboratory for information {3. and technology(TNList) ,Beijing 100084,china Network Research Center Tsinghua University Beijing China Tsinghua national Laboratory for information {3. and technology (TNList) Beijing China Department of Computer science and technology Tsinghua University Beijing 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)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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.,china 2 Network Research Center,Tsinghua University,Beijing {3.,china 3.Tsinghua national Laboratory for information science and technology(TNList) ,Beijing {3.,china Department of Computer science and technology Tsinghua University Beijing China Tsinghua national Laboratory for information {3. and technology (TNList) Beijing China Network Research Center Tsinghua University Beijing 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Fusion tracking in color and infrared images using joint sparse representation

引用

science china(information sciences) 2012年第3期55卷 590-599页

作者： LIU HuaPing1,2,3.& SUN FuChun1,2,3.1Department of Computer science and technology, Tsinghua University, Beijing {3., china 2State Key Laboratory of Intelligent technology and Systems, Beijing {3., china 3.singhua national Laboratory for information science and technology, Beijing {3., china Department of Computer science and technology Tsinghua University Beijing China State Key Laboratory of Intelligent technology and Systems Beijing China Tsinghua national Laboratory for information {3. and technology Beijing China

Currently sparse signal reconstruction gains considerable interest and is applied in many fields. In this paper, a similarity induced by joint sparse representation is designed to construct the likelihood function of particle filter tracker so that the color visual spectrum and thermal spectrum images can be fused for object tracking. The proposed fusion scheme performs joint sparse representation calculation on both modalities and the resultant tracking results are fused using min operation on the sparse representation coefficients. In addition, a co-learning approach is proposed to update the reference templates of both modality and enhance the tracking robustness. The proposed fusion scheme outperforms state-of-the-art approaches, and its effectiveness is verified using OTCBVS database.

关键词： joint sparse representation fusion tracking color image infrared image

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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. Department of Computer science Tsinghua University Beijing China Network Research Center Tsinghua University Beijing China Tsinghua national Laboratory for information {3. and technology (TNList) Beijing 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Building a next generation Internet with source address validation architecture

引用

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

作者： WU JianPing1,3.REN Gang1,3.& LI Xing2,3.1 Department of Computer science,Tsinghua University,Beijing 100084,{3. 2 Department of Electronic Engineering,Tsinghua University,Beijing 100084,{3. 3.Tsinghua national Laboratory for information science and technology(TNList) ,Beijing 100084,{3. Department of Computer science Tsinghua University Beijing China Tsinghua national Laboratory for information {3. and technology (TNList) Beijing China Department of Electronic Engineering Tsinghua University Beijing China

The IP packet forwarding of current Internet is mainly destination based. In the forwarding process, the source IP address is not checked in most *** causes serious security, management and accounting problems. Based on the drastically increased IPv6 address space, a ＂source address validation architecture＂（SAVA） is proposed in this paper, which can guarantee that every packet received and forwarded holds an authenticated source IP address. The design goals of the architecture are lightweight, loose coupling, ＂multi-fence support＂ and incremental deployment. This paper discusses the design and implementation for the architecture, including inter-AS, intra-AS and local subnet. The performance and scalability of SAVA are described. This architecture is deployed into the CNGI-CERNET2 infrastructure a large-scale native IPv6 backbone network of the china Next Generation Internet project. We believe that the SAVA will help the transition to a new, more secure and dependable Internet.

关键词： IP source address validation network architecture network security

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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 {3. and technology,Tsinghua University,Beijing 100084,china 2 Department of Computer {3. and technology,Tsinghua University,Beijing 100084,china 3.Network Research Center,Tsinghua University,Beijing 100084,china Tsinghua national Laboratory for information {3. and technology Tsinghua University Beijing China Department of Computer science and technology Tsinghua University Beijing China Network Research Center Tsinghua University Beijing 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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, Beijing 100084,{3. 2. Center of Quantum information science and technology, Tsinghua national Laboratory for information science and technology, Beijing 100084,{3. 3. Institute of Physics, School of sciences, Beijing University of Posts and Telecommunications, Beijing 100876,{3.) 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.

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Surface roughness and removal rate in magnetorheological finishing of a subsurface damage free surface

引用

Progress in Natural science:Materials International 2005年第6期15卷 538-544页

作者： CHENG Haobo1*, WANG Yingwei2, FENG Zhijing1 and CHENG Kai3.1. State Key Laboratory of Tribiology, Tsinghua University, Beijing 100084, china 2. Department of Material {3.s, Changchun University of {3. and technology, Changchun 13.021, china 3. Faculty of information and Engineering Systems, City Campus, Leeds LS1 3.E, UK) State Key Laboratory of Tribiology Tsinghua University Beijing 100084 China Department of Material sciences Changchun University of Science and Technology Changchun 130021 China Faculty of information and Engineering Systems City Campus Leeds LS1 3HE United Kingdom

Based on computer-controlled optical surfacing, a new technique called magnetorheological finishing (MRF), is presented. The new technique combines the features of conventional loose abrasive machining with a wheel shaped polishing tool. The tool incorporates a host of features and has unprecedented fabricating versatility. The pre-polishing and fine polishing processes can be performed only by adjusting different parameters. The material removal function is studied theoretically and the results of simulation present a Gaussian distribution feature. Based on the established theoretical model, material removal rate experiments involving a parabolic mirror are designed and carried out to determine the effect of controllable parameters on size of the gap between the workpiece and the polishing wheel, rotating speed of the polishing wheel, concentration of volume fraction of non-magnetic particles and polishing time. Further experiments are carried out on the surface microstructure of the workpiece, the final surface roughness with an initial value of 10.98 nm reaches 1.22 nm root mean square (RMS) after 20 min of polishing. The subsurface damage experiment and the atomic force microscopy (AFM) measurement on the polished surface can also verify the feasibility of the MRF technique.

关键词： magnetorheological finishing surface roughness computer controlled optical surfacing subsurface damage removal function.

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Fuzzy tolerance quotient spaces and fuzzy subsets

引用

science china(information sciences) 2010年第4期53卷 704-714页

作者： ZHANG Ling1 & ZHANG Bo2,3.4* 1Computer science & technology College, Anhui University, Anhui 23.03., china 2State Key Laboratory of Intelligent technology and Systems, Beijing 100084, china 3.singhua national Laboratory of information science & technology, Beijing 100084, china 4information science & technology College, Computer science & technology Department, Tsinghua University, Beijing 100084, china Computer science & technology College Anhui University Anhui China State Key Laboratory of Intelligent technology and Systems Beijing China Tsinghua national Laboratory of information {3. & technology Beijing China information science & technology College Computer Science & Technology Department Tsinghua University Beijing China

The structure and characteristic of fuzzy subsets are discussed by using the concepts of granulation and hierarchy in quotient space theory. First, the equivalence relation based quotient space theory is extended to the fuzzy tolerance relation. Second, the isomorphism and its discriminant of fuzzy tolerance relations are discussed. Finally, by using the fuzzy tolerance relation to define the fuzzy subset, its properties are addressed. The main results are given below: (1) several equivalent statements of fuzzy tolerance relations; (2) the definition of isomorphism of fuzzy tolerance relations; (3. the isomorphic discriminant of fuzzy tolerance relations; (4) the definition and properties of fuzzy subsets based on the fuzzy tolerance relations; and (5) the necessary and sufficient condition of the isomorphism of fuzzy subsets. These results will help us further comprehend the concepts of fuzzy tolerance relations and fuzzy subsets.

关键词： Fuzzy tolerance relation quotient space isomorphism fuzzy subset

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Two possible mechanisms for vortex self-organization

引用

science china Earth sciences 2006年第2期49卷 202-211页

作者： LUO Zhexian2, ZHOU Xiuji1 & GAO Shouting3.1. Chinese Academy of Meteorological sciences, Beijing 100081, china 2. Department of Space information science, Nanjing University of information science and technology, Nanjing 210044, china 3. Institute of Atmospheric Physics, Chinese Academy of sciences, Beijing 100029, china Department of Environmental science Nanjing University of Information Science and Technology Nanjing China Chinese Academy of Meteorological sciences Beijing China Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China

The vortex self-organization is investigated in this paper by four groups of numerical experiments within the framework of quasi-geostrophic model, and based on the experimental results two types of possible mechanisms for vortex self-organization are suggested. The meso-scale to-pography may enable separated vortices to merge into a larger scale vortex; and the interaction of meso-γ and meso-β scale systems may make separated vortices to self organize a typhoon-like vor-tex circulation.

关键词： vortex, self-organization, meso-scale topography, interaction of different scales.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：