High-speed techniques for estimating t1, t2, and density images

This work presents methods for estimating relaxation times T1 and T2 and proton density using a real time digital video processor. This device performs each mathematical step of the fitting algorithms in one video frame interval (1/30 s). Two-point fits of T1 and T2 may be generated in approximately 15 video frame intervals or about 0.5 s; generation of a T2 image from four acquired images requires about 30 video frame intervals or about 1 s. The hardware is common to many commercial MR scanners and requires no array processor. Such high-speed techniques can expedite the clinical use of computed images and facilitate the implementation of image synthesis.     

The Effects of Random Porosities in Resonant Frequencies of Graphene Based on the Monte Carlo Stochastic Finite Element Model

With the distinguished properties in electronics, thermal conductivity, optical transparence and mechanics, graphene has a powerful potential in nanosensors, nano-resonators, supercapacitors, batteries, etc. The resonant frequency of graphene is an important factor in its application and working environment. However, the random dispersed porosities in graphene evidently change the lattice structure and destroy the integrity and geometrical periodicity. This paper focuses on the effects of random porosities in resonant frequencies of graphene. Monte Carlo simulation is applied to propagate the porosities in the finite element model of pristine graphene. The statistical results and probability density distribution of porous graphene with atomic vacancy defects are computed based on the Monte Carlo finite element model. The results of porous graphene with atomic vacancy defects are compared and discussed with the results of graphene with bond vacancy defects. The enhancement effects of atomic vacancy defects are confirmed in porous graphene. The influences of atomic vacancy defects on displacement and rotation vector sums of porous graphene are more concentrated in local places.     

Thermal evaluation of the use of porous ceramic plates on ventilated façades—part II: Thermal behavior

The effects of porous ceramic plates on the thermal behavior of ventilated façades were evaluated, and the results are presented herein. Thermal behavior in a ventilated façade of specimens containing 40 wt% of lime mud and a firing temperature of 1100°C was evaluated and compared with a commercial porcelain ceramic tile, which was the reference material. An experimental apparatus was designed to evaluate the thermal performance of the studied ventilated façades. The results revealed that the ventilated façade composed of the studied porous ceramic tiles produced a greater reduction in temperature between the external environmental and the interior of a box representing a building (ΔT5) of 65.7°C, compared with the façade composed of the commercial porcelain ceramic tiles (ΔT5 = 56.0°C) and even the traditional façade (ΔT5 = 49.1°C). Thus, porous ceramic tiles based on byproducts are promising candidates for ventilated façade systems.     

In vivo aging of gutta‐percha dental cone

Gutta‐percha cone is the most widely used material for root canal filling. The in vivo aging of this cone focus on the degradation of its main organic component, trans‐1,4‐polyisoprene, was studied. Aged cones (25 samples) from 2 to 30 years of root canal filling were extracted from different patients in the occasion of retreatment by mechanical way. The information about the aging time was given by the patients. Gel‐permeation chromatography (GPC) and infrared spectroscopy (FTIR) were the analytical techniques used. Polyisoprene degrades with time of aging, but in a slow process. Decrease in polymer molar mass from 5.7 × 10⁵ to 1.7 × 10⁵ g/mol was observed in polyisoprene from cone after 30 years of root canal filling and inside a noninfected tooth. In tooth with caries and periodontal infection, the decrease in molar mass is higher (4.6 × 10⁴ g/mol in cone with 10 years of aging). The production of carbonyl and hydroxyl groups in the aged material indicates that the process is oxidative, even in closed teeth. In these cases, the oxygen could be provided from tissue fluid. The degradation mechanism is complex and depends on many factors, besides time of root canal filling. The dental problem caused by the aging could be the production and migration of cytotoxic substances to periodontal ligament and the reduction on the canal sealing property due to the polymer weight loss. Both of them could contribute to the root canal treatment failure. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 100:4082–4088, 2006     

Analytical ray tracing system: Introducing art, a C-library designed for seismic applications

Ray tracing technique is an important tool not only to forward but also for inverse problems in Geophysics, which most of the seismic processing steps depend on. However, implementing ray tracing codes can be very time consuming. This article presents a computer library to trace rays in 2.5D media composed by a stack of layers. The velocity profile inside each layer is such that the eikonal equation can be analytically solved. Therefore, the ray tracing within such profile is made fast and accurate. The great advantage of an analytical ray tracing library is the numerical precision of the quantities computed and the fast execution of the implemented codes. Even though ray tracing programs exist for a long time, for example the seis88 package by ?ervený, most of those programs use a numerical approach to compute the ray. Regardless of the fact that numerical methods can solve more general problems, the analytical ones could be part of a more sophisticated simulation process, where the ray tracing time is completely relevant. We demonstrate the feasibility of our codes using several examples (Miqueles et al., 2013)  [1]. The library can also be used for other applications besides seismic, e.g., optics and tomography.     

A genetic tango attack against the David–Prasad RFID ultra‐lightweight authentication protocol

Radio frequency identification (RFID) is a powerful technology that enables wireless information storage and control in an economical way. These properties have generated a wide range of applications in different areas. Due to economic and technological constrains, RFID devices are seriously limited, having small or even tiny computational capabilities. This issue is particularly challenging from the security point of view. Security protocols in RFID environments have to deal with strong computational limitations, and classical protocols cannot be used in this context. There have been several attempts to overcome these limitations in the form of new lightweight security protocols designed to be used in very constrained (sometimes called ultra‐lightweight) RFID environments. One of these proposals is the David–Prasad ultra‐lightweight authentication protocol. This protocol was successfully attacked using a cryptanalysis technique named Tango attack. The capacity of the attack depends on a set of boolean approximations. In this paper, we present an enhanced version of the Tango attack, named Genetic Tango attack, that uses Genetic Programming to design those approximations, easing the generation of automatic cryptanalysis and improving its power compared to a manually designed attack. Experimental results are given to illustrate the effectiveness of this new attack.     

