Formal method for planning the machining of ship machine parts

При разработке технологии изготовления судовых машин, узлов и деталей используются типовые процессы-аналоги, либо описание опыта исполнителей. Известные зарубежные подходы также используют вариативный подход, основанный на типовых решениях, либо генеративный, который предусматривает как формализацию процесса проектирования, так и использование искусственного интеллекта. Как показано в статье одной из основных проблем формализации проектирования технологических процессов является невозможность однозначного представления геометрической конфигурации реальных деталей средствами современной классической геометрии. Для решения этой проблемы предлагается использовать геометрию неидеальных объектов, базисом которой является шестимерное пространство, объединяющее три линейных и три угловых измерения. Использование указанной геометрии позволило определить формальные связи между конструкцией детали и технологическим процессом её изготовления. В статье излагается разработанный авторами метод формального проектирования процессов обработки деталей на станках. Выявленные закономерности порождения геометрических конфигураций позволили разработать алгоритмы генерирования множества методов формообразования элементарных поверхностей. Также определены условия обеспечения сходимости алгоритма формирования комплектов технологических баз и последовательности их выполнения. Изложение материалов подтверждено рассмотрением процесса проектирования технологии обработки на примере реальной детали. When developing a technology for the manufacture of ship machines, units and parts, group processes are used, or a description of the experience of the performers. Well-known foreign approaches also use a variable approach based on standard solutions, or a generative one, which provides for both the formalization of the design process and the use of artificial intelligence. Main problem of formalizing the design of technological processes is the impossibility of an unambiguous representation of the geometric configuration of real parts by means of modern classical geometry. As a solution to this problem, it is proposed to use the geometry of non-ideal objects, the basis of which is a six-dimensional space that combines three linear and three angular dimensions. This geometry made it possible to determine the formal relationships between the design of the part and the technological process of its manufacture. Article describes the method developed by the authors for the formal design of the processing of parts on machine tools. Revealed patterns generation configurations of geometric made it possible to develop algorithms for formation a variety of methods for shaping elementary surfaces. Conditions for ensuring the convergence of algorithm for formation of sets of technological bases and the sequence of their implementation are determined. Presentation materials is confirmed by considering generating of technology using the example of a real part.

Intertextuelle Relationen in der Zeitungslandschaft des 18. Jahrhunderts: Close und Distant Reading von Ausgaben der Wiener und Preßburger Zeitung

In this article, two important newspapers of the Habsburg monarchy – the Wiener Zeitung (previously: Wien[n]erisches Diarium) and the Preßburger Zeitung – are related to each other in several aspects. After a historical overview of the context in which these periodicals were created and taking into account the research literature already available, the first step was to look for parallels in their formal design. Since both newspapers have also been digitally made accessible in full text recently, it was also possible to determine approximately how frequent direct mutual references to the other periodical occur by means of so-called distant reading procedures. Close reading methods were then used to examine and interpret the corpus-based references. This comparative approach with digital methods allows the synoptic examination of individual text passages and thus offers new insights into the complex relationship between the Wiener Zeitung and the Preßburger Zeitung in the 18th century.

MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems

TTA and PALS are two prominent formal design patterns—with different strengths and weaknesses—for virtually synchronous distributed cyber-physical systems (CPSs). They greatly simplify the design and verification of such systems by allowing us to design and verify their underlying synchronous designs. In this paper we introduce and verify MSYNC as a formal design (and verification) pattern/synchronizer for hierarchical multirate CPSs that generalizes, and combines the advantages of, both TTA and (single-rate and multirate) PALS. We also define an extension of TTA to multirate CPSs as a special case. We show that MSYNC outperforms both TTA and PALS in terms of allowing shorter periods, and illustrate the MSYNC design and verification approach with a case study on a fault-tolerant distributed control system for turning an airplane.

3D-Printed Biodigital Clay Bricks

Construction materials and techniques have witnessed major advancements due to the application of digital tools in the design and fabrication processes, leading to a wide array of possibilities, especially in additive digital manufacturing tools and 3D printing techniques, scales, and materials. However, possibilities carry responsibilities with them and raise the question of the sustainability of 3D printing applications in the built environment in terms of material consumption and construction processes: how should one use digital design and 3D printing to achieve minimum material use, minimum production processes, and optimized application in the built environment? In this work, we propose an optimized formal design of “Biodigital Barcelona Clay Bricks” to achieve sustainability in the use of materials. These were achieved by using a bottom-up methodology of biolearning to extract the formal grammar of the bricks that is suitable for their various applications in the built environment as building units, thereby realizing the concept of formal physiology, as well as employing the concept of fractality or pixilation by using 3D printing to create the bricks as building units on an architectural scale. This enables the adoption of this method as an alternative construction procedure instead of conventional clay brick and full-scale 3D printing of architecture on a wider and more democratic scale, avoiding the high costs of 3D printing machines and lengthy processes of the one-step, 3D-printed, full-scale architecture, while also guaranteeing minimum material consumption and maximum forma–function coherency. The “Biodigital Barcelona Clay Bricks” were developed using Rhinoceros 3D and Grasshopper 3D + Plugins (Anemone and Kangaroo) and were 3D printed in clay.

Classification of Design Methodologies to Minimize Vibrations in Gears and Bearings in the 21st Century: A Review

