Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards Vehicle-Level Simulator Aided Failure Mode, Effect, and Diagnostic Analysis of Automotive Power Electronics Items

The increasing demand for Electronic Control Units able to perform safety-relevant tasks leads the automotive industry to find novel verification methodologies, capable to decrease the time-to-market and, at the same time, to improve the quality of the assessment. The ISO26262:2018 automotive functional safety standard requires to follow a strict development process, compliant with its “safety lifecycle”. It includes all the phases of the item life, from the concept to the decommissioning. The phase that places most difficulties about its objectivity and repeatability is the hardware/software integration verification since, usually, the software is in charge to mitigate the effects of some possible hardware failures. This paper proposes a novel technique, based on a simulation-based approach, to aid the designers during the Failure Mode, Effect, and Diagnostic Analysis (FMEDA). We consider a power electronics module, to be embedded into electric vehicles powertrains, as a challenging practical example. We performed some tests on it, considering a rear traction car with two independent electric motors, one per each wheel. This system, to allow the vehicle to curve, has to act like a differential gear. Hence, it has a strong safety impact on the driveability of the car. All the involved components have been simulated propagating their behaviours up to the entire vehicle. Due the strong coupling between item failures and vehicle dynamics, a structured way based on coupling fault injection with vehicle dynamic simulation is desirable.
STUDIES ON THE RESPIRATION OF RESTING AND GERMINATING UREDOSPORES OF WHEAT STEM RUST

Chemical analyses of wheat stem rust uredospores before and after germination indicated that the lipid fraction was the major endogenous substrate used up during the germination. Some nitrogenous material, presumably protein, was also utilized and increase in chitin was observed during the germination. A number of commercially available metabolic intermediary compounds did not affect the respiration of germinated spores. Heavy metal enzyme inhibitors, such as cyanide and azide, strongly retarded the respiration of spores and of germinated spores. This, together with the findings that the spore material contained hematin and reacted positively to the Nadi reagent, suggested that a cytochrome system was operative in the respiration process. Compounds such as malonate, maleate, fluoride, and fluoroacetate, known to be the inhibitors of succinic dehydrogenase and related enzymes, did not show significant inhibition of the respiration of rust spores. However, pyrophosphate, another specific succinic acid dehyd.
Evaluation of Apple Pomace Flour Obtained Industrially by Dehydration as a Source of Biomolecules with Antioxidant, Antidiabetic and Antiobesity Effects

Apple pomace flour (APF) obtained at industrial scale level by the application of innovative technological process (dehydration (5 h, T ≤ 55 °C), grinding (300 µm)) was evaluated as a source of bioactive compounds with antioxidative, antiobesity and antidiabetic effects. Proximate composition, individual (HPLC–DAD–MS/MS) and total phenols (TPC) as well as flavonoids content (TFC), antioxidant (AO) activity (DPPH, ABTS, HPMC), water and oil holding capacity (WHC and OHC) of APFs obtained from apple pomace from mixed and individual apple cultivars grown conventionally and organically were compared. The effect of APF supplementation on the glycaemic status and glucose tolerance (oral glucose tolerance test (OGTT)) of C57BL/6J mice exposed to high-fat and sucrose diet was examined. High K content (4.2–6.4 g/kg), dietary fibres (35–45 g/100 g), TPC (4.6–8.1 mg GAE/g), TFC (18.6–34.6 mg QE/g), high water and oil holding capacity (4.7–6.4 and 1.3–1.6 g/g) were observed in the APFs. Content of major phenols (phlorizin, chlorogenic acid, quercetin), TPC and TFC correlated highly with prominent AO activity. APF supplementation lowered the increase of body weight gain and blood glucose, and improved glucose tolerance significantly. Health-promoting biomolecules, AO activity, functional properties and prevention of diet-driven glucose metabolism disorders pave the way to APF exploitation in human nutrition.
Decoupling Channel Estimation for FDD Massive MIMO Systems Utilizing Joint Sparsity

