Yinan Li

ORCID: 0000-0001-7137-7823
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Formal Methods in Verification
  • Advanced Control Systems Optimization
  • Advanced Data Storage Technologies
  • Control Systems and Identification
  • Parallel Computing and Optimization Techniques
  • Optical measurement and interference techniques
  • Petri Nets in System Modeling
  • Embedded Systems Design Techniques
  • Smart Grid Energy Management
  • Advanced Sensor and Energy Harvesting Materials
  • Numerical Methods and Algorithms
  • Advanced Adaptive Filtering Techniques
  • Advanced Graph Theory Research
  • Advanced Battery Technologies Research
  • Advanced Measurement and Metrology Techniques
  • Advanced Database Systems and Queries
  • Stability and Control of Uncertain Systems
  • Smart Grid and Power Systems
  • Advanced Measurement and Detection Methods
  • Power System Optimization and Stability
  • Blind Source Separation Techniques
  • Speech and Audio Processing
  • Advanced SAR Imaging Techniques
  • Power Systems and Renewable Energy
  • Advancements in Battery Materials

China Academy of Space Technology
2021-2024

Shanghai Jiao Tong University
2024

Ministry of Industry and Information Technology
2023-2024

Nanjing University of Science and Technology
2023-2024

Materials Science & Engineering
2023-2024

Space Engineering University
2020-2024

Northeast Agricultural University
2023-2024

Xidian University
2022-2024

Macau University of Science and Technology
2024

Fujian Agriculture and Forestry University
2021-2023

Recent work on "learned indexes" has changed the way we look at decades-old field of DBMS indexing. The key idea is that indexes can be thought as "models" predict position a in dataset. Indexes can, thus, learned. original by Kraska et al. shows learned index beats B+Tree factor up to three search time and an order magnitude memory footprint. However, it limited static, read-only workloads. In this paper, present new called ALEX which addresses practical issues arise when implementing for...

10.1145/3318464.3389711 preprint EN 2020-05-29

x wt.% B4C/Ti6Al4V titanium matrix composites were prepared by selective laser melting (SLM) technology. The microstructure and mechanical properties of the SLM-formed heat-treated samples studied in detail. results indicated that an in-situ reaction occurred during SLM process, producing acicular TiB, whisker TiB granular TiC. microhardness melted sample increased with increasing B4C content. When (B4C) is 0.05, properties, i.e., compressive strength, strain, tensile strength elongation,...

10.1016/j.jmrt.2023.01.126 article EN cc-by-nc-nd Journal of Materials Research and Technology 2023-01-23

Large flash disks, or solid state drives (SSDs), have become an attractive alternative to magnetic hard due their high random read performance, low energy consumption and other features. However, writes, especially small on disks are inherently much slower than reads because of the erase-before-write mechanism. To address this asymmetry read-write speeds in tree indexing disk, we propose FD-tree, a index designed with logarithmic method fractional cascading techniques. With method, FD-tree...

10.14778/1920841.1920990 article EN Proceedings of the VLDB Endowment 2010-09-01

Doubly fed induction generator (DFIG) wind turbines with virtual inertia control are coupled to power system in dynamic characteristics, and the input of is directly affected by tracking ability phase-locked loop (PLL). Thus, it urgent study impact DFIG on small-signal stability considering effects PLL. First, based operation characteristic strategy, a model interconnected integration PLL inertial established. Second, attenuation time constants state variables calculated, according speeds...

10.1109/tpwrs.2016.2594781 article EN IEEE Transactions on Power Systems 2016-07-29

Large flash disks have become an attractive alternative to magnetic hard disks, due their high random read performance, low energy consumption and other features. However, writes, especially on the disk are inherently much slower than reads because of erase-before-write mechanism. To address this asymmetry read-write speeds in indexing disk, we propose FD-tree, a tree index designed with logarithmic method fractional cascading techniques. With method, FD-tree consists head - small B+-tree...

10.1109/icde.2009.226 article EN Proceedings - International Conference on Data Engineering 2009-03-01

FPGAs are an attractive platform for applications with high computation demand and low energy consumption requirements. However, design effort FPGA implementations remains high—often order of magnitude larger than using high‐level languages. Instead this time‐consuming process, synthesis (HLS) tools generate hardware from algorithm descriptions in languages such as C/C++ SystemC. Such reduce effort: more compact less error prone. HLS promise development abstracted software designer knowledge...

10.1155/2012/649057 article EN cc-by Journal of Electrical and Computer Engineering 2012-01-01

The growing popularity of the JSON format has fueled increased interest in loading and processing data within analytical systems. However, many applications, parsing dominates performance cost. In this paper, we present a new parser called Mison that is particularly tailored to class by pushing down both projection filter operators queries into parser. To achieve these features, propose deviate from traditional approach building parsers using finite state machines (FSMs). Instead, follow...

10.14778/3115404.3115416 article EN Proceedings of the VLDB Endowment 2017-06-01

