Simple algorithm for judging equivalence of differential-algebraic equation systems

Mathematical formulas play a prominent role in science, technology, engineering, and mathematics (STEM) documents; understanding STEM documents usually requires knowing the difference between equation groups containing multiple equations. When two equation groups can be transformed into the same form, we call the equation groups equivalent. Existing tools cannot judge the equivalence of two equation groups; thus, we develop an algorithm to judge such an equivalence using a computer algebra system. The proposed algorithm first eliminates variables appearing only in either equation group. It then checks the equivalence of the equations one by one: the equations with identical algebraic solutions for the same variable are judged equivalent. If each equation in one equation group is equivalent to an equation in the other, the equation groups are judged equivalent; otherwise, non-equivalent. We generated 50 pairs of equation groups for evaluation. The proposed method accurately judged the equivalence of all pairs. This method is expected to facilitate comprehension of a large amount of mathematical information in STEM documents. Furthermore, this is a necessary step for machines to understand equations, including process models

Auditory Feedback of False Heart Rate for Video Game Experience Improvement

Changes in emotions affect our physiological responses, and perhaps vice versa. We investigate a new game interaction system that uses false heart rate (fHR) feedback to improve the player experience (PX). The fHR feedback presents false HR information to players so that they perceive changes in the presented HR as being a result of alteration in PX. We introduced auditory fHR feedback into game interaction and investigated its effects through an experiment. Participants repeated gameplay of an action game while hearing heartbeat-like sounds and answered questionnaires regarding PX. Some participants heard the heartbeat-like sounds synchronized with their actual HR, whereas others heard the heartbeat-like sounds whose tempo became gradually faster or slower than their actual HR. The results indicated that an accelerating fHR feedback pattern with +5 bpm/min was appropriate for improving PX; participants were able to maintain their motivation to continue the game. The experiment also indicated that it is necessary for participants to perceive the presented heartbeat-like sounds as reflecting their actual HR. Participants did not maintain their motivation when they were told that the presented sounds were not correlated with their actual HR. The present work provides new principles for video game interaction design based on physiological measurements

Technological progress in biodiesel production: An overview on different types of reactors

2018 5th International Conference on Power and Energy Systems Engineering, CPESE 2018, 19–21 September 2018, Nagoya, Japan.Nowadays, research on biodiesel focuses on enhancing the conversion and production yield to fulfill the demand. Utilization of new feedstocks, development of highly efficient catalysts, determination of effective and economical reaction approaches, and application of process system engineering tools are efforts for the optimization purposes. This paper reviews the technological progress of reactors used for biodiesel production. The first part gives an overview of previous findings available in the literature. Many factors affecting the production yield of biodiesel have been reviewed such as reaction time, agitator rotational speed, temperature, types of catalyst, catalyst concentration, the molar ratio of oil and alcohol, types of solvent, and types of feedstock. However, the review of different types of reactors used for the biodiesel production is still lacking. The appropriate selection of reactor type is necessary to enhance the product yield and the productivity. Thus, the second part of this paper aims at compiling the information on various reactors. The description of key operating conditions and process design, relevant integrated reaction and separation techniques, recent achievement and progress, and challenges for future development are highlighted. This review provides the basis for exploitation and selection of reactor to enhance optimization, scale-up development, and implementation in industrial-scale biodiesel production

Development of correlation-based clustering method and its application to software sensing

Abstract The individuality of production devices should be taken into account when soft-sensors are designed for parallelized devices. Since it is expressed as differences of the correlation among measured variables, it is useful to cluster samples on the basis of the correlation among variables for adopting a multi-model approach. In addition, changes in process characteristics can be coped with in the same way. In the present work, a new clustering method, referred to as NC-spectral clustering, is proposed by integrating the nearest correlation (NC) method and spectral clustering. Spectral clustering is a graph partitioning method that can be used for sample classification when an affinity matrix of a weighted graph is given. The NC method can detect samples that are similar to the query from the viewpoint of the correlation without a teacher signal. In the proposed method, the NC method is used for constructing the weighted graph that expresses the correlation-based similarities between samples and the constructed graph is partitioned by using spectral clustering. In addition, a new soft-sensor design method is proposed on the basis of the proposed NCspectral clustering. The usefulness of the proposed methods is demonstrated through a numerical example and a case study of parallelized batch processes. The performance of the proposed correlation-based method is better than that of the conventional distance-based methods