Effective channel estimation for massive multiple-input-multiple-output (MIMO) systems based on frequency division duplex (FDD) protocol is a crucial problem. To reduce pilot overhead, we consider the joint sparsity of the multi-path channel in delay-angle domain. Based on the joint sparsity, we propose a decoupling pilot design scheme. In the proposed scheme, the pilot design is decoupled into two parts. In the first part, a global optimal selection greedy iterative algorithm (GOS-GIA) is proposed to obtain the near-optimal pilot subcarrier pattern. In the second part, a random Rademacher distribution pilot matrix is used as the angle-domain pilot matrix. Accordingly, a two-stage channel estimation strategy is also provided and analyzed. The first stage of the strategy is concerned with retrieving the positions of non-zero dominant taps in the delay domain. The second stage focuses on estimating the channel coefficients at these taps. Algorithm complexity analysis shows that the GOS-GIA can reduce the computational complexity at least one order of magnitude, and the proposed channel estimation strategy reduces the computational complexity by more than two orders of magnitude. Simulation results verify that the proposed pilot design scheme achieves better performance with lower pilot overhead.
Restoration of Photosynthesis in Pot-Bound Tobacco Plants

Premature senescence is observed in pot-bound tobacco plants (Nicotiana tabacum L. cv. xanthii) and this is shown to be accompanied by gross accumulation of leaf starch and a marked decline in photosynthesis, ribulose-1, 5-bisphosphate (RuBP) carboxylase activity, and soluble protein content. Starch content, uptake of C02 by leaf discs, and the activity of RuBP carboxylase in whole leaf extracts were measured daily following transfer of restricted plants to larger pots. Starch declined rapidly, whilst photosynthetic activity was fully restored within a period of several days, and frequently exceeded the maximum rates measured in non-restricted plants. This overcompensation, which could be related to availability of carbohydrates accumulated as starch, is discussed in relation to the well-established horticultural practice of'potting on'.
Effect of Heat-Induced Association of Whey Proteins and Casein Micelles on Yogurt Texture

Abstract We investigated the role of the nature of the casein micelle surface, as affected by adsorption of heat-denatured whey proteins, on yogurt texture. Depending on the heating process and heat intensity, a proportion of β- lactoglobulin and α-lactalbumin bound to the casein. As shown by electron microscopy, filaments of denatured β-lactoglobulin developed on the micellar surface and offered a barrier to micelle fusion when milk was fermented, resulting in inferior yogurt texture. At higher heat intensities, α-lactalbumin also commenced to precipitate onto the micelle, which apparently filled up the gaps formed by the β-lactoglobulin filaments and caused a smoother micellar surface. During fermentation, coalescence of the micelles improved texture. The heat-induced association of α-lactalbumin with the casein particles appeared to be important for fusion and hydration of the micelles during subsequent fermentation, which determined the Theological properties of yogurt.
Diel pattern in the structure and function of the gut microbial community in Lymantria dispar asiatica (Lepidoptera: Lymantriidae) larvae.

In the present study, diel pattern in gut microbial communities in insects were evaluated. Lymantria dispar asiatica fourth instar larvae (72 ± 2 hr after molting) at noon (LdD) and midnight (LdN) were used for a comparative analysis of the gut microbial community. Ten bacterial operational taxonomic units (OTUs) were shared between LdD and LdN samples. One bacterial OTU was specific to LdD. The dominant gut microbes were OTU72 in LdD and OTU75 in LdN. A linear discriminant analysis effect size cladogram suggested that ten bacterial OTUs maintain significant differences in relative abundances between LdD and LdN. These results agreed with the discrete ellipses between LdD and LdN in principal coordinates analysis plots. Additionally, using phylogenetic investigation of communities by reconstruction of unobserved states, the gut microbial community was assigned to 23 functional terms, among which 22 exhibited significant differences between LdD and LdN. To conclude, the present study documented a diel pattern in the gut microbial community of L. dispar asiatica larvae.
On the Improvement Attack Upon Some Variants of RSA Cryptosystem via the Continued Fractions Method

