Search Results - "Liu, Xiaoyan"

Compositional Verification Using Geodesic Distance via Assume-Guarantee Reasoning by Liu, Xiaoyan

“…Assume-guarantee reasoning is indeed an effective compositional verification technique that can help mitigate the state explosion problem in model checking…”
Get full text

Practical study of ideological politics in the course of medical image processing by Liu, Xiaoyan

“…At present, medical education is generally strict in technology, but there are different kinds of problems in humanistic quality education, and the lack of…”
Get full text

Research on power communication data security based on ETL by Liu, Xiaoyan

“…The use of modern data application technology in information security management programs within power enterprises is a major trend in industry development…”
Get full text

The preparation of ZrO2-Al2O3 composite ceramic by SLA-3D printing and sintering processing by Liu, Xiaoyan, Zou, Bin, Xing, Hongyu, Huang, Chuanzhen

“…In this paper, the UV curable ZrO2-Al2O3 composite ceramic pastes based on SLA-3D printing technology were synthetized firstly, and the corresponding ceramic…”
Get full text

Cooling capacity of a novel modular liquid-cooled battery thermal management system for cylindrical lithium ion batteries by Wang, Haitao, Tao, Tao, Xu, Jun, Mei, Xuesong, Liu, Xiaoyan, Gou, Piao

“…•A novel modular liquid-cooled BTMS for cylindrical lithium ion cells is designed.•The cell physical parameters as the simulation input are obtained by…”
Get full text

Controlling Excited State Single versus Double Proton Transfer for 2,2′-Bipyridyl-3,3′-diol: Solvent Effect by Zhao, Jinfeng, Liu, Xiaoyan, Zheng, Yujun

“…In this work, we theoretically investigate the sequential excited state double proton transfer (ESDPT) mechanism of a representative intramolecular hydroxyl…”
Get full text

Discriminating Catalytically Active FeNx Species of Atomically Dispersed Fe-N-C Catalyst for Selective Oxidation of the C-H Bond by Liu, Wengang, Zhang, Leilei, Liu, Xin, Liu, Xiaoyan, Yang, Xiaofeng, Miao, Shu, Wang, Wentao, Wang, Aiqin, Zhang, Tao

“…Nanostructured Fe-N-C materials represent a new type of "platinum-like" non-noble-metal catalyst for various electrochemical reactions and organic…”
Get full text

Pseudocapacitive Sodium Storage in Mesoporous Single-Crystal-like TiO2–Graphene Nanocomposite Enables High-Performance Sodium-Ion Capacitors by Le, Zaiyuan, Liu, Fang, Nie, Ping, Li, Xinru, Liu, Xiaoyan, Bian, Zhenfeng, Chen, Gen, Wu, Hao Bin, Lu, Yunfeng

“…Sodium-ion capacitors can potentially combine the virtues of high power capability of conventional electrochemical capacitors and high energy density of…”
Get full text

An efficient method to isolate lemon derived extracellular vesicles for gastric cancer therapy by Yang, Meng, Liu, Xiaoyan, Luo, Qingqiong, Xu, Lili, Chen, Fuxiang

“…Plant-derived extracellular vesicles (PDEVs) have great potential for clinical applications. Ultracentrifugation, considered the gold standard method for the…”
Get full text

Microplastic contamination is ubiquitous in riparian soils and strongly related to elevation, precipitation and population density by Zhou, Yanfei, He, Gang, Jiang, Xiaoliang, Yao, Lunguang, Ouyang, Lu, Liu, Xiaoyan, Liu, Wenzhi, Liu, Yi

“…Although environmental research has recently begun to focus on the ubiquity of microplastics in terrestrial systems, there is still lack of comprehensive data…”
Get full text

Error Analysis of Green Pellet Size Distribution Measurement on Conveyors Using Simulation Method by Zhou, Shuyi, Liu, Xiaoyan

“…3D vision technologies have been widely used in metallurgy industry to measure particle size distribution (PSD) of green pellets on conveyor. However, 3D…”
Get full text

