Bounded Arithmetic and Randomized Computation

In this work, we develop a randomized bounded arithmetic for probabilistic computation, following the approach adopted by Buss for non-randomized computation. This work relies on a notion of representability inspired by of Buss' one, but depending on a non-standard quantitative and measurable semantic. Then, we establish that the representable functions are exactly the ones in PPT. Finally, we extend the language of our arithmetic with a measure quantifier, which is true if and only if the quantified formula's semantic has measure greater than a given threshold. This allows us to define purely logical characterizations of standard probabilistic complexity classes such as BPP, RP, co-RP and ZPP.

Analisi vibroacustica di un sistema di scarico per monoposto Formula SAE

Lo scopo del presente lavoro è quello di determinare una metodologia di analisi vibroacustica di validità generale applicabile a tutti i casi nei quali la forzante sia di tipo vibrazionale. Nello specifico si è analizzato il comportamento strutturale e acustico di un impianto di scarico di una monoposto Formula SAE. Ricorrendo all’analisi FEM (Finite Element Method) è possibile determinare e quantificare gli effetti dannosi causati dalle vibrazioni già nella fase di prototipazione permettendo una sostanziale riduzione dei tempi e costi. La determinazione del comportamento strutturale del modello alle vibrazioni è iniziata dall’analisi modale, grazie alla quale sono state determinate le frequenze naturali e i modi propri dell’impianto di scarico. Successivamente, l’analisi FRF (Frequency Response Function) ha permesso di conoscere la risposta del nostro sistema ad una forzante imposta mettendo in luce le diverse criticità strutturali. Con il presupposto di ottenere delle condizioni di carico che fossero il più vicine possibili alle normali condizioni operative si è impostata un’analisi PSD (Power Spectral Density). Per concludere la prima parte dell’analisi si è reso necessario indagare anche il comportamento a fatica vibrazionale, valutando in questo modo le zone soggette a vita finita e quindi le prime a cedere in fase di esercizio. La parte finale è stata dedicata all’analisi del rumore. Dall’analisi FRF si è determinata la SPL (Sound Pressure Level) ottenendo come output un valore di pressione sonora prodotto dall’effetto della propagazione delle onde di pressione generate dalla vibrazione strutturale dell’impianto di scarico. Infine, l’analisi di Transmission Loss ha permesso di valutare l’efficacia della geometria del silenziatore sulla riduzione del livello acustico generato dal transito dei gas di scarico alle diverse frequenze.

Comparison of different solutions for the hybridization of a motorcycle engine for Formula Student applications and evaluation of the effectiveness on the simulated lap time

Following the latest environmental concerns, the importance of minimising the detrimental effect of emissions of terrestrial vehicles has become a major goal for the whole automotive field. The key to achieve an emission-free long term future is the electrification of vehicle fleets; this huge step cannot be taken without intermediate technologies. In this context, hybrid vehicles are fundamental to reach this goal. Specifically, mild hybrid vehicles represent a trade-off between cost and emissions that could act now as a bridge towards electrification. Like the industry, also student engineering competitions are likely to take the same route: Combustion vehicles may well turn into hybrid vehicles. For this reason, a preliminary design overview is necessary to pinpoint the key performance indicators for the prototypes of the future.

The Basic Reproduction Number Obtained From Jacobian And Next Generation Matrices - A Case Study Of Dengue Transmission Modelling.

The basic reproduction number is a key parameter in mathematical modelling of transmissible diseases. From the stability analysis of the disease free equilibrium, by applying Routh-Hurwitz criteria, a threshold is obtained, which is called the basic reproduction number. However, the application of spectral radius theory on the next generation matrix provides a different expression for the basic reproduction number, that is, the square root of the previously found formula. If the spectral radius of the next generation matrix is defined as the geometric mean of partial reproduction numbers, however the product of these partial numbers is the basic reproduction number, then both methods provide the same expression. In order to show this statement, dengue transmission modelling incorporating or not the transovarian transmission is considered as a case study. Also tuberculosis transmission and sexually transmitted infection modellings are taken as further examples.

Evaluation Of Red Cell And Reticulocyte Parameters As Indicative Of Iron Deficiency In Patients With Anemia Of Chronic Disease.

