Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$

International Journal on Software Tools for Technology Transfer - Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where...     

The effect of co-encapsulation of Lactobacillus rhamnosus GG ATCC 53103 with inulin on alginate/chitosan matrix: the viability in fermented soy blend and simulated digestive system

This research verified the ability of Lactobacillus rhamnosus encapsulated with inulin to tolerate the simulated digestive system and their viability in a soy blend. Probiotic encapsulated in alginate-chitosan matrix without inulin presented a better encapsulation efficiency (80.92%) than encapsulation with inulin (57.39%). On the 28th day, the count of probiotics decreased by 3.42 and 1.99 logarithmic cycles of free and encapsulated cells without inulin, respectively. In contrast, the microorganisms encapsulated with inulin showed an increase of 1.26 logs CFU g⁻¹. During gastrointestinal simulation, cell counts decreased by 0.78, 1.55 and 1.95 CFU g⁻¹ logs for encapsulated cells without inulin, free and encapsulated with inulin, respectively. Sensory panellists liked the fermented soy blend with encapsulated lactobacilli, and this result shows the possibility to create new probiotic foods of plant origin. Therefore, the alginate/chitosan matrix can be considered adequate for the encapsulation of L. rhamnosus. The inulin reduces the encapsulation efficiency and increases the cell loss in gastrointestinal simulation. Considering cellular losses, the best option for preparing a fermented soy blend is to use L. rhamnosus encapsulated without inulin.     

A simple approach to solving the kinematics of the 4-UPS/PS (3R1T) parallel manipulator

Journal of Mechanical Science and Technology - This work reports on the position, velocity and acceleration analyses of a four-degrees-of-freedom parallel manipulator, 4-DoF-PM for brevity, which...     

A Non-Invasive Technique for Online Defect Detection on Steel Strip Surfaces

During the production of steel strips, a large amount of surface defects can be generated, due to harsh environmental conditions. A high number of surface defects can lead to rejection by the customer, which represents significant economic losses to the production plant. Thus, it is very important to detect the presence and type of the defects generated during the production of each steel strip. Using this information, it is possible to determine whether a strip is suitable for sale, and it may also be useful to determine the origin of defects and, if possible, prevent them from being generated in subsequent strips. To perform these tasks, non-invasive inspection techniques are usually used, carried out automatically by artificial vision systems. Although the inspection conducted by humans is more accurate, they become fatigued quickly, or may even be unable to carry out the inspection correctly when the forward speed of the strip is high. In this paper, a new detection technique is proposed, based on the division of an image into a set of overlapping areas. The optimum values for the configuration parameters of the detection technique are automatically determined using a genetic algorithm. After the detection phase, all the defects are classified using a neural network. A very satisfactory success rate has been achieved in both detection and classification phases.     

Microstructural development during crystallization firing of a dental-grade nanostructured lithia-zirconia glass-ceramic

The microstructural development during crystallization firing of a commercially-available dental-grade nanostructured lithia-zirconia glass-ceramic (Vita Suprinity® PC) was unraveled using a wide battery of ex-situ and in-situ characterization techniques. It was found that the milling blocks are slightly crystallized glass-ceramics, with a complex chemical composition and consisting of partially de-polymerized glass plus lithium silicate (Li₂SiO₃) nanocrystals. It was also found that during crystallization firing the glassy matrix first reacts with part of the Li₂SiO₃ to form lithium disilicate (Li₂Si₂O₅) at ～810?820 °C, and then lithium orthophosphate (Li₃PO₄) precipitates from the glass. This results in glass-ceramics with abundant nanocrystals embedded in a sparse zirconosilicate glass matrix (containing many other cations subsumed) that, due to its high viscosity, inhibited crystal growth. Therefore, these dental glass-ceramics are not reinforced with zirconia (ZrO₂) crystals unless over-fired above ～890 °C and at the expense of its singular nanostructure. Finally, this study opens doors for optimizing the clinical performance of these dental glass-ceramics via microstructural tailoring.     

A supplemental computer-assisted intervention programme to prevent early reading difficulties in Spanish learners: A stratified random control trial

Difficulties in implementing effective instruction for at-risk students arise from two challenges: the transfer of evidence-based knowledge and the lack of economic resources. Computer-assisted programmes offer a suitable solution, providing quality instruction using low-cost resources. Thirty-two first-grade students with early learning difficulties were identified and paired based on at least three of the pre-intervention reading measures (reading efficiency of monosyllabic and disyllabic items, words, pseudowords and text reading speed). Each pair was assigned to one of two different intervention programmes: a computer-assisted intervention programme (CAIP) focused on syllables or the programme provided by the Spanish State School Assistance Services (SSAS). Every week, the CAIP participants received in pairs four 15-min training sessions on syllable decoding plus one 30-min group comprehension session. The CAIP was delivered by trainee students. The SSAS programme typically consisted of a 1-hr individual or in small groups sessions per week delivered by trained practitioners. Both programmes were administered for 11 weeks. The CAIP intervention showed better results than the SSAS intervention for both decoding and comprehension, with moderate to large effect sizes.