Effectiveness of Hindman's theorem for bounded sums

We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and $0 < |F| \leq n$ have the same color. We prove that there is a computable $2$-coloring $c$ of $\mathbb{N}$ such that there is no infinite computable set $X$ such that all nonempty sums of at most $2$ elements of $X$ have the same color. It follows that $\mathsf{HT}^{\leq 2}_2$ is not provable in $\mathsf{RCA}_0$ and in fact we show that it implies $\mathsf{SRT}^2_2$ in $\mathsf{RCA}_0$. We also show that there is a computable instance of $\mathsf{HT}^{\leq 3}_3$ with all solutions computing $0'$. The proof of this result shows that $\mathsf{HT}^{\leq 3}_3$ implies $\mathsf{ACA}_0$ in $\mathsf{RCA}_0$

Dwarf-cashew resistance to whitefly (Aleurodicus cocois) linked tomorphological and histochemical characteristics of leaves.

The cashewwhitefly (CW), Aleurodicus cocois, is an important pest of cashewin Brazil. The use of resistant plants may be an effective strategy for the control of this pest. In a preliminary assay,we found thatdwarf-cashewclones showdifferent levels of resistance to CW.Here,we hypothesized that such resistance is associated with morphological characteristics of cashew leaves and their content of phenolic compounds. We determined (i) the attractiveness and suitability for oviposition of five dwarf-cashew clones towards CW, (ii) the leaf morphology and chemistry of those clones, and (iii) the relationship between leaf characteristics and resistance to CW. In greenhouse multiple-choice assays, PRO143/7 and CCP76 showed, respectively, the lowest and highest counts of both CWadults and eggs. Scanning electron microscopy (SEM) analysis revealed that PRO143/7 and EMBRAPA51 have, respectively, the highest and lowest numbers of leaf glandular trichomes.We found a negative correlation between number of trichomes in the abaxial surface of cashew leaves and CW oviposition. In addition, confocal microscopy analysis and histochemical tests with ferrous sulfate indicated a higher accumulation of phenolic compounds in the resistant clone PRO143/7 relative to the other clones. Dwarf-cashew clones did not significantly differ based on the number of leaf epicuticular striations, and the thickness of both leaf lamina and the epidermal layer. The resistance of dwarf-cashew plants to CW is associated with an elevated number of trichomes and accumulation of high levels of phenolics in leaves. Additionally, the contribution of epicuticular striation density and thickness of leaf lamina/epidermal layer are insignificant

Concentric double hollow grid cathode discharges

A new cathode system, consisting of two concentric spherical hollow grids with two aligned orifices, is investigated by space-resolved Langmuir probe measurements and non-linear dynamics analysis. Negative biases of this spherical hollow grids arrangement lead to the formation of two complex space charge structures in the regions of the orifices. The overall dynamics of the current-voltage characteristic (I–V characteristic) of each discharge is characterized by strong oscillatory behaviour with various waveforms correlated with jumps in the static I–V characteristics. Space-resolved measurements through the two aligned orifices of the two grids show a peak increase of the electron temperature and particle density in the regions of the two space-charge structures. The effects of the biases and Ar pressure on the overall spatial distribution of all plasma parameters are investigated. Two important working points of the concentric double hollow grid cathode discharges are revealed which could make this configuration suitable as an electron source

What life course theoretical models best explain the relationship between exposure to childhood adversity and psychopathology symptoms: Recency, accumulation, or sensitive periods?

Copyright © Cambridge University Press 2018Â. Background Although childhood adversity is a potent determinant of psychopathology, relatively little is known about how the characteristics of adversity exposure, including its developmental timing or duration, influence subsequent mental health outcomes. This study compared three models from life course theory (recency, accumulation, sensitive period) to determine which one(s) best explained this relationship.Methods Prospective data came from the Avon Longitudinal Study of Parents and Children (n = 7476). Four adversities commonly linked to psychopathology (caregiver physical/emotional abuse; sexual/physical abuse; financial stress; parent legal problems) were measured repeatedly from birth to age 8. Using a statistical modeling approach grounded in least angle regression, we determined the theoretical model(s) explaining the most variability (r2) in psychopathology symptoms measured at age 8 using the Strengths and Difficulties Questionnaire and evaluated the magnitude of each association.Results Recency was the best fitting theoretical model for the effect of physical/sexual abuse (girls r2 = 2.35%; boys r2 = 1.68%). Both recency (girls r2 = 1.55%) and accumulation (boys r2 = 1.71%) were the best fitting models for caregiver physical/emotional abuse. Sensitive period models were chosen alone (parent legal problems in boys r2 = 0.29%) and with accumulation (financial stress in girls r2 = 3.08%) more rarely. Substantial effect sizes were observed (standardized mean differences = 0.22-1.18).Conclusions Child psychopathology symptoms are primarily explained by recency and accumulation models. Evidence for sensitive periods did not emerge strongly in these data. These findings underscore the need to measure the characteristics of adversity, which can aid in understanding disease mechanisms and determining how best to reduce the consequences of exposure to adversity

