Logic prototyping: approach and use cases

In this article, we present an approach to prototyping complex systems and processes using classical predicate logic. The prototype is built by the interpreter based on a logical description of the properties and/or behavior of the designed system. The description contains the definitions of the prototype elements and the constraints that the correct prototype must satisfy. Definitions are used to build a prototype, and constraints are used to analyze it and check the required properties. Definitions are interpreted using direct logic inference, constraints are only checked on the resulting model. A wider class of formulas is used than in well-known logical languages. Computable logical and denotational semantics are defined for them. In the process of building a prototype, logical errors of uncertainty, redefinition of functions, and contradictions are diagnosed. We are given examples of prototype descriptions used for semantic program analysis, space training, transport system design.

Optimization of an automatic voltage regulator AVR on a synchronous machine using fuzzy control

The constantly developing society demands more and more electronic devices and microchips that perform vital tasks such as medical services, emergency lighting, communication systems, among others, however these are sensitive to variations and failures of the power supply, such as voltage fluctuations, voltage spikes and interference, for this reason and because of its great importance for its proper functioning must have a continuous power supply, Thus, the work shown in this article proposes to optimize the operation of automatic voltage correction devices AVR used in synchronous power generating machines whose main function is to ensure that the voltage has been constant, for this a solution is proposed based on the use of non-traditional control techniques such as fuzzy logic, For this purpose initially recognizes the relevant elements that make up the AVR system which are amplifier, exciter, generator and sensor then illustrates the mathematical block model that represents the operation of the system which is reduced to transfer function or otherwise as the relationship of the input and output signal of the system, Then a possible classical PID proportional integral derivative proportional control is suggested with the help of the PID tools of the software Matlab ®, where the fuzzy logic inference set is programmed in three stages: first stage: input of the set of rules for voltage error correction, second stage: input of the set of rules for the voltage field output in the synchronous machine, and in a third stage: programming of the fuzzy inference sentences. Finally, the response of each control is compared and the methodology in the design of the alternative control in the synchronous machine is exposed, with the use of the software Matlab®, all this as a study of new trends in control for educational purposes, in the context of Technology in Electricity and Electronic Technology.

Assessing the quality of international trade and economic relations in the agricultural sector

Purpose of the research. The main purpose of the article is to improve the methodical support for assessing the quality of international trade and economic relations in the agricultural sector. Methodology. In the course of the research, the following methods were applied: fuzzy logic inference, generalization, comparison, graphical, expert assessments, etc. Results. The role of international trade and economic relations in the development of the domestic economy has been substantiated. The expediency of using forecasting as a tool for assessing the prospects for expanding cooperation in the field of agriculture with other countries has been proved. The main indicators have been determined that are used in the process of measuring the relationships quality. The necessity of developing tools for assessing the quality of international trade and economic relations has been substantiated. It has been proposed to carry out an assessment using the fuzzy sets theory based on the formed thesaurus, which includes a fuzzy set, membership function, fuzzy variable, linguistic variable, fuzzy knowledge base, fuzzy logic inference. The scheme of the procedure for assessing the quality of international trade and economic relations using the method of fuzzy logic inference and description of the fuzzy system for assessing the quality of international trade and economic relations of the agricultural sector of Ukraine have been developed. An analysis has been carried out within the research framework of bilateral agreements between Ukraine and partners in the field of agriculture and it has been determined that an example of high-quality international trade and economic relations is cooperation with China, India, Germany, the United Arab Emirates; moderate – with Georgia, Poland, France, Korea; low – with Japan, Iran, Kazakhstan, etc. Practical meaning. Based on the results of the assessment, in accordance with the quality level of international trade and economic relations, priority areas of cooperation for Ukraine with partner countries to promote the development of its economy have been identified. Prospects for further research by the author are to develop a mechanism for increasing the quality of international trade and economic relations between Ukraine and partner countries.

Modular discrete event systems control based on logic inference

The paper illustrates an application of the recently developed method of dealing with controlled automata-based discrete event systems with the help of logical inference. The method based on the calculus of positively constructed formulas is extended on the case of systems built out of sets of modules. Specifications restricting system behavior are also supposed to be modular. Due to the special features of the calculus of positively constructed formulas, it may be applied at the upper level of a robot group control system. The case study of mobile robots pushing a block to a target area is considered.

Modeling of quantum-like cognitive phenomena by the Fourier-holography technique under the choice of alternatives

The article is dedicated to the search for a biologically motivated mechanism of the cognitive phenomenon of violation of the classical formula of total probability for the disjunction of incompatible events, which is considered by a number of researchers as a quantum-like phenomenon. A classical mechanism implemented by the 6f Fourier holography scheme of the resonant architecture that does not require reference to quantum mechanics either in its physical nature or at the level of formalism is demonstrated. In the analysis, the decision-making is interpreted as a choice of alternatives by using the non-cooperative game "Prisoner's Dilemma". The approach to the task is based on the search for a mechanism for forming a conditional estimate under a condition that contradicts the rule of monotonous decision logic. It is demonstrated that this estimate, in contrast to the unconditional and conditional one with a non-contradictory condition, is formed by logic with exception. The ring architecture of the holographic setup corresponds to the biologically inspired neural network concept of the excitation ring and implements cognitive dissonance on logic with exception. Conditions and ranges of violation of the classical formula of total probability in relation to the correlation radius of the reference image recorded in a hologram storing the monotone logic inference rule are analytically determined. The analytical model is confirmed by a quantitative coincidence of the results of numerical modeling with the published results of natural experiments.

