Computer System for Identification of Material Models on the Basis of Plastometric Tests

2013 ◽  
Vol 58 (3) ◽  
pp. 737-743 ◽  
Author(s):  
L. Rauch ◽  
L. Sztangret ◽  
M. Pietrzyk

Abstract The paper describes the hybrid computer system dedicated to identification of models of materials subjected to thermomechanical processing. The functionalities of the system consist of plastometric tests data processing and application of the inverse analysis. The latter functionality is realized unconventionally, instead of the finite element method the metamodel is implemented using artificial neural network. The metamodels, used for simulations of the plastometric tests, are imported to the proposed computer system as external plugins, what guarantees flexibility and possibility of further development. On the other hand, application of rich optimization libraries assures the best possible solution of the problem. Basic principles of the inverse analysis with metamodels and mentioned optimization procedures are described in the paper. Selected examples of identification of models for various metallic materials recapitulate the paper.

2021 ◽  
Vol 30 (4) ◽  
pp. 60-73
Author(s):  
Miroslav Pohanka ◽  
Antonín Novotný

Chemical, Biological, Radiological and Nuclear (CBRN) weapons still represent a relevant threat despite international treaties and regulations. International projects like the Permanent Structured Cooperation (PESCO) of European Union (EU) appears as a suitable way of the further development when considered both complexity and expensiveness of the countermeasures to the CBRN. In this work, basic principles of PESCO, limitations, opportunities and expected directions of innovations were searched. The final recommendations on PESCO projects in the CBRN field are founded on the reached findings. Recommendations and conclusions on limited PESCO efficacy on one side and opportunity to resolve weakness of the Army of the Czech Republic (AČR) in the CBRN by collaboration in the EU on the other were particularly described in this paper. Without the collaboration, the AČR will hardly reflect the progress on CBRN defense.


Geosciences ◽  
2021 ◽  
Vol 11 (3) ◽  
pp. 120
Author(s):  
Teresa Brzezińska-Wójcik

The Polish part of the Roztocze Transboundary Biosphere Reserve area is characterized by diversified geotourism resources with relatively high value. However, their potential seems not to be fully used in the current product offer. The aim of the study was therefore to assess the spatial variability of the geotourism potential and function and to determine their interrelations in view of further development of geotourism in the Roztocze TBR and the perspective of creation of the “Kamienny Las na Roztoczu” geopark. The study was carried out with the use of the taxonomic method of multidimensional comparative analysis consisting of calculation and analysis of general, total, and partial indices of the geotourism potential and function in 22 communes. The results showed the highest total indicator of geotourism potential in two communes, i.e. Józefów and Krasnobród, and the highest value of the total geotourism function index in Krasnobród. The results of the analysis of the relationships between the geotourism potential and function indicate that the geotourism resources and products are fully used in terms of the development of the function only in Krasnobród commune. In turn, the value of the total geotourism function index in the Zwierzyniec commune exceeds the geotourism potential indicator, which implies that this area is overloaded by tourist movement. The total indicators of geotourism potential in the other communes, especially Józefów, Krasnobród, Lubycza Królewska, and Susiec, indicate the possibility of more intensive exploitation of geotourism resources in preparation of interesting products in compliance with the principles of sustainable development and, consequently, the development of the geotourism function.


1972 ◽  
Vol 37 (4) ◽  
pp. 677-682 ◽  
Author(s):  
George Metakides

Let α be a limit ordinal with the property that any “recursive” function whose domain is a proper initial segment of α has its range bounded by α. α is then called admissible (in a sense to be made precise later) and a recursion theory can be developed on it (α-recursion theory) by providing the generalized notions of α-recursively enumerable, α-recursive and α-finite. Takeuti [12] was the first to study recursive functions of ordinals, the subject owing its further development to Kripke [7], Platek [8], Kreisel [6], and Sacks [9].Infinitary logic on the other hand (i.e., the study of languages which allow expressions of infinite length) was quite extensively studied by Scott [11], Tarski, Kreisel, Karp [5] and others. Kreisel suggested in the late '50's that these languages (even which allows countable expressions but only finite quantification) were too large and that one should only allow expressions which are, in some generalized sense, finite. This made the application of generalized recursion theory to the logic of infinitary languages appear natural. In 1967 Barwise [1] was the first to present a complete formalization of the restriction of to an admissible fragment (A a countable admissible set) and to prove that completeness and compactness hold for it. [2] is an excellent reference for a detailed exposition of admissible languages.


2020 ◽  
Vol 3 (4) ◽  
pp. 108-128
Author(s):  
Anna I. Kovalevskaya ◽  

