323,973 research outputs found
Термомеханические свойства сплава TiNi после высокоскоростного сжатия
No full textГригорьева Виктория Игорьевна. Термомеханические свойства сплава TiNi после высокоскоростного сжатия. Научный руководитель: д. т. н., профессор Разов Александр Игоревич. Направление математика и механика, кафедра теории упругости. В работе исследовали термомеханические свойства сплава TiNi при высокоскоростном сжатии со скоростью около 103с-1 при температурах 20-300oC. Эффекты памяти формы исследовали при термоциклировании через интервал обратимого мартенситного превращения. Приведены зависимости фазового и дислокационного пределов текучести, однократной и обратимой памяти формы от температуры испытания. Количество использованных источников – 18. Библиогр. описание: Григорьева В. И. Термомеханические свойства сплава TiNi после высокоскоростного сжатия: магистерская дис.: защищена 08.06.2017 / Григорьева Виктория Игорьевна. – СПб, 2017. – 30 с. – Библиогр.: с. 28-30.Grigorieva Victoria Igorevna. Thermomechanical properties of TiNi alloy after high strain rate compression. Scientific adviser: Doctor of Technical Science, Professor Razov Alexander Igorevich. Direction of mathematics and mechanics, Chair of the theory of elasticity. The thermomechanical properties of the TiNi alloy were studied in high strain rate compression at a speed of about 103 s-1 at temperatures of 20-300 ° C. The shape memory effects were investigated during thermal cycling through an interval of reversible martensitic transformation. Dependences of the phase and dislocation limits of fluidity, single and reversible shape memory on the test temperature are presented. Number of sources used - 18. Bibliogr. Description: Grigorieva VI Thermomechanical properties of TiNi alloy after high strain rate compression: Master's degree: protected 08.06.2017 / Grigoryeva Viktoria. - St. Petersburg, 2017. - 30 p. - Bibliography: p. 28-30
Dialoghi piaceuoli del sig. Stefano Guazzo.
No full textImpresor tomado de colofónMarca tip. en portSign.: *\p8\s, A-2Q\p8\s, 2R\p4\
Influence de la teneur de nickel sur le comportement tribologique et électrochimique de l’alliage TiNi.
No full textParmi les matériaux métalliques, les alliages de TiNi sont employés principalement pour des applications biomédicales et/ou dentaires dues à leur meilleure compatibilité mécanique avec les tissus, leur module de Young proche de celui de l’os et une résistance élevée à la corrosion dans les fluides du corps et une bonne biocompatibilité. Pour cette raison, le comportement à la corrosion et à l’usure de l’alliage TiNi avec des teneurs en Ni varie de 40 à 60% en poids, ont été étudiés afin de vérifier l’effet du Ni sur la biocompatibilité de cet alliage pour des applications dentaires
DLC/TiNi microcage for biopsy applications
No full textA TiNi/diamond-like-carbon (DLC) microcage for biological application has been designed, fabricated and characterized. A compressively stressed DLC film with TiNi pattern on top lifts the fingers upwards once they are released from the substrate, and the microcage can be closed through shape memory effect of top TiNi film with temperature below 80 degrees C. Further heating above 100 degrees C, the gradual opening of the microcage can be obtained due to thermal bimorph effect. The biocompatibility of both the TiNi and DLC films has been proved using a cell-culture method
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics Beijing, China, September 3, 2018 Preface
No full textA weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
No full textBisimulation metrics are a successful instrument used to estimate the behavioural distance between probabilistic concurrent systems. They have been defined in both discrete and continuous state space models. However, the weak semantics approach, where non-observable actions are abstracted away, has been adopted only in the discrete case. In this paper we fill this gap and provide a weak bisimulation metric for models with continuous state spaces. A technical difficulty is to provide a suitable notion of weak transition, which requires to lift transitions leaving from states to transitions leaving from a continuous distribution over states. We prove that our weak bisimulation metric is non-expansive, thus allowing for compositional reasoning. We prove that systems at distance zero are equated by a suitable notion of probabilistic weak bisimulation. We apply our theory in a case study where continuous distributions derive from the evolution of the physical environment
Probabilistic divide & congruence: Branching bisimilarity
No full textSince the seminal paper by Bloom, Fokkink and van Glabbeek, the Divide and Congruence technique allows for the derivation of compositional properties of nondeterministic processes from the SOS-based decomposition of their modal properties. In an earlier paper, we extended their technique to deal also with quantitative aspects of process behavior: we proved the (pre)congruence property for strong (bi)simulations on processes with nondeterminism and probability. In this paper we further extend our decomposition method to favor compositional reasoning with respect to probabilistic weak semantics. In detail, we consider probabilistic branching and rooted probabilistic branching bisimilarity, and we propose logical characterizations for them. These are strongly based on the modal operator (epsilon) which combines quantitative information and weak semantics by introducing a sort of probabilistic lookahead on process behavior. Our enhanced method will exploit distribution specifications, an SOS-like framework defining the probabilistic behavior of processes, to decompose this particular form of lookahead. We will show how we can apply the proposed decomposition method to derive congruence formats for the considered equivalences from their logical characterizations. (C) 2019 Elsevier B.V. All rights reserved
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 Preface
No full textDialoghi piaceuoli del Sig. Stefano Guazzo, gentil'huomo di Casale di Monferrato : dalla cui famigliare lettione potranno senza stanchezza & satietà non solo gli huomini ...
No full textMarca tip.de ed. na portSign.:*\p8\s, A-Z\p8\s, 2A-2Q\p8\s, 2R\p4\sTexto con apostilas marxinai
Compositional Synthesis of Generalized Mealy Machines
No full textWe give an algorithm for synthesizing Generalized Mealy Machines from LTL-formulae. The main novelty of the paper is that the algorithm is compositional. Its complexity coincides with the lower bound of the synthesis problem
- …
