Wyniki wyszukiwania - BazTech

1

Transformative integration of Artificial Intelligence in architectural design

Kurcjusz Małgorzata, Stefańska Anna

Architectus

|

2025

|

Nr 1 (81)

89--99

EN

The introduction of Artificial Intelligence (AI) into architectural design is transforming traditional practices. This paper presents the typological applications of AI in architecture, focusing on its contributions to conceptual design, performance optimization, and sustainability, highlighting its transformative impact on workflows in the Architecture, Engineering, and Construction (AEC) sector. The aim of the authors of the paper was to categorize and analyse the hierarchical applications of AI in architectural design. The primary objective - to evaluate AI’s roles in fostering creativity, enhancing efficiency, and supporting sustainable practices. Methodologically, the research incorporates a comprehensive review of typological classifications, experimental validations, and case study analyses. By synthesizing findings from recent literature and real-world implementations, the paper assesses both the potentials and limitations of AI across various stages of architectural design. The results of the study indicate a typological hierarchy of AI applications in architectural design, revealing its multifaceted contributions. In conceptual design, AI-driven generative tools empower architects to explore vast design spaces, enabling the creation of innovative and diverse solutions. In performance optimization, AI demonstrates significant efficiency gains by reducing design iteration times, minimizing material waste, and enhancing energy efficiency through advanced simulations. For sustainability, AI’s predictive analytics facilitate informed decisions on material selection and compliance with environmental standards, supporting the achievement of green building certifications. However, these advancements come with challenges, including a dependency on high-quality data, ethical concerns regarding decision accountability, and the demand for specialized expertise. Based on the results, it can be concluded that AI enhances creativity, precision, and sustainability in architecture, but its successful integration requires a collaborative human-AI approach, supported by robust ethical frameworks and ongoing skill development.

PL

Wprowadzenie sztucznej inteligencji (Artificial Intelligence – AI) do projektowania architektonicznego zmienia tradycyjne praktyki. W artykule przedstawiono typologiczne zastosowania AI w architekturze, koncentrując się na jej wkładzie w projektowanie koncepcyjne, optymalizację wydajności oraz zrównoważony rozwój, podkreślając jej transformacyjny wpływ na procesy w sektorze architektury, inżynierii i budownictwa (AEC). Celem autorek pracy było sklasyfikowanie i analiza hierarchicznych zastosowań AI w projektowaniu architektonicznym. Głównym zamierzeniem – ocena roli AI w rozwijaniu kreatywności, zwiększaniu efektywności i wspieraniu praktyk zrównoważonego rozwoju. Metodologicznie badanie oparto na kompleksowym przeglądzie klasyfikacji typologicznych, walidacji eksperymentalnych oraz analizach studiów przypadków. Synteza wyników z najnowszej literatury przedmiotu i rzeczywistych implementacji pozwala na ocenę potencjału i ograniczeń AI na różnych etapach projektowania architektonicznego. Wyniki badania wskazują na hierarchię typologiczną zastosowań AI w projektowaniu architektonicznym, ukazując jej wielowymiarowy wkład. W projektowaniu koncepcyjnym narzędzia generatywne napędzane AI umożliwiają architektom eksplorację rozległych przestrzeni projektowych, pozwalając na tworzenie innowacyjnych i różnorodnych rozwiązań. W zakresie optymalizacji wydajności AI wykazuje znaczną poprawę efektyw¬ności poprzez redukcję czasu iteracji projektowych, minimalizację marnotrawstwa materiałów oraz poprawę efektywności energetycznej dzięki zaawansowanym symulacjom. W dziedzinie zrównoważonego rozwoju analityka predykcyjna AI wspiera podejmowanie świadomych decyzji dotyczących wyboru materiałów oraz zgodności ze standardami ekologicznymi, przyczyniając się do uzyskania certyfikatów zielonego budownictwa. Mimo tych postępów wyzwaniami pozostają zależność od wysokiej jakości danych, kwestie etyczne związane z odpowiedzialnością za decyzje oraz potrzeba specjalistycznych kompetencji. Na podstawie otrzymanych wyników można stwierdzić, że AI wzmacnia kreatywność, precyzję i zrównoważony rozwój w architekturze, ale jej skuteczna integracja wymaga współpracy człowieka i AI, wspieranej przez solidne ramy etyczne oraz rozwój kompetencji.

