Family of 2-simplex cognitive tools and their application for decision-making and its justifications

Urgency of application and development of cognitive graphic tools for usage in intelligent systems of data analysis, decision making and its justifications is given. Cognitive graphic tool "2-simplex prism" and examples of its usage are presented. Specificity of program realization of cognitive graphics tools invariant to problem areas is described. Most significant results are given and discussed. Future investigations are connected with usage of new approach to rendering, cross-platform realization, cognitive features improving and expanding of n-simplex family.Comment: 14 pages, 6 figures, conferenc

Application of Learning and Testing Intelligent System with Cognitive Component Based on Mixed Diagnostics Tests

Relevance of computer based learning and testing of students is discussed. Learning and testing intelligent system (LTIS) is proposed for learning, testing, learning results and dynamics assessment. LTIS is aimed at professional and personal skills and abilities estimation, and also for designing learning trajectory of courses. A new assessment approach called mixed diagnostic tests (MDT) for LTIS construction is discussed. Analysis of the effective MDT and their implementation are proposed. The cognitive component based on 3-simplex and 2-simplex prism is suggested. MDT reduces both time and cost expenses for organization and control of the educational process. Since MDT may replace consultant function of teacher, the proposed approach is promising in the blended learning. The decision-making results are justified via cognitive component

Simplex Control Methods for Robust Convergence of Small Unmanned Aircraft Flight Trajectories in the Constrained Urban Environment

Constrained optimal control problems for Small Unmanned Aircraft Systems (SUAS) have long suffered from excessive computation times caused by a combination of constraint modeling techniques, the quality of the initial path solution provided to the optimal control solver, and improperly defining the bounds on system state variables, ultimately preventing implementation into real-time, on-board systems. In this research, a new hybrid approach is examined for real-time path planning of SUAS. During autonomous flight, a SUAS is tasked to traverse from one target region to a second target region while avoiding hard constraints consisting of building structures of an urban environment. Feasible path solutions are determined through highly constrained spaces, investigating narrow corridors, visiting multiple waypoints, and minimizing incursions to keep-out regions. These issues are addressed herein with a new approach by triangulating the search space in two-dimensions, or using a tetrahedron discretization in three-dimensions to define a polygonal search corridor free of constraints while alleviating the dependency of problem specific parameters by translating the problem to barycentric coordinates. Within this connected simplex construct, trajectories are solved using direct orthogonal collocation methods while leveraging navigation mesh techniques developed for fast geometric path planning solutions. To illustrate two-dimensional flight trajectories, sample results are applied to flight through downtown Chicago at an altitude of 600 feet above ground level. The three-dimensional problem is examined for feasibility by applying the methodology to a small scale problem. Computation and objective times are reported to illustrate the design implications for real-time optimal control systems, with results showing 86% reduction in computation time over traditional methods

Educational Dimension

Збiрник наукових праць «Освiтнiй вимiр» мiстить матерiали, присвяченi висвiтленню теоретико-практичних проблем педагогiки вищої та загальноосвiтньої школи, становлення i розвитку освiтньої парадигми, iнтеграцiї психолого-педагогiчних чинникiв в органiзацiю навчально-виховного процесу. Випуск мiстить матерiали шостого мiжнародного семiнару «Хмарнi технологiї в освiтi» (Кривий Рiг, Україна, 21 грудня 2018 року). Оригiнальна онлайн публiкацiя — у 2433 томi CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613–0073).The collection of scientific works "Educational Dimension" contains materials devoted to the coverage of theoretical and practical problems of higher and secondary school pedagogy, the formation and development of the educational paradigm, the integration of psychological and pedagogical factors in the body. The issue contains materials of the sixth international seminar "Cloud technologies in education" (Kryvyi Rih, Ukraine, December 21, 2018). Original online publication - in 2433 volumes of CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613–0073)

A Review of Verification and Validation for Space Autonomous Systems

From Springer Nature via Jisc Publications RouterHistory: registration 2021-05-13, accepted 2021-05-13, online 2021-06-18, pub-electronic 2021-06-18, pub-print 2021-09Publication status: PublishedFunder: Engineering and Physical Sciences Research Council; doi: https://doi.org/10.13039/501100000266; Grant(s): EP/R026092/1Abstract: Purpose of Review: The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy. Recent Findings: Despite advances in individual verification and validation techniques, there is still a lack of approaches that aim to combine different forms of verification in order to obtain system-wide verification of modular autonomous systems. Summary: This systematic review of the literature includes the current advances in the latest approaches using formal methods for static verification (model checking and theorem proving) and runtime verification, the progress achieved so far in the verification of machine learning, an overview of the landscape in software testing, and the importance of performing compositional verification in modular systems. In particular, we focus on reporting the use of these techniques for the verification and validation of systems in space with an emphasis on autonomy, as well as more general techniques (such as in the aeronautical domain) that have been shown to have potential value in the verification and validation of autonomous systems in space