Search Results - "Bixin, Li"
-
1
Stabilizing black-phase formamidinium perovskite formation at room temperature and high humidity
Published in Science (American Association for the Advancement of Science) (26-03-2021)“…The stabilization of black-phase formamidinium lead iodide (α-FAPbI ) perovskite under various environmental conditions is considered necessary for solar…”
Get full text
Journal Article -
2
A survey of code-based change impact analysis techniques
Published in Software testing, verification & reliability (01-12-2013)“…SUMMARYSoftware change impact analysis (CIA) is a technique for identifying the effects of a change, or estimating what needs to be modified to accomplish a…”
Get full text
Journal Article -
3
Defect Passivation Scheme toward High-Performance Halide Perovskite Solar Cells
Published in Polymers (24-04-2023)“…Organic-inorganic halide perovskite solar cells (PSCs) have attracted much attention in recent years due to their simple manufacturing process, low cost, and…”
Get full text
Journal Article -
4
Type slicing: An accurate object oriented slicing based on sub-statement level dependence graph
Published in Information and software technology (01-11-2020)“…•A new dependence graph model named SSLDG (Sub-Statement level dependence Graph), which supports accurate slicing on object-oriented programs.•A novel type of…”
Get full text
Journal Article -
5
Emerging Robust Polymer Materials for High-Performance Two-Terminal Resistive Switching Memory
Published in Polymers (01-11-2023)“…Facing the era of information explosion and the advent of artificial intelligence, there is a growing demand for information technologies with huge storage…”
Get full text
Journal Article -
6
A Framework for Trustworthy Web Service Composition and Optimization
Published in IEEE access (2020)“…Recently, Web service composition and optimization have received an increasing attention from both academia and industrial community. Most current methods have…”
Get full text
Journal Article -
7
2D Halide Perovskites for High‐Performance Resistive Switching Memory and Artificial Synapse Applications
Published in Advanced science (01-06-2024)“…Metal halide perovskites (MHPs) are considered as promising candidates in the application of nonvolatile high‐density, low‐cost resistive switching (RS)…”
Get full text
Journal Article -
8
Performance Evaluation and Disruption Recovery for Military Supply Chain Network
Published in Complexity (New York, N.Y.) (2020)“…The performance of military supply chain networks (MSCNs) against disruptions is an important consideration for defense logistics decision making, and it is…”
Get full text
Journal Article -
9
Directory-Based Dependency Processing for Software Architecture Recovery
Published in IEEE access (01-01-2018)“…3Directory structure contains a wealth of software design information; it is used to transfer thoughts of architects to developers. Information extracted from…”
Get full text
Journal Article -
10
Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service
Published in IEEE access (2019)“…Composite services evolve for various reasons. Test case selection in the regression testing is an effective technique to ensure the correctness of modified…”
Get full text
Journal Article -
11
A Systematic Mapping Study on the Verification of Cyber-Physical Systems
Published in IEEE access (2018)“…Cyber-physical system (CPS) is a kind of complex real-time hybrid system which involves deep interactions between computation processors, communication…”
Get full text
Journal Article -
12
Effects of carrier trapping and scattering on hole transport properties of N, N′-diphenyl- N, N′-bis(1-naphthyl)-1,1′-biphenyl-4,4′-diamine thin films
Published in Organic electronics (01-06-2011)“…[Display omitted] ► We study the effects of trapping and scattering on the hole transport properties. ► Trapping significantly lowers the hole mobility, in…”
Get full text
Journal Article -
13
A Verification‐Based Approach to Evaluate Software Architecture Evolution
Published in Chinese Journal of Electronics (01-05-2017)“…As the development and wide usage of Software architecture (SA), SA evolution becomes one of the hotspots of current research in modern software engineering…”
Get full text
Journal Article -
14
The effects of tris(2-phenylpyridine) iridium on the hole injection and transport properties of 4,4′,4″-tri(N-carbazolyl)-triphenylamine thin films
Published in Thin solid films (01-11-2012)“…The effects of tris(2-phenylpyridine) iridium [Ir(ppy)3] on the hole injection and transport properties of 4,4′,4″-tri(N-carbazolyl)-triphenylamine (TCTA) thin…”
Get full text
Journal Article -
15
Mining Variable-Method Correlation for Change Impact Analysis
Published in IEEE access (2018)“…Software change impact analysis (CIA) is a key technique to identify the potential ripple effects of the changes to software. Coarse-grained CIA techniques…”
Get full text
Journal Article -
16
Modeling and Simulation for Effectiveness Evaluation of Dynamic Discrete Military Supply Chain Networks
Published in Complexity (New York, N.Y.) (01-01-2017)“…The effectiveness of military supply chain networks is an important reference for logistics decision-making, and it is crucial to evaluate it scientifically…”
Get full text
Journal Article -
17
An incremental software architecture recovery technique driven by code changes
Published in Frontiers of information technology & electronic engineering (01-05-2022)“…It is difficult to keep software architecture up to date with code changes during software evolution. Inconsistency is caused by the limitations of standard…”
Get full text
Journal Article -
18
IPSETFUL: an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra
Published in Frontiers of Computer Science (01-10-2016)“…Fault localization is an important and challeng- ing task during software testing. Among techniques studied in this field, program spectrum based fault…”
Get full text
Journal Article -
19
A new method to encode calling contexts with recursions
Published in Science China. Information sciences (01-05-2016)“…Calling context encoding (CCE) uses some integers to represent the current context of any execution point, and is valuable in a wide range of applications…”
Get full text
Journal Article -
20
SE‐FCA: A Model of Software Evolution with Formal Concept Analysis
Published in Chinese Journal of Electronics (01-01-2015)“…Softwares are naturally evolved to cope with various changing system requirements. Software evolution includes a series of activities to analyze, assess, and…”
Get full text
Journal Article