Search results for: Zhenhua Duan

Items from 1 to 20 out of 123 results

article

Optimizing mix proportion of recycled aggregate concrete by readjusting the aggregate gradation

Zhenhua Duan, Biao Li, Jianzhuang Xiao, Wei Guo

Structural Concrete > 22 > S1 > E22 - E32

It is necessary to ensure the properties of recycled aggregate concrete (RAC) can meet the requirements of those for the corresponding natural aggregate concrete (NAC), since only in such cases recycled aggregates (RA) may be accepted for structural use. This study aims to propose a modified design method of RAC based on aggregate gradation readjustment (AGR). It tries to maintain the effective amounts...

article

Effect of fucoidan‐based edible coating on antioxidant degradation kinetics in strawberry fruit during cold storage

Ping Luo, Fangping Li, Huazhong Liu, Xiaomei Yang, more

Journal of Food Processing and Preservation > 44 > 4 > n/a - n/a

To further investigate fresh‐keeping effect of fucoidan from Laminaria japonica (FL) on postharvest strawberry, this study assessed the degradation kinetics of antioxidant capacity and antioxidants in cold‐stored strawberry coated with FL by layer‐by‐layer method. Fruit coated with FL were subjected to determine antioxidant capacity and endogenous antioxidants contents during the scheduled cold‐storage...

article

Drying kinetics, antioxidants, and physicochemical properties of litchi fruits by ultrasound‐assisted hot air‐drying

Xiaohuang Cao, Md. Nahidul Islam, Saiyi Zhong, Xinxiang Pan, more

Journal of Food Biochemistry > 44 > 1 > n/a - n/a

To obtain better qualities of litchi fruits, fruit pulps were subjected to ultrasonic treatment (UT) followed by drying. Samples were subjected to UT at 3 W/g for 10 min with distilled or ice water and compared with non‐UT dried samples. After drying, vitamin C, total phenolic content, color, texture, nutrition, microbial load, drying kinetics, and shelf life were assessed. Results suggest that shear...

article

Technological properties and probiotic potential of yeasts isolated from traditional low‐salt fermented Chinese fish Suan yu

Xuefeng Zeng, Jin Fan, Laping He, Zhenhua Duan, more

Journal of Food Biochemistry > 43 > 8 > n/a - n/a

This study aims to investigate the technological properties of yeast strains isolated from traditional low‐salt fermented Suan yu fish as starter culture. A step‐by‐step approach was used to determine the technological properties of the isolated yeast strains. The enzymatic activity (catalase, urease, β‐glucosidase, protease, and lipase) under adverse conditions (pH, salt, and temperature) were evaluated...

article

From Box Algebra to Interval Temporal Logic

Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben Moszkowski

Fundamenta Informaticae > 2019 > Vol. 167, nr 4 > 323--354

In this paper, we further develop a recently introduced semantic link between temporal logics and Petri nets. We focus on two specific formalisms, Interval Temporal Logic (ITL) and Box Algebra (BA), which are closely related by their compositional approach to constructing system descriptions. The overall goal of our investigation is to translate Petri nets into behaviourally equivalent logical formulas...

article

Green recovery of phenolic compounds from rice byproduct (rice bran) using glycerol based on viscosity, conductivity and density

Hao Huang, Zhenni Wang, Halah Aalim, Jarukitt Limwachiranon, more

International Journal of Food Science & Technology > 54 > 4 > 1363 - 1371

Rice bran, the industry byproduct, contains high levels of phenolic compounds. Based on glycerol, a green recovery of phenolics from rice bran was proposed. Extraction temperature (X₁), glycerol concentration (X₂) and liquid‐to‐solid ratio (X₃) were optimised by response surface methodology. Basic physical properties, that is, viscosity, conductivity, density were analysed and UPLC‐Triple‐TOF/MS method...

article

A temporal logic programming approach to planning

Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, more

Journal of Combinatorial Optimization > 2019 > 38 > 2 > 402-420

This paper presents an approach to performing artificial intelligence planning through temporal logic programming with Search Control Knowledge (SCK). First, the planning problem described with Planning Domain Description Language is modeled as a program m in Modeling, Simulation and Verification Language (MSVL). Second, the SCK is also specified with an MSVL program $$m'$$ m ′ . Third, using...

article

The impacts of vacuum microwave drying on osmosis dehydration of tilapia fillets

Qi Wang, Bing Liu, Jun Cao, Chuan Li, more