Strong Metal–Support Interactions between Pt Single Atoms and TiO2 by Han, Bing, Guo, Yalin, Huang, Yike, Xi, Wei, Xu, Jie, Luo, Jun, Qi, Haifeng, Ren, Yujing, Liu, Xiaoyan, Qiao, Botao, Zhang, Tao

“…Strong metal–support interaction (SMSI) has gained great attention in the field of heterogeneous catalysis. However, whether single‐atom catalysts can exhibit…”
Get full text

FeOx-supported platinum single-atom and pseudo-single-atom catalysts for chemoselective hydrogenation of functionalized nitroarenes by Wei, Haisheng, Liu, Xiaoyan, Wang, Aiqin, Zhang, Leilei, Qiao, Botao, Yang, Xiaofeng, Huang, Yanqiang, Miao, Shu, Liu, Jingyue, Zhang, Tao

“…The catalytic hydrogenation of nitroarenes is an environmentally benign technology for the production of anilines, which are key intermediates for…”
Get full text

Enhanced electron separation on in-plane benzene-ring doped g-C3N4 nanosheets for visible light photocatalytic hydrogen evolution by Liu, Jian, Yu, Yu, Qi, Ruilian, Cao, Changyan, Liu, Xiaoyan, Zheng, Yujun, Song, Weiguo

“…Benzene-ring doped g-C3N4 nanosheets (BS-CN) exhibited extended light adsorption and enhanced separation/transfer of photoinduced holes and electrons, which…”
Get full text

Isocitrate dehydrogenase inhibitors in acute myeloid leukemia by Liu, Xiaoyan, Gong, Yuping

“…Abstract Isocitrate dehydrogenase (IDH) is a key enzyme involved in the conversion of isocitrate to α-ketoglutarate (α-KG) in the tricarboxylic acid (TCA)…”
Get full text

Single-atom dispersed Co-N-C catalyst: structure identification and performance for hydrogenative coupling of nitroarenes by Liu, Wengang, Zhang, Leilei, Yan, Wensheng, Liu, Xiaoyan, Yang, Xiaofeng, Miao, Shu, Wang, Wentao, Wang, Aiqin, Zhang, Tao

“…Co-N-C catalysts are promising candidates for substituting platinum in electrocatalysis and organic transformations. The heterogeneity of the Co species…”
Get full text

Unraveling the coordination structure-performance relationship in Pt1/Fe2O3 single-atom catalyst by Ren, Yujing, Tang, Yan, Zhang, Leilei, Liu, Xiaoyan, Li, Lin, Miao, Shu, Sheng Su, Dang, Wang, Aiqin, Li, Jun, Zhang, Tao

“…Heterogeneous single-atom catalyst (SAC) opens a unique entry to establishing structure–performance relationship at the molecular level similar to that in…”
Get full text

Highly selective and robust single-atom catalyst Ru1/NC for reductive amination of aldehydes/ketones by Qi, Haifeng, Yang, Ji, Liu, Fei, Zhang, LeiLei, Yang, Jingyi, Liu, Xiaoyan, Li, Lin, Su, Yang, Liu, Yuefeng, Hao, Rui, Wang, Aiqin, Zhang, Tao

“…Single-atom catalysts (SACs) have emerged as a frontier in heterogeneous catalysis due to the well-defined active site structure and the maximized metal atom…”
Get full text

Characteristics and metabolic pathway of the bacteria for heterotrophic nitrification and aerobic denitrification in aquatic ecosystems by Qiao, Zixia, Sun, Ran, Wu, Yaoguo, Hu, Sihai, Liu, Xiaoyan, Chan, Jiangwei, Mi, Xiaohui

“…The present study investigated the nitrogen removal characteristics and metabolic pathway of bacteria in aquatic ecosystem, with a focus on heterotrophic…”
Get full text

Pd nanocrystals grown on MXene and reduced graphene oxide co-constructed three-dimensional nanoarchitectures for efficient formic acid oxidation reaction by Yang, Cuizhen, He, Haiyan, Jiang, Quanguo, Liu, Xiaoyan, Shah, Surendra P., Huang, Huajie, Li, Weihua

“…Although direct formic acid fuel cell (DFAFC) is regarded as one of the most promising energy-conversion systems, its commercialization process is impeded by…”
Get full text