2

Internetowa partycypacja obywatelska : wyzwania i zagrożenia dla demokracji w erze cyfrowej

Ferreira Fernandes Karolina

Wiedza Obronna

|

2024

|

nr 3

143--154

PL

Internet, choć początkowo postrzegany jako potencjalny katalizator samorządności i wolności informacji, wykazuje również szereg negatywnych skutków dla demokracji. W niniejszym artykule omówiono główne negatywne aspekty wpływu Internetu na demokrację, w tym: rozprzestrzenianie dezinformacji i fake newsów, polaryzację społeczeństwa, manipulację wyborcami za pomocą algorytmów oraz wzrost nierówności cyfrowych. W kontekście masowej dostępności treści online, dezinformacja staje się coraz bardziej powszechna, co prowadzi do osłabienia zaufania do mediów i instytucji demokratycznych. Ponadto, platformy społecznościowe i algorytmy wyświetlania treści sprzyjają tworzeniu baniek informacyjnych i polaryzacji społecznej, ograniczając zdolność do konstruktywnej dyskusji i potrzebnych w demokratycznych społeczeństwach kompromisów. Manipulacja wyborcami poprzez targetowanie i personalizowane przekazy również podważa integralność procesów demokratycznych. Wreszcie, wzrost nierówności cyfrowych, czyli różnic w dostępie do Internetu i umiejętnościach cyfrowych, może prowadzić do wykluczenia społecznego i ograniczać uczestnictwo obywatelskie.

EN

Although the Internet, initially perceived as a potential catalyst for democracy and freedom of information, the Internet also has a number of negative effects on democracy. In this article, I discuss the main negative aspects of the impact of the Internet on democracy, including: the spread of disinformation and fake news, polarization of society, manipulation of voters using algorithms and the increase in digital inequality. In the context of mass availability of online content, disinformation is becoming more common, which leads to weakening trust in the media and democratic institutions. Additionally, social media platforms and content display algorithms encourage the creation of information bubbles and social polarization, limiting the ability to constructively discuss and compromise. Manipulation of voters through micro-targeting and personalized messages also undermines the integrity of democratic processes. Finally, the increase in digital inequalities, i.e. differences in Internet access and digital skills, can lead to social exclusion and limit civic participation.

3

Diagnostics and troubleshooting of ships digital ellectronics systems

Mikhailov S., Veretennik A., Kulyeshov I.

TransNav : International Journal on Marine Navigation and Safety of Sea Transportation

|

2024

|

Vol. 18 No. 2

303--308

EN

Algorithms and procedures of digital information systems testing, adjustment and sustainable.

4

Algorytmy sztucznej inteligencji w przetwarzaniu danych rozpoznania radioelektronicznego ELINT

Rybak Łukasz, Dudczyk Janusz, Mazur Piotr

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

|

2024

|

nr 4

121--124

PL

Artykuł ukazuje znaczenie sztucznej inteligencji AI dla rozpoznania radioelektronicznego ELINT. Celem było przedstawienie procesu przetwarzania danych ELINT ze wskazaniem potencjału jego automatyzacji przez zastosowanie nadzorowanych i nienadzorowanych algorytmów uczenia maszynowego ML. Scharakteryzowano etapy procesu przetwarzania danych ELINT i wybrane algorytmy klasyfikacji i grupowania. Wyniki wykazały potencjał aplikacyjny poszczególnych algorytmów AI w różnych problemach z zakresu przetwarzania danych ELINT.

EN

The article shows the significance of artificial intelligence (AI) for electronic intelligence (ELINT). The aim was to present the ELINT data processing and indicate the potential for its automation through the use of supervised and unsupervised machine learning algorithms. The stages of the ELINT data processing and selected classification and clustering algorithms were characterized. The results showed the application potential of particular AI algorithms in various problems in the field of ELINT data processing.

