Mathematical model of welding parameters for rapid prototyping using robot welding

Rapid Prototyping is a relatively new technology that allows the creation of prototypes in a very short period of time compared with traditional manufacturing techniques. First, a model of the prototype is drawn, using a computer aided design program, which is then mathematically ‘sliced’ and used to build the prototype layer by layer, using material such as paper, resins, or thermoplastics, depending on the process. The main disadvantage of these processes is that they do not allow metal as a raw material. Rapid Prototyping using Robot welding is another approach that overcomes this problem by using a welding robot that deposits metal. As the success of the final component quality depends very much on the welding parameters, it is important to automate their calculation. To automate the task of determining the welding parameters and to generate welded components with consistent quality, a very simple mathematical algorithm was created. The tests carried out to gather the necessary information to generate this model, the mathematical model itself, the limitations of the equations, and the tests to check their feasibility are described. At the time the work was carried out, the authors were in the welding Engineering Groups, SIMS, Cranfield University, Cranfield, Beds. MK43 0SY, UK. Dr Ribeiro is now in the Department of Industrial Electronics, University of Minho, 4800 Guimarães, Portugal and Professor Norrish is in the Faculty of Engineering, University of Wollongong, Wollongong, NSW 2522, Australia. Manuscript received 12 May 1997; in final form 20 June 1997

Chewing gum moderates multi-task induced shifts in stress, mood, and alertness: A re-examination

The finding that chewing gum can moderate stress and mood changes following a multi-task cognitive stressor (Scholey, Haskell, Robertson, Kennedy, Milne, and Wetherell, 2009) was re-examined. In a repeated measures cross-over design, thirty participants completed a 20-minute multi-tasking stressor on consecutive days, both with and without chewing gum. Both prior to and post stressor, participants provided salivary cortisol samples and self-rated measures of stress, state anxiety, calmness, contentedness, and alertness. Contrary to Scholey et al. (2009), chewing gum failed to attenuate both salivary cortisol levels and the increase in self-rated stress. Self-rated anxiety, calmness, and contentedness were not impacted by chewing gum. This suggests that the stress effects reported by Scholey et al. may be constrained by particular features of that study (e.g. morning testing). However, consistent with Scholey et al. (2009), chewing gum was shown to increase alertness following the stressor. The mechanisms underpinning heightened alertness are unclear; however, such increases may be linked to greater cerebral activity following the chewing of gum (Fang Li, Lu, Gong, and Yew, 2005)

An Improved Implementation and Abstract Interface for Hybrid

Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

La relación personal en el tratamiento de la diversidad

El autor centra su aportación en diferentes características de los organismos vivos, para incorporarlas a las perspectivas interpretativas y operativas, y de los métodos actuales de intervención educativa. En el texto también se trata el enfoque positivo desde la dimensión técnica y no «voluntarista», teniendo en cuenta que los especialistas que adoptan la perspectiva del enfoque positivo dan mucha importancia al tema de la calidad de vida.L'autor centra la seva aportació en diferents característiques dels organismes vius, per incorporar- les a les perspectives interpretatives i operatives, i dels mètodes actuals d'intervenció educativa. Al text també es tracta l'enfocament positiu des de la seva dimensió tècnica i no «voluntarista», tenint en compte que els especialistes que adopten la perspectiva de l'enfocament positiu donen molta importància al tema de la qualitat de vida.The author focuses on the different characteristics of the alive organisms in order to include them into the interpretative and operative views of the current methods of educational intervention. He also deals with the positive focus, from the technical and «no voluntary» dimension, taking into account that those specialists having this kind of view do emphasize a lot on the quality of life issue

The effect of chewing gum on physiological and self-rated measures of alertness and daytime sleepiness

The proposition that chewing gum can improve alertness was investigated via both physiological and self-rated measures. The Pupillographic Sleepiness Test (PST) provided a measure of pupillary unrest (PUI); a physiological index of daytime sleepiness. Chewing gum reduced the extent of sleepiness as measured by both PUI and self-rated sleepiness. Specifically, in comparison with sham chewing and no chewing controls, the chewing gum condition significantly limited the increase in pupillary unrest following the 11-minute PST within a darkened laboratory: a finding indicating moderation of the daytime sleepiness increase for the chewing gum condition. In addition, there was some evidence that chewing gum (relative to the no-chewing condition only) moderated the increase in a self-rated measure of sleepiness (Stanford Sleepiness Scale). However, there was no evidence that chewing gum moderated the decrease in self-rated alertness (Bond-Lader Visual Analogue Mood Scale). Although the precise mechanism underpinning the effect of chewing gum is unclear, the reduction in daytime sleepiness may be underpinned via heightened cerebral activity following the chewing of gum or the arousing effects of mint flavour

Effect of dietary omega-3 fatty acids on castrate-resistant prostate cancer and tumor-associated macrophages.

