A Java Framework to Specify Faultloads for Fault Injection Campaigns

In an operational environment, the identification and reproduction of faults may be hard to be done, specially in complex systems. Use of fault injection accelerates this process, improving the test of fault tolerance mechanisms. However, there are a significant amount of fault injectors available, using several different approaches. This diversity of tools, each one with different methods to describe faultloads for fault injection campaigns, imposes severe obstacles to the efficient use of such fault injectors. In this context, this paper presents jFaultload, which applies Java for the specification of faultloads and translates them to specific formats that are appropriate to each available fault injector. Fault injectors for communication systems were integrated in the environment and completes the test scenario. The service under test used to demonstrate the usability and expressiveness of our solution is a video streaming session using RTP Protocol.     

三相四线整流器的中线电流控制

六开关三相四线PWM整流器拓扑是适合于中大功率高频UPS装置的前级整流器拓扑.与常规的六开关三相三线整流器相比,三相四线整流器输出正负直流母线,并且输入侧存在零序电流通路,如果沿用三相三线整流器的控制方法,必然会引起很大的中线电流.针对此问题.讨论了三相四线PWM整流器输出为正负直流母线电压均衡控制和中线电流控制问题,建立了三相四线整流器数学模型,分析了中线电流产生的机理以及抑制的方法,设计了基于同步旋转坐标系的三相四线整流器的控制算法.在功率40kW的实验样机上验证了控制方法的有效性,保证了输出正负母线电压的平衡及较小的输入电流谐波.     

Modeling of transient natural convection heat transfer in electric ovens

Prediction of transient natural convection heat transfer in vented enclosures has multiple applications such as understanding of cooking environment in ovens and heat sink performance in electronic packaging industry. The thermal field within an oven has significant impact on quality of cooked food and reliable predictions are important for robust design and performance evaluation of an oven. The CFD modeling of electric oven involves three-dimensional, unsteady, natural convective flow-thermal field coupled with radiative heat transfer. However, numerical solution of natural convection in enclosures with openings at top and bottom (ovens) can often lead to non-physical solutions such as reverse flow at the top vent, partly a function of initialization and sometimes dependent on boundary conditions. In this paper, development of a physics based robust CFD methodology is discussed. This model has been developed with rigorous experimental support and transient validation of this model with experiments show less than 3% discrepancy for a bake cycle. There is greater challenge in simulating a broil cycle, where the fluid inside the cavity is stably stratified and is also highlighted. A comparative analyses of bake and broil cycle thermal fields inside the oven are also presented.     

Kinetics and thermodynamic behavior of WO3 and WO3:P thin films

 There is a considerable interest in the research and development of materials and devices, that can be used for optical switching of large-scale glazings. Several potential switching technologies are available for glazings, including those based on electrochromic, thermochromic and photochromic phenomena. One of the most promising technologies for optical switching devices is electrochromism (EC). In order to improve the electrochromic properties of tungsten oxide, we have investigated the effect of phosphorous insertion on the electrochromic behavior of oxide films prepared by the sol–gel process.The kinetics and thermodynamics of electrochemical intercalation of lithium into Li_xWO₃ and Li_xWO₃:P films prepared by the sol–gel process were investigated. The standard Gibbs energy for lithium intercalation was calculated. The chemical diffusion coefficients, D, of lithium intercalation into oxide, were measured by galvanostatic intermittent titration technique (GITT), as functions of the depth of lithium intercalation.     

The effect of field drying on the non-structural carbohydrate composition in vetch hay

Common vetch (Vicia sativa L) was harvested and allowed to dry in the open air. The composition of fresh forage in non-structural carbohydrates varied markedly between years, the contents of sugars and starch in both leaves and stems being much higher in 1990-91 than 1991-92. Field drying produced a significant decrease in the amounts of these carbohydrates. The total losses of sugars and starch in hay, expressed as losses of dry matter, ranged from 28 to 15 g kg^-1, depending on the year.     

Development of Low-Cost Remote-Control Generators Based on BiTe Thermoelectric Modules