Evaluation of natural and tracer fluorescent emission methods for droplet size measurements in a diesel spray

The final publication is available at Springer via http://dx.doi.org/10.1007/s12239-012-0070-zSpray sizing that records fluorescent emission and scattered light has been widely applied to spray diagnostics over the last two decades. Different experimental strategies have been developed, but comparing the different solutions offered has remained of interest to experimentalists. In this work, a comparison of two fluorescence strategies for measuring droplet size in the liquid phase of a last-generation DI diesel spray is conducted. The natural fluorescent emission of a commercial diesel fuel and the fluorescence emitted by a tracer (Rhodamine B) are compared using theoretical and experimental approaches. The LIF/Mie ratio commonly called Planar Droplet Sizing (PDS) technique is applied in two different ways to elucidate the possible advantages of using a fluorescent dopant. The sprays were injected under non-evaporative conditions into a constant pressure vessel that simulates densities present at the moment of injection in currently used passenger car diesel engines. Characterization of the signal properties was performed by measuring the absorption coefficient, fluorescence emission spectrum, quantum yield and lifetime of both configurations. The scattered light and fluorescence intensities were calculated to verify the dependencies of the droplet surface and volume. When applying the two techniques to quantify droplet size in dense diesel sprays, the results show that signal weakness and lack of control over the properties of natural fluorescence produce distortion in the shape of the spray and cause measurements to be unreliable. © 2012 The Korean Society of Automotive Engineers and Springer-Verlag Berlin Heidelberg.This research has been funded in the frame of the project PROFUEL reference TRA2011-26293 from Ministerio de Ciencia e Innovacion. The injectors are part of the ECN international project.Pastor Soriano, JV.; Payri, R.; Salavert Fernandez, J.; Manin, J. (2012). Evaluation of natural and tracer fluorescent emission methods for droplet size measurements in a diesel spray. International Journal of Automotive Technology. 13(5):713-724. https://doi.org/10.1007/s12239-012-0070-zS713724135Albrecht, H. E., Damaschke, N., Borys, M. and Tropea, C. (2003). Laser Doppler and Phase Doppler Measurement Techniques. Springer. Berlin.Barnes, M. D., Whitten, W. B. and Ramsey, J. M. (1994). Enhanced fluorescence yields through cavity quantumelectrodynamic effects in microdroplets. J. Optical Society of America B 11,7, 1297–1304.Benajes, J., Molina, S., Novella, R., Amorim, R., Ben Hadj Hamouda, H. and Hardy, J. (2010). Comparison of two injection systems in an HSDI diesel engine using split injection and different injector nozzles. Int. J. Automotive Technology 11,2, 139–146.Charalampous, G. and Hardalupas, Y. (2011). Method to reduce errors of droplet sizing based on the ratio of fluorescent and scattered light intensities (laser-induced fluorescence/Mie technique). Applied Optics, 50, 3622–3637.Chen, G., Mazumder, M., Chang, R. K., Swindal, J. C. and Acker, W. P. (1996). Laser diagnostics for droplet characterization: Application of morphology dependent resonances. Progress in Energy and Combustion Science 22,2, 163–188.Desantes, J. M., Payri, R., Garcia, J. M. and Salvador, F. J. (2007). A contribution to the understanding of isothermal diesel spray dynamics. Fuel 86,7–8, 1093–1101.Domann, R. and Hardalupas, Y. A. (2000). Study of parameters that influence the accuracy of the planar droplet sizing (PDS) technique. Part. Part. Syst. Charact. 3–11.Domann, R. and Hardalupas, Y. A. (2001). Spatial distribution of fluorescence within large doplets and its dependence on dye concentration. Applied Optics 40,21, 3586–3597.Domann, R. and Hardalupas, Y. A. (2002). Quantitative measurement of planar droplet sauter mean diameter in sprays using planar droplet sizing. 11th Int. Symp. Application of Laser Techniques to Fluid Mechanics, Lisbon, Portugal.Eckbreth, A. C. (1988). Laser Diagnostics for Combustion Species and Temperature. Abacus. Cambridge. Mass.Greenhalgh, D. A. (1999). Planar measurements of fuel vapour, liquid fuel, liquid droplet size and soot. Planar Optical Measurement Methods for Gas Turbine Components, 1–7.Im, K., Lin, K., Lai, M. and Chon, M. (2011). Breakup modeling of a liquid jet in cross flow. Int. J. Automotive Technology 12,4, 489–496.Jermy, M. C. and Greenhalgh, D. A. (2000). Planar dropsizing by elastic and fluorescence scattering in sprays too dense for phase doppler measurement. Appl. Phys. B, 71, 703–710.Kim, Y., Kim, K. and Lee, K. (2011). Effect of a 2-stage injection strategy on the combustion and flame characteristics in a PCCI engine. Int. J. Automotive Technology 12,5, 639–644.Ko, F. H., Weng, L. Y., Ko, C. J. and Chu, T. C. (2006). Characterization of imprinting polymeric temperature variation with fluorescent Rhodamine B molecule. Microelectronic Engineering, 83, 864–868.Lakowicz, J. R. (2006). Principles of Fluorescence Spectroscopy. 3rd Edn. Springer.Lee, S. H., Teong, J., Lee, J. T., Ryou, H. S. and Hong, K. (2005). Investigation on spray characteristics under ultrahigh injection pressure conditions. Int. J. Automotive Technology 6,2, 125–131.Lee, B., Song, J., Chang, Y. and Jeon, C. (2010). Effect of the number of fuel injector holes on characteristics of combustion and emissions in a diesel engine. Int. J. Automotive Technology 11,6, 783–791.LeGal, P., Farrugia, N. and Greenhalgh, D. A. (1999). Laser sheet dropsizing of dense sprays. Optics and Laser Techn., 31, 75–83.Lockett, R. D., Richter, J. and Greenhalgh, D. A. (1998). The characterisation of a diesel spray using combined laser induced fluorescence and laser sheet dropsizing. Conf. Lasers and Electro-Optics Europe.Magde, D., Rojas, G. E. and Seybold, P. (1999). Solvent dependence of the fluorescence lifetimes of xanthene dyes. Photochem. Photobiol., 70, 737.Naber, J. and Siebers, D. (1996). Effects of gas density and vaporization on penetration and dispersion of diesel sprays. SAE Paper No. 960034.Pastor, J. V., López, J. J., Juliá, J. E. and Benajes, J. V. (2002). Planar laser-induced fluorescence fuel concentration measurements in isothermal diesel sprays. Opt. Express 10,7, 309–323.Pastor, J. V., Payri, R., Araneo, L. and Manin, J. (2009). Correction method for droplet sizing by laser-induced fluorescence in a controlled test situation. Optical Engineering 48,1, 013601.Payri, R., Garcia, J. M., Salvador, F. J. and Gimeno, J. (2005a). Using spray momentum flux measurements to understand the influence of diesel nozzle geometry on spray characteristics. Fuel, 84, 551–561.Payri, R., Salvador, F. J., Gimeno, J. and Soare, V. (2005b). Determination of diesel sprays characteristics in real engine in-cylinder air density and pressure conditions. J. Mech. Sci. Technol., 19, 2040–2052.Payri, R., Tormos, B., Salvador, F. J. and Araneo, L. (2008). Spray droplet velocity characterization for convergent nozzles with three different diameters. Fuel 87,15, 3176–3182.Payri, F., Pastor, J., Payri, R. and Manin, J. (2011). Determination of the optical depth of a DI diesel spray. J. Mech. Sci. Technol., 25, 209–219.Potz, D., Chirst, W. and Dittus, B. (2000). Diesel nozzle: The determining interface between injection system and combustion chamber. Conf. Thermo and Fluid-dynamic Processes in Diesel Engines, Valencia, Spain.Ramírez, A. I., Som, S., Aggarwal, S. K., Kastengren, A. L., El-Hannouny, E. M., Longman, D. E. and Powell, C. F. (2009). Quantitative X-ray measurements of highpressure fuel sprays from a production heavy duty diesel injector. Experiments in Fluids 47,1, 119–134.Schulz, C. and Sick, V. (2005). Tracer-LIF diagnostics: quantitative measurement of fuel concentration, temperature and fuel/air ratio in practical combustion systems. Progress in Energy and Combustion Science, 31, 75–121.Sjoback, R. and Nygren, J. and Kubista, M. (1998). Characterization of fluorescein—oligonucleotide conjugates and measurement of local electrostatic potential. Biopolymers, 46, 445–453.Soare, V. (2007). Phase Doppler Measurement in Diesel Dense Sprays: Optimisation of Measurements and Study of the Orifice Geometry Influence Over the Spray at Microscopic Level. Ph.D. Dissertion. E.T.S. Ingenieros Industriales. Universidad Politécnica de Valencia. Spain.Williams, A. T. R., Winfield, S. A. and Miller, J. N. (1983). Relative fluorescence quantum yields using a computer controlled luminescence spectrometer. Analyst., 108, 1067.Yeh, C. N., Kosaka, H. and Kamimoto, T. A. (1993). Fluorescence/scattering imaging technique for instantaneous 2-D measurements of particle size distribution in a transient spray. Proc. 3rd Cong. Opt. Part. Sizing, Yokohama, Japan, 335–361

