Abstract
The rapid development of Internet technology and information technology is rapidly changing the way people think, recognize, live, work and learn. In the context of Internet + education, the emerging learning form of a cloud classroom has emerged. Cloud classroom refers to the process in which learners use the network as a way to obtain learning objectives and learning resources, communicate with teachers and other learners through the network, and build their own knowledge structure. Because it breaks the boundaries of time and space, it has the characteristics of freedom, high efficiency and extensiveness, and is quickly accepted by learners of different ages and occupations. The traditional cloud classroom teaching mode has no personalized recommendation module and cannot solve an information overload problem. Therefore, this paper proposes a cloud classroom online teaching system under the personalized recommendation system. The system adopts a collaborative filtering recommendation algorithm, which helps to mine the potential preferences of users and thus complete more accurate recommendations. It not only highlights the core position of personalized curriculum recommendation in the field of online education, but also makes the cloud classroom online teaching mode more intelligent and meets the needs of intelligent teaching.

Abstract
Whispered-voice to normal-voice conversion is typically achieved using codec-based analysis and re-synthesis, using statistical conversion of important spectral and prosodic features, or using data-driven end-to-end signal conversion. These approaches are however highly constrained by the architecture of the codec, the statistical projection, or the size and quality of the training data. In this paper, we presume direct implantation of voiced phonemes in whispered speech and we focus on fully flexible parametric models that i) can be independently controlled, ii) synthesize natural and linguistically correct voiced phonemes, iii) preserve idiosyncratic characteristics of a given speaker, and iv) are amenable to co-articulation effects through simple model interpolation. We use natural spoken and sung vowels to illustrate these capabilities in a signal modeling and re-synthesis process where spectral magnitude, phase structure, F-0 contour and sound morphing can be independently controlled in arbitrary ways.

Abstract
With the recent developments of unmanned aerial vehicle (UAV) remote sensing, it is possible to monitor the growth condition of trees with the high temporal and spatial resolutions of data. In this study, the daily high-throughput RGB images of pear trees were captured from a UAV platform. A new index was generated by integrating the spectral and textural information using the improved adaptive feature weighting method (IAFWM). The inter-relationships of the air climatic variables and the soil's physical properties (temperature, humidity and conductivity) were firstly assessed using principal component analysis (PCA). The climatic variables were selected to independently build a linear regression model with the new index when the cumulative variance explained reached 99.53%. The coefficient of determination (R-2) of humidity (R-2 = 0.120, p = 0.205) using linear regression analysis was the dominating influencing factor for the growth of the pear trees, among the air climatic variables tested. The humidity (%) in 40 cm depth of soil (R-2 = 0.642, p < 0.001) using a linear regression coefficient was the largest among climatic variables in the soil. The impact of climatic variables on the soil was commonly greater than those in the air, and the R-2 grew larger with the increasing depth of soil. The effects of the fluctuation of the soil-climatic variables on the pear trees' growth could be detected using the sliding window method (SWM), and the maximum absolute value of coefficients with the corresponding day of year (DOY) of air temperature, soil temperature, soil humidity, and soil conductivity were confirmed as 221, 227, 228, and 226 (DOY), respectively. Thus, the impact of the fluctuation of climatic variables on the growth of pear trees can last 14, 8, 7, and 9 days, respectively. Therefore, it is highly recommended that the adoption of the integrated new index to explore the long-time impact of climate on pears growth be undertaken.

Abstract
The demand for cost-effective broadband wireless underwater communications has increased in the past few years, motivated by the video collection performed by Autonomous Underwater Vehicles (AUVs) in areas such as environmental monitoring and oil and gas industries. However, the current technological limitations make it hard to implement a viable broadband wireless communications system for transferring the large amounts of data collected. Existing underwater communications solutions, using wireless optical or Radio Frequency (RF), limit high definition wireless video transfer to distances up to tens of meters. In case of underwater acoustic communications, long ranges can be achieved, but the low bandwidth makes them unsuitable for video streaming, even for standard definition video.In this paper we propose a solution, named Underwater Adaptive and Reliable Video Streaming (UARVS), that offers a video streaming service built upon the GROW data muling approach. UARVS exploits the use of data mules - small and agile AUVs - that travel between two physical nodes, bringing the data from an underwater survey unit to a central station at the surface. To validate the solution, an experimental testbed was built using airtight PVC cylinders, on a freshwater tank. The experimental results obtained show that UARVS enables an adaptive and continuous flow of video, avoids butter underruns, and reacts to data mule losses and delays.

Abstract
In this paper we enhance the EasyCrypt proof assistant to reason about computational complexity of adversaries. The key technical tool is a Hoare logic for reasoning about computational complexity (execution time and oracle calls) of adversarial computations. Our Hoare logic is built on top of the module system used by EasyCrypt for modeling adversaries. We prove that our logic is sound w.r.t. the semantics of EasyCrypt programs - we also provide full semantics for the EasyCrypt module system, which was previously lacking. We showcase (for the first time in EasyCrypt and in other computer-aided cryptographic tools) how our approach can express precise relationships between the probability of adversarial success and their execution time. In particular, we can quantify existentially over adversaries in a complexity class, and express general composition statements in simulation-based frameworks. Moreover, such statements can be composed to derive standard concrete security bounds for cryptographic constructions whose security is proved in a modular way. As a main benefit of our approach, we revisit security proofs of some well-known cryptographic constructions and we present a new formalization of Universal Composability (UC).

Abstract
To stimulate research in the area of automotive electronics and electric vehicles, the IEEE Vehicular Technology Society (VTS) initiated the Motor Vehicles Challenge. The objective of the 2021 edition of this challenge is to provide a benchmark problem for the energy management of a dual-motor electric vehicle. To solve this, we propose a pragmatic optimization-based energy management system (EMS) that minimizes the instantaneous power consumption of the vehicle through manipulation of torque distribution ratios among the electric motors. Numerical results obtained with the VTS benchmark simulation model demonstrate that the proposed EMS can extend the vehicle range up to 3% when compared to baseline solutions.