Journal of Food Process Engineering > 42 > 1 > n/a - n/a

Hot‐air (HAD), vacuum microwave (VMD), osmosis microwave (O‐MD), and osmosis vacuum microwave (O‐VMD) drying were applied to investigate the effects of osmosis dehydration and vacuum microwave on the quality and structure of tilapia fillets. Shrinkage ratio, rehydration rate, color, hardness, elasticity, microstructure, per‐unit energy consumption, and main nutritional components of tilapia fillets...

article

Verifying a scheduling protocol of safety-critical systems

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, more

Journal of Combinatorial Optimization > 2019 > 37 > 4 > 1191-1215

It is of great importance to ensure safety and reliability of the scheduling protocol of safety-critical systems since the failure will cause serious damage. This paper analyzes a real-time scheduling protocol of a safety-critical system and models it using a Modeling, Simulation and Verification Language program. Further, the schedulability and other desired properties are specified using Propositional...

article

Verifying schedulability of tasks in ROS-based systems

Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, more

Journal of Combinatorial Optimization > 2019 > 37 > 3 > 901-920

Robot operating system (ROS) is a new programming framework for developing artificial intelligence systems, like robots, unmanned systems, etc. These systems are usually real-time systems. There are multi-tasks to be scheduled by the underlying real-time operating system. Ensuring schedulability of tasks in ROS-based systems (ROS systems for short) is essential for correctness and safety of such systems...

article

Oil Absorption of Potato Slices Pre‐Dried by Three Kinds of Methods

Bo Jia, Daming Fan, Lin Yu, Jinwei Li, more

European Journal of Lipid Science and Technology > 120 > 6 > n/a - n/a

During frying process, pre‐drying affects oil content of samples, but whether and how pre‐drying affects oil absorption remains unclear. In this study, the effect of pre‐drying, including hot air (HD), vacuum microwave (VMD), and infrared (IRD), on the water and oil state breaking force of fried potato slices is investigated. The results show that pre‐drying of HD, VMD, and IRD can effectively hinder...

article

From Starch to Magnetic Porous Fe₂O₃@C: A Promising Peroxidase‐Mimicking Heterogeneous Biocatalyst for Degradation of Organic Dye

Linjing Su, Yuhao Xiong, Mei Wu, Zhenhua Duan, more

Starch ‐ Stärke > 70 > 5-6 > n/a - n/a

Researchers remain attracted to the development of more efficient and cost‐effective materials for the degradation of organic dyes in wastewater. Ultra‐small (sub‐5 nm) Fe₂O₃ nanocrystals embedding magnetic porous carbon, referred to as Fe₂O₃@C, in which starch is used as a carbon source, is demonstrated, and is synthesized by a facile microwave‐enhanced high‐temperature ionothermal method within...

article

Colorimetric determination of copper ions based on regulation of the enzyme-mimicking activity of covalent triazine frameworks

Yuhao Xiong, Linjing Su, Xingcun He, Zhenhua Duan, more

Sensors and Actuators B: Chemical > 2017 > 253 > C > 384-391

Covalent triazine frameworks (CTFs) have garnered increasing interest recently because of their unique structures and properties. However, their application as enzyme mimics for sensing remains unexplored. In this study, an efficient strategy for selective colorimetric detection of Cu²⁺ ions was developed based on CTFs. This strategy relies on the peroxidase-like catalytic activity of CTFs being rationally...

article

A novel ratiometric fluorescent probe for selective and sensitive detection of Cu2+ in complete aqueous solution

Dongjian Zhu, Aishan Ren, Xingcun He, Yanghe Luo, more

Sensors and Actuators B: Chemical > 2017 > 252 > C > 134-141

A novel hemicyanine-based ratiometric fluorescent probe 3 for Cu²⁺ was described. The probe exhibited fluorescence emission at 448nm. Upon addition of Cu²⁺, the emission at 448nm quenched and simultaneously generated a significant bathochromic shift of the emission maximum to 503nm due to the Cu²⁺-triggered hydrolysis reaction of the picolinate moiety. Thus, a single-excitation, dual-emission ratiometric...

article

Deactivation kinetics and the effects of additives on storage stability and structure of d-psicose 3-epimerase

Qiao Zhang, Bo Jiang, Tao Zhang, Zhenhua Duan

Biotechnology Letters > 2018 > 40 > 1 > 173-179