Numerical and experimental analysis of wrinkling during the cup drawing of an AA5042 aluminium alloy

The recent trend to reduce the thickness of metallic sheets used in forming processes strongly increases the likelihood of the occurrence of wrinkling. Thus, in order to obtain defect-free components, the prediction of this kind of defect becomes extremely important in the tool design and selection of process parameters. In this study, the sheet metal forming process proposed as a benchmark in the Numisheet 2014 conference is selected to analyse the influence of the tool geometry on wrinkling behaviour, as well as the reliability of the developed numerical model. The side-wall wrinkling during the deep drawing process of a cylindrical cup in AA5042 aluminium alloy is investigated through finite element simulation and experimental measurements. The material plastic anisotropy is modelled with an advanced yield criterion beyond the isotropic (von Mises) material behaviour. The results show that the shape of the wrinkles predicted by the numerical model is strongly affected by the finite element mesh used in the blank discretization. The accurate modelling of the plastic anisotropy of the aluminium alloy yields numerical results that are in good agreement with the experiments, particularly the shape and location of the wrinkles. The predicted punch force evolution is strongly influenced by the friction coefficient used in the model. Moreover, the two punch geometries provide drawn cups with different wrinkle waves, mainly differing in amplitude.The authors gratefully acknowledge the financial support of the Portuguese Foundation for Science and Technology (FCT) under project PTDC/EMS-TEC/1805/2012. The first author is also grateful to the FCT for the Postdoctoral grant SFRH/BPD/101334/2014 and P.D. Barros is grateful to the FCT for the PhD Grant SFRH/BD/98545/2013info:eu-repo/semantics/publishedVersio

