检索结果-内蒙古大学图书馆

Predictive Controller Based on paraconsistent annotated logic for Synchronous Generator Excitation Control

ENERGIES 2023年第4期16卷 1934页

作者： Da Silva Filho, Joao Inacio de Oliveira, Raphael Adamelk Bispo Rodrigues, Marcos Carneiro Cortes, Hyghor Miranda Rocco, Alexandre Mario, Mauricio Conceicao Garcia, Dorotea Vilanova Abe, Jair Minoro Torres, Claudio Rodrigo Ricciotti, Viviane B. Duarte Ricciotti, Antonio Carlos Duarte de Carvalho Jr, Arnaldo Lambert-Torres, Germano St Cecilia Univ UNISANTA Lab Appl Paraconsistent Log Oswaldo Cruz St 288 BR-11045907 Santos SP Brazil Univ Paulista Grad Program Prod Engn Jose Maria Whitaker Ave 320 BR-04057000 Sao Paulo SP Brazil Paula Souza State Ctr Technol Educ CEETEPS Postgrad Program Management & Technol Prod Syst Bandeirantes St 169 BR-01124010 Sao Paulo SP Brazil Fed Univ Rondonia Acad Dept Elect Engn BR-76801058 Porto Velho Brazil Fed Inst Educ Sci & Technol Sao Paulo IFSP BR-11533160 Cubatao SP Brazil Gnarus Inst BR-37500052 Itajuba MG Brazil

This study presents a new Model Predictive Controller (MPC), built with algorithms based on paraconsistent annotated logic (PAL), with application examples in the excitation control of a synchronous generator. PAL is a non-classical evidential and propositional logic that is associated with a Hasse lattice, and which presents the property of accepting the contradiction in its foundations. In this research, the algorithm was constructed with a version of the PAL that works with two information signals in the degrees of evidence format and, therefore, is called paraconsistent annotated logic with annotation of two values (PAL2v). For the validation of the algorithmic structure, the computational tool MATLAB((R)) Release 2012b, The MathWorks, Inc., Natick, MA, United States was used. Simulations were performed which compared the results obtained with PPC-PAL2v to those obtained in essays with the AVR (Automatic Voltage Regulator) controls in conjunction with the PSS (Power System Stabilizer) and the conventional MPC of fixed weights. The comparative results showed the PPC-PAL2v to display superior performance in the action of the excitation control of the synchronous generator, with a great efficiency in response to small signals.

关键词： paraconsistent logic paraconsistent annotated logic power grids stability control predictive models energy efficiency power system stability

来源：评论

学校读者我要写书评

暂无评论

Application of paraconsistent annotated Evidential logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles 25

Application of Paraconsistent Annotated Evidential Logic Eτ...

引用

25th KES International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES)

作者： Bernardini, Flavio Amadeu da Silva, Marcia Terra Abe, Jair Minoro Univ Paulista Grad Program Prod Engn Rua Dr Bacelar 1212 Sao Paulo SP Brazil

One of the significant challenges in contemporary robotics concerns navigation systems and autonomous robots' location, being the detection and avoidance of obstacles an essential part of this system. This article proposed paraconsistent annotated Evidential logic ET in the control algorithm for a terrestrial robot, and thus contribute with navigation systems, to avoid possible collisions with obstacles. A prototype terrestrial robot was then built with ultrasonic sensors for obstacle detection and a servomotor in steering control. Several performance tests were performed. It was noticed that by shortening the perception distances of the sensors, the performance of the robot's displacement proved to be satisfactory. (C) 2021 The Authors. Published by Elsevier B.V.

关键词： paraconsistent annotated logic Servomotor Terrestrial mobile robot Robotics

来源：评论

学校读者我要写书评

暂无评论

paraconsistent annotated logic Artificial Intelligence Study in Support of Manager Decision-making 18

Paraconsistent Annotated Logic Artificial Intelligence Study...

引用

2nd International Conference on Business and Information Management (ICBIM)

作者： Borges de Lima, Alessandro W. de Lima, Luiz Antonio Abe, Jair M. Goncalves, Rodrigo Franco Alves, Davis Nakamatsu, Kazumi Univ Paulista Grad Program Prod Engn Rua Dr Bacelar 1212 BR-04026002 Sao Paulo SP Brazil Univ Hyogo Sch Human Sci & Environm HSE Nishi Ku Gakuennishi MachiKobe Shi 8-2-1 Kobe Hyogo 6512197 Japan

ISBN: (纸本)9781450365451