Screening of sleep apnea based on heart rate variability and long short-term memory

Purpose: Sleep apnea syndrome (SAS) is a prevalent sleep disorder in which apnea and hypopnea occur frequently during sleep and result in increase of the risk of lifestyle-related disease development as well as daytime sleepiness. Although SAS is a common sleep disorder, most patients remain undiagnosed because the gold standard test polysomnography (PSG), is high-cost and unavailable in many hospitals. Thus, an SAS screening system that can be used easily at home is needed. Methods: Apnea during sleep affects changes in the autonomic nervous function, which causes fluctuation of the heart rate. In this study, we propose a new SAS screening method that combines heart rate measurement and long short-term memory (LSTM) which is a type of recurrent neural network (RNN). We analyzed the data of intervals between adjacent R waves (R-R interval; RRI) on the electrocardiogram (ECG) records, and used an LSTM model whose inputs are the RRI data is trained to discriminate the respiratory condition during sleep. Results: The application of the proposed method to clinical data showed that it distinguished between patients with moderate-to-severe SAS with a sensitivity of 100% and specificity of 100%, results which are superior to any other existing SAS screening methods. Conclusion: Since the RRI data can be easily measured by means of wearable heart rate sensors, our method may prove to be useful as an SAS screening system at home

The Endocannabinoid 2-Arachidonoylglycerol Produced by Diacylglycerol Lipase α Mediates Retrograde Suppression of Synaptic Transmission

SummaryEndocannabinoids are released from postsynaptic neurons and cause retrograde suppression of synaptic transmission. Anandamide and 2-arachidonoylglycerol (2-AG) are regarded as two major endocannabinoids. To determine to what extent 2-AG contributes to retrograde signaling, we generated and analyzed mutant mice lacking either of the two 2-AG synthesizing enzymes diacylglycerol lipase α (DGLα) and β (DGLβ). We found that endocannabinoid-mediated retrograde synaptic suppression was totally absent in the cerebellum, hippocampus, and striatum of DGLα knockout mice, whereas the retrograde suppression was intact in DGLβ knockout brains. The basal 2-AG content was markedly reduced and stimulus-induced elevation of 2-AG was absent in DGLα knockout brains, whereas the 2-AG content was normal in DGLβ knockout brains. Morphology of the brain and expression of molecules required for 2-AG production other than DGLs were normal in the two knockout mice. We conclude that 2-AG produced by DGLα, but not by DGLβ, mediates retrograde suppression at central synapses

Sleep-EEG-based parameters for discriminating fatigue and sleepiness

Sleep quality can be evaluated from the viewpoint of recovery from fatigue and sleepiness; however, it is difficult to investigate sleep quality while distinguishing between the two. The aim of this study is to find biomarkers that can discriminate between daytime fatigue and sleepiness and to assess sleep quality in consideration thereof. We collected answers to questionnaires regarding daytime fatigue and sleepiness, as well as EEG data measured during sleep, from 754 city government employees in a rural area of Japan. The respondents were categorized into four groups in accordance with the severity of fatigue and sleepiness as assessed by the questionnaires: fatigued and sleepy (FS), fatigued, non-sleepy (FO), non-fatigued and sleepy (SO), and non-fatigued and non-sleepy (neither fatigued nor sleepy; NE) groups. EEG data of medial frontal electrodes were obtained with a one-channel portable electroencephalograph, and various sleep parameters such as powers or sleep durations in each stage were compared among the four groups. Statistical tests confirmed significant differences in some derived sleep parameters among the four groups. The Theta Delta power may be a biomarker that can discriminate between fatigue and sleepiness. In addition, the Delta and Theta powers may be associated with sleep quality in terms of recovery from sleepiness and fatigue, respectively. Moreover, high frequency or long duration of mid-arousals may contribute to recovery from fatigue. The results showed that fatigue and sleepiness have different effects on sleep, and multiple sleep parameters derived from EEG are associated with sleep quality