5

Evaluation of popular path planning algorithms

Kara Mehmet

International Journal of Electronics and Telecommunications

|

2024

|

Vol. 70, No. 1

13--22

EN

The navigation of mobile robots is a key element of autonomous systems, which allows robots to move effectively and securely in changing environments with greater autonomy and precision. This study aims to provide researchers with a comprehensive guide for selecting the best path-planning methods for their particular projects. We evaluate some popular algorithms that are regularly used in mobile robot navigation, in order to demonstrate their specifications and determine where they are most effective. For example, one algorithm is used to model the problem as a standard graph, and another algorithm is found to be the most suitable for highly dynamic and highly dimensional environments, due to its robust path-planning capabilities and efficient route construction. We also filter high-performance algorithms in terms of computational complexity, accuracy, and robustness. In conclusion, this study provides valuable information on its individual strengths and weaknesses, helping robotics and engineers make informed decisions when selecting the most appropriate algorithm for their specific applications.

6

Adding parallelism to sequential programs : a combined method

Daszczuk Wiktor B., Czejdo Danny B., Grześkowiak Wojciech

International Journal of Electronics and Telecommunications

|

2024

|

Vol. 70, No. 1

135--144

EN

The article outlines a contemporary method for creating software for multi-processor computers. It describes the identification of parallelizable sequential code structures. Three structures were found and then carefully examined. The algorithms used to determine whether or not certain parts of code may be parallelized result from static analysis. The techniques demonstrate how, if possible, existing sequential structures might be transformed into parallel-running programs. A dynamic evaluation is also a part of our process, and it can be used to assess the efficiency of the parallel programs that are developed. As a tool for sequential programs, the algorithms have been implemented in C#. All proposed methods were discussed using a common benchmark.

7

Solving technological problems of flight services at airport involving composite materials

Romele Marina, Zabirov Anwar, Chatys Rafał, Shestakov Vladimir

Composites Theory and Practice

|

2024

|

R. 24, nr 2

123--129

EN

Inadequate information support and dispatch of the execution of individual operations of the technological process (especially the repair of composite structures) of aircraft preparation for a flight is one of the reasons for delays. In this regard, there is a need to study the management processes of airport services that ensure the performance of individual technological operations in the preparation of aircraft for departure. This problem belongs to the class of multi-criteria problems, which is solved using simulation modelling. The model is represented by an interconnected set of modules, each of which is associated with a separate technological operation of the general technological process, i.e. the technological process is divided into separate technological operations. The links of individual blocks of the model reflect the information and technological links of a real set of technological operations of flight preparation for departure and are represented by the synthesising algorithm of the simulation model.

8

Selected error compensation problems of the AHRS/INS cardanless inertial navigation system

Michalak Sławomir, Borowski Jerzy

Aviation and Security Issues

|

2024

|

No. 1

29--39

EN

The paper presents algorithms for compensating selected errors of the AHRS/INS system at various stages of its construction and testing. The object of the research was a laboratory model of the system built at the Air Force Institute of Technology. Methods of identifying parameters of measurement signals and Kalman filtering are presented. Methods of compensation of instrumental errors related to the mounting geometry of measuring sensors used in the system were discussed. Problems related to the compensation of stochastic errors in the measurement circuits were also presented. One of the more difficult problems is the compensation of the BIAS error and the compensation of the non-commutativity of rotations around the measurement axes. Accurate compensation of errors in cardanless inertial navigation systems has a large impact on the accuracy of determining the attitude in AHRS systems and the accuracy of determining the position in INS systems.

PL

