-
Article
Effect of Laser Beam Oscillation Process on the Interlaminar Region of Inconel 625 Alloy Thin-Walled Structure Fabricated by Oscillating Laser Additive Manufacturing
In the multilayer thin-walled Inconel 625 alloy structures fabricated by the laser additive manufacturing (LAM) process, the poor plasticity of the interlaminar region often leads to structural fractures. In t...
-
Article
Effect of copper do** in the TiO2 film electrodes on the performance of photoelectrochemical biofuel cells
Cu-doped TiO2 film electrodes are synthesized via sol–gel technique and physically characterized. The Cu-doped TiO2 film electrodes is sensitized by tetrakis (4-carboxyphenyl) porphyrin and applied as a photoanod...
-
Article
MPNet: temporal knowledge graph completion based on a multi-policy network
Temporal knowledge graphs completion (TKGC) is a critical task that aims to forecast facts that will occur in future timestamps. It has attracted increasing research interest in recent years. Among the many ap...
-
Chapter and Conference Paper
Time Split Network for Temporal Knowledge Graph Completion
Temporal Knowledge Graphs (TKGs), represented by quadruples, describe facts with temporal relevance. Temporal Knowledge Graph Completion (TKGC) aims to address the incompleteness issue of TKGs and has received...
-
Article
Influence of High Laser Scanning Speed on Macro-form, Microstructure, and Tensile Properties of Austenitic Stainless Steel Made by Oscillating Laser-PTA Additive Manufacturing
Oscillating laser-assisted plasma transfer arc (Laser-PTA) additive manufacturing technology using coaxial feeding powder was proposed in this paper. To improve the surface accuracy, microstructure and mechani...
-
Chapter and Conference Paper
Multi-size Scaled CAM for More Accurate Visual Interpretation of CNNs
The search for decision bases for image classification neural networks is one of the popular research directions in deep neural network interpretability. These studies highlight regions of interest to image cl...
-
Article
Physical mechanism of laser-excited acoustic wave and its application in recognition of incomplete-penetration welding defect
Incomplete penetration is a type of welding defect that severely impacts the quality of weldments. In order to identify penetration levels in pulsed laser and plasma transferred arc (laser-PTA) hybrid welding,...
-
Article
Effect of laser energy excitation position on the microstructure in laser-arc hybrid heat source processing
Laser-arc hybrid heat sources have been successfully applied in welding and additive manufacturing. This work proposes using pulsed laser energy to excite plasma transferred arc (PTA) molten pool to improve mi...
-
Article
Arc length identification based on arc acoustic signals in GTA-WAAM process
Gas tungsten arc (GTA) is a heat source commonly used in wire arc additive manufacturing (WAAM) and arc welding. During the WAAM and arc welding process, the GTA arc length has a significant influence on the q...
-
Article
Development of a Broad-Specific Competitive ELISA for First-Generation Cephalosporin Antibiotics in Animal-Derived Foods Samples
The abuse of antibiotics, such as the cephalosporins in livestock and aquaculture productions, usually causes the widespread antibiotic resistance due to their growth-promoting effects. In this study, cephalex...
-
Article
Electrochemiluminescence sensor based on cyclic peptides-recognition and Au nanoparticles assisted graphitic carbon nitride for glucose determination
A glucose (Glu) sensor was designed by introducing synthetic cyclic peptides (CPs) as recognition receptors and Au nanoparticles assisted graphitic carbon nitride (AuNPs/g-C3N4) for electrochemiluminescence (ECL)...
-
Chapter
Multi-valued Logic for Static Analysis and Model Checking
We extend Alternation-Free Least Fixed Point Logic to be based on Belnap logic, while maintaining the close correspondence between static analysis and model checking pioneered by Bernhard Steffen, and opening ...
-
Chapter and Conference Paper
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems
Reactive systems are composed of a well defined set of event handlers by which the system responds to environment stimulus. In concurrent environments, event handlers can interact with the execution of other h...
-
Article
Open AccessSubstructure-activity relationship studies on antibody recognition for phenylurea compounds using competitive immunoassay and computational chemistry
Based on the structural features of fluometuron, an immunizing hapten was synthesized and conjugated to bovine serum albumin as an immunogen to prepare a polyclonal antibody. However, the resultant antibody in...
-
Chapter and Conference Paper
Compositional Reasoning for Shared-Variable Concurrent Programs
Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs wi...
-
Chapter and Conference Paper
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs
It is essential to deal with the interference of the environment between programs in concurrent program verification. This has led to the development of concurrent program reasoning techniques such as rely-gua...
-
Article
Geochemical characteristics and metal element enrichment in crusts from seamounts of the Western Pacific
Elemental geochemistry is an essential part of understanding mineralization mechanisms. In this paper, a data set of 544 cobalt crust samples from seamounts of the Western Pacific are used to study the enrichm...
-
Chapter and Conference Paper
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication
Assurance of information flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for separation kernels, ARINC 653 has been complied with by mains...
-
Article
Grain size composition and transport of sedimentary organic carbon in the Changjiang River (Yangtze River) Estuary and Hangzhou Bay and their adjacent waters
Surface sediments from the Changjiang River (Yangtze River) Estuary, Hangzhou Bay, and their adjacent waters were analyzed for their grain size distribution, organic carbon (OC) concentration, and stable carbo...
-
Chapter and Conference Paper
Model Checking as Static Analysis: Revisited
We show that the model checking problem of the μ-calculus can be viewed as an instance of static analysis. We propose Succinct Fixed Point Logic (SFP) within our logical approach to static analysis as an extensio...
