A 3D finite element model of rolling contact fatigue for evolved material response and residual stress estimation

Rolling bearing elements develop structural changes during rolling contact fatigue (RCF) along with the non-proportional stress histories, evolved residual stresses and extensive work hardening. Considerable work has been reported in the past few decades to model bearing material hardening response under RCF; however, they are mainly based on torsion testing or uniaxial compression testing data. An effort has been made here to model the RCF loading on a standard AISI 52100 bearing steel with the help of a 3D Finite Element Model (FEM) which employs a semi-empirical approach to mimic the material hardening response evolved during cyclic loadings. Standard bearing balls were tested in a rotary tribometer where pure rolling cycles were simulated in a 4-ball configuration. The localised material properties were derived from post-experimental subsurface analysis with the help of nanoindentation in conjunction with the expanding cavity model. These constitutive properties were used as input cyclic hardening parameters for FEM. Simulation results have revealed that the simplistic power-law hardening model based on monotonic compression test underpredicts the residual generation, whereas the semi-empirical approach employed in current study corroborated well with the experimental findings from current research work as well as literature cited. The presence of high compressive residual stresses, evolved over millions of RCF cycles, showed a significant reduction of maximum Mises stress, predicting significant improvement in fatigue life. Moreover, the predicted evolved flow stresses are comparable with the progression of subsurface structural changes and be extended to develop numerical models for microstructural alterations

The ultrafilter number for singular cardinals

We prove the consistency of a singular cardinal $\lambda$ with small value of the ultrafilter number $u_\lambda$, and arbitrarily large value of $2^\lambda$.Comment: 8 page

Development of white etching bands under accelerated rolling contact fatigue

Bearing steel under severe loading condition undergoes substantial subsurface microstructural alterations known as Dark etching regions and white etching bands. White etching bands (WEBs) develop after hundreds of millions of stress cycles in bearing components and have been reported for several decades but the formation mechanism of white bands is not fully elucidated. Current research presents a systematic rolling contact fatigue (RCF) testing in a rotary tribometer under accelerated conditions, where rolling cycles are simulated in a 4-ball test configuration. The post RCF investigations have been carried out to understand the formation mechanism of WEBs in a ball-on-ball point contact load. WEBs have been characterised with the help of nanoindentation and Energy-dispersive X-ray spectroscopy analysis. The quantitative analysis of WEBs growth with subsurface stress field has revealed that the unique orientations of white bands are governed by the plane of maximum relative normal stress along the contact track. Moreover, the accelerated growth and reversal of WEBs sequence at elevated temperature have revealed that the WEBs formation is dependent on temperature/load combination. The observed growth of lenticular carbides in current research is also compared with dislocation gliding model and the role of carbon diffusion within WEBs is highlighted

A General Framework for Sound and Complete Floyd-Hoare Logics

This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the category of pre-orders and monotone relations. We give several examples of how our theory generalises usual Hoare logics (partial correctness of while programs, partial correctness of pointer programs), and provide some case studies on how it can be used to develop new Hoare logics (run-time analysis of while programs and stream circuits).Comment: 27 page

Logical Dreams

We discuss the past and future of set theory, axiom systems and independence results. We deal in particular with cardinal arithmetic

Towards an Axiomatization of Simple Analog Algorithms

International audienceWe propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation

Adding many Baumgartner clubs

I define a homogeneous ℵ2–c.c. proper product forcing for adding many clubs of ω1 with finite conditions. I use this forcing to build models of b(ω1)=ℵ2, together with d(ω1) and 2ℵ0 large and with very strong failures of club guessing at ω1

Working Group on Biological Parameters (WGBIOP) 2021