W artykule przedstawiono algorytmy kompensacji wybranych błędów systemu AHRS/INS na różnych etapach jego konstruowania i testowania. Obiektem badań był model laboratoryjny systemu zbudowany w Instytucie Technicznym Wojsk Lotniczych. Przedstawiono metody identyfikacji parametrów sygnałów pomiarowych oraz filtrację Kalmana. Omówiono zastosowane w systemie sposoby kompensacji błędów instrumentalnych związanych z geometrią montażu czujników pomiarowych. Przedstawiono również problemy związane z kompensacją błędów stochastycznych występujących w torach pomiarowych. Jednym z trudniejszych problemów jest kompensacja błędu BIAS oraz kompensacja nieprzemienności obrotów wokół osi pomiarowych. Dokładna kompensacja błędów występujących w bezkardanowych systemach nawigacji inercjalnej ma duży wpływ na dokładność wyznaczania kątowego położenia przestrzennego w systemach AHRS oraz dokładność wyznaczenia pozycji w systemach INS.

9

Optimization of daily operations in the marine industry using ant colony optimization (ACO)-An artificial intelligence (AI) approach

Sardar A., Anantharaman M., Garaniya V., Khan F.

TransNav : International Journal on Marine Navigation and Safety of Sea Transportation

|

2023

|

Vol. 17 No. 2

290--295

EN

The maritime industry plays a crucial role in the global economy, with roughly 90% of world trade being conducted through the use of merchant ships and more than a million seafarers. Despite recent efforts to improve reliability and ship structure, the heavy dependence on human performance has led to a high number of casualties in the industry. Decision errors are the primary cause of maritime accidents, with factors such as lack of situational awareness and attention deficit contributing to these errors. To address this issue, the study proposes an Ant Colony Optimization (ACO) based algorithm to design and validate a verified set of instructions for performing each daily operational task in a standardised manner. This AI-based approach can optimise the path for complex tasks, provide clear and sequential instructions, improve efficiency, and reduce the likelihood of human error by minimising personal preference and false assumptions. The proposed solution can be transformed into a globally accessible, standardised instructions manual, which can significantly contribute to minimising human error during daily operational tasks on ships.

10

Sztuczna inteligencja w farmacji

Tarabasz Dariusz

Przemysł Farmaceutyczny

|

2023

|

nr 1

22--25

PL

Sztuczna inteligencja coraz śmielej wkracza do naszego życia, a przemysł farmaceutyczny nie jest tutaj wyjątkiem. Algorytmy AI mają w tym przypadku ogromne wręcz pole do zastosowania. Mogą usprawnić proces produkcji, kontroli jakości, ale - co chyba jeszcze ważniejsze - otwierają niedostępne do tej pory możliwości w zakresie opracowania nowych leków.

11

Analiza porównawcza języków C oraz Python na podstawie czasu wykonania aplikacji realizujących wybrane algorytmy

Rysak Paweł

Journal of Computer Sciences Institute

|

2023

|

Vol. 26

93--99

PL

Artykuł dotyczy analizy porównawczej szybkości wykonywania kodu przez język C oraz Python. Jej podstawowym celem nie było szukanie prostej odpowiedzi na pytanie, który z języków będzie wydajniejszy, tylko jaka jest skala różnic w wydajności tych języków. W celu określenia wydajności języka kompilowanego oraz skryptowego dokonano zestawienia języków na przykładzie następujących algorytmów: algorytm rozwiązujący problem wieży Hanoi, algorytm kodowania Huffmana oraz algorytm zamiany liczb na tekst. Każdy z wymienionych algorytmów został zaimplementowany w obydwu językach. Następnie dokonano pomiaru czasu realizacji programów, którego wyniki pozwoliły na określenie skali różnic w szybkości ich wykonania. W języku C aplikacje wykonywałysię od 6 do 188 razy szybciej niż aplikacje w języku Python

EN

The article deals with a comparative analysis of the speed of code execution written in the C language and Python. In order to determine whether a scripting language can match the performance of a compiled language, a comparison of the languages was made using the following algorithms: the algorithm for solving the Hanoi tower problem, the Huffman encoding algorithm and the algorithm for converting numbers into text. Each of the listed algorithms was implemented in both languages. Then the execution time of the programs was measured and the results were obtained, which prove that the C language achieves better performance in most cases.

12

Zaawansowana sztuczna inteligencja w aplikacjach przemysłowych

Dozór Techniczny

|

2023

|

z. 5

16--17

PL

