Search

Your search keyword '"Lei, Lihui"' showing total 19 results
Start Over Author "Lei, Lihui"
19 results on '"Lei, Lihui"'

2. Model-Checking of Linear-Time Properties in Multi-Valued Systems

Author

Li, Yongming, Droste, Manfred, and Lei, Lihui

Subjects
Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, 68Q60
Abstract

In this paper, we study model-checking of linear-time properties in multi-valued systems. Safety property, invariant property, liveness property, persistence and dual-persistence properties in multi-valued logic systems are introduced. Some algorithms related to the above multi-valued linear-time properties are discussed. The verification of multi-valued regular safety properties and multi-valued $\omega$-regular properties using lattice-valued automata are thoroughly studied. Since the law of non-contradiction (i.e., $a\wedge \neg a=0$) and the law of excluded-middle (i.e., $a\vee \neg a=1$) do not hold in multi-valued logic, the linear-time properties introduced in this paper have the new forms compared to those in classical logic. Compared to those classical model checking methods, our methods to multi-valued model checking are more directly accordingly. A new form of multi-valued model checking with membership degree is also introduced. In particular, we show that multi-valued model-checking can be reduced to the classical model checking. The related verification algorithms are also presented. Some illustrative examples and case study are also provided., Comment: 50 pages, 9 figures, 2 tables

Published
2012

4. A Dietary Nutrition Analysis Method Leveraging Big Data Processing and Fuzzy Clustering

Author

Lei, Lihui, Cai, Yuan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Yin, Xiaoxia, editor, Geller, James, editor, Li, Ye, editor, Zhou, Rui, editor, Wang, Hua, editor, and Zhang, Yanchun, editor

Published
2016
Full Text
View/download PDF

6. Semantic Matching of Web Services for Collaborative Business Processes

Author

Lei, Lihui, Duan, Zhunhua, Yu, Bin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Shen, Weiming, editor, Luo, Junzhou, editor, Lin, Zongkai, editor, Barthès, Jean-Paul A., editor, and Hao, Qi, editor

Published
2007
Full Text
View/download PDF

10. Pseudo-random sequences in analysis of polyvinylidene fluoride piezoelectric sensors

Author

Tomi Roinila, Matti Vilkko, Pasi Kallio, Xi Wenming, Lei Lihui, and Gu Dandan

Subjects
Pseudorandom number generator, chemistry.chemical_classification, Frequency response, Materials science, Piezoelectric sensor, Acoustics, Bandwidth (signal processing), Polymer, Pseudorandom binary sequence, Polyvinylidene fluoride, chemistry.chemical_compound, chemistry, Electronic engineering, Excitation
Abstract

The ability to measure the force order of micronewtons with high accuracy is highly important in various applications of micromanipulation. Past studies have indicated that polyvinylidene fluoride (PVDF) piezoelectric sensors are the most promising tools with which to measure such forces. This paper presents fast and nondestructive frequency-domain methods with which to electrically characterize and analyze the properties of PVDF piezoelectric sensors. The maximum-length binary sequence (MLBS) is used as an excitation and the system-characterizing responses are measured through cross-correlation techniques. The results can be used to verify the feasibility of the applied PVDF in terms of resonance frequency, bandwidth, and other characterizing properties, which provides tools for more accurate force measurements. Experimental results are shown from a commercial PVDF polymer film.

Published
2012

15. Influences of Lentinan on Production Performance and Some Immune Indexes of Broilers.

Author

Lei Lihui, Sun Jian, Ai Juntao, and Qiao Lidong

Subjects
BROILER chickens, POULTRY feeding, DIETARY supplements, POLYSACCHARIDES, POULTRY physiology
Abstract

[Objective] The paper was to study the effects of lentinan on production performance and some immune indexes of broilers. [Method]Totally 200 1-day-old AA+ broilers were randomly divided into four groups, five repeats each group and 10 broilers each repeat. The broilers in control group, low dose group, middle dose group and high dose group were supplemented with the diet containing 0, 200, 350 and 500 mg/kg lentinan, respectively. The trial lasted 35 d. [Result] The average daily gains of broilers in low dose group, middle dose group and high dose group were significantly higher than that in control group at 14-21 days of age, 21-28 days of age and 28-35 days of age( P<0.05); the feed/gain ratios of broilers in low dose group, middle dose group and high dose group were significantly lower than that in control group at 21-28 days of age and 28-35 days of age(P<0.05); the immune organ indexes of broilers in low dose group, middle dose group and high dose group were significantly higher than that in control group at 35 days of age(P<0.05). [Conclusion] Adding lentinan in the diet could promote the production performance and immune organ index of broiler, and the addition amount of 350 mg/kg received the best effect. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results