{"title":"Klir-Yuan Fuzzy Implication in Fuzzy Relations","authors":"Sanela Nesimović, Dženan Gušić","doi":"10.1109/ICCAIRO47923.2019.00033","DOIUrl":"https://doi.org/10.1109/ICCAIRO47923.2019.00033","url":null,"abstract":"Klir-Yuan fuzzy implication, as fuzzy implication generated from the standard strong fuzzy negation, the probabilistic sum t-conorm, and the product t-norm, represents a classical example of QL-implication, where QL-implications are the short for quantum logic fuzzy implications. In this paper we prove that the recent results on equivalences between fuzzy formulas and fuzzy dependencies remain invariant with respect to QL-implications when considered through Klir-Yuan fuzzy implication.","PeriodicalId":297342,"journal":{"name":"2019 International Conference on Control, Artificial Intelligence, Robotics & Optimization (ICCAIRO)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124908558","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Development of Safety Requirements for Tracking Active Pilot Controls by Signals from an Automatic Flight Control System","authors":"A. Savelev, E. Neretin","doi":"10.1109/ICCAIRO47923.2019.00012","DOIUrl":"https://doi.org/10.1109/ICCAIRO47923.2019.00012","url":null,"abstract":"In modern aircraft, pilot controls are increasingly becoming sidesticks instead of steering yokes. This causes a problem, such as the lack of tactile awareness of the crew about the operation of the autopilot. One of the promising ways to develop the aircraft industry today is to introduce active pilot controls into Integrated Flight Control System (which include Fly-by-wire System and Automatic Flight Control System). Currently, not a single certified large aircraft has the integration of active controls in the Integrated Flight Control System. The purpose of the work is to analyze the need to integrate the work of active pilot controls into the work of an Automatic Flight Control System and the available results in the world. For this, simplified schemes of classical Integrated Flight Control Systems with passive pilot controls and a perspective scheme of an Integrated Flight Control System with active pilot controls are presented. This function is called \"Moving the sidestick from the autopilot.\" For this function, the following tasks are solved within the framework of this article: functional hazard assessment to determine the qualitative and quantitative requirements for the development of a function. The second part of developing safety requirements is to use the Failure Tree Analysis tool and determine budgets according to the Item Development Assurance Level and quantitative requirements for the probability of failures. The methodology for conducting this safety analyzes is based on accepted international standards - ARP 4761 and ARP 4754A. The article concludes that it is necessary to introduce active pilot controls as an opportunity to provide tactile feedback to the pilot during automatic approaches to ICAO Category IIIb, and specific quantitative and qualitative safety requirements are formulated to ensure this function.","PeriodicalId":297342,"journal":{"name":"2019 International Conference on Control, Artificial Intelligence, Robotics & Optimization (ICCAIRO)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126458998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}