Let <inline-formula> <tex-math notation="LaTeX">$N=pq$ </tex-math></inline-formula> be an RSA modulus where <inline-formula> <tex-math notation="LaTeX">$p$ </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">$q$ </tex-math></inline-formula> are primes not necessarily of the same bit size. Previous cryptanalysis results on the difficulty of factoring the public modulus <inline-formula> <tex-math notation="LaTeX">$N=pq$ </tex-math></inline-formula> deployed on variants of RSA cryptosystem are revisited. Each of these variants share a common key relation utilizing the modified Euler quotient <inline-formula> <tex-math notation="LaTeX">$(p^{2}-1)(q^{2}-1)$ </tex-math></inline-formula>, given by the key relation <inline-formula> <tex-math notation="LaTeX">$ed-k(p^{2}-1)(q^{2}-1)=1$ </tex-math></inline-formula> where <inline-formula> <tex-math notation="LaTeX">$e$ </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">$d$ </tex-math></inline-formula> are the public and private keys respectively. By conducting continuous midpoint subdivision analysis upon an interval containing <inline-formula> <tex-math notation="LaTeX">$(p^{2}-1)(q^{2}-1)$ </tex-math></inline-formula> together with continued fractions on the key relation, we increase the security bound for <inline-formula> <tex-math notation="LaTeX">$d$ </tex-math></inline-formula> exponentially.
Cooperative breeding in the skuas (Stercorariidae): History, distribution and incidence

Cooperative breeding, now well documented in birds, is generally confined to sedentary terrestrial families. It has not been reported amongst seabirds, with the exception of skuas (Stercorariidae). That apparently anomalous occurrence has implications for the conventional adaptive theories used to explain cooperative breeding. This paper examines the evidence for cooperative breeding across all nine skua species, and corrects some previous errors in that literature. It is shown that, away from the New Zealand temperate area, the incidence of trios is low, ranging from <1–5% of territories. These trios comprise polygynous and polyandrous associations. On temperate islands around New Zealand, a substantially higher incidence of trios (and larger groups) is found, sometimes reaching 30–50% of territories. The paper considers the area of higher trio incidence in more detail, drawing on the detailed examination which has been underway on the Chatham Islands over the past decade. Here, Catharacta lonnbergi bree.
DSP in the loop Implementation of the Control of a DFIG Used in Wind Power System

This work deals with the design and the implementation in DSP of the field oriented control of the grid connected doubly fed induction generator (DFIG) used in the wind power system. DFIG’s stator is coupled directly to the grid, whereas its rotor is linked via a cascade of converters to the grid. The idea is to implement a system for decoupled control of the powers generated by the stator in order to provide high performance and better system execution.To test the complete conversion system, a simulation study under Matlab/Simulink environment was performed. To approve the control strategies, its control algorithms were implemented in DSP as hardware in the loop.
Síndromes de dispersão de espécies arbustivo-arbóreas em cerrado sensu stricto do Brasil Central e savanas amazônicas

O objetivo deste trabalho foi identificar as proporcoes das sindromes de dispersao de sementes em areas de cerrado sensu stricto do Brasil Central, comparando-as com as de areas isoladas de savanas amazonicas. Foram utilizadas listas de especies de nove areas de cerrado e cinco areas de savanas amazonicas. Determinou-se a similaridade floristica entre as areas. As sindromes de dispersao de especies ocorrentes nestas areas foram determinadas a partir de dados da literatura. Utilizou-se o teste Qui-quadrado (c2) a fim de detectar possiveis diferencas nas proporcoes de zoocoria e anemocoria entre as areas de cerrado e entre as areas de savanas amazonicas. As medias entre as duas regioes foram comparadas pelo teste t. Nao foram encontradas diferencas significativas para as duas analises (p > 0,05). A media das proporcoes de zoocoria para o cerrado sensu stricto foi de 56,7% ± 5,4 DP e para as savanas amazonicas 55,6% ± 11,7 DP, e a media das proporcoes de anemocoria no cerrado sensu stricto foi de 39,7% ± 6,2 DP e para as savanas amazonicas 44,4% ± 11,7 DP. No cerrado sensu stricto, a autocoria variou de 1,4 a 5%, porem nao se verificou a presenca de especies autocoricas nas savanas amazonicas. A autocoria e uma estrategia de dispersao raramente encontrada no cerrado e sua ausencia nas areas de savanas amazonicas pode estar relacionada a sua baixa eficiencia em colonizar areas isoladas.
M3AT: Monitoring Agents Assignment Model for Data-Intensive Applications

