-
Article
An Improved Soft Actor-Critic-Based Energy Management Strategy of Fuel Cell Hybrid Vehicles with a Nonlinear Fuel Cell Degradation Model
With the rapid development of artificial intelligence, deep reinforcement learning (DRL)-based energy management strategies (EMSs) have become an important research direction for hybrid electric vehicles recen...
-
Article
Sulfonic acid functionalized monolithic column for high selectivity capillary electrochromatography separation
A new nano-scale spherical vinyl-functionalized covalent organic polymer (TAPT-DVA-COP) with uniform sizes around 300 nm was initially constructed using 2,5-divinyl-1,4-benzaldehyde (DVA) and 2,4,6-tris(4-amin...
-
Chapter and Conference Paper
Formal Modeling and Verification of Microservice-Based Cyber-Physical System
Cyber-Physical System (CPS) has attracted extensive attention in diverse application fields. However, the modeling and verification of CPS is a great challenge because of its complexity and the changing intera...
-
Chapter and Conference Paper
DAPR-Net: Domain Adaptive Predicting-Refinement Network for Retinal Vessel Segmentation
The convolutional neural networks (CNN) have been used in various medical image segmentation tasks. However, the training of CNN extremely relies on large amounts of sample images and precisely annotated label...
-
Article
2D Porous Aromatic Framework as a Novel Solid-Phase Extraction Adsorbent for the Determination of Trace BPA in Milk
A rapid and effective solid-phase extraction high-performance liquid chromatography fluorescence detection (SPE-HPLC–FLD) method, using a novel porous aromatic framework (PAF-6) as solid-phase extraction sorbe...
-
Article
Cost-Performance Modeling with Automated Benchmarking on Elastic Computing Clouds
The importance of evaluating performance of cloud systems has been increasing with the rapid growing market demands for cloud computing. However, the performance testers often have to go through the hassle of ...
-
Chapter and Conference Paper
Distributed Partial Evaluation on Byte Code Specialization
-
Chapter and Conference Paper
Service-Based Grid Resource Monitoring with Common Information Model
The monitoring of grid environments helps administrators and users keep track of the availability and loading of resources, and the management of resources is dependent on the monitoring of information data. T...
-
Chapter and Conference Paper
Partially Evaluating Grid Services by DJmix
Conventionally, middleware and modularity technologies are adopted to comply with the changing characteristics of distributed computing environments, however, which gives rise to some inefficiency for generic ...
-
Chapter and Conference Paper
P Systems and Petri Nets
We propose an intriguing relationship between P systems and Petri nets. For a basic model of P systems, this paper presents a new formalization based on place/transition nets, which can adopt one transition to im...