The philosopher Aristotle seeks the definition of man as a political being, responsible for making decisions. Political decisions generate changes in their environment and in producing change they seek constant adaptations, which in turn leads to contradictions, inconsistencies, truths, falsehoods. So soon, studies of the non-classical logical calls [2] have become a tool as an aid in the making of decisions. The logic calls attention to the brilliance of containing provisions contrary to some of the basic principles of Aristotelian logic, such as the contradiction. In this article, the use of the technology allows proposing a structured decision making contained in the unified process paraconsistent logic. The unified process paraconsistent logic aims to be a facilitator in supporting the construction of the decision support and adherent the paraconsistent Decision Method proposed in the studies with announcements for project recount in the function point analysis technique. A network of paraconsistent analysis can be used applications focused on the use of artificial intelligence, situations that the classic logic does not meet in its fullness, for the simple fact of operating with only two states, true or false, paraconsistent has a lot of room to deal with data inconsistencies and with real-world uncertainties.

关键词： Innovation paraconsistent annotated logic paraconsistent logic Non-Classical logics Paraconsistency Paracompletenessn Decision-making Software engineering Software Metrics

来源：评论

学校读者我要写书评

暂无评论

Application of paraconsistent annotated Evidential logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles

引用

Procedia Computer Science 2021年 192卷 1821-1830页

作者： Flavio Amadeu Bernardini Marcia Terra da Silva Jair Minoro Abe Graduate Program in Production Engineering - Paulista University. Rua Dr. Bacelar 1212

One of the significant challenges in contemporary robotics concerns navigation systems and autonomous robots’ location, being the detection and avoidance of obstacles an essential part of this system. This article proposed paraconsistent annotated Evidential logic Eτ in the control algorithm for a terrestrial robot, and thus contribute with navigation systems, to avoid possible collisions with obstacles. A prototype terrestrial robot was then built with ultrasonic sensors for obstacle detection and a servomotor in steering control. Several performance tests were performed. It was noticed that by shortening the perception distances of the sensors, the performance of the robot’s displacement proved to be satisfactory.

关键词： paraconsistent annotated logic Servomotor Terrestrial mobile robot Robotics

来源：评论

学校读者我要写书评

暂无评论

Contribution of the paraconsistent Tri-annotated logic to emergy accounting and decision making

引用

ECOlogicAL MODELLING 2019年 393卷 98-106页

作者： Bonilla, Silvia H. Papalardo, Fabio Tassinari, Celso A. Sacomano, Jose B. de Carvalho, Fabio Romeu Univ Paulista Post Grad Program Prod Engn UNIP Sao Paulo Brazil Univ Paulista ICET Sci & Technol Inst UNIP R Dr Bacelar1212 BR-04026002 Sao Paulo Brazil

The process of decision-making is a complex task that can become more challenging if the information provided by indicators is contradictory. Emergy accounting is an environmental accounting methodology that has been used to guide environmental decision making. In this paper we propose a comprehensive tool to support decision-making in emergy accounting. paraconsistent logic is a non-classic logic, which can aid in decision-making when the investigator is confronted with contradictory results. paraconsistent Tri-annotated logic (PL3v) is proposed as a decision tool to compare different systems and allow selection of those alternatives with the best performance from the standpoint of sustainability defined in emergy terms. The rationale behind our selection of a set of emergy indicators to assess sustainability included such factors as increased efficiency, setting a priority for local resource use and minimization of the use of non-renewable resources. Two actual examples from the literature that resulted in contradictory evidence of system sustainability were compared within the framework of PL3v. Emergy indicators that correspond to positive evidence of sustainability (i.e., those that show increased efficiency and greater local resource use) were assigned as two favorable logic measures of sustainability. The PL3v analysis is completed with the identification of evidence that is unfavorable to sustainability, which is given by a third indicator negatively correlated with sustainability (i.e., non-renewable resource use). Operationally, the methodology proposed the normalization of the indicator values between [0,1] to fit to the PL3v annotation framework. Comparison of the systems examined is presented through the paraconsistent logic approach with the aid of a graphical representation and the calculation of the degree of certainty related to the truthfulness of the sustainability proposition.

关键词： Emergy paraconsistent annotated logic Decision-making Hydropower Sustainability index

来源：评论

学校读者我要写书评

暂无评论

Alkaline gases emission estimation and paraconsistent logic techniques application to label bagasse combustion conditions

引用

THERMAL SCIENCE AND ENGINEERING PROGRESS 2023年 40卷