The article considers the main stages in formation of the method for the comparative historical typology the first steps of which were made by A.N. Veselovsky in the second half of the 19 th century. For example, the point elaborated upon in “Historical Poetics” concerning consequential evolution of genres and poetic forms that reflect social reality became the starting point for the further development of that method. Work in this direction was continued later on by V.M. Zhirmunsky. At the beginning of his career in academia he dwelled upon the issues of literary theory and – while keeping “Historical Poetics” in high regard – continued Veselovsky’s work in the field of literary studies. However, turning to folklore material, he managed to develop the basic principles of the comparative historical method: first of all, he had analysed and systematised the extensive epic material, what allowed him to reveal in the folklore work the national and the general, for the successful search and analysis of which the method was necessary. The author analysis of the works of Zhirmunsky, that contain his main ideas, and considers not only his suggestions on how to work with folk material, and also the features of the comparative typological method, as well as the development of Zhirmunsky’s ideas in the works of his students, followers and scientists who came to a similar result on their own (for example, V.Ya. Propp) and influenced further refinement of the methods of comparative typology.


Author(s):  
О.В. Крежевских ◽  
А.И. Михайлова

Создание геймифицированных образовательных ресурсов позволяет повысить мотивацию студентов к обучению, индивидуализировать образовательные маршруты, обеспечить вариативность содержания образования, учесть ограничения в здоровье. Цель настоящей статьи состоит в описании принципов разработки цифровых мультимедийных игр для сферы профессионального образования с учетом командного взаимодействия представителей различных профессиональных групп. В результате исследования выделены основные принципы разработки цифровых мультимедийных игр, предполагающие использование звуковых, анимационных и других эффектов при проведении корпоративных сеансов и выполнении творческих заданий. Практическая значимость заключается в возможности использования описанных принципов для дальнейшей разработки геймифицированных ресурсов. The creation of gamified resources makes it possible to increase the students’ motivation with the content of activities, to individualize educational routes, to ensure the variability of the content of education, to take into account health restrictions. The aim of this article is to describe the principles of developing digital multimedia games for vocational education, taking into account the team interaction of representatives of various professional groups. As a result of the study the basic principles of the development of digital multimedia games are highlighted, involving the use of sound, animation and other effects for corporate sessions and for doing creative tasks. The practical significance lies in the possibility of using the described principles for further development of gamified resources.


2021 ◽  
Vol 12 (3) ◽  
pp. 150-156
Author(s):  
A. V. Galatenko ◽  
◽  
V. A. Kuzovikhina ◽  

We propose an automata model of computer system security. A system is represented by a finite automaton with states partitioned into two subsets: "secure" and "insecure". System functioning is secure if the number of consecutive insecure states is not greater than some nonnegative integer k. This definition allows one to formally reflect responsiveness to security breaches. The number of all input sequences that preserve security for the given value of k is referred to as a k-secure language. We prove that if a language is k-secure for some natural and automaton V, then it is also k-secure for any 0 < k < k and some automaton V = V (k). Reduction of the value of k is performed at the cost of amplification of the number of states. On the other hand, for any non-negative integer k there exists a k-secure language that is not k"-secure for any natural k" > k. The problem of reconstruction of a k-secure language using a conditional experiment is split into two subcases. If the cardinality of an input alphabet is bound by some constant, then the order of Shannon function of experiment complexity is the same for al k; otherwise there emerges a lower bound of the order nk.


2014 ◽  
Vol 2014 ◽  
pp. 1-8 ◽  
Author(s):  
Wei Liang ◽  
Hidekazu Murakawa

Welding-induced deformation not only negatively affects dimension accuracy but also degrades the performance of product. If welding deformation can be accurately predicted beforehand, the predictions will be helpful for finding effective methods to improve manufacturing accuracy. Till now, there are two kinds of finite element method (FEM) which can be used to simulate welding deformation. One is the thermal elastic plastic FEM and the other is elastic FEM based on inherent strain theory. The former only can be used to calculate welding deformation for small or medium scale welded structures due to the limitation of computing speed. On the other hand, the latter is an effective method to estimate the total welding distortion for large and complex welded structures even though it neglects the detailed welding process. When the elastic FEM is used to calculate the welding-induced deformation for a large structure, the inherent deformations in each typical joint should be obtained beforehand. In this paper, a new method based on inverse analysis was proposed to obtain the inherent deformations for weld joints. Through introducing the inherent deformations obtained by the proposed method into the elastic FEM based on inherent strain theory, we predicted the welding deformation of a panel structure with two longitudinal stiffeners. In addition, experiments were carried out to verify the simulation results.


Sign in / Sign up

Export Citation Format

Share Document