The amino acids are necessarily nutritious components, their diffusions in body fluid and blood that be- long to typical non-Newtonian fluid are of virtual importance to control the diffusive process and help clinical...The amino acids are necessarily nutritious components, their diffusions in body fluid and blood that be- long to typical non-Newtonian fluid are of virtual importance to control the diffusive process and help clinical treatment. In this article, a holographic interferometer has been adopted to measure the diffusivity of amino acids in non-Newtonian fluid with the use of real-time holographic interference technique. In order to prove the reliability of the experimental instrument, the diffusivities of sucrose aqueous solution at 298.15K were determined. The meas- ured result displays a satisfactory accuracy of the apparatus used. Furthermore, the diffusion coefficients of glynine, L-serine, L-threonine and L-valine in polyacrylamide (PAM) aqueous solution at 298.15K were measured, respec- tively. The experimental data were fitted by a newly proposed correlation equation based on Li’s predictive model. The calculating results by the present model are at considerably good agreement with experimental values, and the maximum average deviation is only 0.5%.展开更多
In this paper, to model check real-time value-passing systems, a formallanguage Timed Symbolic Transition Graph and a logic system named Timed Predicate μ-Calculus areproposed. An algorithm is presented which is loca...In this paper, to model check real-time value-passing systems, a formallanguage Timed Symbolic Transition Graph and a logic system named Timed Predicate μ-Calculus areproposed. An algorithm is presented which is local in that it generates and investigates thereachable state space in top-down fashion and maintains the partition for time evaluations as coarseas possible while on-the-fly instantiating data variables. It can deal with not only data variableswith finite value domain, but also the so called data independent variables with infinite valuedomain. To authors knowledge, this is the first algorithm for model checking timed systemscontaining value-passing features.展开更多
基金Supported by the National Natural Science Foundation of China (No.20476073).
文摘The amino acids are necessarily nutritious components, their diffusions in body fluid and blood that be- long to typical non-Newtonian fluid are of virtual importance to control the diffusive process and help clinical treatment. In this article, a holographic interferometer has been adopted to measure the diffusivity of amino acids in non-Newtonian fluid with the use of real-time holographic interference technique. In order to prove the reliability of the experimental instrument, the diffusivities of sucrose aqueous solution at 298.15K were determined. The meas- ured result displays a satisfactory accuracy of the apparatus used. Furthermore, the diffusion coefficients of glynine, L-serine, L-threonine and L-valine in polyacrylamide (PAM) aqueous solution at 298.15K were measured, respec- tively. The experimental data were fitted by a newly proposed correlation equation based on Li’s predictive model. The calculating results by the present model are at considerably good agreement with experimental values, and the maximum average deviation is only 0.5%.
文摘In this paper, to model check real-time value-passing systems, a formallanguage Timed Symbolic Transition Graph and a logic system named Timed Predicate μ-Calculus areproposed. An algorithm is presented which is local in that it generates and investigates thereachable state space in top-down fashion and maintains the partition for time evaluations as coarseas possible while on-the-fly instantiating data variables. It can deal with not only data variableswith finite value domain, but also the so called data independent variables with infinite valuedomain. To authors knowledge, this is the first algorithm for model checking timed systemscontaining value-passing features.