The purpose of this study was to evaluate the effectiveness of mature red cell and reticulocyte parameters under three conditions: iron deficiency anemia, anemia of chronic disease, and anemia of chronic disease associated with absolute iron deficiency. Peripheral blood cells from 117 adult patients with anemia were classified according to iron status, and inflammatory activity, and the results of a hemoglobinopathy investigation as: iron deficiency anemia (n=42), anemia of chronic disease (n=28), anemia of chronic disease associated with iron deficiency anemia (n=22), and heterozygous β thalassemia (n=25). The percentage of microcytic red cells, hypochromic red cells, and levels of hemoglobin content in both reticulocytes and mature red cells were determined. Receiver operating characteristic analysis was used to evaluate the accuracy of the parameters in differentiating between the different types of anemia. There was no significant difference between the iron deficient group and anemia of chronic disease associated with absolute iron deficiency in respect to any parameter. The percentage of hypochromic red cells was the best parameter to discriminate anemia of chronic disease with and without absolute iron deficiency (area under curve=0.785; 95% confidence interval: 0.661-0.909, with sensitivity of 72.7%, and specificity of 70.4%; cut-off value 1.8%). The formula microcytic red cells minus hypochromic red cells was very accurate in differentiating iron deficiency anemia and heterozygous β thalassemia (area under curve=0.977; 95% confidence interval: 0.950-1.005; with sensitivity of 96.2%, and specificity of 92.7%; cut-off value 13.8). The indices related to red cells and reticulocytes have a moderate performance in identifying absolute iron deficiency in patients with anemia of chronic disease.

Direct And Non-destructive Proof Of Authenticity For The 2nd Generation Of Brazilian Real Banknotes Via Easy Ambient Sonic Spray Ionization Mass Spectrometry.

Using a desorption/ionization technique, easy ambient sonic-spray ionization coupled to mass spectrometry (EASI-MS), documents related to the 2nd generation of Brazilian Real currency (R$) were screened in the positive ion mode for authenticity based on chemical profiles obtained directly from the banknote surface. Characteristic profiles were observed for authentic, seized suspect counterfeit and counterfeited homemade banknotes from inkjet and laserjet printers. The chemicals in the authentic banknotes' surface were detected via a few minor sets of ions, namely from the plasticizers bis(2-ethylhexyl)phthalate (DEHP) and dibutyl phthalate (DBP), most likely related to the official offset printing process, and other common quaternary ammonium cations, presenting a similar chemical profile to 1st-generation R$. The seized suspect counterfeit banknotes, however, displayed abundant diagnostic ions in the m/z 400-800 range due to the presence of oligomers. High-accuracy FT-ICR MS analysis enabled molecular formula assignment for each ion. The ions were separated by 44 m/z, which enabled their characterization as Surfynol® 4XX (S4XX, XX=40, 65, and 85), wherein increasing XX values indicate increasing amounts of ethoxylation on a backbone of 2,4,7,9-tetramethyl-5-decyne-4,7-diol (Surfynol® 104). Sodiated triethylene glycol monobutyl ether (TBG) of m/z 229 (C10H22O4Na) was also identified in the seized counterfeit banknotes via EASI(+) FT-ICR MS. Surfynol® and TBG are constituents of inks used for inkjet printing.

Combined External Pressure And Cu-substitution Studies On Bafe2as2 Single Crystals.

We report a combined study of external pressure and Cu-substitution on BaFe2As2 single crystals grown by the in-flux technique. At ambient pressure, the Cu-substitution is known to suppress the spin density wave (SDW) phase in pure BaFe2As2(TSDW ≈ 140 K) and to induce a superconducting (SC) dome with a maximum transition temperature [Formula: see text]. This [Formula: see text] is much lower than the Tc ∼ 15-28 K achieved in the case of Ru, Ni and Co substitutions. Such a lower Tc is attributed to a Cu(2+) magnetic pair-breaking effect. The latter is strongly suppressed by applied pressure, as shown herein, Tc can be significantly enhanced by applying high pressures. In this work, we investigated the pressure effects on Cu(2+) magnetic pair-breaking in the BaFe2-xCuxAs2 series. Around the optimal concentration (xopd = 0.11), all samples showed a substantial increase of Tc as a function of pressure. Yet for those samples with a slightly higher doping level (over-doped regime), Tc presented a dome-like shape with maximum Tc ≃ 8 K. Remarkably interesting, the under-doped samples, e.g. x = 0.02 display a maximum pressure induced Tc ≃ 30 K which is comparable to the maximum Tc's found for the pure compound under external pressures. Furthermore, the magnetoresistance effect as a function of pressure in the normal state of the x = 0.02 sample also presented an evolution consistent with the screening of the Cu(2+) local moments. These findings demonstrate that the Cu(2+) magnetic pair-breaking effect is completely suppressed by applying pressure in the low concentration regime of Cu(2+) substituted BaFe2As2.

