Much of the stress and strain of student life remains hidden. The StudentLife continuous sensing app assesses the day-today and week-by-week impact of workload on stress, sleep, activity, mood, sociability, mental well-being and academic performance of a single class of 48 students across a 10 week term at Dartmouth College using Android phones. Results from the StudentLife study show a number of significant correlations between the automatic objective sensor data from smartphones and mental health and educational outcomes of the student body. We also identify a Dartmouth term lifecycle in the data that shows students start the term with high positive affect and conversation levels, low stress, and healthy sleep and daily activity patterns. As the term progresses and the workload increases, stress appreciably rises while positive affect, sleep, conversation and activity drops off. The StudentLife dataset is publicly available on the web.
Wind turbines condition monitoring and fault warning have important practical value for wind farms to reduce maintenance costs and improve operation levels. Due to the increase in the number of wind farms and turbines, the amount of data of wind turbines have increased dramatically. This problem has caused a need for efficiency and accuracy in monitoring the operating condition of the turbine. In this paper, the idea of deep learning is introduced into wind turbine condition monitoring. After selecting the variables by the method of the adaptive elastic network, the convolutional neural network (CNN) and the long and short term memory network (LSTM) are combined to establish the logical relationship between observed variables. Based on training data and hardware facilities, the method is used to process the temperature data of gearbox bearing. The purpose of artificial intelligence monitoring and over-temperature fault warning of the high-speed side of bearing is realized efficiently and conveniently. The example analysis experiments verify the high practicability and generalization of the proposed method. INDEX TERMS Adaptive elastic network, condition monitoring, deep learning, wind turbines. I. INTRODUCTION
Abstract. In this paper, we present variable minimal unsatisfiability (VMU), which is a generalization of minimal unsatisfiability (MU). A characterization of a VMU formula F is that every variable of F is used in every resolution refutation of F . We show that the class of VMU formulas is D P -complete. For fixed deficiency (the difference of the number of clauses and the number of variables), the VMU formulas can be solved in polynomial time. Furthermore, we investigate more subclasses of VMU formulas. Although the theoretic results on VMU and MU are similar, some observations are shown that the extraction of VMU may be more practical than MU in some cases.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.