Strain-induced kinetics of intergrain defects as the mechanism of slow dynamics in the nonlinear resonant response of humid sandstone bars

A closed-form description is proposed to explain nonlinear and slow dynamics effects exhibited by sandstone bars in longitudinal resonance experiments. Along with the fast subsystem of longitudinal nonlinear displacements we examine the strain-dependent slow subsystem of broken intergrain and interlamina cohesive bonds. We show that even the simplest but phenomenologically correct modelling of their mutual feedback elucidates the main experimental findings typical for forced longitudinal oscillations of sandstone bars, namely, (i) hysteretic behavior of a resonance curve on both its up- and down-slopes, (ii) linear softening of resonant frequency with increase of driving level, and (iii) gradual recovery (increase) of resonant frequency at low dynamical strains after the sample was conditioned by high strains. In order to reproduce the highly nonlinear elastic features of sandstone grained structure a realistic non-perturbative form of strain potential energy was adopted. In our theory slow dynamics associated with the experimentally observed memory of peak strain history is attributed to strain-induced kinetic changes in concentration of ruptured inter-grain and inter-lamina cohesive bonds causing a net hysteretic effect on the elastic Young's modulus. Finally, we explain how enhancement of hysteretic phenomena originates from an increase in equilibrium concentration of ruptured cohesive bonds that are due to water saturation.Comment: 5 pages, 3 figure

Modeling and simulation of phase-transitions in multicomponent aluminum alloy casting

The casting process of aluminum products involves the spatial distribution of alloying elements. It is essential that these elements are uniformly distributed in order to guarantee reliable and consistent products. This requires a good understanding of the main physical mechanisms that affect the solidification, in particular the thermodynamic description and its coupling to the transport processes of heat and mass that take place. The continuum modeling is reviewed and methods for handling the thermodynamics component of multi-element alloys are proposed. Savings in data-storage and computing costs on the order of 100 or more appear possible, when a combination of data-reduction and data-representation methods is used. To test the new approach a simplified model was proposed and shown to qualitatively capture the evolving solidification front

Ons Europaplein : ontwerp voor een nieuw Europaplein in Renkum

Het Europaplein in Renkum ligt er triest bij. Er is veel achterstallig onderhoud en het plein wordt als veel te stenig ervaren. Op basis van een gedegen sociaal ruimtelijke analyse en in nauwe samenspraak met de gebruikers van het plein is een schetsontwerp gemaakt voor een nieuw Europaplein: interessant voor iedereen met fijne plekken om te zitten en te spelen met midden op het plein mogelijkheden voor verschillende activiteiten. Het ontwerp is zo opgebouwd dat een gefaseerde realisatie mogelijk is. Afhankelijk van beschikbare financiering kunnen verschillende opties al dan niet worden uitgevoerd. Het ontwerp hoeft niet in één keer uitgevoerd te worden. De aanleg kan gespreid gerealiseerd worden zonder dat de kwaliteit van de uiteindelijke beoogde verbeteringen in het geding komt

FIRST RESULTS OF MICROSPHERE EMBOLIZATION AS AN ALTERNATIVE FOR ALCOHOL IN PERCUTANEOUS TRANSLUMINAL SEPTAL MYOCARDIAL ABLATION

Farrando Sicilia, Jordi; Fuente Fuente, Carlo

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents, and nested sequents. Here we adapt the method to a more general external formalism of labelled sequents and provide sufficient criteria on the Kripke-frame characterization of a logic that guarantee the IPs. In particular, we show that classes of frames definable by quantifier-free Horn formulas correspond to logics with the IPs. These criteria capture the modal cube and the infinite family of transitive Geach logics

ОБМЕН СООБЩЕНИЯМИ В МИКС-СЕТЯХ

Рассмотрена идея Д.Чаума организации анонимной микс-сети с пересылкой сообщений через каскад миксов (передаточных узлов) и последовательным шифрованием всех промежуточных результатов. Описаны задачи, решаемые миксами в ходе обеспечения анонимности связи, обговариваются проблемы ее безопасности

The effects of fruit smoothies on enamel erosion

Objectives: This prospective, randomised in vitro study was to investigate the pH and titratable acidity of fruit smoothie drinks and to assess the effect of these drinks on enamel erosion. Method: Fifty enamel slabs were divided into five groups which were allocated to the sample solutions groups: Innocent® smoothie strawberries and bananas (SB), Innocent® smoothie mangoes and passion fruit (MP) and Diet Coke. Distilled deionised water (DD) was used as negative control and citric acid 0.3 % as positive control. All the slabs were subjected to a 21-day pH cycling regime involving 2 min of immersions, five times a day with appropriate remineralization periods in between. Measurement of surface loss was assessed using profilometry. Independent sample t tests were used to compare mean. Results: The titratable acidity for both test smoothies were 3.5-4 times more than that needed to neutralise Diet Coke and citric acid 0.3 %. The pH of SB, MP smoothie and Diet Coke was found to be 3.73, 3.59 and 2.95, respectively. MP smoothie caused the greatest amount of surface loss followed by Diet Coke. Both smoothies were found to cause significant surface loss. MP smoothie resulted in significantly higher surface loss compared with MB smoothie and citric acid 3 %. Conclusion: The smoothies tested were acidic and had high titratable acidity. They produced a significant erosion of enamel in vitro. The results of this study suggest that there should be increased awareness of the erosive effects of smoothies especially as their consumption seems to be on the increase

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract)

Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in concept learning, interactive concept specification, and concept refinement) as well as for illustrating concept expressions to a user or domain expert. We investigate the power of labeled examples for describing description logic concepts. Specifically, we systematically study the existence and efficient computability of finite characterizations, i.e., finite sets of labeled examples that uniquely characterize a single concept, for a wide variety of description logics between ℰℒ and AℒCQℐ, both without an ontology and in the presence of a DL-Lite ontology. Finite characterizations are relevant for debugging purposes, and their existence is a necessary condition for exact learnability with membership queries.</p

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract)

Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in concept learning, interactive concept specification, and concept refinement) as well as for illustrating concept expressions to a user or domain expert. We investigate the power of labeled examples for describing description logic concepts. Specifically, we systematically study the existence and efficient computability of finite characterizations, i.e., finite sets of labeled examples that uniquely characterize a single concept, for a wide variety of description logics between ℰℒ and AℒCQℐ, both without an ontology and in the presence of a DL-Lite ontology. Finite characterizations are relevant for debugging purposes, and their existence is a necessary condition for exact learnability with membership queries.</p

Модель оцінки ефективності праці персоналу на енергетичних підприємствах

Представлена розробка моделі оцінки ефективності праці для різних категорій персоналу енергетичних підприємств з урахуванням підходу до визначення компетенцій і функціональних обов’язків персоналу, їх розвитку та вдосконалення при забезпеченні бізнес-процесів і підвищенні ефективності діяльності підприємства в цілому. Ключові слова: модель, оцінка ефективності праці, персонал, енергетичні підприємства, бізнес-процеси.Представлена разработка модели оценки эффективности работы для разных категорий персонала энергетических предприятий с учетом подхода к определению компетенций и функциональных обязанностей персонала, их развития и усовершенствования при обеспечении бизнес-процессов и повышении эффективности деятельности предприятия в целом. Ключевые слова: модель, оценка эффективности труда, персонал, энергетические предприятия, бизнес-процессы.The paper presents a model of estimation of labour efficiency for different categories of energy companies’ personnel taking into account the approach of personnel’s competences and functional obligations determination, their development and improvement under providing business processes and increase of enterprises’ efficiency. Keywords: model, estimation of labour efficiency, personnel, energy companies, business processes