Lilei Wang

  • Citations Per Year
Learn More
Benefit from less computational difficulty, barrier certificate based method has attracted much attention in safety verification of hybrid systems. Barrier certificates are inherent existences of a hybrid system and may have different types. A set of well-defined verification conditions is a prerequisite for successfully identifying barrier certificates of(More)
IEEE 802.16 systems adopt a "semi-dynamic" allocation mechanism of channel quality indicator (CQI) channels. However, low utilization ratio of CQI channels reduces the spectrum efficiency. So we propose three adjusting strategies based on a "toy brick model" to improve the utilization ratio of CQI channels. The simulation results manifest the improvement.(More)
Benzo[1,2-b:4,5-b']dithiophene (BDT) is an excellent building block for constructing π-conjugated molecules for the use in organic solar cells. In this paper, four 4,8-bis(5-alkyl-2-thienyl)benzo[1,2-b:4,5-b']dithiophene (TBDT)-containing A-π-D-π-A-type small molecules (COOP-nHT-TBDT, n = 1, 2, 3, 4), having 2-cyano-3-octyloxy-3-oxo-1-propenyl (COOP) as(More)
BACKGROUND CrgA based PCR are usually used for diagnosis of Neisseria meningitidis while the crgA gene was observed in the genomes of Haemophilus influenzae. In this study, we aimed to evaluate whether the crgA primers routinely used in the diagnosis of N. meningitidis could cross react with H. influenzae isolates. METHODS A diagnostic test study analysis(More)
Dieser Artikel schildert den Einsatz von Tuina bei Dysmenorrhoe, die eine sehr gute Behandlungsalternative darstellt. Dabei ist grundsätzlich zwischen einer depletio (energetische Schwäche, xu) und einer repletio (energetische Überladung, shi) zu differenzieren, in beiden Fällen sollten aber Qi und Xue durchgängiggemacht und reguliert werden. Um dieses Ziel(More)
IEEE 802.16 standards define the power saving of class (PSC) II to save energy for voice over IP (VoIP) services. But the system performance, such as throughput and delay, is affected by load imbalance caused by the parameter setting of sleep mode of VoIP users. To solve this problem, we propose a strategy to balance the load. We arrange the sleep cycle of(More)
  • 1