Learn More
Content-Centric Networking (CCN), a typical future Internet architecture focused on content dissemination and retrieval, brings a paradigm shift in network model by addressing named-data instead of host location. Many fields related to CCN become the research hotspots, such as caching and name-based routing. However, little work has addressed on its(More)
OBJECTIVE To explore the influence of environment factors on the migratory birds population with chronic obstructive pulmonary disease (MDCOPD). METHODS A total of 82 stable MDCOPD patients from Beijing area, who went to Hainan Branch of PLA General Hospital and the People's Hospital of Sanya for treatment between September 2012 and May 2014, were(More)
This paper investigates the video delivery on the underlay device-to-device (D2D) communications. Considering that the distributed scheme requires less signaling overhead than the centralized one, we exploit Stackelberg game to establish a QoE-driven distributed cross-layer video delivery model to optimize the parameters which include the RB-level(More)
To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified inductive condition. In this paper, to lay a solid foundation for future research into the safety verification of semi-algebraic dynamical(More)
A sensitive electrochemical method was developed for the differential pulse voltammetric determination of rhein at a glassy carbon electrode (GCE) modified with a nanoparticle composite film. In the present paper, multi-wall carbon nanotube (MWNT) was dispersed into dihexadecyl phosphate (DHP) to give a homogeneous suspension. After the solvent evaporation,(More)
In order to optimize linear algebra transition systems, a kind of hybrid system, approximate equivalence semantics for linear algebra transition systems is proposed. The semantics is called approximation ready trace semantics. The work is based on the ready trace semantics for concrete process algebra and numerical approximate calculation theory in algebra.(More)
Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology. In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology,(More)
  • 1