Associated vibrations in mechanical power transmission elements such as gears and bearings significantly contribute to the dynamic behavior of the system to which they belong. Most research in this field describes measurements and signal processing methods to determine the effect of some design modifications. However, the number of investigations that try to solve the problem from the design stage is much smaller. The following study presents a review of the trends in the analysis of vibrations of power transmission elements and their relationship to the use of systematic design methodologies in the principal power transmission elements. A revision is shown in design considerations to prevent mechanical vibrations or reduce them to acceptable levels. The effects in terms of improvement in reducing vibrations of the most important works that have taken into account the vibrations in design stages are shown. The results show the importance of considering the mechanical vibrations in the design of power transmission elements. Moreover, the analysis of the state of the art shows the areas to be investigated that contemplate the development or application of formal design methodologies that take into account mechanical vibrations.

Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture

The accuracy of design and implementation of an operating system in intelligent transportation systems is difficult to describe and validate because of its complexity. In this paper, we describe an OS in intelligent transportation systems with automaton theory and establish an OS state model. Based on this model, we construct an isomorphic model in Isabelle/HOL, describe the work objects and operational semantics of the system, and verify the system at the assembly level. We use a micro-kernel OS prototype (VSOS) for intelligent transportation systems as an example to illustrate our method and verify the correctness of design and implementation in VSOS with Isabelle/HOL. Verification shows that the proposed method is feasible.

NATIONAL SPECIFICS OF TRANSLATION OF THE FRENCH CONSTRUCTION IN THE LIGHT OF THE THEORY OF SYNTACTIC CONCEPTS

Постановка задачи: На основе теории синтаксических концептов в статье анализируются переводы текстов русских классических произведений, выполненных носителями французского языка. В фокусе внимания находятся особенности передачи формального оформления и содержания русских структурных схем на французский язык с помощью конструкции il y a . Результаты. Исследование показывает, что французский язык использует конструкцию il y a , выражающую синтаксический концепт наличия/отсутствия чего-либо/кого-либо, для передачи на французский язык типовой пропозиции нескольких русских синтаксических концептов, в основном, синтаксического концепта бытия . Как следствие, русские бытийные глагольные формы преимущественно переводятся на французский язык французскими глаголами, содержащими сему «иметь», в силу присутствия соответствующего синтаксического концепта, что видно на примере конструкции il y a . Выводы: Проанализированный материал свидетельствует, с одной стороны, о национальной специфике французской конструкции, употребление которой зависит от того синтаксического концепта, который она представляет, с другой стороны, о различии в синтаксических концептах французского и русского языков. Это надо учитывать переводчикам и, соответственно, выбирать из целого набора структур ту, которая наиболее подходит для перевода и которая заполняется соответствующей лексикой в зависимости от типа синтаксического концепта. Statement of the problem. Based on the theory of syntactic concepts, the article analyzes translations of texts of Russian classical works made by native French speakers. The focus is on the features of transferring the formal design and content of Russian structural schemes into French using the il y a construction. Results. The study shows that the French language uses the construction il y a , expressing the syntactic concept of the presence/absence of something/someone , to transfer to the French language a typical proposition of several Russian syntactic concepts, mainly the syntactic concept of being. As a consequence, Russian being verb forms are mainly translated into French by French verbs containing the seme "to have" due to the presence of the corresponding syntactic concept, as can be seen in the example of the construction il y a . Conclusion. Analyzed material shows, on the one hand, the national specificity of French construction, the use of which depends on the syntactic concept that it represents, on the other hand, the difference in the syntactic concepts of French and Russian languages, that should be taken into account by translators, which allows you to choose from a set of structures one which is the most suitable for translation and which is filled with appropriate vocabulary depending on the type of syntactic concept.

First Use of Fragile Geologic Features to Set the Design Motions for a Major Existing Engineered Structure

ABSTRACT We document the first use of fragile geologic features (FGFs) to set formal design earthquake motions for a major existing engineered structure. The safety evaluation earthquake (SEE) spectrum for the Clyde Dam, New Zealand (the mean 10,000 yr, ka, return period response spectrum) is developed in accordance with official guidelines and utilizes constraints provided by seven precariously balanced rocks (PBRs) located 2 km from the dam site and the local active Dunstan fault. The PBRs are located in the hanging wall of the fault. Deterministic PBR fragilities are estimated from field measurements of rock geometries and are the dynamic peak ground accelerations (PGAs) required for toppling. PBR fragility ages are modeled from B10e cosmogenic isotope exposure dating techniques and are in the range of 24–66 ka. The fragility ages are consistent with the PBRs having survived at least two large Dunstan fault earthquakes. We develop a PGA-based fragility distribution from all of the PBRs, which represents the cumulative toppling probability of a theoretical random PBR as a function of PGA. The fragility distribution is then used to eliminate logic-tree branches that produce PGA hazard curves that would topple the random PBR with a greater than 95% probability (i.e., less than 5% survival probability) over a time period of 24 ka (youngest PBR fragility age). The mean 10 ka spectrum of the remaining hazard estimates is then recommended as the SEE spectrum for the dam site. This SEE spectrum has a PGA of 0.55g, which is significantly reduced from the 0.96g obtained for a preliminary version of the SEE spectrum. The reduction is due to the combined effects of the PBR constraints and a substantial update of the probabilistic seismic hazard model. The study serves as an important proof-of-concept for future applications of FGFs in engineering design.