-
Article
Open AccessEnvironmental dam** and vibrational coupling of confined fluids within isolated carbon nanotubes
Because of their large surface areas, nanotubes and nanowires demonstrate exquisite mechanical coupling to their surroundings, promising advanced sensors and nanomechanical devices. However, this environmental...
-
Article
Self-Healing of Kirkendall Voids and IMC Growth in the Interfacial Reaction of Novel Ni/Cu bi-layer Barrier and Solder
Single Ni layer is often inserted as diffusion barrier between Cu pillar and Sn-based solder to avoid excessive growth of brittle intermetallic compounds (IMCs) and consequent Kirkendall voids (KVs) in microbu...
-
Article
Open AccessReduction of Li+ within a borate anion
Group 1 elements exhibit the lowest electronegativity values in the Periodic Table. The chemical reduction of Group 1 metal cations M+ to M(0) is extremely challenging. Common tetraaryl borates demonstrate limite...
-
Article
Diffusion and reaction mechanism of limestone and quartz in fluxed iron ore pellet roasting process
The increase to the proportion of fluxed pellets in the blast furnace burden is a useful way to reduce the carbon emissions in the ironmaking process. In this study, the interaction between calcium carbonate a...
-
Chapter and Conference Paper
Optimization Method for the Propagation Path of Complex Product Design Change Based on Reinforcement Learning
Design changes are a common situation in the update and replacement of complex products, but the parts of complex products have characteristics such as large quantity, high coupling degree, and complex assembl...
-
Article
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems
Triangular decomposition with different properties has been used for various types of problem solving. In this paper, the concepts of pure chains and square-free pure triangular decomposition (SFPTD) of zero-d...
-
Chapter and Conference Paper
Local Search for Solving Satisfiability of Polynomial Formulas
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combinations of polynomial equations and in...
-
Article
Syndiospecific polymerization of styrene by half-metallocene with a naphthoxy group ligand
A series of half-metallocenes of the type Cp’TiCl2(L) [Cp’ = Cp, L = naphthalen-1-yloxy (1a), (2,4-dichloronaphthalen-1-yl)oxy (1b), naphthalen-2-yloxy (1c); Cp’ = C5Me5 (Cp*), L = naphthalen-1-yloxy (2a)] are sy...
-
Article
Nitrogen-doped cornstalk-based biomass porous carbon with uniform hierarchical pores for high-performance symmetric supercapacitors
The poor cycling stability of commercially used supercapacitors and the expensive activated carbon materials used in them have limited their large-scale use in energy storage. In this study, we successfully pr...
-
Article
Community structure and associated networks of endophytic bacteria in pea roots throughout plant life cycle
Endophytic bacteria from legume roots and nodules play important roles in regulating plant growth and health. Therefore, the aim is to focus on the community structure and network of pea root endophytes throug...
-
Chapter and Conference Paper
Generative Low-Bitwidth Data Free Quantization
Neural network quantization is an effective way to compress deep models and improve their execution latency and energy efficiency, so that they can be deployed on mobile or embedded devices. Existing quantizat...
-
Chapter and Conference Paper
Study on Alkali Circulation Process and Its Influence on Coke Ratio in Blast Furnace
can be circulated and accumulated in . In this work, the of in is determined by the calculation of balance. Combined with the cyclic of in the , the influence of on is calculated by using ...
-
Article
Synthesis and properties of SnO2 aerogels via ambient pressure drying of sol–gel
SnO2 aerogels were successfully synthesized by using SnCl4 ammonium hydroxide (AH), formamide, propylene oxide, and tetraethoxysilane as tin source, reaction promoter, drying control chemical additive (DCCA), gel...
-
Chapter and Conference Paper
Monitoring CTMCs by Multi-clock Timed Automata
This paper presents a numerical algorithm to verify continuous-time Markov chains (CTMCs) against multi-clock deterministic timed automata (DTA). These DTA allow for specifying properties that cannot be expres...