Arithmetic-arboreal residue structures induced by Prufer extensions : An axiomatic approach

We present an axiomatic framework for the residue structures induced by Prufer extensions with a stress upon the intimate connection between their arithmetic and arboreal theoretic properties. The main result of the paper provides an adjunction relationship between two naturally defined functors relating Prufer extensions and superrigid directed commutative regular quasi-semirings.Comment: 56 page

Визначення технологічних параметрів процесу ущільнення ґрунту

The article is devoted to determine the technological parameters of soil compaction by rollers according to soil properties in construction. The compaction of the soil occurs due to certain force loads on the soil. Nowadays, there are enough methods to determine the technological parameters of soil compaction process, however, there are few research methods that consider the system of soil-machine-technological parameters. The urgency of the soil compaction process, which ultimately determines the quality of construction products, was emphasized. The basic physical and mechanical properties of soil and technological parameters of the compaction process were given. Analysis of discrete mathematical model of interaction between roller and soil was carried out in order to determine the technological parameters of soil compaction process in the field of construction technologies. A rheological model to describe the soil properties was used. The differential equations of the interaction between roller and soil have been made. A numerical calculation method to solve the differential equations has been proposed. The basic technological parameters of soil compaction process by rollers have been determined - the thickness of soil layer to be compacted, the number of the roller passes, and the speed of the roller movement. The methodology of theoretical and experimental researches of interaction between roller and soil has been proposed in order to clarify the mathematical model and to find the technological parameters of the compaction process. Experimental research methods are based on the determination of the stress-strain state of soil and on the Fourier analysis of the experimental data. Fourier analysis of the experimental data makes it possible to analyze the qualitative energy spectrum of the interaction between roller and soil to determine the rational amplitude-frequency characteristics of the compaction process. Experimental studies allow obtaining such rheological properties of soil as elasticity, viscosity, coefficient of elastic resistance, etc. The main recommendations for the choice of compaction method depending on the type of soil have been proposed.Стаття присвячена визначенню технологічних параметрів ущільнення ґрунтів котками з урахуванням властивостей ґрунту в умовах будівництва. Ущільнення ґрунту відбувається за рахунок певних силових навантажень на ґрунт. На сьогоднішній день розроблено достатньо методів визначення технологічних параметрів процесу ущільнення, проте методів досліджень, що розглядають систему ґрунт-машина-технологічні параметри, існує небагато. Підкреслено актуальність процесу ущільнення ґрунту, що в кінцевому результаті, визначає якість будівельної продукції в цілому. Наведено основні фізико-механічні властивості ґрунту а також технологічні параметри процесу ущільнення. Проведено аналіз дискретної математичної моделі взаємодії котка з ґрунтом основи з ціллю визначення  технологічних параметрів процесу ущільнення ґрунтів в умовах будівельного виробництва. Для описання властивостей ґрунту використано реологічну модель. Складено диференційні рівняння взаємодії котка з ґрунтом основи. Для розв’язання диференційних рівнянь запропоновано чисельний метод розрахунку. Визначено основні технологічні параметри процесу ущільнення ґрунту котками – товщина шару ґрунту, що ущільнюється, кількість проходок котка а також швидкість руху котка. Запропоновано методологію теоретико-експериментальних досліджень взаємодії котка з ґрунтом основи з метою уточнення математичної моделі і знаходження технологічних параметрів процесу ущільнення. Експериментальні методи досліджень ґрунтуються на визначенні напружено-деформованого стану ґрунту а також на проведенні Фур’є-аналізу експериментальних даних. Фур’є-аналіз експериментальних даних дає можливість проаналізувати якісний енергетичний спектр взаємодії котка з ґрунтом і призначити раціональні амплітудно-частотні характеристики процесу ущільнення.  Експериментальні дослідження дають можливість отримати такі реологічні властивості ґрунту як пружність, в’язкість, коефіцієнт непружного опору та ін. Наведено основні рекомендації по вибору методу ущільнення в залежності від виду ґрунту

Solvable Lie algebras are not that hypo

We study a type of left-invariant structure on Lie groups, or equivalently on Lie algebras. We introduce obstructions to the existence of a hypo structure, namely the 5-dimensional geometry of hypersurfaces in manifolds with holonomy SU(3). The choice of a splitting g^*=V_1 + V_2, and the vanishing of certain associated cohomology groups, determine a first obstruction. We also construct necessary conditions for the existence of a hypo structure with a fixed almost-contact form. For non-unimodular Lie algebras, we derive an obstruction to the existence of a hypo structure, with no choice involved. We apply these methods to classify solvable Lie algebras that admit a hypo structure.Comment: 21 pages; v2: presentation improved, typos corrected, notational conflicts eliminated. To appear in Transformation Group

Improved Beamforming for Lateral Oscillations in Elastography Using Synthetic Aperture Imaging

International audienc

Characterization of microRNA expression in bovine adipose tissues: a potential regulatory mechanism of subcutaneous adipose tissue development

<p>Abstract</p> <p>Background</p> <p>MicroRNAs (miRNAs), a family of small non-coding RNA molecules, appear to regulate animal lipid metabolism and preadipocyte conversion to form lipid-assimilating adipocytes (<it>i.e. </it>adipogenesis). However, no miRNA to date has been reported to modulate adipogenesis and lipid deposition in beef cattle.</p> <p>Results</p> <p>The expression patterns of 89 miRNAs including four bovine specific miRNAs in subcutaneous adipose tissues from three groups of crossbred steers differing in backfat thickness were compared using qRT-PCR analysis. Eighty-six miRNAs were detectable in all samples, with 42 miRNAs differing among crossbreds (P < 0.05) and 15 miRNAs differentially expressed between tissues with high and low backfat thickness (P < 0.05). The expression levels of 18 miRNAs were correlated with backfat thickness (P < 0.05). The miRNA most differentially expressed and the most strongly associated with backfat thickness was miR-378, with a 1.99-fold increase in high backfat thickness tissues (r = 0.72).</p> <p>Conclusions</p> <p>MiRNA expression patterns differed significantly in response to host genetic components. Approximately 20% of the miRNAs in this study were identified as being correlated with backfat thickness. This result suggests that miRNAs may play a regulatory role in white adipose tissue development in beef animals.</p

On the classification of conditionally integrable evolution systems in (1+1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1+1)-dimensional evolution equations of order $n$ that admit an $N$-shock type solution with $N\leq n+1$. To this end we develop a refinement of the technique from our earlier work (A. Sergyeyev, J. Phys. A: Math. Gen, 35 (2002), 7653--7660), where we completely characterized all (1+1)-dimensional evolution systems \bi{u}_t=\bi{F}(x,t,\bi{u},\p\bi{u}/\p x,...,\p^n\bi{u}/\p x^n) that are conditionally invariant under a given generalized (Lie--B\"acklund) vector field \bi{Q}(x,t,\bi{u},\p\bi{u}/\p x,...,\p^k\bi{u}/\p x^k)\p/\p\bi{u} under the assumption that the system of ODEs \bi{Q}=0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in $t$, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics. Keywords: Exact solutions, nonlinear evolution equations, conditional integrability, generalized symmetries, reduction, generalized conditional symmetries MSC 2000: 35A30, 35G25, 81U15, 35N10, 37K35, 58J70, 58J72, 34A34Comment: 8 pages, LaTeX 2e, now uses hyperre