检索结果-南通市图书馆

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 {2.,china 2.Department of Computer science and technology,tsinghua University,Beijing {2.,china 3 Network Research center,tsinghua University,Beijing {2.,china 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

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 {2.,china 2.Department of Computer science and technology,tsinghua University,Beijing {2.,china 3 tsinghua national laboratory for information science and technology(TNList) ,Beijing {2.,china 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)

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

Learning interactions among multi-channel sequences with dynamical influence models

在线全文

学校读者我要写书评

暂无评论

science china({2. sciences) 2010年第7期53卷 1336-1344页

作者： ZHANG WeiDong, CHEN Feng & XU WenLi Department of Automation, national laboratory for {2. science and technology, tsinghua University, Beijing 100084, china 1. Department of Automation National Laboratory for Information Science and Technology Tsinghua University Beijing 100084 China

Many real applications involve simultaneous recording and analysis of multi-channel information sources. Learning and modeling the interactions among channels is the kernel step to analyze and recognize system characteristics. This paper presents a model that learns the dynamical influence among multi-channel sequences. The model, dynamical influence model, permits functional roles of individual channels to change and models the changing influence strength between channels. By querying the values of influence factors, we can recognize the functional role of each channel qualitatively and learn about to what extent the chains influence each other quantitatively at any time. The experimental results on synthetic data and application of multi-person interaction recognition show that our model is reliable and effective.

关键词： multi-channel processing dynamical interaction influence model activity recognition

Arbitrarily long distance quantum communication using inspection and power insertion

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese science Bulletin 2009年第1期54卷 158-162页

作者： WANG WanYing1,2.WANG Chuan1,2.ZHANG GuangYu1,3 & LONG GuiLu1,2.1 Department of Physics,tsinghua University,Beijing 100084,{2. 2.3},tsinghua University,Beijing 100084,{2. 3 College of Applied science,Harbin University of science and technology,Harbin 150080,{2. Department of Physics Tsinghua University Beijing 100084 China tsinghua national {2. for information science and technology Tsinghua University Beijing 100084 China College of Applied science Harbin University of Science and Technology Beijing 100084 China

The biggest obstacle for long distance quantum communication is the channel loss and the channel noise on photons. In this paper,a method to solve this problem was analyzed using inspection and power insertion (IPI). It is proved that quantum communication may be established over arbitrarily long distance using this {2.. The amount of resources required is a polynomial function of the dis-tance. IPI is proposed as a general technique to prolong quantum secure direct communication where secret messages are transmitted directly over a quantum channel.

关键词：长距离量子通信量子安全通信量子密匙分布噪声

Optimal MAC based cooperative spectrum sensing in cognitive radio networks

在线全文

学校读者我要写书评

暂无评论

science china({2. sciences) 2012年第6期55卷 1388-1396页

作者： CHEN Zhong 1,ZHANG XianDa 1 & YANG LanJuan 2.1 State Key laboratory of Intelligent technology and Systems,{2. national laboratory for information science and technology,Department of Automation,{2. University,Beijing 100084,china 2.Institute of Command Automation,PLA University of science and technology,Nanjing 2.0007,china 1. State Key laboratory of Intelligent technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Automation Tsinghua University Beijing 100084 China2. Institute of Command Automation PLA University of Science and Technology Nanjing 210007 China

This paper considers a cognitive radio (CR) system in non-ideal fading wireless channels and pro-poses cooperative spectrum sensing schemes based on coherent multiple access channels (MAC),serving as an alternative way to improve the cooperative spectrum sensing performance and provide space diversity for spec-trum *** statistics are transmitted using a common channel from the secondary users (SUs) to a fusion center (FC) where the global decision is *** optimal scaling factors of the proposed schemes are obtained by maximizing the detection probability under a target false alarm probability and a transmit power *** the proposed optimal MAC scheme has high computational complexity,a sub-optimal solu-tion based on maximization of the deflection coefficient (DC) is also *** results show that the proposed algorithms can significantly improve the spectrum sensing performance and approach the detection baseline.

关键词： cognitive radio (CR) spectrum sensing multiple access channel (MAC) deflection coefficient optimization

Eavesdropping in a quantum secret sharing protocol based on Grover algorithm and its solution

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Physics,Mechanics & Astronomy) 2010年第3期53卷 491-495页

作者： HAO Liang1, LI JunLin1 & LONG GuiLu1,2.1Key laboratory for Atomic and Molecular Nanosciences and Department of Physics, {2. University, Beijing 100084, china 2.2. national laboratory for information science and technology, Beijing 100084, china 1. Key laboratory for Atomic and Molecular Nanosciences and Department of Physics Tsinghua University Beijing 100084 China2. Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

A detailed analysis has showed that the quantum secret sharing protocol based on the Grover algorithm (Phys Rev A, 2.03, 68: 02.306) is insecure. A dishonest receiver may obtain the full information without being detected. A quantum secret-sharing protocol is presents here, which mends the security loophole of the original secret-sharing protocol, and doubles the information capacity.

关键词： quantum secret sharing Grover algorithm quantum cryptography quantum search algorithm

Polynomial analysis of canopy spectra and biochemical component content inversion

在线全文

学校读者我要写书评

暂无评论

science china Earth sciences 2005年第10期48卷 1780-1791页

作者： YAN Chunyan1, LIU Qiang1, NIU Zheng1, WANG Jihua2. HUANG Wenjiang2.& LIU Liangyun 2.1. State Key laboratory of Remote Sensing science, Jointly Sponsored by the Institute of Remote Sensing Applications of Chinese Academy of sciences and Beijing Normal University, Beijing 100101, china 2. national Engineering Research center for information technology in Agriculture, Beijing 100089, china State Key laboratory of Remote Sensing science Jointly Sponsored by the Institute of Remote Sensing Applications of Chinese Academy of sciences and Beijing Normal University Beijing china national Engineering Research center for {2. technology in Agriculture Beijing china

A polynomial expression model was developed in this paper to describe directional canopy spectra, and the decomposition of the polynomial expression was used as a tool for re-trieving biochemical component content from canopy multi-angle spectra. First, the basic formula of the polynomial expression was introduced and the physical meaning of its terms and coeffi-cients was discussed. Based on this analysis, a complete polynomial expression model and its decomposition method were given. By decomposing the canopy spectra simulated with SAILH model, it shows that the polynomial expression can not only fit well the canopy spectra, but also show the contribution of every order scattering to the whole reflectance. Taking the first scattering coefficients a10 and a01 for example, the test results show that the polynomial coefficients reflect very well the hot spot phenomenon and the effects of viewing angles, LAI and leaf inclination angle on canopy spectra. By coupling the polynomial expression with leaf model PROSPECT, a canopy biochemical component content inversion model was given. In the simulated test, the canopy multi-angle spectra were simulated by two different models, SAILH and 4-SCALE re-spectively, then the biochemical component content was retrieved by inverting the coupled polynomial expression + PROSPECT model. Results of the simulated test are promising, and when applying the algorithm to measured corn canopy multi-angle spectra, we also get relatively accurate chlorophyll content. It shows that the polynomial analysis provides a new method to get biochemical component content independent of any specific canopy model.

关键词： polynomial expression, canopy spectra, decomposition, biochemical component content, inversion.