Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
6 results
Search Results
Item Суперечлива сутність руху: природно-правове мотивування(Видавництво Львівської політехніки, 2021-01-10) Сливка, Степан; Slyvka, Stepan; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityУ статті досліджується природно-правове мотивування суперечливої сутності руху. Виходячи із законів механіки, обґрунтовується природне право і доводиться, що воно завжди потребує верифікації з природними законами. У наведеній авторській дефініції подано метафізичну єдність фізики, філософії, логіки і канонічного права, яка сприяє онтологічному вирішенню проблем суперечливого руху у права. Динаміка світових законів природи має вплив на антропологію людини, яка інакше не називалась би мікросвітом. Але у людини існує ще й своя автономна динаміка, генератором якої є рух людини. Для людини важливо правильно сприйняти рух, який буває абсолютним і відносним. Зокрема, онтологічні природні закони сприяють абсолютному рухові у Всесвіті, а природне право – відносному рухові у суспільстві з певними впливами на рух у Всесвіті. Тобто відносний рух, який притаманний природному праву, є різновидністю змін і процесів, що потребує наукового дослідження. Логіка, яка знаходить порушення несуперечливості закону, доводить, що двох взаємозаперечливих тверджень про один і той самий предмет не буває. Вона констатує факт збочення у твердженнях про природне право. А філософія права, беручи до уваги ці збочення, виводить, спростовує хиби, фальшиве природне право. У такому діалектичному русі встановлюється істинність у природному праві, відкидаючи квазіістину. Логічне мислення не приводить природне право до абсурду, а до природних законів для того, щоб людина сама встановила істинність. При цьому існує логічне твердження, що жодна норма позитивного закону не може бути істинною одночасно зі своїм запереченням у природному законі. Іншими словами, логіка виводить людину на самостійне прийняття рішень, маючи сутність суперечливих явищ.Item Підсистема збирання даних для кіберфізичної системи моніторингу агровиробництва та її верифікації(Видавництво Львівської політехніки, 2018-02-26) Бубела, Т. З.; Федишин, Т. І.; Національний університет «Львівська політехніка»Прийняття правильних керівних рішень у системі контролю агровиробництва великою мірою залежить від ступеня достовірності інформації про стан об’єктів довкілля. Особливого значення ці питання набувають під час моніторингу виробництва, яке передбачає вирощування продукції на екологічно чистих ґрунтах. Моніторинг параметрів ґрунтів повинен складатися із систематичних спостережень за їх станом, фіксування змін, їх оцінювання та керування. Одним із найважливіших завдань, що постало перед Україною сьогодні, є забезпечення сталого розвитку регіонів та стабільного економічного зростання на основі застосування інноваційних методів підвищення ефективності в різних галузях економіки, зокрема в системі агропромислового комплексу. Модернізування подібних систем управління повинно полягати у впровадженні інноваційних технологій на основі побудови кіберфізичних систем (КФС). З цією метою у статті розроблено конструкцію підсистеми збирання інформації для КФС моніторингу процесу агровиробництва зернових культур, відповідне програмне забезпечення та програму верифікації запропонованої підсистеми.Item Розумні вимірювальні засоби для кіберфізичних систем(Видавництво Львівської політехніки, 2016) Микийчук, Микола; Стадник, Богдан; Яцишин, Святослав; Луцик, Ярослав; Національний університет “Львівська політехніка”Праця спрямована на розвиток кіберфізичних систем, які стають ключовим фактором повсякденного життя, а розумні вимірювальні прилади вважають невід’ємним компонентом цієї системи. Розглядається верифікація метрологічних підсистем за параметрами, що визначають керованість обладнання та процесів, розробленням, впровадженням та реалізацією конкретних метрологічних методів та інструментів, які успішно описуються термінами “апаратна підтримка, основне і проміжне метрологічне програмне забезпечення”. Работа направлена на развитие киберфизических систем, которые становятся ключевым фактором повседневной жизни, а умные измерительные приборы считаются неотъемлемым компонентом этой системы. Рассматривается верификация метрологических подсистем по параметрам, определяющим управляемость оборудования и процессов, путем разработки, внедрения и реализации конкретных метрологических методов и инструментов, которые успешно описываются терминами “аппаратная поддержка, основное и промежуточное метрологическое программное обеспечение”. Smart measuring instruments are the prerequisite for CPS design as they constitute the essential units of informationmeasuring subsystems. There is a set of smart measurement instruments which is divided into the following subsets: smart sensors, smart transducers, their grids etc. that can be joined together in modern wireless sensor networks. The emerging field of cheap and easily deployed sensors offers an unprecedented opportunity for a wide spectrum of various applications. When combined, they offer numerous advantages over traditional networks. These include a large-scale flexible architecture, high-resolution data, and application-adaptive mechanisms as well as a row of metrological specific features and performance (self-check, self-validation, self-verification, self-calibration, self-adjustment). Milestones in everyday work aiming to ensure reliable wireless sensors networks operation lie in the direction of functional and probabilistic verifications. We provide the software and middleware development aiming to reach predetermined behavior. The easiest way to achieve this may be demonstrated on the example of widespread wireless fire detector networks. They are characterized by a number of special algorithms directed on as fast as possible and accurate triggering and actuating the automation of higher level. So, it becomes necessary to research and implement the original operation algorithms for fire sensors and also check algorithms for periodic real-time software examination. Considering their structural complexity (presence of smoke and heat sensitive elements, various principles of elaboration of the received signals, their drift of characteristics, and pollution of translucent elements, etc.) the development of such algorithms is a daunting task. Herein, human life may be the price for a bug. Equally important seems to be probabilistic verification that is to boost the probability of reaching wireless sensors network declared goals (estimation of their chances being achieved). Each network consists structurally of a large number (up to 103) of nodes which are individual sensors able to radio communicate with one or several neighboring units. The most common wireless sensors network is the fire alarm sensors network each branch of which has up to 26 sensors which was caused by limiting the length of microcontroller register. Topology of every network may differ: star, cluster tree, mesh, up to advanced multi-hop mesh network. Propagation technique between hops of network can be routing or flooding. Nowadays, problem arises to adapt traditional network topologies to contemporary communicating conditions. If a centralized architecture is used in a sensor network and the central node fails, then the entire network will collapse, however the reliability of sensor network can be increased by using distributed control architecture. Distributed control is used in such networks for the following reasons: sensor nodes are prone to failure; for better collection of data; to provide nodes with backup in case of the central node failure; resources have to be self -organized. Aiming at the substantial development of Cyber-Physical systems, which are becoming a key element of everyday life,the smart measuring instruments are considered below as an indispensable part of entire systems. Verification of the metrological subsystems for parameters determining the controlled equipment and processes through the development,implementation and realization of specific metrology and standardization methods, instruments, that is successfully described by the terms “metrological hardware, software, and middleware”. Smart sensors are supplied with digital information transmissive means by equipping them with built-in digital controllers to match the universal network interface or by combining technology of analogue and digital transmission in a single measuring channel. According to the structure all smart sensors are divided into 4 groups: sensors of centralized and decentralized types, as well as sensors with digital and analogue buses. According to correction methods the analogue interfaces with smart sensors are divided into the groups: with manual error correction, with auto correction of errors in analogue-digital form, and with digital correction of errors. Specific measurement consists in evaluating MIs performance reliability, trueness, and other metrological properties, due to the quality of a certain kind of metrological software, or the software linked to metrological features of MIs. MI software metrological verification raises the problem of appropriate methods choice of software and middleware assessing, testing, and certifying. The metrological validation must result in confirmation or discarding of the studied ware following the requirements indicated in normative documents. Procedures and methods of checking software, and determining its disadvantages are considered below. Software study includes first of all the fulfilling the procedures of inambiguity ensuring the operating functions for generated data. Selection of the procedures is determined by regulation requirements, as well as by the software developer or the user’s desires to confirm its compliance with the target specification.Item Smart measuring instruments for cyber-physical systems(Publishing House of Lviv Polytechnic National University, 2016) Mykyychuk, Mykola; Yatsyshyn, Svyatoslav; Stadnyk, Bohdan; Lutsyk, YaroslavAiming the substantial development of Cyber- Physical systems, which are becoming a key element of everyday life, the smart measuring instruments are considered below as the indispensable part of entire systems. Verification of the metrological subsystems for parameters determining the controlled equipment and processes through the development, implementation and realization of specific metrology and standardization methods, instruments, that is successfully described by the terms “metrological hardware, software, and middleware”.Item Метрологічна перевірка програмного забезпечення засобів вимірювання з різними структурами(Видавництво Львівської політехніки, 2015) Олеськів, О.; Микитин, І.Розглянуто класифікацію програмного забезпечення засобів вимірювання. Проведено класифікацію структур засобів вимірювання. Проаналізовано можливість проведення метрологічної перевірки певного типу програмного забезпечення засобів вимірювання відповідно до методів метрологічної перевірки програмного забезпечення. We consider the classification of software measuring instruments. Classification of their structures is performed. The possibility of verification a certain type of the metrological software for measuring instruments is analyzed.Item Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики(Видавництво Львівської політехніки, 2013) Сердюк, П.; Том’як, О.Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв’язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв’язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2. The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2.