Learn More
The domestication of livestock represented a crucial step in human history. By using endogenous retroviruses as genetic markers, we found that sheep differentiated on the basis of their "retrotype" and morphological traits dispersed across Eurasia and Africa via separate migratory episodes. Relicts of the first migrations include the Mouflon, as well as(More)
Border Gateway Protocol (BGP) plays a critical role in the Internet inter-domain routing reliability. Invalid routes generated by mis-configurations or forged by malicious attacks may hijack the traffic and devastate the Internet routing system, but it is unlikely that a secure BGP can be deployed in the near future to completely prevent them. Although many(More)
—The de facto inter-domain routing protocol, Border Gateway Protocol (BGP), plays a critical role in the Internet routing reliability. Invalid routes generated by mis-configurations or malicious attacks will devastate the Internet routing system. In the near future, deploying a secure BGP in the Internet to completely prevent hijacking is impossible. As a(More)
This paper is concerned with the robust exponential synchronization problem of a class of chaotic delayed neural networks with different parametric uncertainties. A novel impulsive control scheme (so-called dual-stage impulsive control) is proposed. Based on the theory of impulsive functional differential equations, a global exponential synchronization(More)
The genomes of six pigeon paramyxovirus type 1 (PPMV-1) isolated from symptomless pigeons in live poultry markets during the national active surveillance from 2011 to 2013 were sequenced and analyzed in this study. The complete genome lengths of all isolates were 15,192 nucleotides with the gene order of 3'-NP-P-M-F-HN-L-5'. All isolates had the same motif(More)
A severe MD was broken out at a farm in Shandong, China, despite FC126 vaccination of the chickens at 1-day-old. The mortality of the flocks reached up to 38.3%. The infected chickens were found to have MD pathological changes, including enlargement of spleens, livers and kidneys, and tumors occured on organs later. Samples were collected from the chickens(More)
—This letter presents an adaptive synchronization scheme between two different kinds of delayed chaotic neural networks (NNs) with partly unknown parameters. An adaptive controller is designed to guarantee the global asymptotic synchronization of state trajectories for two different chaotic NNs with time delay. An illustrative example is given to(More)
Robustness testing of network protocol aims to detect vulnerabilities of protocol specifications and implementations under critical conditions. However, related theory is not well developed and prevalent test practices have deficiencies. This paper builds a novel NPEFSM model containing sufficient inputs and their processing rules to formalize complex(More)
—Protocol interoperability testing is an important technique to ensure the quality of implementations of network communication protocols. In this paper, we present an efficient method to generate interoperability testing for time dependent protocol. We use the formal model Communicating TIOAs (CTIOAs) to specify the system under test, in which time(More)