A5100369963- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Software Testing and Debugging Techniques
- Software-Defined Networks and 5G
- Blind Source Separation Techniques
- Advanced Optical Network Technologies
- Human Motion and Animation
- Web Applications and Data Management
- Software Engineering Research
- Nonlinear Dynamics and Pattern Formation
- Multimedia Communication and Technology
- Optical Network Technologies
- Neural Networks Stability and Synchronization
- Speech and Audio Processing
- Place Attachment and Urban Studies
- Urban Green Space and Health
- stochastic dynamics and bifurcation
- Educational Technology and Pedagogy
- Advanced Adaptive Filtering Techniques
- Music and Audio Processing
- Logic, programming, and type systems
- Educational Environments and Student Outcomes
- Music Technology and Sound Studies
Harbin Institute of Technology
2023
Ministry of Industry and Information Technology
2023
Shanghai Jiao Tong University
2023
Hangzhou Dianzi University
2017
University of Electronic Science and Technology of China
2009
DePaul University
2005-2007
In this work, we address the task of video background music generation. Some previous works achieve effective generation but are unable to generate melodious specifically for a given video, and none them considers video-music rhythmic consistency. To that matches first establish relationships between music. particular, connect timing, motion speed, saliency from with beat, simu-note density, strength music, respectively. We then propose CMT, Controllable Music Transformer enables local...
In this paper, we use a hybrid feedback control method to study lag synchronization in uncertain drive-response dynamical networks with feature that the unknown system parameter exists node dynamics. We then design two methods achieve including linear and adaptive control. With designed controllers update laws for dynamics, obtain theorems on based LaSalle invariance principle. When is achieved, identify parameter. Finally, provide numerical examples verify efficiency of proposed schemes.
In the background of building a nationwide reading atmosphere, promotion work has gradually become focus university library.In order to stimulate enthusiasm readers walk into library and approach read, Tonghua Normal University Library carried out new practice activity starting from "the most favorite thing readers", based on popular variety mode, by combining recreational sports activities, collected literature retrieval, quality book recommendation, retrieval electronic resources other...
Invariant generation is the classical problem that aims at automated of assertions over-approximates set reachable program states in a program. We consider affine invariants over while loops (i.e., with loop guards, conditional branches and assignment statements), explore disjunctive invariants. Disjunctive are important to capture features programs such as multiple phases, transitions between different modes, etc., typically more precise than conjunctive these features. To generate tight...
In the era of Education 4.0, development smart schools represents a significant step forward. Learning spaces are critical to success school construction in primary and secondary schools, due their impact on school-age children. This study focuses identifying key spatial factors that influence students' psychological preferences learning utility spaces. To achieve this, visual stated preference method was employed design questionnaire, which used survey students Harbin, China. The resulting...
Three different spectral patterns, including the MUSIC (Multiple Signal Classification), LP (Linear Prediction) and S-LP (Smooth Linear methods using unique recursion process of multistage nested Wiener filter (MSNWF) for analysis are described. These patterns can be provided simultaneously. Taking into account computational advantages characteristics methods, a new scheme is proposed, which able to adapted either continuous or discrete spectrum cases.