Objective To explore deactivation kinetics and the effects of some additives on the activity and conformational changes of d-psicose 3-epimerase (DPEase) during its storage. Results The experimental data of DPEase inactivation during storage at 4–45 °C fitted with the first-order expression model. The inactivation rate constants of DPEase stored at 4, 10, 25, 35 and 45 °C were 0.0076, 0.01, 0.0223,...

chapter

More effective interpolations in software model checking

Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) > 183 - 193

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

An approach to CEGAR-based model checking which has proved to be successful on large models employs Craig interpolation to efficiently construct parsimonious abstractions. Following this design, we introduce new applications, universal safety interpolant and existential error interpolant, of Craig interpolation that can systematically reduce the program state space to be explored for safety verification...

article

Limited memory optimal filter for discrete-time systems with measurement delay

Zhenhua Duan, Xinmin Song, Maoling Qin

Aerospace Science and Technology > 2017 > 68 > C > 422-430

This paper considers the limited memory optimal filter for discrete-time systems with measurement delay. Firstly, we deal with the measurement delay using the reorganized innovation analysis approach. According to the projection theory, an optimal linear filter is provided in the linear minimum mean square error (LMMSE) sense. With the increase of time, the size of LMMSE filter problem will grow....

article

On general threshold and general cascade models of social influence

Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, more

Journal of Combinatorial Optimization > 2018 > 35 > 1 > 209-215

The information diffusion model is a very important factor in study of the influence maximization problem. This paper contains two notes. The first one is a simplified proof of Kempe–Kleinberg–Tadös conjecture on general threshold mode1 of social influence. The second one is on the verification of a condition in definition of general cascade model.

article

MSVL: a typed language for temporal logic programming

Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao

Frontiers of Computer Science > 2017 > 11 > 5 > 762-785

The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which is an executable subset of projection temporal logic (PTL). Specifically, we extendMSVL with a few groups of types including basic data types, pointer types and struct types. On each type,...

article

Development of a Nanobody-Based Competitive Dot ELISA for Visual Screening of Ochratoxin A in Cereals

Zhichang Sun, Zhenhua Duan, Xing Liu, Xing Deng, more

Food Analytical Methods > 2017 > 10 > 11 > 3558-3564

A polyvinylidene fluoride membrane-based dot immunoassay using nanobody (Nb) for rapid, qualitative, and visual detection of ochratoxin A (OTA) in cereals was developed. On the basis of optimal assay conditions, the cut-off level of this method assessed visually was 5 μg/kg for OTA, and the final results were obtained within 20 min. This method was simple with no time-consuming cleanup procedure....

Publication date

Set your own date range

Content availability

Available (120)
None (3)

Publication type

article (64)
book (59)

INFONA - science communication portal

Search results for: Zhenhua Duan

Optimizing mix proportion of recycled aggregate concrete by readjusting the aggregate gradation

Effect of fucoidan‐based edible coating on antioxidant degradation kinetics in strawberry fruit during cold storage

Drying kinetics, antioxidants, and physicochemical properties of litchi fruits by ultrasound‐assisted hot air‐drying

Technological properties and probiotic potential of yeasts isolated from traditional low‐salt fermented Chinese fish Suan yu

From Box Algebra to Interval Temporal Logic

Green recovery of phenolic compounds from rice byproduct (rice bran) using glycerol based on viscosity, conductivity and density

A temporal logic programming approach to planning

The impacts of vacuum microwave drying on osmosis dehydration of tilapia fillets

Verifying a scheduling protocol of safety-critical systems

Verifying schedulability of tasks in ROS-based systems

Oil Absorption of Potato Slices Pre‐Dried by Three Kinds of Methods

From Starch to Magnetic Porous Fe₂O₃@C: A Promising Peroxidase‐Mimicking Heterogeneous Biocatalyst for Degradation of Organic Dye

Colorimetric determination of copper ions based on regulation of the enzyme-mimicking activity of covalent triazine frameworks

A novel ratiometric fluorescent probe for selective and sensitive detection of Cu2+ in complete aqueous solution

Deactivation kinetics and the effects of additives on storage stability and structure of d-psicose 3-epimerase

More effective interpolations in software model checking

Limited memory optimal filter for discrete-time systems with measurement delay

On general threshold and general cascade models of social influence

MSVL: a typed language for temporal logic programming

Development of a Nanobody-Based Competitive Dot ELISA for Visual Screening of Ochratoxin A in Cereals

Filter options

Publication date

Content availability

Publication type

Keywords

Data set

Journal

INFONA - science communication portal

Search results for: Zhenhua Duan

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options