A5056167925- Software Engineering Research
- Mechanical Engineering and Vibrations Research
- Logic, programming, and type systems
- Vehicle Dynamics and Control Systems
- Vehicle Noise and Vibration Control
- Advanced Algorithms and Applications
- PAPR reduction in OFDM
- Software Testing and Debugging Techniques
- Spectroscopy and Chemometric Analyses
- Advanced Wireless Communication Technologies
- Hydraulic and Pneumatic Systems
- Advanced Sensor and Control Systems
- Formal Methods in Verification
- Advanced Wireless Communication Techniques
- Advanced Chemical Sensor Technologies
- Granular flow and fluidized beds
- Software System Performance and Reliability
- Advanced biosensing and bioanalysis techniques
- Carbon Dioxide Capture Technologies
- Error Correcting Code Techniques
- Water Quality Monitoring and Analysis
- Industrial Technology and Control Systems
- Advanced Power Generation Technologies
- Chemical Looping and Thermochemical Processes
- Fuel Cells and Related Materials
Chongqing University
2011-2024
Citrus Research Institute
2024
Southwest University
2024
University of California, San Diego
2019-2022
China Jiliang University
2018-2019
University of Kang Ning
2002
We consider the problem of type-directed component-based synthesis where, given a set (typed) components and query type , goal is to synthesize term that inhabits query. Classical approaches based on proof search in intuitionistic logics do not scale up standard libraries modern languages, which span hundreds or thousands components. Recent graph reachability methods proposed for Java scale, but only apply monomorphic data components: polymorphic infinitely explode size must be searched,...
Many problem domains, including program synthesis and rewrite-based optimization, require searching astronomically large spaces of programs. Existing approaches often rely on building specialized data structures—version-space algebras, finite tree automata, or e-graphs—to compactly represent such spaces. At their core, all these structures exploit independence subterms; as a result, they cannot efficiently more complex spaces, where the choices subterms are entangled. We introduce...
With the rise of software-as-a-service and microservice architectures, RESTful APIs are now ubiquitous in mobile web applications. A service can have tens or hundreds API methods, making it a challenge for programmers to find right combination methods solve their task. We present APIphany, component-based synthesizer programs that compose calls APIs. The main innovation behind APIphany is use precise semantic types, both specify user intent direct search. contributes three novel mechanisms...
We present Hoogle+, a web-based API discovery tool for Haskell. A Hoogle+ user can specify programming task using either type, set of input-output tests, or both. Given specification, the returns list matching programs composed from functions in popular Haskell libraries, and annotated with automatically-generated examples their behavior. These features are powered by three novel techniques. First, to enable efficient type-directed synthesis tests only, we develop an algorithm that infers...
The unsuitably designed powertrain mount may cause jittering and shrugging during the starting shifting processes of vehicle, which seriously affects comfort using vehicle. However, influence mounts on vehicles has been neglected in previous studies. In view above problems, this study establishes a DCT vehicle coupling dynamic model, considering six degrees freedom engine torque, nonlinear characteristics dual-mass flywheel, time-varying stiffness gear systems, other factors. Furthermore,...
Fluidization behavior of binary mixtures with titanic slag particles and carbon had been investigated. Three solids states in the bed: fixed bed, transient fluidization steady fluidization, emerges as increasing gas velocity. The extent segregation mixture regime depended on size difference between jetsam flotsam particles. effects particle size, initial concentration superficial velocity measured.
The most significant external excitation affecting the dynamic characteristics of a vehicle is its driving environment. This type leads to issues such as slow initial response during starting, vibrations in transmission system, and overall performance instability. A longitudinal–vertical coupled dynamics model has been developed analyse impact conditions on vehicles with Dual-Clutch Transmission (DCT) starting. takes into account factors engine's harmonic torque, time-varying meshing...
Hydrogen is an important industrial raw material now and may become the main fuel in future with increasing attention on global warm environment protection. Sorption-enhanced steam methane reforming (SESMR) integrates reforming, water-shift CO 2 separating one step hydrogen concentration high up to 98%. This paper reviews recent studies reaction kinetics about SESMR process. Microkinetics believed more promising reliable than that of intrinsic kinetics. It appropriate approach promote...
In OFDM-IM scheme, the maximum likelihood (ML) detector becomes impractical for large number of active subcarrier index combinations and subcarriers due to exponentially growing decoding complexity. this paper, a simple low complexity GD-HL (greedy detection-hard limiting) based on greedy detection hard-limiting idea is proposed. The computational BER performance are analyzed. Computer simulation results demonstrate that can approach, even reach optimal ML in case high-order modulation....