作者： Salinas, Carlos T. Castilho, Tiago da Silva Filho, Joao Inacio Marcelo-Aldana, Daniel Univ Santa Cecilia Postgrad Program Mech Engn Rua Cesario Mota 08Sala F-34 Santos Brazil Univ Piura Ramon Mugica 131 Piura Peru

When some renewable energy sources are used, such as biomass solid waste, it is necessary to measure and control pollutant emissions. Since raw sugarcane comes from a wide variety of supply sources, it is necessary to monitor the behavior of the biomass residues during the burning process to control flame stability, emissions, and combustion efficiency. The variation in the combustion temperature of biomass affects the combustion ef-ficiency and also the emission of alkaline metals, such as potassium (K) and sodium (Na), which can cause corrosion in boilers. The objective of the present work is to estimate the content of alkali gases in the flames during the burning of solid biomass residues, specifically sugarcane bagasse in this case. The flame emission spectroscopy (FES) spectrometry technique is used and flame emission spectra is captured during the combustion of bagasse in a pilot furnace. The flame temperature is calculated using the two-color method together with the inverse Levenberg-Marquard method. Models and correlations from literature are used to obtain a database of emission content of sodium and potassium. Using paraconsistent logic techniques, a predictor algorithm is implemented and bagasse samples were labeled to identify similar physical combustion conditions. The results of the emission of sodium and potassium estimated for groups labeled using the algorithm of paraconsistent logic are compared and show good agreement between them. A good and reasonable agreement was found in the estimation of the emission content of potassium and sodium.

关键词： Biomass combustion Flame temperature Alkali emission Spectroscopy paraconsistent annotated logic

来源：评论

学校读者我要写书评

暂无评论

A Study of paraconsistent Artificial Neural Cell of Learning Applied as PAL2v Filter

引用

IEEE LATIN AMERICA TRANSACTIONS 2018年第1期16卷 202-209页

作者： De Carvalho, A., Jr. Da Silva Filho, J. I. Mario, M. C. Blos, M. F. Cruz, C. M. Inst Fed Educ Ciencia & Tecnol Sao Paulo IFSP Cubatao SP Brazil Univ Santa Cecilia UNISANTA Santos SP Brazil Ctr Univ Monte Serrat UNIMONTE Santos SP Brazil

The paraconsistent annotated logic (PAL) is one type of non-classical logics that, differently than classical logic, allows the processing of contradictory signals in its theoretical structure. The paraconsistent Artificial Neural Cell (PAN(cell)) is the basic block of a set of algorithms that utilizes the interpretation of the lattice of the paraconsistent annotated logic with annotation of two values (PAL2v). The paraconsistent Artificial Neural Cell of Learning (LPAN(cell)) is a type of PAN(cell) whose behavior is to learn any real value applied to its input, within a normalized closed range. This cell can be used in signal analysis, processing, average estimator and as a filter, called PAL2(v)Filter. The objective of this paper is to study the PAL2(v)Filter by simulations and evaluate the differences when using two types of LPAN(cell). The first LPAN(cell) features an output that represents the degree of evidence and the second LPAN(cellr) is characterized by a value in the output which is extracted the effect of contradiction.

关键词： paraconsistent annotated logic PAL2(v)Filter paraconsistent Artificial Neural Cell of Learning

来源：评论

学校读者我要写书评

暂无评论

Analysis of Raman spectroscopy data with algorithms based on paraconsistent logic for characterization of skin cancer lesions

引用

VIBRATIONAL SPECTROSCOPY 2019年 103卷 102929-000页

作者： Garcia, Dorotea Vilanova da Silva Filho, Joao Inacio Silveira, Landulfo, Jr. Tavares Pacheco, Marcos Tadeu Abe, Jair Minoro Carvalho, Arnaldo, Jr. Blos, Mauricio Fontoura Goncalves Pasqualucci, Carlos Augusto Mario, Mauricio Conceicao Univ Santa Cecilia UNISANTA Lab Appl Paraconsistent Log Rua Oswaldo Cruz 288 BR-11045000 Santos SP Brazil UAM CITE Parque Tecnol Sao Jose Dos Campos BR-12247016 Sao Jose Dos Campos SP Brazil Univ Sao Paulo Med Sch FMUSP Dept Pathol LIM22 Lab Cardiovasc Pathol Av Dr Arnaldo 455 BR-01246903 Sao Paulo SP Brazil