Dynamic thread mapping of shared memory applications by exploiting cache coherence protocols

In current computer architectures, the communication performance between threads varies depending on the memory hierarchy. This performance difference must be considered when mapping parallel applications to processor cores. In parallel applications based on the shared memory paradigm, the communication is difficult to detect because it is implicit. Furthermore, dynamic mapping introduces several challenges, since it needs to find a suitable mapping and migrate the threads with a low overhead during the execution of the application. We propose a mechanism to detect the communication pattern of shared memory applications by monitoring cache coherence protocols. We also propose heuristics that, combined with our communication detection mechanism, allow the mapping to be performed dynamically by the operating system. Experiments with the NAS Parallel Benchmarks showed a reduction of up to 13.9% of the execution time, 30.5% of the cache misses and 39.4% of the number of invalidation messages.     

On Yager and Hamacher t‐Norms and Fuzzy Metric Spaces

Recently, Gregori et al. have discussed (Fuzzy Sets Syst 2011;161:2193–2205) the so‐called strong fuzzy metrics when looking for a class of completable fuzzy metric spaces in the sense of George and Veeramani and state the question of finding a nonstrong fuzzy metric space for a continuous t‐norm different from the minimum. Later on, Gutiérrez García and Romaguera solved this question (Fuzzy Sets Syst 2011;162:91–93) by means of two examples for the product and the Lukasiewicz t‐norm, respectively. In this direction, they posed to find further examples of nonstrong fuzzy metrics for continuous t‐norms that are greater than the product but different from minimum. In this paper, we found an example of this kind. On the other hand, Tirado established (Fixed Point Theory 2012;13:273–283) a fixed‐point theorem in fuzzy metric spaces, which was successfully used to prove the existence and uniqueness of solution for the recurrence equation associated with the probabilistic divide and conquer algorithms. Here, we generalize this result by using a class of continuous t‐norms known as ω‐Yager t‐norms.     

A Class of Incomplete Riemann Solvers Based on Uniform Rational Approximations to the Absolute Value Function

In this paper we propose a new class of incomplete Riemann solvers, based on approximations in the \(L^\infty \) -norm to the absolute value function in \([-1,1]\) by means of rational functions, for the numerical approximation of the solution of hyperbolic systems of conservation laws. The main idea relies on the construction of a numerical approximation to the viscosity matrix by using an appropriate rational real function \(R(x)\) , that approximates the function \(|x|\) uniformly in \([-1,1]\) , evaluated at the Jacobian of the fluxes of the hyperbolic system computed at some average value (for example, Roe averages). In addition to the Jacobians of the fluxes we shall use either the maximum in absolute value of the characteristic speeds in each cell or an upper bound of them. Thus, the resulting approximate Riemann solver is incomplete in the sense that we do not use the complete spectral decomposition of the Jacobian. Moreover, the new class of Riemann solvers consists of a hierarchy of schemes running from the more dissipative to the less dissipative ones, and having as limiting case a Roe-like scheme. According to the order of the approximation of the generating rational function used, the degree of dissipation can be dosed for particular applications. We study different rational approximations: Newman-type functions, iterative generated Halley functions, and also Chebyshev polynomial approximants. We test our basic algorithms for different initial value Riemann problems for ideal gas dynamics (HD) and magnetohydrodynamics (MHD) to observe their behavior with respect to challenging scenarios in numerical simulations, including some standard numerical pathologies (e. g., heat conduction, postshock oscillations and overheating) and the formation of compound waves in ideal MHD. We also examine our proposed schemes, by computing the numerical approximation of different initial value problems for nonconservative multilayer shallow water equations, where it has been observed that intermediate waves can be properly captured for an appropriate degree of approximation of the generating rational function used. Our numerical tests indicate that the proposed schemes are robust, running stable and accurate with a satisfactory time step restriction (CFL constant), and the computational cost is more advantageous with respect to schemes that use a complete spectral decomposition of the Jacobians.     

Comparative analysis of methods for determining the metabolic rate in order to provide a balance between man and the environment

The incorrect determination of metabolic rate can be linked to discrepancies between the model of the PMV (Predicted Mean Vote) and real thermal sensation collected in field studies. Aiming to improve the correlation of the PMV model and the real thermal sensation, this work established new values for the metabolic rate: one way being called “calculated” using Newton's Method and the other called "measured" using a metabolic analyzer. Welder's activities were evaluated, through the measurements of environmental and personal variables. New values of metabolic rate were determined for this activity. The values found for the calculated form and the measured one were, respectively, 178.63 and 145.46 W/m², different from the range provided by the table of ISO 8996 (2004) for this activity (75–125 W/m²). In order to verify which of the values of the metabolic rate was closer to the real thermal sensation of PMV, a linear regression was made between the PMV and the real thermal sensation in three ways: S × PMV_tabulated (R² = 0.1749), S × PMV_calculated (R ² = 0.7481) and S × PMV_measured (R² = 0.7854). It was found that the values measured by the instrument gave a higher coefficient of determination which was chosen for the correction of the table. The correction of the table provides a value of M_predicted, that is a value of metabolic rate that corrects the values provided by the tables of ISO 8996 (2004), by means of a correction coefficient. For the welder's activities in a metal-mechanics industry, tabulated values can be multiplied by the correction coefficient 1.4648 in order to minimize inaccuracies. The PMV_predicted, obtained through the M_predicted, when related to the actual thermal sensation, provides a coefficient of determination of 0.7511, thereby improving the model of the PMV.