Výsledky vyhledávání - "Kunliang Han"

Akademický článek

Effect of Broussonetia papyrifera leaf meal on growth performance, antioxidant capacity, and gut health status of growing rabbits

Autor: Kunliang Han, Bang Zhang, Yan Cui

Publikováno v: Czech Journal of Animal Science, Vol 68, Iss 2, Pp 87-97 (2023)

This experiment aimed to study the effect of Broussonetia papyrifera leaf meal (BP) on the growth performance, antioxidant capacity, intestinal permeability, and caecal microbiota of growing rabbits. A total of 240 weaned Ira male rabbits were random

Externí odkaz: https://doaj.org/article/ffc27cd615ad4580a8e2323379886559

Zobrazit plný text záznamu

An Approach to Extract SMV Model from C Programs

Autor: Yayun Gui, Qingguo Xu, Xia Yin, Kunliang Han

Publikováno v: International Journal of Digital Content Technology and its Applications. 6:169-177

This paper proposes an approach to extract control flow and data information from C programs and then translate them into SMV (Symbolic Model Verifier) model. First the C source programs are translated to AST (Abstract Syntax Tree); Then CFG (Control

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::861a1b3af3af84b24388378c737ad806
https://doi.org/10.4156/jdcta.vol6.issue1.21

Zobrazit plný text záznamu

Modeling Predicate Abstraction of Timed Automata in PVS

Autor: Kunliang Han, Qingguo Xu, Xia Yin

Publikováno v: iThings/CPSCom

In this paper, we propose a mechanized framework for formal verification of real-time systems based on predicate abstraction in PVS (Prototype Verification System) based on timed automata model. This framework is composed by two parts: one for modeli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fa09936663b399a863f30586de8428f3
https://doi.org/10.1109/ithings/cpscom.2011.21

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání