检索结果-南通市图书馆

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 Science and Technology,tsinghua university,beijing 100084,china 3 tsinghua National Laboratory for Information Science and Technology(TNList) ,beijing 100084,china network research center Tsinghua University Beijing China tsinghua National Laboratory for Information Science 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)

2023 Guideline for the management of hypertension in the elderly population in china

在线全文

学校读者我要写书评

暂无评论

Journal of Geriatric Cardiology 2024年第6期21卷 589-630页

作者： Hypertension Branch of Chinese Geriatrics Society,beijing Hypertension Association,National Clinical research center of the Geriatric Diseases Qi HUA Li FAN Zeng-Wu WANG Jing LI 不详 Xuanwu Hospital Capital Medical UniversityBeijingChina Chinese PLA General Hospital BeijingChina Fuwai Hospital Chinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingChina

Preamble Hypertension is one of the most common chronic diseases and the primary risk factor for stroke,myocardial infarction and even cardiovascular *** than half of the elderly population has high blood *** people are a unique group,and strategies for the prevention,diagnosis,evaluation,and treatment of hypertension in elderly individuals differ significantly from those in the general population.

关键词： hypertension prevention diagnosis

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

Internet has become the most important information infrastructure supporting modern socio-economic development, social progress and technological Innovation. Invented 30 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 Middleware-based Distributed Management Framework for Next-generation network

在线全文

学校读者我要写书评

暂无评论

计算机工程 2002年第S1期28卷 62-66页

作者： ZHANG JinxiangWU JianpingWANG Jilong(network research center of tsinghua university,beijing 100084,china) network research center of tsinghua university Beijing 100084China

As the basis for next-generation application middleware, distributed computing technique is increasingly used in the network management to fulfill the integration of diverse management systems. Furthermore Web technology is widely used in interaction friendly with user. This article puts forward a MNMI (Middleware-based network Management Integration) framework in the domain of the management of IPv6 test bed-NSFCNET (National Natural Science Foundation of china network). The framework uses a logically-layers method from user interface to managers and pseudo-agent, which uses distributed management and groups managed objects to retrieve, and thus it has assured the performance of network management by providing multiple object quick access.

关键词： network managementCORBAWebFramework

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

Application of Multicast-based Video Conference on CERNET Backbone

在线全文

学校读者我要写书评

暂无评论

计算机工程 2002年第S1期28卷 133-136页

作者： ZHANG Xuan, WANG Yalei, LI Chongrong(network research center of tsinghua university, beijing 100084,china) network research center of tsinghua university Beijing 100084China

Multicast-based video conference is a representative application in advanced network. In multi-point video conference using multicast can get better efficiency facilitated by inner-group broadcast mechanism. In the application, the multicast-based network resources assignment, management and security should be considered together. This paper presents a framework model of multicast-based video conferencing application with three layers. And a practical multicast-based video conferencing is implemented in CERNET(china Education and research network) backbone. The practice is valuable for the development of multicast-based video conferencing application in china.

关键词： Multicast Video conference network application

GHG emission reductions and costs to achieve Kyoto target

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2003年第4期15卷 541-547页

作者： CHEN Wen\|ying (Energy, Environment and Economy research Institute, tsinghua university, beijing 100084, china.) Energy Environment and Economy Research Institute Tsinghua University 北京 100084

Emission projection and marginal abatement cost curves(MACs) are the central components of any assessment of future carbon market, such as CDM (clean development mechanism) potentials, carbon quota price etc. However, they are products of very complex, dynamic systems driven by forces like population growth, economic development, resource endowments, technology progress and so on. The modeling approaches for emission projection and MACs evaluation were summarized, and some major models and their results were compared. Accordingly, reduction and cost requirements to achieve the Kyoto target were estimated. It is concluded that Annex I Parties' total reduction requirements range from 503—1304 MtC with USA participation and decrease significantly to 140—612 MtC after USA's withdrawal. Total costs vary from 21—77 BUSD with USA and from 5—36 BUSD without USA if only domestic reduction actions are taken. The costs would sharply reduce while considering the three flexible mechanisms defined in the Kyoto Protocol with domestic actions' share in the all mitigation strategies drops to only 0—16%.

关键词： Kyoto Protocol emission reduction abatement cost flexible mechanisms

A Novel network Management Model Based on XML for Service and Resource

在线全文

学校读者我要写书评

暂无评论

计算机工程 2002年第S1期28卷 77-81页

作者： ZHANG JinxiangWU JianpingWANG Jilong(network research center of tsinghua university, beijing 100084,china, jxzhang@***) network research center of tsinghua university Beijing 100084China j xzhang ***

XML can allow for the interchange of data between management applications using different information models. Furthermore, CORBA technique is increasingly used in the management of service and resource in the heterogeneous network environment. As the scheme of information arrangement of CORBA is flat file style, which handles querying, deleting, and insertinginformation inefficiently, this paper puts forward a novel network management model based on XML in the domain of the management of CERNET (china Education and research network), which has used a tree structure of managed objects arrangement to provide efficient operation on managed objects. In addition, arrangement, definition, implementation and finding schemes for CORBA managed objects using XML are also given by the tree structure, and thus can arrange and retrieve managed objects efficiently.

关键词： XMLCORBAnetwork managementModel

Chinese expert consensus on refined diagnosis,treatment,and management of advanced primary liver cancer(2023 edition)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论