Abstract Two novel alternating π‐conjugated copolymers, poly[2,8‐(6,6′,12,12′‐tetraoctyl‐6,12‐dihydroindeno‐[1,2b]fluorene‐ alt ‐5(1‐(2,6‐diisopropylphenyl)‐2,5‐di(2‐thienyl)pyrrole) ( P1 ) and ‐5(1‐(p‐octylphenyl)‐2,5‐di(2‐thienyl)pyrrole) P2 ), were synthesized via the Suzuki coupling method their optoelectronic properties investigated. The resulting polymers completely soluble in various common organic solvents weight‐average molecular weights M w 5.66 × 10 4 (polydispersity: 1.97) 2.13×...

10.1002/pola.24101 article EN Journal of Polymer Science Part A Polymer Chemistry 2010-06-14

This paper presents a technique called WideTable that aims to improve the speed of analytical data processing systems. A is built by denormalizing database, and then converting complex queries into simple scans on underlying (wide) table. To avoid pitfalls associated with denormalization, e.g. space overheads, uses combination techniques including dictionary encoding columnar storage. When data, outer joins ensure tables in schema graph, which are now nested as embedded WideTable, processed...

10.14778/2732951.2732965 article EN Proceedings of the VLDB Endowment 2014-06-01

Actuators have many applications in artificial muscles, soft robots, and optical switches. Herein, we designed fabricated a multifunctional actuator using cellulose composites that can be driven by humidity, natural sunlight, electrothermal processes. Highly conductive flexible cellulose, MXene, PEDOT:PSS composite (CMPC) films were prepared with facile blending-vacuum filtration method. Benefiting from the high conductivity, CMPC film exhibited excellent performance electromagnetic...

10.1021/acssuschemeng.2c01152 article EN ACS Sustainable Chemistry & Engineering 2022-05-04

A reflect-transmit-array antenna (RTA) with dual-operating modes is proposed in this letter. The RTA, which has a three-layer structure without air layers, can achieve reflectarray-mode (RAM) at 11-14 GHz and transmitarray-mode (TAM) 15-19 GHz. When the incident electromagnetic (EM) wave y-polarization, RTA operates RAM, reflected EM y-polarization. In comparison, TAM transmitted circular polarization (CP) when x-polarization. dual-mode wideband been fabricated measured to validate design....

10.1109/lawp.2021.3079226 article EN IEEE Antennas and Wireless Propagation Letters 2021-05-11

This note proposes an interval analysis approach to invariance control synthesis for switched nonlinear systems without assuming that the subsystems are stable or have common equilibrium points. Partition-based controllers extracted via iterative computation of controlled invariant sets based on branch-and-bound scheme. method is guaranteed be finitely determined and complete, provided system satisfies a robustly condition. Two examples drawn from practical applications show effectiveness...

10.1109/tac.2017.2760106 article EN IEEE Transactions on Automatic Control 2017-10-09

A method to analyze the angle stability of power system with multiple operating conditions considering cascading failure is proposed in this paper. First, stochastic events such as uncertain operation protection/breaker and hardware failure, condition set determined based on flow transfer theory matrix probability between different calculated. On basis, discrete Markov model established. And then, construct Lyapunov functional containing model, derive robust criterion which satisfies...

10.1109/tpwrs.2016.2566672 article EN IEEE Transactions on Power Systems 2016-01-01

This paper presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal tools, it guarantees to generate a strategy with respect robustly realizable specification system. At the core of ROCS is interval branch-and-bound scheme precision parameter that reflects robustness realizability specification. It also supports multiple variable parameters achieve higher efficiency.

10.1145/3178126.3178153 article EN 2018-04-02

A cellulose-based flexible OLED using a PEDOT:PSS (PH1000) electrode exhibits enhanced stability and light extraction efficiency compared with that an ITO electrode.

10.1039/d1tc00019e article EN Journal of Materials Chemistry C 2021-01-01

Here, the novel combination of multi-interlayers composed Ni, Al, and Zn foil was used to join AZ31/2024 dissimilar alloys via ultrasonic-assisted transient liquid phase bonding (U-TLP) in air condition. This multi-interlayer acts as a 'physical barrier' forbid formation Mg–Al Intermetallic compounds (IMCs) engineer IMCs improve mechanical performance. The function Al interlayer is form Al–Ni Al-Mg-Zn products reduce excess dissolution AZ31. Results show that adopting Al/Zn/Ni/Zn helped...

10.1016/j.matdes.2020.109218 article EN cc-by-nc-nd Materials & Design 2020-10-09

Contact-based decision and planning methods are becoming increasingly important to endow higher levels of autonomy for legged robots. Formal synthesis derived from symbolic systems have great potential reasoning about high-level locomotion decisions achieving complex maneuvering behaviors with correctness guarantees. This study takes a first step toward formally devising an architecture composed task control whole-body dynamic in constrained dynamically changing environments. At the high...

10.1177/02783649221077714 article EN The International Journal of Robotics Research 2022-05-25

The change detection (CD) of heterogeneous remote sensing images is an important but challenging task. difficulty to obtain the information by directly comparing different statistical characteristics acquired sensors. This paper proposes unsupervised method for image CD based on domain transfer network. First, attention mechanism added Cycle-generative adversarial networks (Cycle-GANs) a more consistent feature expression transferring bi-temporal common domain. Euclidean distance...

10.1080/17538947.2022.2092658 article EN cc-by International Journal of Digital Earth 2022-06-22
Coming Soon ...