Nowadays, massive amounts of data are acquired, transferred, and analyzed nearly in real-time by utilizing a large number of computing and storage elements interconnected through high-speed communication networks. However, one issue that still requires research effort is to enable efficient monitoring of applications and infrastructures of such complex systems. In this paper, we introduce an Integer Linear Programming (ILP) model called M3AT for optimized assignment of monitoring agents and aggregators on large-scale computing systems. We identified a set of requirements from three representative data-intensive applications and exploited them to define the model’s input parameters. We evaluated the scalability of M3AT using the Constraint Integer Programing (SCIP) solver with default configuration based on synthetic data sets. Preliminary results show that the model provides optimal assignments for subsystems composed of up to 200 monitoring agents with complex I/O policies, while keeping the number of aggregators constant and demonstrates variable sensitivity with respect to the scale of monitoring data aggregators and limitation policies imposed.
aeSpTV: An Adaptive and Efficient Framework for Sparse Tensor-Vector Product Kernel on a High-Performance Computing Platform

Multi-dimensional, large-scale, and sparse data, which can be neatly represented by sparse tensors, are increasingly used in various applications such as data analysis and machine learning. A high-performance sparse tensor-vector product (SpTV), one of the most fundamental operations of processing sparse tensors, is necessary for improving efficiency of related applications. In this article, we propose aeSpTV, an adaptive and efficient SpTV framework on Sunway TaihuLight supercomputer, to solve several challenges of optimizing SpTV on high-performance computing platforms. First, to map SpTV to Sunway architecture and tame expensive memory access latency and parallel writing conflict due to the intrinsic irregularity of SpTV, we introduce an adaptive SpTV parallelization. Second, to co-execute with the parallelization design while still ensuring high efficiency, we design a sparse tensor data structure named <inline-formula><tex-math notation="LaTeX">${\sf CSSoCR}$</tex-math><alternatives><mml:math><mml:mi mathvariant="sans-serif">CSSoCR</mml:mi></mml:math><inline-graphic xlink:href="xiao-ieq1-2990429.gif"/></alternatives></inline-formula>. Third, based on the adaptive SpTV parallelization with the novel tensor data structure, we present an auto-tuner that chooses the most befitting tensor partitioning method for aeSpTV using the variance analysis theory of mathematical statistics to achieve load balance. Fourth, to further leverage the computing power of Sunway, we propose customized optimizations for aeSpTV. Experimental results show that aeSpTV yields good sacalability on both thread-level and process-level parallelism of Sunway. It achieves a maximum GFLOPS of 195.69 on 128 processes. Additionally, it is proved that optimization effects of the partitioning auto-tuner and optimization techniques are remarkable.
Stochastic Neural Networks for Cryptocurrency Price Prediction

Over the past few years, with the advent of blockchain technology, there has been a massive increase in the usage of Cryptocurrencies. However, Cryptocurrencies are not seen as an investment opportunity due to the market’s erratic behavior and high price volatility. Most of the solutions reported in the literature for price forecasting of Cryptocurrencies may not be applicable for real-time price prediction due to their deterministic nature. Motivated by the aforementioned issues, we propose a stochastic neural network model for Cryptocurrency price prediction. The proposed approach is based on the random walk theory, which is widely used in financial markets for modeling stock prices. The proposed model induces layer-wise randomness into the observed feature activations of neural networks to simulate market volatility. Moreover, a technique to learn the pattern of the reaction of the market is also included in the prediction model. We trained the Multi-Layer Perceptron (MLP) and Long Short-Term Memory (LSTM) models for Bitcoin, Ethereum, and Litecoin. The results show that the proposed model is superior in comparison to the deterministic models.
Application of Envelope-Following Techniques to the Shooting Method

