A5085953258- Distributed systems and fault tolerance
- Advanced Computational Techniques and Applications
- Cloud Computing and Resource Management
- Nuclear physics research studies
- Distributed and Parallel Computing Systems
- Power Systems and Technologies
- High-Voltage Power Transmission Systems
- Graph Theory and Algorithms
- Caching and Content Delivery
- Smart Grid and Power Systems
- Infrared Target Detection Methodologies
- Sensor Technology and Measurement Systems
- Advanced Algorithms and Applications
- Business Process Modeling and Analysis
- Advanced Measurement and Detection Methods
- Scheduling and Optimization Algorithms
- Interconnection Networks and Systems
- Advanced Sensor and Control Systems
- Software Testing and Debugging Techniques
- Quantum Information and Cryptography
- Advanced Database Systems and Queries
- Laser-Plasma Interactions and Diagnostics
- Advanced Chemical Physics Studies
- Real-Time Systems Scheduling
- Wireless Communication Networks Research
Institute of Software
1998-2025
Chinese Academy of Sciences
2005-2025
National University of Defense Technology
2012-2024
University of Chinese Academy of Sciences
2010-2024
State Key Laboratory of Computer Science
2024
Southwest University
2017-2020
Beijing University of Posts and Telecommunications
2016
Beijing Advanced Sciences and Innovation Center
2016
Harbin University of Science and Technology
2014
Xi'an Aeronautical University
2009-2012
Static and dynamic aspects of the fission process $^{226}\mathrm{Th}$ are analyzed in a self-consistent framework based on relativistic energy density functionals. Constrained mean-field calculations collective space axially symmetric quadrupole octupole deformations, functional PC-PK1 $\ensuremath{\delta}$-force pairing, performed to determine potential surface fissioning nucleus, scission line, single-nucleon wave functions, energies, occupation probabilities, as functions deformation...
Quadrupole and octupole deformation energy surfaces, low-energy excitation spectra, transition rates in 14 isotopic chains: Xe, Ba, Ce, Nd, Sm, Gd, Rn, Ra, Th, U, Pu, Cm, Cf, Fm, are systematically analyzed using a theoretical framework based on quadrupole-octupole collective Hamiltonian (QOCH), with parameters determined by constrained reflection-asymmetric axially symmetric relativistic mean-field calculations. The microscopic QOCH model the PC-PK1 density functional...
Popular big data frameworks commonly run atop Java Virtual Machine (JVM), and rely on garbage collection (GC) mechanism to automatically allocate/reclaim in-memory objects. Existing collectors are designed based the hypothesis that most objects short-lived. However, usually generate many long-lived objects, which can cause heavy GC overhead. Recent approaches have reduced overhead in but still suffer from human efforts, additional runtime overhead, or suboptimal efficiency. This paper...
Distributed systems have become the backbone of cloud computing. Incorrect system designs and implementations can greatly impair reliability distributed systems. Although a design modelled in formal specification be verified by model checking, it is still challenging to figure out whether its corresponding implementation conforms specification. An incorrect violate specification, causes intricate bugs.
Transactions are used to guarantee data consistency and integrity in Database Management Systems (DBMSs), have become an indispensable component DBMSs. However, faulty designs implementations of DBMSs' transaction processing mechanisms can introduce bugs, lead severe consequences, e.g., incorrect database states DBMS crashes. An in-depth understanding real-world bugs significantly promote effective techniques combating
Live data migration is an important technique for key-value stores. However, due to the stateful feature, new virtualization technology, stringent low latency requirements and unexpected workload changes, stores deployed in cloud environment have face challenges migration: effects of VM interference, need trade off between two ingredients cost, say time performance impact. To address these challenges, we focus on problem a load rebalancing scenario build framework that aims rebalance while...
This paper deals with the problem of blind estimation spreading sequences in multi-rate direct-sequence code division multiple access(DS-CDMA). The characteristic down-link Multi-Rate DS/CDMA signal is analyzed, and modeled as source separation pattern at first. Then an efficient iterative dimension-increased method based Fast-ICA algorithm, from small period to bigger period, exploited estimate whole or part blindly, 2-norm vectors employed separate sequence which different obtain all...
The theoretical and computational model is presented to study the interaction between electrons microwave in electron cyclotron resonance discharge. charged particles described by particle-in-cell method, collisions boundaries of system are Monte Carlo collision method. quasi-three-dimensional simulation code original. And spatio-temporal evolvements energy field ECR discharge diagnosed.
Children’s dance is an important part of quality education for children, and it also channel children’s physical mental development. Traditional adheres to the teaching method taught by teachers, teachers insist on progress. In order improve level creation, this paper analyzes effect creation under video guidance discusses integration strategies in creation. environment advocates combination online offline characteristics, necessary pay attention subjective initiative students. At same time,...
Strand-based hair rendering has become increasingly popular in production for its realistic appearance. However, the prevailing level-of-detail solution employing cards distant models introduces a significant discontinuity dynamics and appearance during transition from strands to cards. We introduce an innovative real-time framework strand-based that ensures seamless transitions between different levels of detail (LOD) while maintaining consistent Our method uses elliptical thick hairs...
Aiming at the problem of integrated scheduling machines and AGVs in a flexible job shop, this paper constructs model with optimization objectives minimizing maximum completion time, machine load, total energy consumption. This is based on comprehensive consideration payload time no-load between loading unloading stations machining machines. An improved NSGA-II algorithm proposed to address problem. The adopts three-level coding structure processes, machines, AGVs, employs differentiated...
Roll-forward checkpointing schemes (RFCS) are developed in order to avoid rollback the presence of independent faults and increase possibility that a task completes within tight deadline. But assumption RFCS does not exist most time. Run same software on hardware may result correlated faults. Another question is these lose useful build-in self detection information results performance degradation. In this paper, we propose twice dissimilar redundancy computer based roll-forward recovery...
Experimental study of aluminum wire array Z-pinch was conducted on Qiangguang-I facility （1.5 MA, 80 ns） to produce —1.7 keV characteristic X-ray radiation. With fixed diameter 20 μm and annular 12 mm, K-shell yield up 0.9 kJ/cm 1.1 obtained for number N=8 N=12 arrays, respectively, which are much higher than that N=16 N=24 loads. power waveforms time-resolved images showed several implosions occurred due the existence trailing mass. During 60%—80% whole implosion time，the almost stayed at...
In this paper, in clustering and outlier detection as a starting point, it put forward kind of DBSCAN-LOF algorithm, to the core definition object DBSCAN, then LOF only need operate on noncore object, thereby reducing number original algorithm for global operation, results show that improve running efficiency LOF, effect at same time, is produced.
Recently, several wireless/optical datacenter architectures are designed to overcome the drawbacks of wired topologies, such as expensive high-end switches, high cabling complexity, congestion caused by a few hot nodes. Compared with current commodity wireless switches usually suffer lower throughput well higher packet loss ratio and latency. However, todays applications, web search, require quite low latency improve user experience. In this paper, mechanism, named pECN, is proposed achieve...