Czy wkrótce nie tylko specjaliści będą w stanie serwisować specjalistyczne, przemysłowe urządzenia? Firma ABB i Microsoft pracują nad wdrożeniem generatywnej sztucznej inteligencji (GenAI) do przemysłu, która usprawni analizę danych i pomoże podjąć właściwą decyzję zapobiegającą awarii urządzeń.

13

Podsumowanie wyników projektu illuMINEation „Przemysłowa platforma IoT gwarantująca bezpieczne, zrównoważone i wydajne wydobycie” w zakresie rozwiązań sprzętowych i programowych

Paterek Marcin, Kobylańska Malwina

Cuprum : czasopismo naukowo-techniczne górnictwa rud

|

2023

|

nr 3-4

27--40

PL

W artykule przedstawiono rezultaty projektu illuMINEation „Przemysłowa platforma IoT gwarantująca bezpieczne, zrównoważone i wydajne wydobycie” („Bright concepts for a safe & sustainable digital mining future”), realizowanego w ramach programu Horyzont 2020 (Grant Agreement No. 869379). W projekcie tym postawiono sobie za cel stworzenie rozwiązań podnoszących bezpieczeństwo oraz efektywność procesów produkcji w górnictwie. Aby zrealizować te postanowienia, stworzono szereg rozwiązań zarówno sprzętowych, jak i algorytmów oraz oprogramowania. Projekty sprzętowe mają formę samodzielnych urządzeń i elementów zabudowywanych na maszynach górniczych, natomiast programowe mogą być samodzielną platformą IIoT, jak i algorytmami do zaimplementowania w obrębie istniejącej infrastruktury IT.

EN

The article presents the outcomes of the illuMINEation project "Bright concepts for a safe & sustainable digital mining future”, funded within the Horizon 2020 Programme (Grant Agreement No. 869379). This project aimed to create solutions that increase the safety and efficiency of production processes in mining. To implement these provisions, a number of hardware, software, and algorithm solutions were created. Hardware results take the form of stand-alone devices and elements built onto mining machines, while software projects may be stand-alone IIoT platform or algorithms to be implemented within the existing IT infrastructure.

14

Statistical procedures for determining of parameters for the evaluation of the condition and safety in logistic of military vehicles

Żółtowski Bogdan, Simiński Przemysław, Kosiuczenko Krzysztof

Systemy Logistyczne Wojsk

|

2022

|

Vol. 57, no. 2

143--159

EN

The use of technical condition assessment methods in the process of vehicle operation, which are the basis for automating the process of recognizing their current condition and safety, is synonymous with modernity. The purpose of this study is to present fragments of numerical procedures used for programmed studies of changes in the state, reliability, and safety of technical objects in use. The presented methodology, supported by elements of achievements in application of statistical methods, is the basis for a comprehensive assessment of supervised facilities, which are so important for innovative strategies for the operation of technical facilities. However, this requires optimization of the set of diagnostic parameters, development and optimization of condition control tests and optimization of genesis and prognosis methods. The solution to these tasks depends on many factors related to the degree of complexity of the objects, the quality of the operation process and the course of their aging and wear processes. The analysis and synthesis of the obtained research results should allow for the development of dedicated procedures and inference rules for the tested objects (vehicles) in the field of data acquisition and processing for the observation matrix, which is presented in the form of ready-made algorithms in this work. These are important procedures constituting the basis for more and more often built control and diagnostic systems introduced to facilities already at the stage of construction and production in modern technical facilities. Such systems are the basis for monitoring state changes, security threats, reliability, and supervision in the rational operation of technical facilities.

PL