BackgroundM2-like macrophages are associated with the pathogenesis of castrate-resistant prostate cancer (CRPC). We sought to determine if dietary omega-3 fatty acids (ω-3 FAs) delay the development and progression of CRPC and inhibit tumor-associated M2-like macrophages.MethodsMycCap cells were grown subcutaneously in immunocompetent FVB mice. Mice were castrated when tumors reached 300 mm2. To study effects of dietary ω-3 FAs on development of CRPC, ω-3 or ω-6 diets were started 2 days after castration and mice sacrificed after early regrowth of tumors. To study ω-3 FA effects on progression of CRPC, tumors were allowed to regrow after castration before starting the diets. M2 (CD206+) macrophages were isolated from allografts to examine ω-3 FA effects on macrophage function. Omega-3 fatty acid effects on androgen-deprived RAW264.7 M2 macrophages were studied by RT-qPCR and a migration/ invasion assay.ResultsThe ω-3 diet combined with castration lead to greater MycCap tumor regression (tumor volume reduction: 182.2 ± 33.6 mm3) than the ω-6 diet (tumor volume reduction: 148.3 ± 35.2; p = 0.003) and significantly delayed the time to CRPC (p = 0.006). Likewise, the ω-3 diet significantly delayed progression of established castrate-resistant MycCaP tumors (p = 0.003). The ω-3 diet (as compared to the ω-6 diet) significantly reduced tumor-associated M2-like macrophage expression of CSF-1R in the CRPC development model, and matrix metallopeptidase-9 (MMP-9) and vascular endothelial growth factor (VEGF) in the CRPC progression model. Migration of androgen-depleted RAW264.7 M2 macrophages towards MycCaP cells was reversed by addition of docosahexaenoic acid (ω-3).ConclusionsDietary omega-3 FAs (as compared to omega-6 FAs) decreased the development and progression of CRPC in an immunocompetent mouse model, and had inhibitory effects on M2-like macrophage function. Clinical trials are warranted evaluating if a fish oil-based diet can delay the time to castration resistance in men on androgen deprivation therapy, whereas further preclinical studies are warranted evaluating fish oil for more advanced CRPC

Construire les fonctions récursives totales en Coq

International audienceWe present a (relatively) short mechanized proof that Coq types any recursive function which is provably total in Coq. The well-founded (and terminating) induction scheme, which is the foundation of Coq recursion, is maximal. We implement an unbounded minimization scheme for decidable predicates. It can also be used to reify a whole category of undecidable predicates. This development is purely constructive and requires no axiom. Hence it can be integrated into any project that might assume additional axioms

High prevalence of early repolarization in the paediatric relatives of sudden arrhythmic death syndrome victims and in normal controls

AIMS: Elevation of the ECG J-point in the inferior and lateral leads (early repolarization) has been described in survivors of ventricular fibrillation (VF) arrest and occurs in adult first-degree relatives of sudden cardiac death (SCD) probands at a frequency significantly greater than in controls, raising the possibility that this could represent an independent risk factor in the aetiology of SCD. However, data on early repolarization in the paediatric population are lacking. This study aimed to assess the prevalence of early repolarization in paediatric first-degree relatives of sudden arrhythmic death syndrome (SADS) victims. METHODS AND RESULTS: Paediatric relatives (aged 1 mV from baseline. The ECGs of 77 consecutive paediatric first-degree relatives of SADS victims from 46 families were reviewed by two assessors. J-point elevation was present in 24 patients (31%) of this patient group compared with the reported prevalence of 5–13% in the published general paediatric population (P = 0.02) and that of 19% in the internal control group (P = 0.07). Subgroup analysis according to J-point elevation and ST segment morphologies showed a significantly higher prevalence of inferior early repolarization 0.1–0.2 mV in the study group compared with controls (75 vs. 38%; P = 0.02). CONCLUSION: Inferolateral J-point elevation occurs in a substantial proportion of paediatric first-degree relatives of SADS probands with a similar prevalence to that described in adults. This suggests that early repolarization could be an important inherited trait when evaluating relatives of SADS victims. However, prospective follow-up of this group of children is important to establish the implication of this finding in future risk stratification, given the apparently high prevalence in normal individuals

Cognitive facilitation following intentional odor exposure

This paper reviews evidence that, in addition to incidental olfactory pollutants, intentional odor delivery can impact cognitive operations both positively and negatively. Evidence for cognitive facilitation/interference is reviewed alongside four potential explanations for odor-induced effects. It is concluded that the pharmacological properties of odors can induce changes in cognition. However, these effects can be accentuated/attenuated by the shift in mood following odor exposure, expectancy of cognitive effects, and cues to behavior via the contextual association with the odor. It is proposed that greater consideration is required in the intentional utilization of odors within both industrial and private locations, since differential effects are observed for odors with positive hedonic qualities