Analysis of the Raman data to obtain results in discrimination models is usually done with multivariate statistics based on principal component analysis (PCA). In this work, we present a technique based on a non-classical logic called paraconsistent logic (PL). The aim of this work is to use computational procedures capable of generating efficient expert systems to discriminate cutaneous tissue samples obtained by Raman spectroscopy. First, a set of algorithms originating from PL is presented, and then its application in discrimination analyses is described;the discrimination analysis was conducted using a database of skin tissue samples obtained ex vivo by Raman spectroscopy of spectrum range of 400-1800 cm(-1) wavelengths. Data processing, pattern creation, and comparisons were performed using the set of paraconsistent algorithms (SPA-PAL2v). The total number of samples was divided into four histopathological groups, with 115 spectra of basal cell carcinoma (BCC), 21 spectra of squamous cell carcinoma (SCC), 57 spectra of actinic keratosis (AK), and 30 normal skin (NO) spectra. An arrangement type was created for this study, and the samples were randomly selected and analyzed, and the NO group was compared with the group of non-melanoma cancer lesions (BCC + SCC) and the AK tumor lesion. Two analyses were performed. The first (SPA-PAL2v) Mode 1 (no cross-validation) achieved 76% of hits, and the second (SPA-PAL2v) Mode 2 (with cross-validation) achieved 75.78% of hits. These results were compared with discrimination using PCA statistical methods (PCA/DA) and presented superior percentages of hits, which proves the robustness of the SPA-PAL2v, confirming its potential for Raman spectrum data analysis.

关键词： Raman spectroscopy Algorithms Skin cancer paraconsistent annotated logic Medical diagnosis

来源：评论

学校读者我要写书评

暂无评论

paraconsistent analysis network applied in the treatment of Raman spectroscopy data to support medical diagnosis of skin cancer

引用

MEDICAL & BIOlogicAL ENGINEERING & COMPUTING 2016年第10期54卷 1453-1467页

作者： Da Silva Filho, Joao Inacio Nunes, Celio Vander Garcia, Dorotea Vilanova Mario, Mauricio Conceicao Giordano, Fabio Abe, Jair Minoro Tavares Pacheco, Marcos Tadeu Silveira, Landulfo, Jr. Santa Cecilia Univ UNISANTA Lab Appl Paraconsistent Log Oswaldo Cruz St 288 BR-11045000 Santos SP Brazil Univ Camilo Castelo Branco UNICASTELO Inst Biomed Engn Rod Pres DutraKm 138 BR-12247004 Sao Jose Dos Campos SP Brazil

paraconsistent logic (PL) is a type of non-classical logic that accepts contradiction as a fundamental concept and has produced valuable results in the analysis of uncertainties. In this work, algorithms based on a type of PL-paraconsistent annotated logic of two values (PAL2v)-are interconnected into a network of paraconsistent analysis (PANnet). PANnet was applied to a dataset comprising 146 Raman spectra of skin tissue biopsy fragments of which 30 spectra were determined to represent normal skin tissue (N), 96 were determined to represent tissue with basal cell carcinoma, and 19 were determined to be tissue with melanoma (MEL). In this database, paraconsistent analysis was able to correctly discriminate 136 out of a total of 145 fragments, obtaining a 93.793 % correct diagnostic accuracy. The application of PAL2v in the analysis of Raman spectroscopy signals produces better discrimination of cells than conventional statistical processes and presents a good graphical overview through its associated lattice structure. The technique of PAL2v-based data processing can be fundamental in the development of a computational tool dedicated to support the diagnosis of skin cancer using Raman spectroscopy.

关键词： Algorithm Spectroscopy Skin cancer paraconsistent annotated logic Uncertainties

来源：评论

学校读者我要写书评

暂无评论

logical Decision-Making Method Relating to Innovation Management

Logical Decision-Making Method Relating to Innovation Manage...

引用

IFIP Working Group 5.7 International Conference on Advances in Production Management Systems (APMS)

作者： dos Reis, Nelio F. Tavares, Priscila Facciolli S. L. Oliveira, Cristina Abe, Jair Minoro Univ Paulista Sao Paulo Brazil Fed Inst Educ Sci & Technol Sao Paulo Sao Paulo Brazil

ISBN: (纸本)9783319511337;9783319511320

This paper is intended to serve as a support for decision in innovation management from the ET logic. We intend to propose a new method for innovation management, based on technical and operational criteria in order to make decisions can be not only reliable but also operationally efficient. This research presents results that can serve to innovation managers.

关键词： Innovation Management paraconsistent annotated logic

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：