Stosowanie w procesie eksploatacji pojazdów metod oceny stanu technicznego, które są podstawą automatyzacji procesu rozpoznawania ich aktualnego stanu i bezpieczeństwa, jest synonimem nowoczesności. Celem tego opracowania jest przedstawienie fragmentów procedur numerycznych stosowanych do programowanych badań zmian stanu, niezawodności i bezpieczeństwa użytkowanych obiektów technicznych. Przedstawiona metodologia wsparta elementami dokonań z obszaru zastosowań metod statystycznych to podstawy całościowej oceny nadzorowanych obiektów, jakże ważnych dla innowacyjnych strategii eksploatacji obiektów technicznych. Wymaga to jednak optymalizacji zestawu parametrów diagnostycznych, opracowania i optymalizacji testów kontrolnych stanu oraz optymalizacji metod genezy i prognozowania. Rozwiązanie tych zadań zależy od wielu czynników związanych ze stopniem skomplikowania obiektów, jakością procesu eksploatacji oraz przebiegiem procesów ich starzenia i zużycia. Analiza i synteza uzyskanych wyników badań powinna pozwolić na opracowanie dedykowanych procedur i reguł wnioskowania dla badanych obiektów (pojazdów) w zakresie pozyskiwania i przetwarzania danych do macierzy obserwacji, która jest przedstawiona w postaci gotowych algorytmów w tym pracowaniu. To ważne procedury stanowiące podstawę dla coraz częściej budowanych systemów sterująco – diagnostycznych wprowadzanych do obiektów już na etapie konstruowania i wytwarzania w nowoczesnych obiektach technicznych. Systemy takie są podstawą monitorowania zmian stanu, zagrożenia bezpieczeństwa, niezawodności i nadzoru w racjonalnej eksploatacji obiektów technicznych.

15

Wildfires in terms of unmanned systems. Current methods and solution review

Fellner Andrzej, Zawistowski Maciej

Prace Naukowe Politechniki Warszawskiej. Transport

|

2022

|

z. 134

35--51

EN

The analysis of the literature shows that numerous factors, such as Climate change, more and more frequent and long-lasting droughts, and the growing trend of using forests for recreational purposes, cause a constant increase in the risk of forest fires. Poland, despite having numerous and vast forest areas in the form of national or landscape parks, is classified as having an average risk of fire compared to other European countries. Currently, our country is characterized by the emergence of a large number of forest fires within a small area. In 2019, there were almost 9,200 such events, which put Poland in third place in Europe (behind Spain and Portugal). It should be noted, however, that large-scale forest fires with an area of several hundred hectares have occurred and are still a threat in Poland. Therefore, it has been proposed to use a proactive method to limit or compensate for the effects of hazards caused by large-scale fires, which are of key safety, environmental and economic importance. In the article, the authors focused on the presentation of the currently used solutions and compensation for the effects of these threats and presented possible prospective solutions based on the conducted and planned scientific research on monitoring large-scale fires and the possibility of forecasting them during operational activities, based on unmanned systems and techniques and satellite technologies.

PL

Z analizy literatury wynika, że liczne czynniki jak m.in. zmiana klimatu, coraz częściej występujące i długotrwałe susze czy rosnący trend wykorzystywania lasów do celów rekreacyjnych powodują ciągłe zwiększanie się ryzyka występowania ich pożarów. Polska, pomimo posiadania licznych i rozległych obszarów leśnych w postaci parków narodowych czy krajobrazowych jest na tle państw Europejskich klasyfikowana do obszarów częściowo o średnim i wysokim zagrożeniu pożarowym lasów. Obecnie dla naszego kraju cechą charakterystyczną jest powstawanie dużej liczby pożarów lasów o małej powierzchni. W 2019 r. takich zdarzeń odnotowano prawie 9 200, co stawiało Polskę na trzecim miejscu w Europie (za Hiszpanią i Portugalią). Należy jednak zaznaczyć, że wielkoobszarowe pożary lasów o powierzchni kilkuset hektarów, występowały i nadal stanowią zagrożenie w Polsce. W związku z tym zaproponowano zastosowanie metody proaktywnej w celu ograniczenia lub kompensowania skutków zagrożeń spowodowanych pożarami wielkoobszarowymi, które mają kluczowe znaczenie w zakresie bezpieczeństwa, ochrony środowiska i ekonomii. W artykule autorzy skupili się na przedstawieniu obecnie stosowanych rozwiązań oraz kompensacji skutków wynikających z tych zagrożeń oraz zaprezentowali możliwe perspektywiczne rozwiązania, w oparciu o przeprowadzone i planowane badania naukowe dotyczące monitorowania pożarów wielkoobszarowych i możliwości ich prognozowania podczas działań operacyjnych, w oparciu o systemy bezzałogowe i techniki i technologie satelitarne.