We consider circuits driven by two or more signals with very different periods and propose a method to determine their steady state solution in the time domain. We present a new version of the shooting method based on the envelope following technique. We show how to use the envelope following method as the new engine to efficiently determine the trajectory of the circuit starting from the new guess of the initial conditions. It substitutes the less efficient time domain analysis used in the conventional implementation of the shooting method. We show that it is well suited to circuits where the ratio between the periods of the slow and fast behaviour is particularly high and characterised by strong non-linearities. The numerical properties at the basis of the proposed method are presented. Its features are shown by simulating different types of slow-fast circuits.
Attempt to Utilize Surplus Storage Capacity as Distributed Storage

High-performance computers have spread at a lower cost than in the past by technological advancement. Thus, the performance of computers may be excessive for its usage. In this case, resources of computers such as CPU, memory, and storage are not utilized fully and resulting in an idle state; that is, these idle resources are wasted despite use-value. We should utilize them effectively. For this reason, we attempt to utilize surplus storage capacity, one of the idle resources, as distributed storage. In this paper, we design a distributed storage using surplus storage capacity by considering characteristics of surplus storage capacity and computers with its capacity.
Modeling a Smart School Building System Using UML and TLA+

Designing smart systems has recently received much attention because of the ability to connect heterogeneous sub-systems together to build a fully controlled smart system. In this project, designing a smart, safe, secure school system for students is our eventual goal. In this paper, we propose a model for a smart school building system. We model the system using UML diagrams to illustrate the system's objects and sequences of actions. We use formal methods techniques to verify the properties of the system. Specifically, we use TLA+, the formal specification language, for our formal modeling. As for the smart school building, we design the school to be safe by requiring a username and password for entering the building. The system can also control the lighting system and the temperature for the whole building. For additional safety, the system has a smoke detection sub-system in case of fire. We propose this smart school building system and verify its properties and correctness using the TLA+ toolbox.
SMILE (Self-Monitoring Interactive Learning Evaluation) for Indonesian University Students

Study in universities can be perceived as a positive challenge. However, pressures to meet academics standard, life transitions, relation with friends, and time management are potentials to boost depression, anxiety, and stress. Furthermore, students with psychological health problems were reported having worse quality of life. Therefore, it is beneficial for students to understand their conditions in order to maintain their psychological health. The ability to assess the psychological condition using tools that can be selfoperated may assist a self-help monitoring and enhancing knowledge about their conditions. This research aims to develop a mobile, fast response, and interactive measurement of psychological condition regarding depression, anxiety, and stress status application in android based smartphones. The application is called SMILE (Self-Monitoring Interactive Learning Evaluation) and it uses the measurement of psychological health based on the DASS-21 (Depression Anxiety Stress Scale-21) consisting 21 questions. The Waterfall method which is chosen to develop this application software. Black-box test shows that the developed application software runs as expected. Validation result of the psychological disorder level which was examined by comparing it to the result from the test data demonstrates high accuracy.
Herbicide movement in soils: principles, pathways and processes

European legislation concerning ground- and surface-water quality and the protection of non-target organisms in surface-water from pesticide contamination has initiated more stringent data requirements from regulatory authorities concerning the movement of all pesticides in soils. Other interested parties, such as water companies, environment agencies and consumer-driven organizations, have sought to influence the use of herbicides and their impact on the environment. The resulting studies and associated research have led to a better understanding of the fate and behaviour of herbicides in the soil environment. The amount of herbicide that moves away from the area of application will depend on the physico-chemical properties of the chemical and the agroclimatic characteristics of the target site. Under average conditions, the amount of herbicide lost by movement from a soil profile is typically <0.1% to 1% of the applied mass but, under certain localized circumstances, can reach up to 5% or greater. Leaching, drain-flow and surface run-off are the main pathways responsible for herbicide movement within soils. The soil/herbicide processes determining the losses are also variable in both time and space. It is therefore necessary to understand the spatial characteristics of soils, their hydrology and the associated herbicide use patterns.