DETERMINATION OF REGIONS SUITABLE FOR AGRICULTURE IN THE GORDON COSENS FOREST OF ONTARIO BY MEANS OF ANALYTICAL HIERARCHY PROCESS WITH FUZZY LOGIC INFERENCE

Analytical Hierarchy Process (AHP) with fuzzy logic inference on attributes was employed to determine areas most suitable for agriculture in the Gordon Cosens Forest (GCF) region within the District of Cochrane in northern Ontario, Canada. Attribute layers considered were soil texture, ELC (Ecological Land Classification) moisture regime, slope, canopy height model (CHM), distance to existing road networks and distance to water bodies. Fuzzy logic inference was utilized to rescale the attributes to a normalized range, taking into account preferability, which was then subjected to pairwise comparisons via AHP to determine the attribute layers' weightings. For the study area, the localities identified as most compatible for agricultural development include the southeastern section of the GCF at approximately 30 km south of the community of Fauquier and the westernmost area of the GCF at about 10 km east of Mattice.

Fuzzy mamdani logic inference model in the loading of distribution substation transformer SCADA system

<span id="docs-internal-guid-152e332e-7fff-7073-a541-1d420decb47b"><span>The research objective of supervisory control and data acquisition (SCADA), with fuzzy Mamdani logic simulation on the loading section of distribution transformer substations. Data acquisition is available when saving SAIFI SAIDI data and storing the results of monitoring equipment. The method used is Mamdani fuzzy logic, there are two input variables, namely current and voltage devices. The membership function in Mamdani fuzzy logic has been created based on the input current and voltage variables. Currently: parameter {0, 600} low is created {0, 350, 450, 600}, normal {400-650} parameter is created {400, 500, 550, 650}, parameter high {≥600} is created {600, 650, 750, 1000}, when determining the voltage: low {≤10.5} parameters {0 4 7 10.5}, normal {9-14} parameters {9, 10, 13, 14} and high {≥13} - parameters {13, 14, 15, 16}. Based on the results of the Mamdani logic rule test on the output current containing a transformer and a voltage sensor, the results obtained are IF (normal current; (630) AND voltage (high); (13.2) (high load transformer). The components in the simulation tool include miniature substations made with the 1A travel substation model, 3A substation as the main substation, the relay as distribution substation as the monitoring application. Telestatus and Telecontrol use a microcontroller. Initial scenario. After substation is resumed, data is stored after downtime, service life, duration, and data period. Initial scenario After substation is resumed, data is stored after downtime, service life, duration, and data period.</span></span>

A Sensor-Based Decision Support System for Transfemoral Socket Rectification

A decision support system (DSS) was developed that outputs suggestions for socket-rectification actions to the prosthetist, aiming at improving the fitness of transfemoral prosthetic socket design and reducing the time needed for the final socket design. For this purpose, the DSS employs a fuzzy-logic inference engine (IE) which combines a set of rectification rules with pressure measurements generated by sensors embedded in the socket, for deciding the rectification actions. The latter is then processed by an algorithm that receives, manipulates and modifies a 3D digital socket model as a triangle mesh formatted inside an STL file. The DSS results were validated and tested in an FEA simulation environment, by simulating and comparing the donning process among a good-fitting socket, a loose socket (poor-fit) and several rectified sockets produced by the proposed DSS. The simulation results indicate that volume reduction improves the pressure distribution over the stump. However, as the intensity of socket rectification increases, i.e., as volume reduction increases, high pressures appear in other parts of the socket which generate discomfort. Therefore, a trade-off is required between the amount of rectification and the balance of the pressure distributions experienced at the stump.

Prioritizing facilities linked to corporate strategic objectives using a fuzzy model

Purpose Limited facilities operating and modernization budgets require organizations to carefully identify, prioritize and authorize projects to ensure allocated resources align with strategic objectives. Traditional facility prioritization methods using risk matrices can be improved to increase granularity in categorization and avoid mathematical error or human cognitive biases. These limitations restrict the utility of prioritizations and if erroneously used to select projects for funding, they can lead to wasted resources. This paper aims to propose a novel facility prioritization methodology that corrects these assessment design and implementation issues. Design/methodology/approach A Mamdani fuzzy logic inference system is coupled with a traditional, categorical risk assessment framework to understand a facilities’ consequence of failure and its effect on an organization’s strategic objectives. Model performance is evaluated using the US Air Force’s facility portfolio, which has been previously assessed, treating facility replicability and interruptability as minimization objectives. The fuzzy logic inference system is built to account for these objectives, but as proof of ease-of-adaptation, facility dependency is added as an additional risk assessment criterion. Findings Results of the fuzzy logic-based approach show a high degree of consistency with the traditional approach, though the value of the information provided by the framework developed here is considerably higher, as it creates a continuous set of facility prioritizations that are unbiased. The fuzzy logic framework is likely suitable for implementation by diverse, spatially distributed organizations in which decision-makers seek to balance risk assessment complexity with an output value. Originality/value This paper fills the identified need for portfolio management strategies that focus on prioritizing projects by risk to organizational operations or objectives.