This paper presents a new thermogenerator based on moderate-temperature (up to 175°C) BiTe modules available on the open market. Despite this handicap relative to commercial thermogenerators based on high-temperature proprietary-technology PbBi modules (up to 560°C), this new design may become economically competitive due to its innovative thermal sink. Our thermal sink is based on a free-convection water loop built with standard tubing and household hot-water radiators, leading to a more practical, modular design. So, the specific cost of about 55,000 USD/kW obtained for this 120-W prototype is improved to 33,000 USD/kW for a 1-kW unit, which represents about half the price of commercial thermogenerators. Moreover, considering recently launched BiTe modules (that withstand up to 320°C), our proposition could have an even more favorable outlook.     

Two-dimensional profiles of fumonisin B1 production by Fusarium moniliforme and Fusarium proliferatum in relation to environmental factors and potential for modelling toxin formation in maize grain

This study has examined in detail the effect of temperature (7-37 degrees C) and water availability (water activity, a(w), 0.89-0.97) on fumonisin B1 (FB1) production by an isolate of Fusarium moniliforme and F. proliferatum on irradiated maize grain after incubation for 28 days. The optimum conditions for F. moniliforme and F. proliferatum were 30 degrees C at 0.97 a(w) and 15 degrees C at 0.97 a(w), respectively. The maximum concentrations were 2861 mg kg(-1) and 17,628 mg kg(-1) dry wt. maize grain, respectively. At marginal a(w)/temperature conditions for growth (e.g. 0.89-0.91 a(w)) no FB1 was detected (<0.1 mg kg(-1)). A high variability was found between replicates for F. moniliforme, but not for F. proliferatum. These data were used to construct two-dimensional diagrams of all the a(w) x temperature conditions favourable for FB1 production for the first time. The data were also subjected to a polynomical regression, which demonstrated that there was a very good fit for the 15-30 degrees C range of temperature and at 0.97 a(w). However, at marginal environmental conditions this was not possible. This suggests that it may be possible to predict within a limited environmental range the potential for significant FB1 production.     

A fast algorithm to formulate Markov system equations

In this paper a new and efficient algorithm is presented to formulate a set of equations corresponding to a system with repair without pass through Markov graphs [1,2]. Using Karnaugh maps [3] for the states of the system and by the introduction of the concept of contiguous states, a basic method by inspection is derived. The hazard rates are assumed to be constant.     

Image modeling based on a 2-D stochastic subspace system identification algorithm

Fitting a causal dynamic model to an image is a fundamental problem in image processing, pattern recognition, and computer vision. In image restoration, for instance, the goal is to recover an estimate of the true image, preferably in the form of a parametric model, given an image that has been degraded by a combination of blur and additive white Gaussian noise. In texture analysis, on the other hand, a model of a particular texture image can serve as a tool for simulating texture patterns. Finally, in image enhancement one computes a model of the true image and the residuals between the image and the modeled image can be interpreted as the result of applying a de-noising filter. There are numerous other applications within the field of image processing that require a causal dynamic model. Such is the case in scene analysis, machined parts inspection, and biometric analysis, to name only a few. There are many types of causal dynamic models that have been proposed in the literature, among which the autoregressive moving average and state-space models (i.e., Kalman filter) are the most commonly used. In this paper we introduce a 2-D stochastic state-space system identification algorithm for fitting a quarter plane causal dynamic Roesser model to an image. The algorithm constructs a causal, recursive, and separable-in-denominator 2-D Kalman filter model. The algorithm is tested with three real images and the quality of the estimated images are assessed.     

In search of computer-aided social support in non-communicable diseases care

Non-communicable diseases burden is well-known and care for these diseases goes beyond patients’ engagement, extending to their family, friends, and acquaintances. The ability of social relations in alleviating the harmful effects of health risks is known as social support. Computing can be used to promote social support to enhance the care of non-communicable diseases. However, it is unclear how computing obtains such enhancement. This paper presents a systematic review, in the form of a mapping study, aiming to answer how computing enhances non-communicable diseases care by using social data and by promoting social support. It also looks for available computing models focused on social support promotion in non-communicable diseases care. The study was guided by a two-phase process review, resulting in 38 reviewed papers from journals, conferences, and chapters in the period from 2010 to 2016. In general, the reviewed papers focus on controlled trials, frameworks and systems, knowledge discovery, simulation models or social media usage analysis. Knowledge discovery was the predominant subject, followed by social media usage analysis, and frameworks and systems.