http://dspace.nbuv.gov.ua:80/handle/123456789/51584 2026-04-18T12:14:04Z http://dspace.nbuv.gov.ua:80/handle/123456789/83407 Новые фундаментальные возможности математических машин и систем Морозов, А.А. Рецензия на книгу Синькова М.В., Бояриновой Ю.Е., Калиновского Я.А. "Гиперкомплексные числовые системы. Основы теории. Применения".; Рецензія на книгу Синькова М.В., Бояринової Ю.Є., Калиновського Я.А. "Гіперкомплексні числові системи. Основи теорії. Застосування". 2011-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/83406 Насколько формальны формальные методы? Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Предлагаются модели жизненного цикла программного обеспечения при использовании формальных методов Event-B и Model Checking. Анализируются их особенности и ограничения. Формулируются направления дальнейших исследований в этой области.; У статті аналізуються проблеми, пов'язані з розвитком та застосуванням формальних методів під час створення й верифікації програмного забезпечення та комп'ютерних систем. Дається класифікація інваріантів. Уточнюються поняття й процедура синтезу системи інваріантів та її оптимізація за певними критеріями. Розглянуто моделі життєвого циклу за умов використання формальних методів Event-B та Model Checking, їх особливості та обмеження. Сформульовано напрямки подальших досліджень у цій області.; The paper analyses existing problems associated with the development and practical application of formal methods in the design and verification of software and computer systems. The classification of invariants is given in the paper. We specify a concept of the system of invariants and discuss a procedure of its synthesis and optimization. The changes in the software life cycle caused by applying formal methods Event-B and Model Checking are discussed. The directions of further research in this area are also given. 2011-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/83405 Биогенетический закон Геккеля и его роль в выявлении механизма ретрансляции естественных законов в процесс создания и эволюционирования вычислительной техники. Ч. 3 Брюхович, Е.И. Получен ответ на вопрос, как человек создает и эволюционирует вычислительную технику по естественным законам. Ответ содержится в механизме действия известной центральной догмы молекулярной биологии (ЦДМБ), которая лежит в основе биогенетического закона Геккеля и послужила новым обоснованием справедливости утверждений этого закона, по которому происходит краткое и быстрое повторение (рекапитуляция) индивидуальным развитием особи (онтогенезом) важнейших этапов эволюции вида (филогенеза). Рекапитуляция обусловлена тем, что, в соответствии с центральной догмой молекулярной биологии, РНК снимает копию генетической информации, содержащейся в ДНК, не разрушая оригинал, вследствие чего в ДНК происходит последовательное наслоение генетической информации в течение всего филогенеза вида. Сделан вывод, что, создавая и эволюционируя вычислительную технику, человек, не осознавая того сам, рекапитулирует филогенез Homo sapiens в онтогенез Computer sapiens.; Отримано відповідь на питання, як людина створює і еволюціонує обчислювальну техніку за природними законами. Відповідь міститься в механізмі дії відомої центральної догми молекулярної біології (ЦДМБ), яка лежить в основі біогенетичного закону Геккеля і послужила новим обґрунтуванням справедливості тверджень цього закону, за яким відбувається коротке і швидке повторення (рекапітуляція) індивідуальним розвитком особи (онтогенезом) найважливіших етапів еволюції виду (філогенезу). Рекапітуляція обумовлена тим, що, відповідно до центральної догми молекулярної біології, ЗНК знімає копію генетичної інформації, що міститься в ДНК, не руйнуючи оригінал, внаслідок чого в ДНК відбувається послідовне нашарування генетичної інформації протягом усього філогенезу виду. Зроблено висновок, що при створенні і еволюціонуванні обчислювальної техніки людина, сама того не усвідомлюючи, рекапітулює філогенез з Homo sapiens в онтогенез Computer sapiens.; An answer has been obtained on how a human creates and evolves computer techniques by natural laws. The answer is in the action mechanism of the known Central Dogma of Molecular Biology (CDMB), which underlies the Haeckel's biogenetic law, and which became a new substantiation of correctness of assertions of this law. According to the law, a short and quick repetition (recapitulation) of the most important stages of the evolution of species (phylogenesis) is taking place by individual development of a person (ontogenesis). The recapitulation is determined by reproducing from RNA a copy of the genetic information, contained in DNA, without destroying the original, as a result of which a sequential lamination (accumulation) of genetic information occurs in DNA during the whole phylogenesis of species. A conclusion has been made that a human, creating and evolving the computer techniques, not realizing this, recapitulates phylogenesis from Homo sapiens into ontogenesis of Computer sapiens. 2011-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/83404 Экспериментальная оценка надежности изделий в условиях малого числа отказов Стрельников, П.В. Представлены результаты анализа существующих методов и методик экспериментальной оценки показателей надежности. Рассматриваются методики оценки показателей надежности в условиях малой статистики отказов на основе использования двухпараметрических вероятностно-физических моделей надежности (диффузионных распределений).; Представлено результати аналізу існуючих методів і методик експериментальної оцінки показників надійності. Розглядаються методики оцінки показників надійності в умовах малої статистики відмов на основі використання двопараметричних імовірнісно-фізичних моделей надійності (дифузійних розподілів).; The results of the analysis of existing methods and techniques of experimental reliability evaluation are presented. Methodologies for the assessment of reliability in low failure statistics based on the use of two-parameter probabilistic-physical models of reliability (diffusion distributions) are considered. 2011-01-01T00:00:00Z