Plasma physics and control studies planned in JT-60SA for ITER and DEMO operations and risk mitigation

| openaire: EC/H2020/633053/EU//EUROfusionA large superconducting machine, JT-60SA has been constructed to provide major contributions to the ITER program and DEMO design. For the success of the ITER project and fusion reactor, understanding and development of plasma controllability in ITER and DEMO relevant higher beta regimes are essential. JT-60SA has focused the program on the plasma controllability for scenario development and risk mitigation in ITER as well as on investigating DEMO relevant regimes. This paper summarizes the high research priorities and strategy for the JT-60SA project. Recent works on simulation studies to prepare the plasma physics and control experiments are presented, such as plasma breakdown and equilibrium controls, hybrid and steady-state scenario development, and risk mitigation techniques. Contributions of JT-60SA to ITER and DEMO have been clarified through those studies.Peer reviewe

Complex type 4 structure changing dynamics of digital agents: Nash equilibria of a game with arms race in innovations

The new digital economy has renewed interest in how digital agents can innovate. This follows the legacy of John von Neumann dynamical systems theory on complex biological systems as computation. The Gödel-Turing-Post (GTP) logic is shown to be necessary to generate innovation based structure changing Type 4 dynamics of the Wolfram-Chomsky schema. Two syntactic procedures of GTP logic permit digital agents to exit from listable sets of digital technologies to produce novelty and surprises. The first is meta-analyses or offline simulations. The second is a fixed point with a two place encoding of negation or opposition, referred to as the Gödel sentence. It is postulated that in phenomena ranging from the genome to human proteanism, the Gödel sentence is a ubiquitous syntactic construction without which escape from hostile agents qua the Liar is impossible and digital agents become entrained within fixed repertoires. The only recursive best response function of a 2-person adversarial game that can implement strategic innovation in lock-step formation of an arms race is the productive function of the Emil Post [58] set theoretic proof of the Gödel incompleteness result. This overturns the view of game theorists that surprise and innovation cannot be a Nash equilibrium of a game