The main objective of the Working Group on Biological Parameters (WGBIOP) is to review the status, issues, developments, and quality assurance of biological parameters used in assessment and management. WGBIOP (1) plans workshops, exchanges, and validation studies on a range of biological varia-bles to review the quality of information supplied for stock assessment and improve quality as-surance and training; (2) investigates data availability and develops documentation and methods to improve communication between data collectors and end-users; (3) delivers new and im-proved functionality for the SmartDots platform. Four otolith exchanges and two workshops were completed in 2020–2021 using SmartDots— eight further exchanges are ongoing. Proposed future exchanges and workshops were reviewed and approved. The development of the SmartDots platform proceeded with the inclusion of the maturity, eggs, atresia, fecundity, and larval identification modules into the software version. A live SmartDots tutorial for event coordinators was conducted. Work to further develop quality assurance guidelines—and review national applications of these—progressed. Age and maturity validation studies were reviewed and a new method for prioritizing future validation work was proposed. Progress with the Stock Identification Database (SID) was reviewed, and the potential for creating a WGBIOP library collection and active involvement of WGBIOP in updating FishBase.org data were evaluated. The importance of identifying and documenting links be-tween all relevant databases and document repositories was identified, and a task to address this was initiated. Work on improving the feedback loop between data collectors and stock assessors on the usage and quality of biological parameters in stock assessment continued. Moving forward, WGBIOP aims to continue collaboration with WGALES and WGSMART on the development of the SmartDots platform, encouraging cross-group sharing of skills and ex-perience to optimize results. WGBIOP aims to improve accessibility to its outputs through up-dates to SID and FishBase.org, and the potential creation of a WGBIOP library collection. WGBIOP hopes to improve two-way communication between data collectors and end-users around the quality and utility of biological parameters used in assessment. WGBIOP also aims to amalgamate all validation activities into one coherent workstream.ICE

Television viewing, food preferences, and food habits among children: A prospective epidemiological study

<p>Abstract</p> <p>Background</p> <p>Obesity has increased since the early 1980s, and despite numerous attempts, effective strategies to counter this worldwide epidemic are lacking. Food preferences are established early in life and are difficult to change later. There is therefore a need to identify factors that influence the development of food preferences. Our aim was therefore, to investigate cross-sectional and prospective associations between TV viewing habits and food preferences and habits, respectively. We hypothesized that more TV viewing was associated with less healthy concomitant and future food preferences and food habits.</p> <p>Methods</p> <p>Data are from the Danish part of European Youth Heart Study (EYHS) I and II, a prospective cohort study conducted among 8-10-year-old and 14-16-year-old Danes in 1997-98. Six years later 2003-04 the 8-10-year-olds were followed up at age 14-16 years, and a new group of 8-10-year olds were included. Data were analysed using mixed linear regression analysis. Cross-sectional analyses included 697 8-10-year-olds and 495 14-16-year-olds. Prospective analyses included 232 pupils with complete data at baseline and follow-up. Associations between TV viewing habits and the sum of healthy food preferences (ΣHFP), and the sum of healthy food habits (ΣHFH), respectively, were examined.</p> <p>Results</p> <p>Inverse cross-sectional associations between TV viewing (h/day) and both ΣHFP and ΣHFH were present for both the 8-10-year-old and the 14-16-year-old boys and girls. The frequency of meals in front of the TV (times/week) was also inversely associated with ΣHFP among 8-10-year-old boys, and with ΣHFH in all sex- and age groups. Among girls, baseline TV viewing (h/day) was directly associated with adverse development in the ΣHFP during follow-up. The concomitant 6-year changes in ΣHFH and TV viewing (h/day) were inversely associated in boys.</p> <p>Conclusions</p> <p>Long time spent on TV viewing, and possibly to a lesser degree, frequent consumption of meals during TV viewing, seem to be associated with generally having unhealthy food preferences and food habits among school-aged children. These associations, however, were not generally persistent after 6 years of follow-up.</p

Hypothermia following antipsychotic drug use

Objective: Hypothermia is an adverse drug reaction (ADR) of antipsychotic drug (APD) use. Risk factors for hypothermia in ADP users are unknown. We studied which risk factors for hypothermia can be identified based on case reports. Method: Case reports of hypothermia in APD-users found in PUBMED or EMBASE were searched for risk factors. The WHO international database for Adverse Drug Reactions was searched for reports of hypothermia and APD use. Results: The literature search resulted in 32 articles containing 43 case reports. In the WHO database, 480 reports were registered of patients developing hypothermia during the use of APDs which almost equals the number of reports for hyperthermia associated with APD use (n=524). Hypothermia risk seems to be increased in the first days following start or dose increase of APs. APs with strong 5-HT2 antagonism seem to be more involved in hypothermia; 55% of hypothermia reports are for atypical antipsychotics. Schizophrenia was the most prevalent diagnosis in the case reports. Conclusion: Especially in admitted patients who are not able to control their own environment or physical status, frequent measurements of body temperature (with a thermometer that can measure low body temperatures) must be performed in order to detect developing hypothermia