Homogeneidade e heterogeneidade nos sistemas educacionais: Argentina, Brasil, Chile e México

This study focus on the reconfiguration of educational management in Argentina, Brazil, Chile and Mexico, which was promoted by the new logic of social regulation and the new role attributed to the State, considering each country's own historicity. So, the cultural factors that interfere on the dynamics of the 90' school reform are analyzed. Aspects that show the homogeneity or heterogeneity of these reforms in the region, as well as local specificities that block out the concretization of the reform are underlined. It is shown that the historicity that characterizes the educational reform has taken, in each country, a form that can be called, in Mexico, conservative rupture; in Chile, conservative continuity; in Brazil, conservative renovation; and, in Argentina, interrupted rupture. Some conclusions about the impact of educational reform in the selected countries are recuperated through the analysis of 186 academic texts on the subject.

Estimativa de bem-estar de frango de corte em função da concentração de amônia e grau de luminosidade no galpão de produção

Brazil is an important poultry meat export country, and large parts of its destination are countries with specific rearing restrictions related to broiler s welfare. One of the aerial pollutants mostly found in high concentrations in closed poultry housing environment is ammonia. There are evidences that broilers welfare may be compromised by the continuous exposition to this pollutant in rearing housing. This research aimed to estimate broilers welfare reared under specific thermal environmental attributes and bird s density, as function of the ammonia concentration and light intensity inside the housing environment using the Fuzzy Theory. Results showed that the best welfare value (0.89 in the scale: 0-1) approximately 90% of the ideal was found in the conditions that associated the ideal thermal environment, with bird s density between 13-15 birds m-2, with values of the ammonia concentration in the environment below 5 ppm, and light intensity near 1 lx. Using the predictive method it was possible to estimate broilers welfare with relation to the ammonia concentration and light intensity in the housing.

Ambiências térmica, aérea e acústica para reprodutores suínos

The swine breeder rearing environment directly affects the animal's performance. This research had the objective of developing a thermal, aerial and acoustic environmental evaluation pattern for boar housing. The experiment was carried on a commercial swine farm in Salto County -SP, Brazil. Thermal, aerial and acoustic environment data of rearing conditions were registered. Data were statistically analyzed using as threshold the ideal housing environment that leads to animal welfare. Results showed that ambient temperature was around 70% beyond normal range, while air relative humidity, air speed and gases concentration were within threshold values. Noise level data besides being within normal range did not present large variation. In relation to the fuzzy logic analysis it was possible to build up a scenario which indicated that the best welfare indexes to male swine breeders happens when thermal comfort index are close to 80%, and noise level is lower than 40 dB. In the other hand the worst welfare index occur in the sector where the thermal comfort values are below 40% at the same time that the noise level is higher than 80 dB leading to inadequate conditions to the animal, and may directly interfere in the reproduction system performance.

Microencapsulação de óleo essencial de laranja

It was done microencapsulation of natural essencial orange oil through spray-drying. The purpose was to use the best proportion of wall materials among maltodextrin, acacia gum, and modified starch (capsul) in order to retain greater amount of orange oil. The orange oil (10%) and maltodextrin (36%) remained constant. Three spray drying temperatures were employed: 180°C, 200°C and 220°C, therefore, nine final products were obtained. The superficial and inner oil concentrations were measured. The microcapsules were also examined through optical and scanning electron microscopy. The three temperatures employed did not affect the microencapsulation. The microstructure of the capsules were almost similar regardless the proportion employed among the carbohydrates to wall composition. At light microscopy it was observed a great heterogeneity of capsules diameters, and probably not smooth surfaces; at scanning electron microscopy it was clear that the walls displayed porosity over round surfaces. The best retention was given by the formula containing 10% of capsul, 10% of orange oil and 36% of maltodextrin, when total oil retention was 94%, regardless the drying temperature here employed.

Programação esportiva na TV Brasil : a influência da ideologia e indústria cultural

Universidade Estadual de Campinas . Faculdade de Educação Física

Perspectivas historicas do movimento Esporte para Todos no Brasil

Universidade Estadual de Campinas . Faculdade de Educação Física

O universo desportivo de cegos e deficientes visuais : uma interpretação

Universidade Estadual de Campinas . Faculdade de Educação Física

Acões motrizes e representações sociais no jogo do laço no vale do Itabapoana

Universidade Estadual de Campinas . Faculdade de Educação Física