16

Za dużo i za mało

Ziemnicki Paweł

Geodeta : magazyn geoinformacyjny

|

2022

|

nr 6

20--24

17

Algorithms and calculation scheme for planning the way of movement of trajectory point during maneuvering for anchoring

Surinov I.

TransNav : International Journal on Marine Navigation and Safety of Sea Transportation

|

2021

|

Vol. 15 No. 3

629--638

EN

The analysis of the historical aspect of the development of the maneuvering during anchoring shows that during the movement there is no time to control the position by technical means, due to the speed of the process of changing the parameters of movement. The main purpose of this research is to modify the methodological basis for the preparation of flight planning during anchoring with increased accuracy to determine the coordinates along which the ship will move. The methodology of this work is based on the calculation of trajectory points of the path in combination with the method of segments on the map using the characteristics of the maneuverability of the vessel. The method is based on determining the coordinate matrices of rectilinear and curvilinear sections through which the vessel passes during maneuvering for anchoring. The calculation program is developed in Excel, and allows without the help of a micro calculator that takes into account the maneuverability of the vessel in the automatic system. Thus, the control of the center of gravity of the vessel relative to a given path line is performed. A high-precision system for automatic determination of planned coordinates by trajectory points on track and traffic control during anchoring has been developed, which is based on recently developed algorithms, calculation schemes and methods at the Maritime University, which are based on the latest meaningful models of high-precision planning movement on them. This approach automates the process of controlling safe traffic, including the use of decision support systems, including stranding prevention and collisions with other vessels. The results of the research can be used on a ship for automated planning of coordinates on waypoints and control of traffic on them for safe maneuvering, as well as for training navigators on specialized simulators to perform trajectory planning, including limited conditions.

18

New characterizations of reproducing kernel Hilbert spaces and applications to metric geometry

Alpay Daniel, Jorgensen Palle E.T.

Opuscula Mathematica

|

2021

|

Vol. 41, no. 3

283--300

EN

We give two new global and algorithmic constructions of the reproducing kernel Hilbert space associated to a positive definite kernel. We further present a general positive definite kernel setting using bilinear forms, and we provide new examples. Our results cover the case of measurable positive definite kernels, and we give applications to both stochastic analysis and metric geometry and provide a number of examples.

19

An Overview of the Methods of Synthesis, Realization and Implementation of Orthogonal 3-D Rotation Filters and Possibilities of Further Research and Development

Poczekajło Paweł

International Journal of Electronics and Telecommunications

|

2021

|

Vol. 67, No. 2

295--300

EN

In the paper, an overview of the methods and algorithms of synthesis, realization and implementation used by the author to obtain orthogonal 3-D filters with a structure made of Givens rotations has been presented. The main advantage of orthogonal filters, which may have a lower sensitivity to quantization of the coefficients, was indicated. The author proposed a number of possible changes and modifications of individual stages, which may result in obtaining filters with even better parameters. The work will be the basis for the direction of further research.

20

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction

Cassez Franck, Jensen Peter Gjøl, Guldstrand Larsen Kim

Fundamenta Informaticae

|

2021

|

Vol. 178, nr 1/2

31--57

EN

We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform assignments to discrete and real-valued variables. They are general enough to capture interesting classes of timed systems such as timed automata, stopwatch automata, time(d) Petri nets and hybrid automata. We propose a semi-algorithm using refinement of trace abstractions to solve both the reachability verification problem and the parameter synthesis problem for real-time programs. All of the algorithms proposed have been implemented and we have conducted a series of experiments, comparing the performance of our new approach to state-of-the-art tools in classical reachability, robustness analysis and parameter synthesis for timed systems. We show that our new method provides solutions to problems which are unsolvable by the current state-of-the-art tools.