Substantiation of the structure theory of design of technological machines and devices
DOI:
https://doi.org/10.15587/2312-8372.2017.113003Keywords:
structure theory of design, criteria of compilation and maintainability, existence theorem for designsAbstract
The object of research is the theory of the design of technological machines and devices. The main idea of this theory is the possibility of a priori quantitative evaluation of the design of machine and instrument constructions for manufacturability, unification and other indicators based on the identification of structural design features and the creation of quantitative criteria.
An in-depth study of this work has shown that the weaknesses of the research are related to the rather high influence of the heuristic component on the process of scientific and engineering search. One of the most problematic places is that the complete formalization of this process can lead to a halt in the development of scientific and technical thought. There is a risk of reducing the construction process to the reproduction of an infinite number of similar structures that differ in certain characteristics, but lie within the same constructive series.
To prevent the negative impact of the proposed theory on the rate of technical progress, it is necessary to strictly limit the field of its use, using it to optimize the design of entire products or their individual components and automate the process of searching for a better prototype for improvement in a combination of features.
To prove the main idea of the theory, methods of analysis and induction are used in the course of the research, on the basis of which, using the lemma and existence theorems, basic axiomatic theories are formulated with the subsequent completion of theorems, although the content of the considered theory is not mathematical, but technical objects.
The structure theory of design is unique, since being a model of logical computation, it makes it possible to reveal regularities in classes and series of a set of designs on the basis of which to propose ways of optimizing and improving the productivity of the design process by establishing a connection between the features of the designs and their coding according to the chain of successive transformations. Coding of structures in place in the chain of transformations opens up wide prospects for automation of the design process.
References
- DSTU ISO 9001-95. Systemy yakosti. Model zabezpechennia yakosti v protsesi proektuvannia, rozroblennia, montazhu ta obsluhovuvannia. (1996). Introduced from July 01, 1996. Kyiv: Derzhspozhyvstandart Ukrainy, 30.
- DSTU 3974-2000. Systemy rozroblennia ta postavlennia produktsii na vyrobnytstvo. Pravyla vykonannia doslidno-konstruktorskykh robit. (2000). Introduced from November 27, 2000. Kyiv: Derzhspozhyvstandart Ukrainy, 38.
- Aleksandrov, P. S. (1977). Vvedenie v teoriiu mnozhestv i obshchuiu topologiiu. Moscow: Nauka, 368.
- Kolmogorov, A. N., Fomin, S. V. (1976). Elementy teorii funktsii i funktsional'nogo analiza. Moscow: Nauka, 544.
- Lavrov, I., Maksimova, L.; In: Corsi, G. (2003). Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Springer US, 282. doi:10.1007/978-1-4615-0185-5
- Sigorskii, V. P. (1975). Matematicheskii apparat inzhenera. Kyiv: Tehnika, 768.
- Andreeev, I. D. (1979). Teoriia kak forma organizatsii nauchnogo znaniia. Moscow: Nauka, 303.
- Cattaneo, M. E. G. V. (2017). The likelihood interpretation as the foundation of fuzzy set theory. International Journal of Approximate Reasoning, 90, 333–340. doi:10.1016/j.ijar.2017.08.006
- Leigh, J. R. (2004). Neural networks, fuzzy logic, genetic algorithms, learning systems intelligent systems. Control Theory. IET, 225–248. doi:10.1049/pbce064e_ch17
- Maciejewski, A. J., Przybylska, M., Tsiganov, A. V. (2011). On algebraic construction of certain integrable and super-integrable systems. Physica D: Nonlinear Phenomena, 240 (18), 1426–1448. doi:10.1016/j.physd.2011.05.020
- Kuru, S., Negro, J., Ragnisco, O. (2017). The Perlick system type I: From the algebra of symmetries to the geometry of the trajectories. Physics Letters A, 381 (39), 3355–3363. doi:10.1016/j.physleta.2017.08.042
- Stratulat, S. (2017). Mechanically certifying formula-based Noetherian induction reasoning. Journal of Symbolic Computation, 80, 209–249. doi:10.1016/j.jsc.2016.07.014
- Kaufman, A., Itskovich, G. (2017). Geometrical Factor Theory of Induction Logging. Basic Principles of Induction Logging. Elsevier, 173–226. doi:10.1016/b978-0-12-802583-3.00006-x
- Silver, J. H. (1971). Some applications of model theory in set theory. Annals of Mathematical Logic, 3 (1), 45–110. doi:10.1016/0003-4843(71)90010-6
- Hilbert, D., Bernays, P. (1968). Grundlagen der Mathematik I (Grundlehren der mathematischen Wissenschaften) (German Edition). Ed. 2. Springer, 480.
- Engstrom, F., Kontinen, J., Vaananen, J. (2013). Dependence Logic with Generalized Quantifiers: Axiomatizations. Lecture Notes in Computer Science, 138–152. doi:10.1007/978-3-642-39992-3_14
- Perez-Gallego, P., Quevedo, J. R., del Coz, J. J. (2017). Using ensembles for problems with characterizable changes in data distribution: A case study on quantification. Information Fusion, 34, 87–100. doi:10.1016/j.inffus.2016.07.001
- Kuznetsov, O. P., Adelson-Velskii, G. M. (1980). Diskretnaia matematika dlia inzhenera. Moscow: Energiia, 344.
- In: Vinogradov, I. M. (1979). Matematicheskaia entsiklopediia. Vol. 2. Moscow: Sovetskaia Entsiklopediia, 1104.
- Fichera, G. (1973). Existence Theorems in Elasticity. Linear Theories of Elasticity and Thermoelasticity. Berlin, Heidelberg: Springer, 347–389. doi:10.1007/978-3-662-39776-3_3
- Freiman, L. S. (1971). Teoremy sushchestvovaniia. Moscow: Nauka, 135.
- Chapra, S., Canale, R. (2014). Numerical Methods for Engineers. Ed. 7. New York: McGraw-Hill Education, 992.
- Elektricheskii mnogopridel'nyi pribor. (1960). Patent of Austria 212427.
- Grinberg, I. P., Los, L. V. (1979). Fiksator perekliuchatelia mnogopredel'nogo elektroizmeritel'nogo pribora. A. s. 646259 (USSR). Bull. No. 5.
- Demchenko, A. M., Grinberg, I. P., Los, L. V. (1981). Fiksator perekliuchatelia. A. s. 879578 (USSR). Bull. No. 41.
- Demchenko, A. M., Grinberg, I. P., Los, L. V. (1984). Fiksator perekliuchatelia. A. s. 1126941 (USSR). Bull. No. 44.
- Grinberg, I. P., Los, L. V., Galitskii, R. M., Bezusyi, M. I. (1983). Kommutatsionnoe ustroistvo mnogopredel'nogo elektroizmeritel'nogo pribora. A. s. 987533 (USSR). Bull. No. 1.
- Goncharov, E. S., Prilutskii, A. N., Voloshin, N. I. (1975). Vibrotsentrobezhnaia zernoochistitel'naia mashina. A. s. 485784 (USSR). Bull. No. 36.
- Goncharov, E. S. (1978). Zernoochistitel'naia mashina. A. s. 976539 (USSR).
- Liu, Y., Zhao, T., Ju, W., Shi, S. (2017). Materials discovery and design using machine learning. Journal of Materiomics, 3 (3), 159–177. doi:10.1016/j.jmat.2017.08.002
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2017 Nataliya Tsyvenkova, Leonid Los, Saveliy Kukharets, Anna Нolubenko, Marina Tereshchuk
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.