Recent technological advancements in produced water for the oil and gas industry have a long history that spreads over centuries and has roots with many mathematicians, physicists, engineers, and inventors. Working to understand the many ideas and questions has helped to bring the produced water technologies to where we are today. Fluid mechanics is an essential factor in the world of engineering because it comes with significant benefits when designing the necessary equipment to overcome the challenging endeavors of daily operations. Many of us believe certain ideas or products were developed within a specific year not fully understanding the idea or concept might be hundreds of years old. For example, when we think of fluid mechanics, we do not think of Archimedes' immersing King Hiero II crown in water. Archimedes did this to determine the displacement of the water as he knew gold was denser than silver. Archimedes was one of the pioneers who was part of the beginning of fluid mechanics. Another interesting fact is the first valve invented was in 1 AD by Heron of Alexandria. This valve can be described as the very first hydraulic valve. The evolution of technology over hundreds of years has made considerable innovations benefiting engineers all over the world. These innovations come in the form of PLCs, RTUs, PIDs, mathematical formulas, processing methods, and SCADA systems.

Stress is an inherent sensation of being unable to handle demands and occurrences. If not properly managed, stress can develop into a chronic condition, leading to the onset of additional chronic health issues like cardiovascular illnesses and diabetes. Various stress meters have been suggested in the past, along with diverse approaches for its estimate. However, in the case of more serious health issues such as hypertension and diabetes, the results can be significantly improved. This study presents the design and implementation of a distributed wearable sensor computing platform with multiple channels. The platform aims to estimate stress levels in diabetes patients by utilizing a fuzzy logic algorithm that is based on the assessment of several physiological indicators. Additionally, a mobile application was created to monitor users' stress levels and integrate data on their blood pressure and blood glucose levels. Validation experiments were performed on patients with chronic diabetes, and the initial findings are presented in the study.

The goal of the paper is to clarify the observed irrationality of decision making in conflict situations considered as one-step games of two players. To solve such situations, we consider the asymmetry in the relation of the players to their own rewards and the rewards of the opponents. Formalization of the decision-making process is based on recently developed non-commutative operators of multivalued logic algebra. The suggested method is applied to solve the well-known Prisoners’ dilemma game and the other situations of conflict, where it results in the expected strategies.

This paper considers a specific fragment of Linear Temporal Logic for Finite traces, DECLAREd, which, to the best of our knowledge, we prove for the first time to be a {polytime} fragment of LTLf. We derive this in terms of the following ancillary results: we propose a set of novel LTLf equivalence rules that, when applied to \LTLf specifications, lead to an equivalent specification which can be computed faster by any existing verified temporal artificial intelligence task. We also introduce the concept of temporal non-simultaneity, prescribing that two activities shall never satisfy the same atom, and temporal short-circuit, that occurs when a specification interpreted in LTL would accept an infinitely long trace while, on LTLf, it can be rewritten so to postulate the absence of certain activity labels. We test these considerations over formal synthesis (Lydia), SAT-Solvers (AALTAF) and formal verification (KnoBAB) tools, where formal verification can be also run on top of a relational database and can be therefore expressed in terms of relational query answering. We show that all these benefit from the aforementioned assumptions, as running their tasks over a rewritten equivalent specification will improve their running times.

To secure logic circuits against the illegal copying the insertion of the so-called key bit inputs using XOR/XNOR gates has been proposed in . The inserted gates modify (lock) the behavior of the original circuit and only the correct choice of the secret key bits guarantees the equivalent behaviour of the locked circuit to the original circuit. To break this kind of security, i.e. to find the secret key bits, there was a SAT solver based attack proposed in . The aim of this work is to experimentally verify this attack on several locked circuits with various number of primary inputs and outputs and with various number of gates. Except for the random placement of the key gates we evaluate also the positioning with chaining elimination. The obtained and presented results show that we were able to unlock 10 of 11 circuits within few minutes on a common PC.

The reviews usefulness has been the aim of several research studies. However, results regarding the significance of usefulness determinants are often contradicting, thus decreasing the accuracy of reviews’ helpfulness estimation. Also, bias in user reviews attributed to differences e.g. in gender, nationality, etc., may result into misleading judgments thus diminishing reviews’ usefulness. Research is needed for sentiment analysis algorithms that incorporate bias embedded in reviews, thus improving their usefulness, readability, credibility, etc. This study utilizes fuzzy relations and fuzzy synthetic evaluation (FSE) in order to calculate reviews’ usefulness by incorporating users’ biases as expressed in terms of reviews’ articulacy and sentiment polarity. It selected and analysed 95.678 hotel user reviews from Tripadvisor, for five nationalities. The findings indicate that there are differences among nationalities. The British are most consistent in their judgments expressed in titles and review documents. The British and the Greek review titles suffice to convey any negative sentiments. The Dutch use fewer words in their reviews than the other nationalities. This study suggests that fuzzy logic captures subjectivity which is often found in reviews, and it can be used to quantify users’ behavioral differences, calculate reviews usefulness, and provide the means for developing more accurate voting systems.

Quantum logic is a well-structured theory, which has recently received some attention because of its fundamental relation to quantum computing. However, the complex foundation of quantum logic borrowing concepts from different branches of mathematics as well as its peculiar settings have made it a non-trivial task to device suitable applications. This article aims to propose for the first time an approach to use quantum logic in image processing at hand of a process for shape classification. We show how to make use of the principal component analysis to realize quantum logical propositions. In this way we are able to assign a concrete meaning to the rather abstract quantum logical concepts, and we are able to compute a probability measure from the principal components. For shape classification we consider encrypting given point clouds of different objects by making use of specific distance histograms. This enables to initiate the principal component analysis. At hand of experiments, we explore the possibility to distinguish between different geometrical objects and discuss the results in terms of quantum logical interpretation.

Multiple valued logic (MVL) has proven to be a better alternative and solution to the challenges of traditional binary logic because of its fast computation, fewer interconnects, and small die. It is a potential candidate for future digital design because it allows energy-efficient, low-complex, and high-speed circuits. This paper introduces a new resistive-load two-dimensional field effect transistor-based ternary logic gates, wherein the active resistive-load is replaced with memristor to reduce chip area and power consumption. A memristor-based standard ternary inverter (STI) is designed using GNRFET, MoS2 FET, WSe2 FET, and FinFET, and their performance metric such as delay, power, and energy delay product (EDP) are analyzed. The results show that the proposed design achieves 50% reduction in circuit area, the average power dissipation is reduced by 11.7X, 6.8X, and 3.2X for GNRFET, MoS2 FET, and WSe2 FET, respectively, as compared to FinFET-based ternary inverter. Moreso, other logic gates such as OR, NOR, AND and NAND were simulated in T-SPICE EDA tool, and the results and truth table are in good agreement.

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case to the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is just the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the Hilbert space version of the mathematics of partitions. Or putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic to information theory to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partitions are the ordered pairs of elements from the underlying set that are in different blocks of the partition. Logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run through the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives).

This paper introduces a fuzzy logic-based autonomous ship-deck landing system for fixed-wing Unmanned Aerial Vehicles (UAVs). The ship is assumed to maintain a constant course and speed. The aim of this fuzzy logic landing model is to simplify the task of landing UAVs on moving ships in challenging maritime conditions, relieving operators from this demanding task. The designed UAV ship-deck landing model is based on a fuzzy system comprised of three interconnected subsystems. Each subsystem consists of three inputs and one output incorporating various fuzzy rules to account for external factors during ship-deck landings. Specifically, the Fuzzy Logic System (FLS) takes inputs such as the airspeed, the relative wind direction and speed, the range from the deck and the UAV's flight altitude. The FLS outputs provide data on the Speed of the UAV relative to the ship’s velocity, the Bank Angle, and the Angle of Descent of the UAV. The performance of the designed intelligent ship-deck landing system is evaluated using the standard configuration of MATLAB Fuzzy Toolbox.

We present an innovative method harnessing multistability within a diode-pumped erbium-doped fiber laser to construct logic gates. Our approach involves manipulating the intensity of external noise to regulate the probability of transitioning among four concurrent attractors. In this manner, we facilitate the realization of OR, AND, NOT, and NOR logic operations, aligning with the coexisting period-1, period-3, period-4, and period-5 orbits. Employing detrended fluctuation analysis, we establish equilibrium in the probability distributions of these states. The obtained results denote a substantial advancement in the field of optical logic gate development, representing a pivotal stride toward the seamless integration of an all-optical logic gate within laser oscillator-based systems.

The present work provides continuity with studies where currently the industrial market is characterized by a highly variable demand in terms of quantities and flexibility of manufacturing or mass customization, which translates into a more demanding production context in terms of the continuous changes required to the production systems, the effect of which results in an increase in the fatigue subjected to the machines that make up the production systems. On the other hand, current production systems tend to use highly communicative and sensorized cyber-physical systems; these characteristics can be used to integrate them into decision-assisted systems in order to improve the availability of the industrial plant. The assisted system developed focuses on collecting and taking advantage of historical knowledge of industrial plant failures and breakdowns. By ideally integrating the Reliability Centered Maintenance (RCM) methodology and Case-Based Reasoning (CBR) algorithms implemented in a Java application, it is possible to design maintenance plans adjusted to a real and changing operational context of any industrial plant. As a result, faster and more accurate decisions are made, as they are based on data. This article focuses on improving certain aspects of the developed assisted system by adding more value to it by incorporating Fuzzy Logic (FL) techniques. The aim is to improve the way of entering information about risk factors and their relative importance, by incorporating natural language, instead of a numerical score, resulting in increased precision in the calculation of the Risk Priority Number (RPN) of the new cases incorporated into the assisted system.

This research explores the predictive capabilities of autonomous driving systems by integrating human factor considerations within the context of safety-critical events. Recognizing the significance of human behaviors in influencing driving dynamics, the study employs advanced modeling techniques to enhance the accuracy of predictions in scenarios that demand heightened safety measures. Traditional rule-based systems and monotonic logic often fall short in addressing the complexities of safety-critical events. To overcome these limitations, the research proposes the application of non-monotonic logic, allowing for flexible and adaptive reasoning that accommodates exceptions and context-specific information.The study emphasizes the importance of incorporating individual differences among drivers, such as risk-taking tendencies, reaction times, decision-making processes, and driving styles. By considering these human factors, the research aims to develop realistic and accurate autonomous driving models that capture the nuances of real-world driving scenarios, especially in safety-critical situations. The predictive model takes into account both internal and external factors, enabling the autonomous system to anticipate and respond effectively to unforeseen events.The primary goal is to provide autonomous vehicles with the capability to make plausible inferences, handle conflicting data, and adapt their behavior in real-time during safety-critical events. The proposed model integrates personalized cognitive agents for each driver, incorporating their unique preferences, characteristics, and needs. This personalized approach aims to optimize the safety and efficiency of autonomous driving, contributing to the ongoing evolution of intelligent transportation systems.In conclusion, this research contributes to advancing the field of autonomous driving by introducing a predictive model that leverages human factor considerations to enhance safety in safety-critical events. The incorporation of non-monotonic logic and individualized cognitive agents signifies a comprehensive approach to address the challenges associated with predicting autonomous driving behavior, paving the way for safer and more reliable autonomous vehicles in dynamic and unpredictable environments.

The classical propositional calculus (zero-order logic, classical propositional logic), is the most fundamental two-valued logical system. In this paper we present a proof of inconsistency of the classical propositional calculus. Then, we get right away the conclusion that the metatheory of the classical propositional calculus is inconsistent.

Nowadays, the increasingly serious environmental pollution and energy problems urgently require internal combustion engine-based transportation vehicles to upgrade or replace, so the new energy transportation vehicles based on hybrid power and fuel cells have gradually stepped on the stage and continue to innovate. The shipping industry is one of the main sources of global greenhouse gas emissions. The development of clean energy ships represented by fuel cells has attracted wide attention. Fuel cell has the advantages of clean, pollution-free and low noise, but it has some disadvantages such as insufficient dynamic response performance and fast performance decay. Limited by the characteristics of a single energy source, a variety of energy sources and bidirectional DC converters are usually mixed together to form a hybrid ship to improve the flexibility, stability and economy of the ship, and enhance its adaptability to complex sea conditions through the reconfiguration of power system energy. Taking fuel cell ferry "FCS Alsterwasser" as the research object, this study proposed an improved equivalent minimum hydrogen consumption energy management strategy based on fuzzy logic control. First, the power system of the modified mother ship was simulated, and a hybrid power system including fuel cell, lithium iron phosphate battery and supercapacitor was proposed. Then, the dynamic system simulation model and double closed loop PI control model are established in MATLAB/Simulink, and the reliability of the model is verified by the simulation analysis of charge and discharge characteristics. Then, the feasibility of the proposed method is demonstrated by designing simulation experiments based on typical working conditions of the mother ship. The simulation results show that under the premise of meeting the load requirements, the control strategy designed in this paper has a better optimization effect than the S-type penalty function in terms of lithium battery power, lithium battery SOC, bus voltage stability and equivalent hydrogen consumption, which improves the stability and economy of the power system, and has certain engineering practical value.

In this article, the research team has systematically developed a method to model the kinematics and dynamics of a 3-wheeled robot subjected to external disturbances and sideways wheel sliding. These models will be used to design control laws that compensate for wheel slippage, model uncertainties, and external disturbances. These are control algorithms developed based on Dynamic Surface Control (DSC). Adaptive trajectory tracking DSC algorithm using fuzzy logic system (AFDSC) and radial neural network (RBFNN) with fuzzy logic system to overcome the disadvantages of DSC and expand the application domain for wheeled Mobile Robots (WMR). However, this Adaptive Fuzzy Neural Network Dynamic Surface Control (AFNNDSC) adaptive controller ensures the closed system is stable and follows the preset trajectory in the presence of wheel slippage model uncertainty and is affected by significant amplitude disturbances. The stability and convergence of the closed-loop system are guaranteed based on the Lyapunov analysis. The AFNNDSC adaptive controller is evaluated by simulation on MATLAB/Simulink software and in a steady state. The maximum position error on the right wheel and left wheel is 0.000572 (m) and 0.000523 (m), and the angular velocity tracking error in the right and left wheels of the control method is 0.000394 (rad/s). The experimental results show the correctness of the theoretical analysis, the effectiveness of the proposed controller, and the possibility of practical application.

India ranks among the top ten nations in the world for grape production. Fungal pathogens inflict damage to crop plants in turn making cultivators bear huge economical losses. With an output of 1.21 million tons (about 2% of 57.40 million tons produced globally). 1.2% of the nation’s total fruit cropland is covered by grapes. But due to fungal diseases the effect of the yield produced ranges from 5-80% depending on the severity of diseases which will affect the yield of grape vineyard. In precision agriculture, new sensing technologies and artificial intelligence could be used to automatically identify grapevine and disease pest symptoms. Traditional manual disease-monitoring methods are inefficient, labor-intensive, and ineffective. Timely effective and precise evaluation of grape diseases is admitted as a critical step in the field management. In this paper, we are explaining about different optical sensing methods applied for RGB, Multispectral and Thermal cameras. Section-wise we will be describing environmental set up for image-aquation, data-preprocessing, different modelling methods, evaluation matrix, result, and reviewer’s comment.

Machine Learning (ML) has proved its capabilities in different scientific and industrial fields, but it needs to be further investigated in the construction industry for practical utilization. One of the use cases of ML is delegating the structural calculation process. In this study, to discuss ML’s capabilities in performing the work of a structural designer, calculations of concrete sections based on ACI (American Concrete Institute) as a case study were selected. At first, all manual design steps and standard considerations for a concrete beam section were coded parametrically in MATLAB. After comparing with structural design references to prove the accuracy of codes in calculating shear and bending capacities, the parametric results were used as initial data (Look−up table) for training the ML operators. Regarding different types of ML techniques and as a comparison between them, in the next steps, all essential codes for Fuzzy Logic (FL), Neural Network (NN) and Adaptive Neuro-Fuzzy Inference System (ANFIS) were coded in the same platform. The performance of the three coded ML operators to replace (delegate) standard calculations compared to direct calculations was individually investigated and displayed through parametric examples. After initial examples, the influences of the number of parameters and size of the Look−up table on the accuracy of each operator were discussed. The study concluded that although all three operators can delegate the standard calculation, the precision of the results differs considerably. In case of the desirable size of the Look−up table, ANFIS operators can represent the standard calculations with a different number of parameters and entirely high precision.

This paper presents a) the novel hybrid learning method to train the type-1 non-singleton interval type-3 (IT3) fuzzy logic systems (IT3 NSFLS-1) and b) the novel method named enhanced Wagner-Hagras (EWH) IT3 NSFLS-1 fuzzy systems which includes the level alpha 0 output to calculate the output y alpha using the average of the outputs y alpha k instead of their weighted average. The development of the proposed methodology uses the orthogonal least square (OLS) method to train the consequent parameters and the back propagation (BP) method to train the antecedent parameters. This proposal dynamically changes the parameters of only the level alpha 0 minimizing some criterion function as new information becomes available to each level alpha k. The antecedent sets are type-2 fuzzy sets, the consequent sets are fuzzy centroids, the inputs are type-1 non-singleton fuzzy numbers with uncertain standard deviations, and the secondary membership functions are modeled as two Gaussians with uncertain standard deviation and the same mean. Based on the firing set of the level alpha 0, the proposed methodology calculates each firing set of each level alpha k to dynamically construct and update the EWH IT3 NSFLS-1 (OLS-BP) system. The algorithm was tested in a hot strip mill facility to predict the transfer bar surface temperature showing its superior capability to obtain the industrial pyrometer’s knowledge uncertainty for tuning and its better performance when compared with IT2 SFLS, IT2 NSFLS-1, GT2 SFLS, GT2 NSFLS-1, IT3 SFLS, and IT3 NSFLS-1 trained with the BP-BP algorithm.

In this research paper an algorithm for the derivation of methods based on theorems and axioms of fuzzy logic is presented, analyzed and applied. This new proposed procedure generates fuzzy methods and evaluates the value of fuzzy propositions through fuzzy implication. The new implications of the family should satisfy a number of axioms. Also, we denote the conditions in order to satisfy the maximum number of axioms. Moreover, authors state and prove theorems focusing on fuzzy implication, observing the rule: the fuzzy function of fuzzy implication is strong and that lead to fuzzy negation. In addition, the optimal number of repetitions is calculated according to the expected truth value. The formulas produced are verified through the use of temperature and humidity values over a certain period of time and in a certain geographical area in Greece. The basic steps of the methodology are the fuzzification of the data given ​​using four membership degree functions and the application of the membership degrees of temperature and humidity values on a new type of fuzzy implication. Finally, we observed that the isosceles trapezium gave the best results and the type of fuzzy implication can be effectively applied.

In the context of reinforcement learning (RL), ensuring both safety and performance is crucial, especially in real-world scenarios where mistakes can lead to severe consequences. This study aims to address this challenge by integrating temporal logic constraints into RL algorithms, thereby providing a formal mechanism for safety verification. We employ a combination of theoretical and empirical methods, including the use of temporal logic for formal verification and extensive simulations to validate our approach. Our results demonstrate that the proposed method not only maintains high levels of safety but also achieves comparable performance to traditional RL algorithms. Importantly, our approach fills a critical gap in existing literature by offering a solution that is both mathematically rigorous and empirically validated. The study concludes that the integration of temporal logic into RL offers a promising avenue for developing algorithms that are both safe and efficient. This work lays the foundation for future research aimed at generalizing this approach to various complex systems and applications.

Recently, historians have discussed the relevance of the nineteenth-century mathematical discipline of projective geometry for early modern classical logic in relation to possible solutions to semantic problems facing it. In this paper I consider Hegel’s Science of Logic as an attempt to provide a projective geometrical alternative to the implicit Euclidean underpinnings of Aristotle’s syllogistic logic. While this proceeds via Hegel’s acceptance of the role of the three means of Pythagorean music theory in Plato’s cosmology, the relevance of this can be separated from any fanciful “music of the spheres” approach by the fact that common mathematical structures underpin both music theory and projective geometry, as suggested in the name of projective geometry’s principal invariant, the “harmonic cross-ratio”. Here I demonstrate this common structure in terms of the phenomenon of “inverse foreshortening”. As with recent suggestions concerning the relevance of projective geometry for logic, Hegel’s modifications of Aristotle respond to semantic problems of his logic.

This paper presents a novel real time control strategy on four-wheel independent steering system for electric vehicle with stepper motors using neural networks combined with fuzzy logic. The control of the four wheels is based on a variation of Hopfield Neural Network (VHNN) method, in which the input is the error of each steering motor and the output is processed by a hyperbolic tangent function (HTF) feeding the fuzzy logic controller (FLC), which ultimately drives the stepper motor. The whole system is made up of the four aforementioned blocks where they work in sync and inseparable from each other with the common goal of driving all the steering stepper motors at the same time. Simulation results demonstrate that the proposed control method has strong robustness and practicability under different angles and speeds.

The utilization of fuel cells (FC) in automotive technology has experienced significant growth in recent years. Fuel cell hybrid electric vehicles (FCHEVs) are powered by a combination of fuel cells, batteries, or/and ultracapacitors (UCs). By integrating power converters with these power sources, the FCHEV system can overcome the limitations of using them separately. The performance of an FCHEV is influenced by the efficiency of the power electronics converter controller, as well as the technical efficiency of the power sources. FCHEVs need intricate energy management systems (EMSs) to function effectively. Poor EMS can lead to low efficiency and accelerated fuel cell and battery degradation. The literature discussed various types of EMSs, such as equivalent consumption minimization strategy, classical PI controller, fuzzy logic controller, and Mutative Fuzzy Logic Controller (MFLC). However, comparing different EMSs can be challenging due to the varying vehicle and system parameters, which might lead to false claims being made regarding system performance. This research aims to categorize and discuss the various topologies of FCHEVs, highlighting their pros and cons, and comparing several EMSs based on performance metrics such as State of Charge (SOC) and FC deterioration.

This paper presents a deep learning-based multi-guidance line detection approach, enabling an autonomous four-wheeled agricultural robot to navigate strip farmland. The integration of Proportional-Integral-Derivative (PID) and Fuzzy Logic Control (FLC) systems optimizes the velocity and heading angle of robot, facilitating smooth navigation along identified guidance line. Enhance cornering maneuverability with real-time kinematics (RTK)-assisted Global Navigation Satellite System (GNSS) (RTK-GNSS) positioning. Additionally, the spraying system combined with deep learning can effectively identify weeds and crop nutrient deficiencies to achieve precise spraying. The guidance system prioritizes irrigation lines for navigation, with additional guidance from crop and furrow lines. Trigonometric analysis determines the angular deviation between the identified guidance line and the vertical line of the top view image. Experiments under diverse weather conditions demonstrate the stable navigation of robot at 12.5 cm/s, achieving up to 90% accuracy in weed and nutrient deficiency identification. The spraying accuracy for weeds and deficiencies averages 87% and 73%, respectively, underscoring the system's contribution to sustainable and precision horticulture practices.

In this paper, we introduce an innovative approach to distinguish Gliosarcoma (GSM) from Glioblastoma (GBM). Our method combines causal fuzzy logic rules with the Big Bird architecture, a Transformer-based Deep Learning algorithm. Unlike prior research, which often relied on statistical models to reduce dataset dimensions before causal analysis, our approach harnesses the complete dataset in tandem with our causal fuzzy Big Bird architecture. Additionally, we benchmark our results not only against previous Gliosarcoma/Glioblastoma studies but also against GPT-2 for a comprehensive evaluation.

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators.

Our natural language approach concerns syntactic analysis using a dedicated Javascript library - wink-nlp - and semantic analysis based on Prolog programming language, facilitated by another Javascript library - tau-prolog - that allows defining logical programs, declaring rules and checking for goals inside Javascript language. Firstly, our program splits the original text into sentences, than into tokens and identifies each part of the sentence, dynamically maps entities into Prolog rules, then check the spelling accordingly to the Definite Clause Grammar (DCG) by querying the pre-defined program for initial goals (the sentence itself). Basically, we let the parser infer its own rules from the syntactic point of view, then check the grammar from a semantic perspective against the DCG inside the same work flow or pipeline of steps.The provided article combine the usage of wink-nlp and tau-prolog packages for natural language processing (NLP) and understanding (NLU).

The electricity generated from fossil fuel and nuclear energy has negative impacts on the environment and has shown a need to search for and promote the use of clean, renewable and sustainable energy resources such as wind, solar and geothermal resources. Nowadays, wind energy resource has emerged as the fastest-growing source of energy on an overall scale. However, the selection of the best location for constructing a wind farm is a vital issue that can be considered a site selection problem, which involves various conflicting factors. Therefore, it is classified as a multi-criteria decision-making (MCDM) problem. In this research, the site selection of wind power plants is conducted in Burundi country. The Fuzzy Analytic Hierarchy Process (FAHP) was used to weigh the criteria considering their relative importance. The main factors affecting optimal wind farm location considered in this study are wind speed, slope, distance from the grid network, distance to roads, and land use/land cover (LULC). Furthermore, a geographic information system (GIS) is utilized to generate the final suitability wind farm locations map. The obtained results show that 20.91% of the total study area is suitable; nevertheless, only 1.96% is highly suitable for wind farm placement. The western part of Burundi is concluded to be the most suitable area for wind farm construction and the most area is situated in Lake Tanganyika.

Resource conflicts represent a significant global challenge in regions abundant with natural re-sources. Modelling the myriad factors driving natural resource-based conflicts (NRBCs), spanning environmental, health, socio-economic, and political dimensions, is a complex endeavor exacer-bated by data scarcity. Furthermore, existing quantitative studies often focus solely on large-scale conflicts. This article introduces a novel algorithm, the Spatially Explicit Fuzzy Logic-Adapted Model for Conflict Management (SEFLAME-CM), which integrates the local knowledge of stakeholders into spatial decision-making technologies to support sustainable peace efforts. The results are validated with spatial multi-criteria evaluation (SMCE) using spatial statistics. The Moran’s I scatter plots for the overall conflicts reveal significant values of 0.99 and 0.98 for both the SEFLAME-CM and SMCE, respectively, with significant spatial autocorrelation. While there re-mains room for improvement in enhancing the model's quality, SEFLAME-CM demonstrates its capacity to transparently model complex real-world problems. The findings underscore the im-perative for a holistic approach to addressing environmental degradation, socio-economic, and political drivers of resource conflicts at the community level. Our paper demonstrates the signif-icance of spatial information technologies and knowledge exchange between experts and local stakeholders in effectively managing resource conflicts. These insights should inform national policies and international interventions, ensuring that the complex underlying issues are ad-dressed while prioritizing the knowledge and needs of affected communities.

The software design of autonomous vehicles (AVs) incorporates artificial intelligence (AI) characteristics to enhance their safety and overall driving performance. Central to vehicle’s operation is the ability to reason effectively in complex and uncertain environments. However, traditional logical systems, such as monotonic logic, often struggle to handle the inherent uncertainties and exceptions encountered in real-world scenarios. This paper proposes the utilization of non-monotonic logic in order to enhance the reasoning capabilities of autonomous vehicles. By incorporating non-monotonic reasoning, vehicles can navigate intricate traffic scenarios, make plausible inferences, and adapt their decisions when faced with conflicting information. This research aims to provide a comprehensive review of non-monotonic logic's application in autonomous vehicles, highlighting its advantages over traditional logical systems and its potential impact on safety and performance. Additionally, through this research, we seek to contribute to the advancement of autonomous driving technology by enhancing the reasoning capabilities of vehicles in various scenarios, such as car- following related to critical safety events. The personalized cognitive agent is proposed in driving behavior to consider particularly in their assumptions of homogeneous drivers. The personalized cognitive agent is incorporating heterogeneous driving behaviors, based on individual user preferences, characteristics, and needs. Driving behavior is a complex interplay of various factors, encompassing both human and external elements. Human factors, including age, experience, and gender, contribute significantly to how individuals navigate the roads. These factors influence decisions, reactions, and risk-taking tendencies on the part of drivers. Additionally, external factors such as weather conditions further compound this intricate dynamic, requiring drivers to adapt their behavior to the prevailing environment. The goal of a personalized cognitive agent is to provide tailored and customized experiences to cognitive vehicles, taking into account the unique requirements and individual preferences of occupants inside autonomous vehicles.

The Internet of Things (IoT) was born from the fusion of virtual and physical space and became the initiator of many scientific fields. Economic sustainability is the key to further development and progress. Today, the need for electronic commerce has become an economic priority in the transition period between Industry 4.0 and Industry 5.0. Unlike mass production in Industry 4.0, customized production in Industry 5.0 should reach its true potential in vertically organized management and decision-making systems. The authors focused their research on e-commerce based on the three-level vertical IoT environment and the edge, fog, and cloud computing. The paper presents hands-on machine learning (ML) algorithms to facilitate the transition from a flat to a vertical e-commerce concept. The authors also propose practical ML algorithms for a few e-commerce types: consumer-consumer relationships and consumer-company-consumer relationships. These algorithms are mainly composed of convolution neural networks (CNN), natural language understanding (NLU) and sequential pattern mining (SPM), reinforcement learning (RL for agent training), algorithms for clicking on the item prediction, consumer behavior learning, etc. All presented concepts, algorithms, and models are described in detail.

Scientists are gradually becoming aware of the challenges in the understanding of the very root mechanisms of massively parallel computations that are observed in literally all scientific disciplines ranging from cosmology, physics, across chemistry, biochemistry, and ending in biology. This leads us to the main motivation and simultaneously to the central thesis of this review: “Can we design artificial, massively-parallel, self-organized, emergent, error-resilient, computational environments?” A large number of simulations along with examples and counter-examples, finalized by a list of the future directions, are giving hints and partial answers to the main thesis. This all together is opening the crucial question whether there is existing a deeper, beyond the Turing machine theoretical description of massively-parallel computing. Important information dealing with this topic is reviewed along with highly expressive animations generated by the open-source, Python software GoL-N24. The perspective, future directions including applications in robotics and biology of this research are discussed in the light of known information.

In the realm of the Internet of Things (IoT), a network of sensors and actuators collaborates to fulfill specific tasks. As the demand for IoT networks continues to rise, it becomes crucial to ensure the stability of this technology and adapt it for further expansion. Through an analysis of related works including Feedback-based Optimized Fuzzy Scheduling Approach (FOFSA) algorithm, Adaptive Task Allocation Technique (ATAT) and Osmosis Load Balancing algorithm (OLB), we identify their limitations in achieving optimal energy efficiency and fast decision-making. To address these limitations, this research introduces a novel approach to enhance the processing time and energy efficiency of IoT networks. The proposed approach achieves this by efficiently allocating IoT data resources in the Mist layer during the early stages. We apply the approach to our proposed system known as the Mist-based Fuzzy Healthcare System (MFHS) that demonstrates promising potential to overcome the existing challenges and pave the way for efficient Industrial Internet of Healthcare Things (IIoHT) of the future.

Due to the irruption of new technologies in cities such as mobile applications, geographic infor-mation systems, Big Data, Internet of Things (IoT) or Artificial Intelligence (AI), new approaches to citizen management are being developed with the aim of adapting citizen services to this new en-vironment. These new services can enable city governments and businesses to offer their citizens a truly immersive experience that facilitates their day-to-day lives and ultimately improves their quality of life. In this sense, it is important to emphasize that all investments in infrastructure and technological developments in smart cities will be wasted if the citizens for whom they have been created eventually do not use them for whatever reason. To avoid these kinds of problems, the citizen's level of adaptation to the technologies should be evaluated. However, although much has been studied about new technological developments, studies to validate the actual impact and user acceptance of these technological models are much more limited. This paper tries to fill this gap presenting a new model of recommender system based in the most cited and used model in the scientific and academic literature: the Technology Acceptance Model (TAM) and using the most cited and agreed upon criteria in the existing literature. To accomplish the objective, this study in-troduces a novel recommender system that utilizes a fuzzy 2-tuple linguistic model in conjunction with the analytic hierarchy process (AHP) method to prioritize and personalize the relationship between tourists and smart cities. The methodology proposed in this paper was tested and validated in a case of study through different clusters to derive global recommendations tailored to each specific cluster. The main findings reveal that the use of technology is closely linked to the ability to enjoy personalized experiences in the realm of Smart Cities and Smart Tourism. As future works, authors recommend extending the recommender system model to any cluster of tourists using the proposed methodology and evaluate also other kind of disruptive technologies such as artificial intelligence (AI) in supporting the citizens.

Quantum-dot cellular automata (QCA) are a promising nanoscale computing technology that exploits the quantum mechanical tunneling of electrons between quantum dots in a cell and electrostatic interaction between dots, in neighboring cells. QCA can achieve higher speed, lower power, and smaller areas than conventional complementary metal–oxide–semiconductor (CMOS) technology. Developing QCA circuits in a logically and physically reversible manner can provide exceptional reductions in energy dissipation. The main challenge of reversible QCA design is to maintain reversibility down to the physical level. The arithmetic logic unit (ALU) is an essential component of the central processing unit (CPU) of a computer. It performs various arithmetic and logical operations on the data that the CPU processes. Current QCA ALU designs are either irreversible or logically reversible; however, they lack physical reversibility, a crucial requirement to increase energy efficiency. In this paper, we present a novel multilayer design for a logically and physically reversible QCA ALU based on majority gates as the key components, which can perform 16 different operations. We use QCADesigner-E software to simulate and evaluate energy dissipation. The proposed logically and physically reversible QCA ALU offers an improvement of 88.8% in energy efficiency. Compared to the next most efficient 16-operation QCA ALU, this ALU uses 51% fewer QCA cells and 47% less area.

Interferon-beta is one of the most widely prescribed disease-modifying therapies for multiple sclerosis patients. However, this treatment is only partially effective, and a significant proportion of patients do not respond to this drug. This paper proposes an alternative fuzzy logic system based on the opinion of a neurology expert to classify relapsing-remitting multiple sclerosis patients: high, medium, and low responder to interferon-beta. Also, a pipeline prediction model trained with biomarkers associated to interferon-beta response is proposed for predicting whether patients are potential candidates to be treated with this drug, in order to avoid ineffective therapies. The classification results shows that the fuzzy system presents a 100% efficiency compared with an unsupervised hierarchical clustering method (52%). So, the performance of the prediction model is evaluated, and a 0.8 testing accuracy is achieved. Hence, a pipeline model including data standardization, data compression, and a learning algorithm, can be a useful tool for getting reliable predictions about the response to interferon-beta.

Mild cognitive impairment (MCI) is when brain function declines. It is a transition stage between normal aging and Alzheimer's disease (AD) and may be an underlying symptom of AD. Improper use of test instruments or imperfect test methods in clinical practice often leads to variations in test results. In addition, there may be resistance from the subject if he/she has to undergo multiple screening tests simultaneously. Therefore, the objective of this study was to use virtual reality to create an image testing scenario that integrates Mini-Cog, Short Portable Mental Status Questionnaire (SPMSQ), Mini-mental Status Examination (MMSE), Saint Louis University Mental Status Examination (SLUMS), Clinical Dementia Rating (CDR), and Cognitive Abilities Screening Instrument (CASI), and combine fuzzy logic control (FLC) technology to develop an MCI forecasting system. There were 24 middle-aged to older adults aged 50 to 65 years who participated in the evaluation experiment. The results showed that the MCI forecasting system developed in this study is highly correlated with the traditional screening tests, including Mini-Cog, SPMSQ, MMSE, SLUMS, and CASI. The forecasting system can provide an integrated reference score for testers in making judgments. In addition, the distribution of the System Usability Scale (SUS) evaluation scores for the MCI forecasting system revealed that 87.5% were grade C (good to use) or above, and 29.2% were grade B (extremely good to use) or above. The forecasting system receives positive feedback from the subjects.

Stevia Rebaudiana Bertoni Morita II, a perennial plant native to Paraguay and Brazil, is also widely cultivated in the state of Colima, Mexico, for its use as a sweetener in food and beverages. The op-timization of soil parameters is crucial for maximizing biomass production and stevioside levels in stevia crops. This research presents the development and implementation of a monitoring system to track essential soil parameters, including pH, temperature, humidity, electrical conductivity, ni-trogen, phosphorus, and potassium. The system employs a wireless sensor network to collect qua-si-real-time data, which is transmitted and stored in a web-based platform. A Mamdani-type fuzzy logic model is utilized to process the collected data and provide to farmers an integrated assessment of soil quality. By comparing the quality data output of the fuzzy logic model with a line-ar-regression model, the system demonstrated acceptable performance, with a determination coef-ficient of 0.532 for random data and 0.906 for gathered measurements. The system enables farmers to gain insights into the soil quality of their stevia crops and empowers them to take preventive and corrective actions to improve the soil quality specifically for stevia crops.

Digital healthcare systems play a pivotal role in providing efficient and accessible healthcare services. However, ensuring secure authentication and key agreement mechanisms is essential to protect sensitive patient data and maintain the integrity of the system. The existing methods face limitations in terms of vulnerability to cyber attacks, scalability, and resource utilization. Furthermore, the integration of blockchain technology introduces new complexities that need to be addressed. This research proposes an optimized fuzzy logic approach combined with blockchain technology to address the authentication and key agreement challenges in digital healthcare systems. The proposed solution leverages the flexibility and adaptability of fuzzy logic algorithms to handle uncertainty and imprecision in authentication decisions. By employing fuzzy logic, the system can effectively minimize false positives and false negatives, enhancing the robustness against adversarial attacks. Moreover, the integration of blockchain technology provides a decentralized and tamper-proof infrastructure for securely storing and managing authentication and key agreement data. This ensures transparency and trust in the system, mitigating the risks of unauthorized access and data manipulation. The blockchain-based architecture also enables efficient resource utilization and scalability, allowing the system to handle authentication requests in a timely manner, even in large-scale digital healthcare environments.The proposed method is evaluated by using the NIST Special Database 302 and it shows superior performance compared to existing methods, with minimum False Rejection Rate (FRR), False Acceptance Rate (FAR), and response time. Moreover, the proposed method minimizes communication overhead during the authentication process and resists different cyber attacks including a Replay attack, Man-in-the-middle attack, Denial of Service (DoS) attack, and Impersonation attack. The proposed method achieves excellent performance in terms of security, efficiency, and resistance to various cyber-attacks, making it a promising approach for secure data sharing in P2P cloud environments.

Navigation is the most challenging issue in autonomous vehicles. Researchers in the current era have developed many Artificial Intelligence techniques to navigate, generate paths, and avoid obstacles for optimum path planning for autonomous vehicles. Different studies have investigated bio-inspired techniques to overcome the navigation issue, including obstacle avoidance. This paper uses new meta-heuristic optimization techniques called Dragonfly Algorithm (DA) to set the goal by detecting and avoiding obstacles with minimum human interference. For effective results, the Dragonfly-Fuzzy hybrid algorithm is analyzed over the unstructured environment because individual techniques may not be sure of an optimal solution over all configurations. The main advantage of the proposed hybrid controller is that it combines the multiple features of different approaches into a single controller. This paper compares simulation and experimental findings over various environmental conditions to the individual algorithm. Regarding time and path optimization, the hybrid Dragonfly-Fuzzy controller performs better than the respective controller.

This paper will present the torque control design of an AFPMSM, one stator, and one rotor, using an FLC and ANFIS in-wheels fed by a three-level T-type inverter. The Surgeon ambiguous inference file of the FLC controller is built by two input vectors, the stator current error and the derivative of the stator error. These input variables include five membership functions, Negative big (NB), Negative small (NS), Equal zero (ZE), Positive small (PS), and Positive big (PB). The FLC controller is implemented with a 5x5 matrix so that the output stator voltage of the controller is required. The ANFIS controller for the neural network-based feature set and the fuzzy system. The neural network develops the dataset on the stator current error (e) and error integral (∆e). Then, the generated dataset is fed to the fuzzy logic method, and the control rules are developed. This ANFIS controller is caused by the training and testing phases. Finally, the FLC and ANFIS torque controllers are compared with the PI controller. The correctness of the proposed control structured solution is demonstrated by the simulation results of MATLAB/SIMULINK.

Abstract: An attractive application of crude glycerol is in the generation of biomethane by means of anaerobic co-digestion, involving the decomposition of the organic matter in two or more substrates by bacteria and archaea, in the absence of oxygen. Thus, the objective of this work was to evaluate the potential of neural networks and fuzzy logic to predict the production of biomethane from the anaerobic co-digestion of glycerol and/or sugarcane molasses. Firstly, a reactor model was implemented using Scilab, with Monod kinetics involving two substrates and an intermediate (M2SI model), to generate a database for subsequent fitting and evaluation of neural and fuzzy models. The neural network package of Matlab was used. Fuzzy modeling was applied using the Takagi-Sugeno approach available in the ANFIS package of Matlab. The biomethane production results simulated by M2SI were used in neural network modeling, firstly employing a “generic” network applicable to all 8 scenarios. A very good fit was obtained (R²>0.99). Excellent performance was also observed for specific artificial neural networks (one for each condition). The parameters of the M2SI model for the 8 different conditions were also mapped using a neural network, as a function of the organic material composition. A fit with R²>0.99 was obtained using 25 neurons. In the case of the fuzzy logic, RMSE of 18.88 mL of methane was obtained with 216 rules, which was a value lower than 0.5% of the order of magnitude of the accumulated methane. It could be concluded from the results that fuzzy logic and artificial neural networks offer excellent ability to predict methane production, as well as to parameterize the M2SI kinetic model (using neural networks).

The deployment of Artificial Intelligence (AI) systems in decentralized environments is on the rise, yet representation of shared conceptualization in such scenarios remains a challenging issue. The absence of a shared understanding can lead to suboptimal performance of AI systems and hinders the ability to comprehend the knowledge and beliefs of agents in the domain. This paper proposes a formal model for modeling conceptualization in AI systems that integrates ontology, epistemology, and epistemic logic. The model aims to address the gap in representing shared conceptualization in decentralized environments and enhance the performance of AI systems operating in such environments. The proposed model is a hybrid structure that blends extensional and intensional structures and leverages logic-based languages for modeling purposes. A case study in the healthcare sector is presented to illustrate the application of the proposed model. The study contributes to the existing literature by providing a formal model for representing shared conceptualization in decentralized environments, which can be utilized to optimize the performance of AI systems in these environments.

Intelligent systems are increasingly present in various areas of society, gaining special relevance in healthcare environments. In this work, grounded on previous developments proposed by the authors, the evolution and improvement of a novel intelligent system focused on the diagnosis of obstructive sleep apnea (OSA) is addressed. To do this, starting from two packages of information of a heterogeneous nature, and deploying a set of Machine Learning classification algorithms, focused each of them on different levels of the apnea-hypopnea index (AHI), as well as a set of cascaded expert systems, it is possible to obtain a series of risk metric pairs (Statistical Risk, Symbolic Risk) for each AHI level, understood as a warning forecast associated with the early detection of the pathology. The risk indicators of each pair are subsequently aggregated by means of a symbolic inference system, whose knowledge base was determined using the automatic rule generation approach proposed by Wang and Mendel. At the output of each inference system, a risk indicator is obtained for each AHI level, the Apnea Risk, whose interpretation makes it possible to discriminate between patients who could suffer OSA and those who do not, as well as to generate the appropriate recommendations. For the initial tests of the system, the design and development of a specific software artifact was carried out using data from 4,400 patients from the Álvaro Cunqueiro Hospital in Vigo, obtaining when applied to the test set AUC values within the range 0.74–0.88, which invites optimism and points to the benefits expected from the architecture of the proposed intelligent system.

This study introduces a gate design that uses pass transistor switches and enables the implementation of all nec- necessary logic gates with a single structure. This gate design can be used for efficient circuit resizing and creating secure obfuscated circuits. This work also presents simulation results that demonstrate the effectiveness of the gate in performing various logic gate operations.

In this paper, a fuzzy logic-based energy management system and multi-port quasi-z-source converter are proposed that utilizes hybrid renewable energy sources. The system ensures that each energy source module can be used individually by employing fuzzy logic to define power modes. This approach also helps prevent switching losses resulting from extra switching of the source modules. Also, the proposed energy management does not have a mathematical model, so applicability is simple and it is suitable for different multiple input topologies. The Mamdani fuzzy inference system can be designed to capture the nonlinear behavior of the system because of the linguistic rules. Moreover, by adopting the quasi-z-source network to the end of the multi-port converter, the switching losses of the multi-port modules have been significantly reduced. The simulation results are obtained using MATLAB Simulink, and the experimental results are obtained by connecting the circuit to MATLAB Simulink via an Arduino Due.

In the paper we suggest an implementation of the non-commutative logic and apply its operators for decision-making in the group of autonomous agents. The suggested operators extend the uninorm and absorbing norm aggregators and use an additional asymmetry parameter that defines the “level of non-commutativity”. The value of this parameter is specified using the perception bias of humans measured in the experiments. The suggested operators and decision-making method are illustrated by simulated behavior of mobile robots in the group.

We find at least 4 quantum properties that are indeed universal in some number systems; and we can use them for quantum consciousness. Using the sets B={0,1}, N, Z, or Q has the +4 quantum properties that one can trust, as archetypes of easy communication to friends and foes, to ignoranti or cognoscenti, and for quantum computing. This paper proposes the use of Bayesian geometry to reduce the space of possible results, reducing or increasing initial beliefs by successive experimentation. This is exemplified in biology and mathematics, and can be applied to physics and other sciences. The conclusion is that an experimental fact can be absolutely verified. Any mathematical choice (as verified by computers) militating against R=Q, is under an absolutely low chance to succeed. Infinitesimals are denied based on 3^16 independent factors. This is not a probabilistic result, but based on reduction of the Bayes geometry for updating beliefs. This work applies to non-probabilistic and unknown phenomena, such as those found in oscillations (neutrino, health), evolution, and quantum computing, denies Gödel's uncertainty, and solves the liar's paradox by reflection. This connects different scientific fields with one another, in an internet, i.e., in a network of connections of multiple open networks, using the set Q, resembling a hologram, and includes entanglement.

The influence of neutrosophy in the previous period is constantly growing in many areas of science and technology. Moreover, various applications of the neutrosophic approach have become more common in recent years. Our goal in this research is to utilize the neutrosophy to improve the performance of the Dai-Liao conjugate gradient (CG) method. Specifically, in this research, we propose and investigate a new neutrosophic logic system to calculate the key parameter t involved in the Dai–Liao CG iterations. Theoretical analysis and numerical experience indicate that the efficiency and robustness of the new rule for determining t. Combining the neutrosophy and the Dai-Liao conjugate gradient method, we propose and explore a new Dai-Liao CG iterations for solving large-scale unconstrained optimization models. The global convergence is established under common assumptions and the backtracking line search. Finally, by conducting numerical experiments, computational evidence demonstrates that the new fuzzy neutrosophic Dai-Liao conjugate gradient method is computationally effective and robust.

With the rapid development of Internet of Vehicles (IoV), particularly the introduction of mobile edge computing (MEC), vehicles can efficiently share data with one another. However, edge computing nodes are vulnerable to various network attacks, posing security risks to data storage and sharing. Moreover, the presence of abnormal vehicles during the sharing process poses significant security threats to the entire network. To address these issues, this paper proposes a novel reputation management scheme, which proposes an improved multi-source multi-weight subjective logic algorithm. This algorithm fuses direct and indirect opinion feedback of nodes through the subjective logic trust model while considering factors such as event validity, familiarity, timeliness, and trajectory similarity. Vehicle reputation values are periodically updated, and abnormal vehicles are identified through reputation thresholds. Finally, blockchain technology is employed to ensure the security of data storage and sharing. By analyzing real vehicle trajectory datasets, the algorithm is proven to effectively improve the differentiation and detection rate of abnormal vehicles.

In this study we present a hybrid approach of ACO with fuzzy logic and clustering methods to solve multi-objective path planning problems in case of swarm USVs. This study aims to enhance the performance of ACO algorithm by integrating fuzzy logic in order to cope with the multiple contradicting objectives and generate quality solutions by in parallel identifying the mission areas of each USV to reach the desired targets. The objectives that are taken into account are the minimization of traveled distance and energy consumption, and the maximization of path smoothness. A comparative evaluation is conducted among ACO and fuzzy inference systems, Mamdani (ACO-M) and Takagi–Sugeno–Kang (ACO-TSK). The results showed that depending on the needs of the application, each methodology can contribute respectively. ACO-M generates better paths but ACO-TSK presents higher computation efficiency.

Contract violations, uncontracted load, and the alternating nature of electricity are the key causes of the frequency irregularity and Unscheduled Interchange (UI) / Deviation Settlement pricing in a restructured organized smart grid. These variations cause the frequency to fluctuate. The topic of frequency variation is discussed in this paper under various market circumstances. To correct frequency discrepancies under various market conditions, a fleet of electrical vehicles (EV) is offered as a distributed energy storage (DES). A bidirectional charger with a PI controller is suggested for the EV bidirectional power transfer. It is suggested to use a fuzzy logic (FL) controller to modify the proportional-integral (PI) controller gains. It has been noted that utilizing such a new approach lowers the UI prices.

This paper extends our seminal paper on KnoBAB for efficient Conformance Checking computations performed on top of a customised relational model. After defining our proposed temporal algebra for temporal queries (xtLTLf ), we show that this can express existing temporal languages over finite and non-empty traces such as LTLf . This paper also proposes a parallelisation strategy for such queries thus reducing conformance checking into an embarrassingly parallel problem leading to super-linear speed up. This paper also presents how a single xtLTLf operator (or even entire sub-expressions) might be efficiently implemented via different algorithms thus paving the way to future algorithmic improvements. Finally, our benchmarks remark that our proposed implementation of xtLTLf (KnoBAB) outperforms state-of-the-art conformance checking software running on LTLf logic, be it data or dateless.

The estimation of the efficiency of road transport vehicles remains a significant problem for contemporary transport companies, as the technological process is influenced by numerous stochastic impacts, such as demand stochasticity, road conditions uncertainty, transport market fluctuations, etc. To consider the uncertainty related to the estimation of the vehicles’ fleet efficiency, we propose a fuzzy-logic approach, where the efficiency of a given vehicle is described by a membership function. The efficiency of the whole fleet and its rational structure in that case can be evaluated as a fuzzy set. To demonstrate the developed approach, we depict a case study of using cargo vehicles for deliveries of agricultural products in the Republic of Kazakhstan. The numeric results are presented for the selected models of vehicles that a transport company uses to service a set of clients located in Northern Kazakhstan.

Having access to a unique quantum circuit that one wants to protect against use by others is a very likely scenario. However currently users rely on classical computer security schemes, which have known shortcomings. In this chapter we introduce a novel protection scheme along with a survey of other known methods to protect quantum information. In particular we review physically unclonable functions (PUFs), obfuscation, and introduce quantum logic locking.

: In this article, the authors propose an algorithmic approach to building a model of the dynamics of economic and, in particular, innovation processes. The approach under consideration is based on a complex algorithm that includes (1) decomposition of the time series into components using singular spectrum analysis; (2) recognition of the optimal component model based on fuzzy rules, and (3) creation of statistical models of individual components with their combination. It is shown that this approach corresponds to the high uncertainty characteristic of the tasks of the dynamics of innovation processes. The proposed algorithm makes it possible to create effective models that can be used both for analysis and for predicting the future states of the processes under study. The advantage of this algorithm is the possibility to expand the base of rules and components used for modeling. This is an important condition for improving the algorithm and its applicability for solving a wide range of problems.

In this paper we present a successful implementation of the Hindmarsh–Rose model within a SC environment. The merits of the proposed approach are design simplicity, due to stochastic computing, and the ease of implementation. Simulation results showed that the approximation achieved is equivalent to introducing a noise source into the original model. A study for the level of noise introduced, according to the number of bits in the stochastic sequence, has been performed. Additionally, we demonstrate that such an approach, even though it is noisy, it reproduces the behaviour of biological systems, which are intrinsically noisy. It is also demonstrated that a speedup of x2 compared to biological systems is easily achievable, with a very small number of gates, thus paving the road for the in silico implementation of large neuron networks.

With the advent of COVID19, the attitude of health authorities around the world, led mainly by the West, demanded a level of proof as evidence for cheap, non-patented remedies while promoting expensive, patented, and untested remedies by using emergency use authorization and special provisions afforded to the status of a pandemic emergency. Western science has neither a tested nor a valid historical basis of a logical system that informs to authenticate scientific practices. Here we use a logical heuristic derived from ancient Buddhist logic, which is consistent with the conduct of modern science. We applied the heuristic to show that enough evidence was available for using cost-effective early therapies such as vitamin D supplementation as a public health measure during the first half of 2020. Strong supporting evidence has since accumulated. Apart from political and financial decisions incompatible with science and other conflicts of interest, a critical barrier to evaluating and approving early therapies appears to be the fallacy that the randomized controlled trial (RCT) is the superior proof method in medical hypotheses, including those for nutrients. Logically, no reason exists why properly designed retrospective, ecological, and naturalistic studies with adequate sample sizes and applied appropriate statistical methods would not be as valid as RCTs, especially when elucidating a causative factor instead of treatment. That assertion is particularly true for nutrient deficiencies, interventions, and other cost-effective therapies. Leading health authorities’ failure or refusal to consider other study types (because of either poor logic or vested interest) probably contributed to the spread of misinformation, symptomatic disease, complications, and deaths from COVID19. Partial immunity derived from vaccines and the later development of more contagious variants—and thus a sense of acceptance that SARS-CoV-2 had progressed from a pandemic to an endemic—shows the hollowness of the initial promotions and mandates of vaccines as a cure. Adequate knowledge was available in 2020 to advise that SARS-CoV-2 will continue to mutate, with variants emerging a few times per year, making the vaccine less effective. Emerging evidence confirms that natural immunity better protects against new variants than vaccination against the spike protein. Had vitamin D been adopted as part of the public health measure through a broader supplementation program in 2020 or even today (through sun exposure or as a prophylactic or adjunct therapy early on), the viral spread and symptomatic disease may have been suppressed, with minimal lockdowns and quarantine, and economic harm. The pandemic could have been halted with a significantly reduced need for hospitalization, complications, and deaths, potentially saving millions of lives.

Rare diseases are characterized by a wide diversity of signs and symptoms and vary not only from disease to disease, but also from person to person, and living with a disease leads patients to peculiar experiences and treatments, without limits of time and space, as they extend to various environments and relationships of their lives. The objective of this study is the theoretical interaction between Value Co-creation (VC) and the Stakeholder Theory (ST) with the Shared Decision Making (SDM) health care theory. It is configured as a multiparadigmatic proposal by enabling the analysis of multiple perspectives of different stakeholders in health care. Thus, Co-created Decision Making (CDM) emerges in a logic dominated by service, with emphasis on intangible aspects and the interactivity of the relationships. It goes beyond the clinical office and the doctor-patient relationships, as studied in SDM, extending to all environments and interactions that add value to the patient's treatment. It was concluded that the essence of this new theory proposed here is neither in patient-centered care nor in patient self-care, but in co-created relationships with and between stakeholders in both directions, including non-health care environments that are important to the patient, such as relationships with friends, family, other patients with the same disease, social media, public policies, and the practice of pleasurable activities.

This article is a continuity of prevouse two reserch in daylight harvastion control that were deigned using classical control apoproach and then fuzzy logic technique, In this article ANN controller is designed and its response is compared with the performance of the other two controllers. Detailed compression for the different error type is illustrated, however, the results show that the three controller operate with satisfactory accuracy.

This paper is an extension to previous work that introduced successful classical-control for indoor lighting system that simultaneously control LED system and roller curtain to achieve accurate light intensity for indoor lighting applications. In this paper, Multi Input Multi Output Fuzzy Logic Controller (MIMO FLC) is proposed to replace the classical-controller. Detailed method is provided to illustrate the steps to design the required MIMO FLC that has two fuzzy input, two fuzzy output and forty-five fuzzy rules with mamdani fuzzy engine. The proposed MIMO FLC is simulated in Matlab using Simulink tools. The results are illustrated, analyzed and compared with the classical-control. The response showed very close performance to the classical-controller. The maximum average error and the maximum error with respect to “Desired Lux” inside the room is -6% and -10% respectively.

Steam Generator Level Control System (SGLCS) is one of the key instrumentations and control subsystems to ensure the safe operation of nuclear power plants. It is highly recommended to perform reliability analysis for SGLCS for making better maintenance strategy. SGLCS is a digital control system with complex redundant configuration and failure\self-diagnosis\repair action, traditional fault tree is not applicable due to its static property, Markov model is not a good choice too because of heavy burden of creating state transition graph for even medium-size system. Boolean Logic Driven Markov Process (BDMP) can describe complex failure-repair state transition via ‘trigger link’ and three kinds of leaf nodes, as well as keep compact and easy-read struct like fault tree. So BDMP is adopted to analysis reliability of SGLCS. Graphical BDMP modeling environment KB3 and Monte Carlo simulator YAMS is used for BDMP modeling and quantitative analysis respectively, and unavailability of SGLCS is obtained. The contribution of three parts of SGLCS to the unavailability of the system is also evaluated, and it is found that the water supply flow control part contributes the most to the failure of SGLCS.

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism links it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought.

This paper aims to introduce an overview of several aspects of the so-called Artificial Intelligence, their potential impacts on economic and social dimen- sions, and suggestions for possible approaches of investiment based upon effective and mature techniques. In this fashion, it is important to address from educational and academic issues to industrial densities and profiles, rel- atively to a given region, country or continent. Even etymological adequacy and psychological consequences of the denomination ”Artificial Intelligence” need some reflection, and suggestions for a lucid replacement are presented. In addition, suggestions about how can specific firms choose the right type of technique in order to improve profit and organizational efficiency. After all, what are the main transformations needed to amplify gains and structural improvements from the use of higher level technological mecha- nisms? Which connections can be established between the pillars of evolu- tionary economics and this field of knowledge? Which institutional contexts are able to benefit from AI tools, inducing constructive externalities to firms in terms of education, technical and scientific skills upgrading, so as to reach higher levels of employment in the long term and limit unemployment in the short one? Which branches of the so-called Artificial Intelligence are best suited to which types of activities? This work aims to contribute in the search for answers to these questions.

Quantum cell automata (QCA) is a nanotechnology that uses a transistor-free structure to design digital circuits and overcome the limitations listed for CMOS circuits. The computing circuits that make up the bulk of computers can be designed and using this technology. Subtractors are a big part of computational circuits. This research deals with the design of a subtractor that due to the innovation in the design of this circuit and the novel arrangement of quantum cells of its kind has caused the number of cells used in the design of the circuit to reach its lowest value compared to previously designed circuits. The size of the circuit as well as the loss power are minimized compared to the circuits designed by the subtractors. Another trait clears of this circuit compared to many previous designs is its single-layer design, which reduces latency and noise in the output waveform. The circuit designed by the QCADesigner simulator is tested and simulated inadition the results are displayed in the simulated waveform. Also, the results of calculations for power dissipation in each QCA cell were evaluated by QCAPro software, which is a powerful tool for estimating power loss simulation. It has less implementation and level (single layer) than Previous designs.

Recently, hybrid logic circuits based on magnetic tunnel junctions (MTJs) have been widely investigated to realize zero standby power. However, such hybrid CMOS/MTJ logic circuits suffer from a severe sensing reliability due to the limited tunnel magnetoresistance ratio (TMR≤150%) of the MTJ and the large process variation in the deep sub-micrometer technology node. In this paper, a novel differential sensing amplifier (DSA) is proposed, in which two PMOS transistors are added to connect the discharging branches and evaluation branches. Owing to the positive feedback realized by these two added PMOS transistors, it can achieve a large sensing margin. By using an industrial CMOS 40 nm design kit and a physics-based MTJ compact model, hybrid CMOS/MTJ simulations have been performed to demonstrate its functionality and evaluate its performance. Simulation results show that it can achieve a smaller sensing error rate of 9% in comparison with the previously proposed DSAs with the TMR ratio of 100% and process variation of 10%, while maintaining almost the same sensing delay of 74.5 ps and sensing energy of 1.92 fJ/bit.

Mass plays a strange multiple role in classical physics. This results in a difference between gravity and all other forces - a difference that stood at the beginning of Einstein's development of his general theory of relativity. The equivalence principle (EP) deals with homogenious gravitational fields, which, in fact, don‘t exist in nature. There is only an approximation for this field in Einstein-Lift possible for local situations. Nevertheless this EP can be true, because in classical formal binary logic there can be formulated a true conclusion from a wrong premise or assumption.

Research for a theory of quantum gravity has recently led to the use of presheaf topos. Quantum uncertainty is linked to the truth values of intuitionistic logic. This paper proposes transposing this model into a classic probability context, that of conditional mathematical expectations. A simulation of Brownian motion is offered for illustrative purposes.

Logic gates made of pairs of NPN and PNP bipolar transistors, similar to CMOS logic gates, have been proposed and patented long ago but did not find any practical application until now. Other bipolar technologies (TTL, TTL-S, ECL), once the technologies of choice for digital systems, were abandoned and superseded by CMOS. In this paper it is shown that now, when truly com-plementary pairs of bipolar transistors can be made, properly biased bipolar gates similar to CMOS gates are feasible, can be thermally stable and find practical applications.

Cellular Nonlinear Networks (CNN) are a concept introduced in 1988 by Leon Chua and Lin Yang as a bio-inspired architecture, capable of massively parallel computation. Later on, CNN have been enhanced by incorporating designs that incorporate memristors to profit from their processing and memory capabilities. In addition, Stochastic Computing (SC) can be used to optimize the quantity of required processing elements; thus it provides a lightweight approximate computing framework, quite accurate and effective, though. In this work, we propose utilization of SC in designing and implementing a memristor-based CNN. As a proof of the proposed concept, an example of application is presented. This application combines Matlab and a FPGA in order to create the CNN. The implemented CNN has then been used to perform three different real-time applications on a 512x512 gray-scale and a 768x512 color image: storage of the image, edge detection, and image sharpening. It has to be pointed out that the same CNN has been used for the three different tasks, with the sole change of some programmable parameters. Results show an excellent capability with significant accompanying advantages, like the low number of needed elements further allowing for a low cost FPGA-based system implementation, something confirming the system’s ability for real time operation.

Instead of the conventional 0 and 1 values, bipolar reasoning uses -1, 0, +1 to describe double-sided judgements in which neutral elements are halfway between positive and negative evaluations (e.g., “uncertain” lies between “impossible” and “totally sure”). We discuss the state-of-the-art in bipolar logics and recall two medieval forerunners, i.e., William of Ockham and Nicholas of Autrecourt, who embodied a bipolar mode of thought that is eminently modern. Starting from the trivial observation that “once a wheat sheaf is sealed and tied up, the packed down straws display the same orientation”, we work up a new theory of the bipolar nature of networks, suggesting that orthodromic (i.e., feedforward, bottom-up) projections might be functionally coupled with antidromic (i.e., feedback, top-down) projections via the mathematical apparatus of presheaves/globular sets. When an entrained oscillation such as a neuronal spike propagates from A to B, changes in B might lead to changes in A, providing unexpected antidromic effects. Our account points towards the methodological feasibility of novel neural networks in which message feedback is guaranteed by backpropagation mechanisms endowed in the same feedforward circuits. Bottom-up/top-down transmission at various coarse-grained network levels provides fresh insights in far-flung scientific fields such as object persistence, memory reinforcement, visual recognition, Bayesian inferential circuits and multidimensional activity of the brain. Implying that axonal stimulation by external sources might backpropagate and modify neuronal electric oscillations, our theory also suggests testable previsions concerning the optimal location of transcranial magnetic stimulation’s coils in patients affected by drug-resistant epilepsy.

This article discusses a transformer-free, high-efficiency DC-DC converter besides renewable energy applications. The traditional buck-boost, classic Zeta, Sepic, and Cuk converter does have the benefits of a simple design, low cost, as well as the capacity to execute voltage step-up and step-down. Conversely, because of the detrimental consequences of the parasitic constraints of the device, the voltage conversion gain of the traditional DC-DC converter is much more restricted and the efficiency is also significantly smaller, whereas this proposed converter does have a higher voltage gain and efficiency because it is used in a single power switch, resulting in reduced switching losses and voltage stress. The said converter's design is very simple, which simplifies the operation control and reduces switching and conduction losses, leading to an efficiency of 97.4 percent. This converter seems to have the same capabilities as the Zeta converter, including continuous desired output current and desired buck-boost operation. Such an article offers the operation principle and steady evaluation, as well as a comparison with other existing high step-up configurations. The proposed converter employs a fuzzy logic controller, which improves the voltage level as well as reduces the time taken to set the voltage output of a conventional PI and ANN controller, especially in comparison to the FLC controller. For deployment, Experimental Result and MATLAB/Simulink has been used, and the modeling results indicate that the proposed controller performance has improved

Climate risk is one of the confronting factors in Indian agriculture. To overcome this distrust, a large number of sensors can be installed in the fields,The extensive IoT platform can process the data sent by these sensors.The Data stream can be processed in real-timeusing Fuzzylogic, to offer smart solution. Network coding can enhance throughput and security. Thus reducing human interaction and improve efficiency.

Climate risk is one of the confronting factors in Indian agriculture. To overcome this distrust, a large number of sensors can be installed in the fields,The extensive IoT platform can process the data sent by these sensors.The Data stream can be processed in real-timeusing Fuzzylogic, to offer smart solution. Network coding can enhance throughput and security. Thus reducing human interaction and improve efficiency.

Mereotopology is a concept rooted in analytical philosophy. The phase-field concept is based on mathematical physics and finds applications in materials engineering. The two concepts seem to be disjoint at a first glance. While mereotopology qualitatively describes static relations between things like x isConnected y (topology) or x isPartOf y (mereology) by first order logic and Boolean algebra, the phase-field concept describes the geometric shape of things and its dynamic evolution by drawing on a scalar field. The geometric shape of any thing is defined by its boundaries to one or more neighboring things. The notion and description of boundaries thus provides a bridge between mereotopology and the phase-field concept. The present article aims to relate phase-field expressions describing boundaries and especially triple junctions to their Boolean counterparts in mereotopology and contact algebra. An introductory overview on mereotopology is followed by an introduction to the phase-field concept already indicating first relations to mereo- topology. Mereotopological axioms and definitions are then discussed in detail from a phase-field perspective. A dedicated section introduces and discusses further notions of the isConnected relation emerging from the phase-field perspective like isSpatiallyConnected, isTemporallyConnected, isPhysicallyConnected, isPathConnected and wasConnected. Such relations introduce dynamics and thus physics into mereotopology as transitions from isDisconnected to isPartOf can be described.

Discrete, logic-based models are increasingly used to describe biological mechanisms. Initially introduced to study gene regulation, these models evolved to cover various molecular mechanisms, such as signalling, transcription factor cooperativity, and even metabolic processes. The abstract nature and amenability of discrete models to robust mathematical analyses make them appropriate for addressing a wide range of complex biological problems. Recent technological breakthroughs have generated a wealth of high throughput data. Novel, literature-based representations of biological processes and emerging algorithms offer new opportunities for model construction. Here, we review up-to-date efforts to address challenging biological questions by incorporating omic data into logic-based models, and discuss critical difficulties in constructing and analysing integrative, large-scale, logic-based models of biological mechanisms.

Industrial discrete event dynamic systems (DEDSs) are commonly modelled by means of Petri nets (PNs). PNs have the capability to model behaviours such as concurrency, synchronization, and resource sharing, compared to a GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) which is a particular case of a PN. However, there is not a systematic way to implement a PN in a programmable logic controller (PLC), and so it is very common the implementation of such a controller outside a PLC, in some external software that will communicate with the PLC. There have been some attempts to implement PNs within a PLC, but they are dependent on how the logic of places and transitions is programmed for each application. This work proposes a novel application-independent and platform-independent PN implementation methodology. This methodology is a systematic way to implement a PN controller within industrial PLCs. A great portion of the code will be validated automatically prior to PLC implementation. Net structure and marking evolution will be checked on the basis of PN model structural analysis, and only net interpretation will be manually coded and error-prone. Thus, this methodology represents a systematic and semi-compiled PN implementation method. A use case supported by a digital twin (DT) is shown where the automated solution required by a manufacturing system is carried out and executed in two different devices for portability testing, and the scan cycle periods are compared for both approaches.

In this article, the evolution in space and in time of the coronavirus pandemic is studied by utilizing a neural network with a self-organizing nature for the spatial analysis of data, and a fuzzy fractal method for capturing the temporal trends of the time series of the countries. Self-organizing neural networks possess the capability for clustering countries in the space domain based on their similar characteristics with respect to their coronavirus cases. In this form enabling finding the countries that are having similar behavior and thus can benefit from utilizing the same methods in fighting the virus propagation. To validate the approach, publicly available datasets of coronavirus cases worldwide have been used. In addition, a fuzzy fractal approach is utilized for the temporal analysis of time series of the countries. Then, a hybrid combination of both the self-organizing maps and the fuzzy fractal approach is proposed for efficient COVID-19 forecasting of the countries. Relevant conclusions have emerged from this study, that may be of great help in putting forward the best possible strategies in fighting the virus pandemic. A lot of the existing works concerned with the Coronavirus have look at the problem mostly from the temporal viewpoint that is of course relevant, but we strongly believe that the combination of both aspects of the problem is relevant to improve the forecasting ability. The most relevant contribution of this article is the proposal of combining neural networks with a self-organizing nature for clustering countries with high similarity and the fuzzy fractal approach for being able to forecast the times series and help in planning control actions for the Coronavirus pandemic.

As the number of ships for marine transportation increases with the advancement of global trade, encountering multiple ships in marine traffic becomes common. This situation raises the risk of collision of the ships; hence this paper proposes a novel Fuzzy-logic based intelligent conflict detection and resolution algorithm, where the collision courses and possible avoiding actions are analyzed by considering ship motion dynamics and the input and output fuzzy membership functions are derived. As a conflict detection module, the Collision Risk (CR) is measured for each ship by using a scaled nondimensional Distance to the Closest Point of Approach (DCPA) and Time to the Closest Point of Approach (TCPA) as inputs. Afterwards, the decisions for collision avoidance are made based on the calculated CR, encountering angle and relative angle of each ship measured from others. In this regard, the rules for the Fuzzy interface system are defined in accordance with the COLREGs, and the whole system is implemented on the MATLAB Simulink platform. In addition, to deal with the multiple ship encounters, the paper proposes a unique maximum-course and minimum-speed change approach for decision making, which has been found to be efficient to solve Imazu problems, and other complicated multiple-ship encounters.

Part of philosophy is to subject assertions to critical scrutiny, clarifying exactly what the assertion is saying, its implications, and thus its direct plausibility. The goal is to ensure clarity, logical consistency, and rational argumentation in order to arrive at reasoned conclusions. A common problem is that arguments have missing implied premises that, unless explicitly stated, are mistakenly assumed to be true. Here we subject conclusions made regarding the SARS-CoV-2 pandemic to critical scrutiny, revealing their implied premises so that these premises can be explicitly examined and refuted. Specifically, we refute the conclusions that “no one is protected until everyone is protected” and “population lockdowns are required to protect those at high risk of adverse outcomes.” In the end, we argue for the conclusion that “an Emergency Management principles based response to the pandemic, compared to population-wide lockdowns, offers a way to prevent more adverse outcomes from COVID-19, better prevent overwhelmed healthcare, and prevent most of the collateral damage to the wellbeing of the population that has resulted from the lockdowns.”

The success of a software product depends on several factors. Given that different organizations and institutions use software products, the need to have a quality and desirable software according to the goals and needs of the organization makes measuring the quality of software products an important issue for most organizations and institutions. To be sure of having the right software. It is necessary to use a standard quality model to examine the features and sub-features for a detailed and principled study in the quality discussion. In this study, the quality of Word software was measured. Considering the importance of software quality and to have a good and usable software in terms of quality and measuring the quality of software during the study, experts and skilled in this field were used and the impact of each factor and quality characteristics. It was applied at different levels according to their opinion to make the result of measuring the quality of Word software more accurate and closer to reality. In this research, the quality of the software product is measured based on the fuzzy inference system in ISO standard. According to the results obtained in this study, it is understood that quality is a continuous and hierarchical concept and the quality of each part of the software at any stage of production can lead to high quality products.

Set theory faces two difficulties: formal definitions of sets/subsets are incapable of assessing biophysical issues; formal axiomatic systems are complete/inconsistent or incomplete/consistent. To overtake these problems reminiscent of the old-fashioned principle of individuation, we provide formal treatment/validation/operationalization of a methodological weapon termed “outer approach” (OA). The observer’s attention shifts from the system under evaluation to its surroundings, so that objects are investigated from outside. Subsets become just “holes” devoid of information inside larger sets. Sets are no longer passive containers, rather active structures enabling their content’s examination. Consequences/applications of OA include: a) operationalization of paraconsistent logics, anticipated by unexpected forerunners, in terms of advanced truth theories of natural language, anthropic principle and quantum dynamics; b) assessment of embryonic craniocaudal migration in terms of Turing’s spots; c) evaluation of hominids’ social behaviors in terms of evolutionary modifications of facial expression’s musculature; d) treatment of cortical action potentials in terms of collective movements of extracellular currents, leaving apart what happens inside the neurons; e) a critique of Shannon’s information in terms of the Arabic thinkers’ active/potential intellects. Also, OA provides an outer view of a) humanistic issues such as the enigmatic Celestino of Verona’s letter, Dante Alighieri’s “Hell” and the puzzling Voynich manuscript; b) historical issues such as Aldo Moro’s death and the Liston/Clay boxing fight. Summarizing, the safest methodology to quantify phenomena is to remove them from our observation and tackle an outer view, since mathematical/logical issues such as selective information deletion and set complement rescue incompleteness/inconsistency of biophysical systems.

This paper discusses domestic problem of waiting hot water for the shower use till it reaches satisfactory temperature, which result a lot of wastage in fresh water. The outcome from research survey shows that there is no satisfactory solution till now as all solutions were either expensive or with no effective results. Local small inline electric heater equipped with fuzzy logic controller is proposed in this paper to be installed just before the showerhead to measure the water temperature and flow before the showerhead, as control input-variables, and decide the operating voltage of the heater, as control output-variable (MISO). MATLAB Simulink is used to model the proposed system. Different test cases are simulated to prove the performance and the safe operation of the system. Techno-economic study is carried out to determine the “Direct Benefits” and “Indirect Benefits” that can be achieved if such system is implemented in wide range. Azerbaijan data is taken as an example to calculate the economic benefits. The results show important benefits not only for economy but also for climate and the reduction of CO₂ gas emission. Different economic indices are provided to be an easy reference for decision makers and project managers.

Metaheuristic algorithms are widely used as optimization methods, due to their global exploration and exploitation characteristics, which obtain better results than a simple heuristic. The Stochastic Fractal Search (SFS) is a novel method inspired by the process of stochastic growth in nature and the use of the fractal mathematical concept. Considering the chaotic-stochastic diffusion property, an improved Dynamic Stochastic Fractal Search (DSFS) optimization algorithm is presented. The DSFS algorithm was tested with benchmark functions, such as the multimodal, hybrid and composite functions, to evaluate the performance of the algorithm with dynamic parameter adaptation with type-1 and type-2 fuzzy inference models. The main contribution of the article is the utilization of fuzzy logic in the adaptation of the diffusion parameter in a dynamic fashion. This parameter is in charge of creating new fractal particles, and the diversity and iteration are the input information used in the fuzzy system to control the values of diffusion.

In recent years, new metaheuristic algorithms have been developed taking as reference the inspiration on biological and natural phenomena. This nature-inspired approach for algorithm development has been widely used by many researchers in solving optimization problem. These algorithms have been compared with the traditional ones algorithms and have demonstrated to be superior in complex problems. This paper attempts to describe the algorithms based on nature, that are used in fuzzy clustering. We briefly describe the optimization methods, the most cited nature-inspired algorithms published in recent years, authors, networks and relationship of the works, etc. We believe the paper can serve as a basis for analysis of the new are of nature and bio-inspired optimization of fuzzy clustering.

We suggest that the 14^th century scholar Nicholas of Autrecourt can be regarded as a precursor of the paraconsistent logics developed around 1950. We show how the Sorbonne licentiatus in theology provided in his few extant writings a refutation of both the principle of explosion and the law of non-contradiction, in accordance with the tenets of paraconsistent logics. This paves the way to the most advanced theories of truth in natural language and quantum dynamics.

An exploding demand for processing capabilities related to the emergence of the IoT, AI and big data, has led to the quest for increasingly efficient ways to expeditiously process the rapidly increasing amount of data. These ways include different approaches like improved devices capable of going further in the more Moore path, but also new devices and architectures capable of going beyond Moore and getting more than Moore. Among the solutions being proposed, Stochastic Computing has positioned itself as a very reasonable alternative for low-power, low-area, low-speed, and adjustable precision calculations; four key-points beneficial to edge computing. On the other hand, chaotic circuits and systems appear to be an attractive solution for (low-power, green) secure data transmission in the frame of edge computing and IoT in general. Classical implementations of this class of circuits require intensive and precise calculations. This paper discusses the use of the SC framework for the implementation of nonlinear systems, showing that it can provide results comparable to those of classical integration, with much simpler hardware, paving the way for relevant applications.

Road freight transportation is a key function of modern societies. At the same time, road freight transportation accounts for significant emissions. To reach the UN sustainability goals, sustainable road freight transportation is key. Digitalization, including automation, digitized information, and AI provide opportunities to improve efficiency, reduce costs, and increase service levels in road freight transportation. Digitalization may also radically change the business ecosystem in the sector. In this paper, the question “How will digitalization change the road freight transportation landscape?” is addressed by developing four different future scenarios, using Sweden as a case study. For each of the four scenarios the impacts on the road freight transportation sector are investigated, and opportunities and barriers to reach a sustainable transportation system in each of the scenarios are discussed. In all scenarios an increase in vehicle kilometers travelled is predicted, and in three of the four scenarios significant increases of recycling and urban freight flows are predicted. The scenario development process highlighted how there are important uncertainties in the development of the society that will be highly important for the development of the digitized freight transportation landscape. One example is the sustainability paradigm, which was identified as a strategic uncertainty.

Reinforcement learning (RL) is an extensively applied control method for the purpose of designing intelligent control systems to achieve high accuracy as well as better performance. In the present article, the PID controller is considered as the main control strategy for brushless DC (BLDC) motor speed control. For better performance, the fuzzy Q-learning (FQL) method as a reinforcement learning approach is proposed to adjust the PID coefficients. A comparison with the adaptive PID (APID) controller is also performed for the superiority of the proposed method, and the findings demonstrate the reduction of the error of the proposed method and elimination of the overshoot for controlling the motor speed. MATLAB/SIMULINK has been used for modeling, simulation, and control design of the BLDC motor.

This paper contributes to the current debate about Benefit Corporations, presenting the development of this organisational model in Italy, the first country to introduce this hybrid form after the US. Grounded on an institutional logic perspective, it provides a picture of the institutional dynamics that have characterised the rise of this new entrepreneurial form outside the US. The analysis provides an in-depth foundational study of the Italian case and highlights the relevant influence of different institutional pressures in explaining the rise of and constraints in the diffusion of Benefit Corporations. Empirically, it combines secondary data, available from different public sources, and primary data collected through interviews with a series of knowledgeable informants. Based upon the analysis, two aspects appear peculiar for the development of Benefit Corporations in Italy: the interplay between the Benefit Corporation legal form and the certified B Corp model, and the rise of tensions between social entrepreneurship and the third sector ecosystem. This paper concludes that the peculiar institutional pressures leading to the birth of Benefit Corporations in Italy may be source of permanent tensions and of concern for the diffusion of the model.

Max Born's statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. While the lat- ter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the gen- eral definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg's and others' un- certainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.

Occasionally, officials of the world’s regulatory agencies embark upon attempts at bringing previously unregulated physical systems under regulation by them. Each such attempt raises an epistemological issue. At issue is whether enough information about the outcomes of the events of the future, given the outcomes of the events of the present, will be in the hands of a would-be regulator for this regulator to regulate effectually. If present, this information is provided by runs of a model of the physical system that is slated for regulation. Ideally, this model makes an argument that draws its conclusion from the evidence presented to it. If so, this argument is of the form of a predictive inference. However, the process by which an argument draws its conclusion from the evidence may go awry. This happens, for example, when the axiom of probability theory called unit measure is falsified by a conclusion that is drawn from the evidence by this argument.A method is derived from first principles for determination of whether unit measure is satisfied or falsified by an argument made by a model, given that this argument may attach unusual meanings to statistical terms. This method is used in a study of whether unit measure is satisfied or falsified by the arguments that are made by a pair of models. Both models are in active use by regulatory agencies around the world. Under neither argument do runs of the model provide an official of a regulatory agency with the information gain aka mutual information that he or she would need to regulate effectually. Under both arguments, attachment of unusual meanings to statistical terms creates the illusion that such an official can and does regulate effectually.

MicroRNAs are used as biomarkers for classification of cancer subtypes since certain miRNAs are differentially expressed in normal and patient samples. Moreover, miRNAs target mRNAs and can heavily influence Gene Expressions. Thus, deregulation of miRNAs is linked to various disorders. Thus, miRNAs can be used for prognosis and developing personalized health solutions for patients. Given the importance of miRNAs, there has been substantial work done in the field. In this paper, recent works in the field of using miRNAs expressions of patients were considered. A total of 20 papers were surveyed which utilized feature selection ensembles, fuzzy logic as well as deep learning. 10 papers have been reported which offer insight into how miRNAs can be utilized for subtype-specific or generalized cancer diagnosis.

The most important issue in integrated next generation wireless systems (NGWS) by fourth generation networks which consists of various wireless architectures extending from cellular networks to satellite networks is to allow everyone around the world to connect seamlessly to applications anywhere at any time through the best network. Heterogeneous networks have created many challenges such as mobility management, handoff, resource management. For always best connectivity the selection of parameters plays an important role in the decision of vertical handoff, some of parameters are depend upon MT and some are depend upon the network conditions . In this paper we designed Intelligent Vertical Handoff based on Fuzzy Logic Decision model ( IVH-FL), IVH-FL model which has five parameters for vertical handoff decision : Received Signal Strength (RSS), Available bandwidth (B), Users Preference (UP), Mobile Speed (SM) and Power Consumption (PC), with the help of Fuzzy Logic tool box and concept of fuzzy linguistic variables. The results confirmed improvement performance , and reduced the number of unnecessary handover .

This work promotes new methods in Mathematical Modeling, consisting in the use of the methods of Non-standard Analysis in Topoi, having as its main purpose, the mathematical definitions of the pseudoparticles from the title, with arguments from Biology/Physiology (Mathematical Neuroscience), Physics (String Theory and Emergent Quantum Mechanics), and Cybernetics (Global Brain, including Natural and Artificial Intelligence). The connections between brain and mind will be scketched via the genetic/epigenetic interplay. The topoi model the intuitionistic logic (multi-valued) and have been used in Quantum Physics while Non-Standard Analysis in SET (= the Category of sets) has been applied in Mathematical Economics; topics from Theory of Categories were also used in the study of Consciousness; however, the combination topoi - non-standard analysis was never used until now in Applied Mathematics. Another important objective is to produce progress in this aria of Pure Mathematics also - the build of non-standard analysis in classes of topoi, already used in Physics. We propose the logic of non-standard extensions in topoi as a model of the human thinking (based on infons/receptons), these theories representing new top and very difficult results in Abstract Mathematics either.

Wireless Body Area Networks are composed of sensor nodes that may be implanted in the body or worn on it. A node is composed of a sensing unit, a processor and a radio unit. One of the nodes, the sink, acts as a gateway between the body area network and other networks such as the Internet. We propose a routing protocol that constructs paths between nodes such that the final network topology is a tree rooted at the sink. The protocol's aim is to increase network lifetime and reliability, and to adapt to network conditions dynamically. Moreover, the protocol enables communications between nodes and sink both in the upstream direction, from nodes to sink, and in the downstream direction from sink to nodes. When the network tree is constructed, a node chooses its parent, i.e., next hop to sink, by using one of various criteria. Namely, these are the number of hops between parent and sink, energy level of parent, received signal strength from parent, number of current parent's children, and a fuzzy logic function that combines multiple criteria. Moreover, as time progresses the tree structure may dynamically change to adapt to conditions such as the near-depletion of a routing node's energy. Simulation results show improvements in network lifetime and energy consumption over the older version of the protocol.

Vertical-channel organic dual-gate/base transistors would be highly interesting since vertical organic transistors are the fastest organic transistors demonstrated today. However, incorporating a dual gate/base structure into an ultra-short channel vertical architecture represents a substantial challenge. Here, we successfully realize a new device concept of vertical organic permeable dual-base transistors (OPDBTs), where either of both base electrodes can be used to change the on-currents and tune the threshold voltages. The optimized devices yield a high on-current density of 1.54 A cm^-2 and a large current gain of 9.2×10⁵, corresponding to a high transmission value of 99.998%. The detailed operation mechanisms are investigated by calibrated TCAD simulations with the Poole-Frenkel mobility model, Gaussian density of states and tunneling model. Finally, high-performance logic circuits, e.g. inverter, NAND/AND computation functions are demonstrated with one single OPDBT operating at supply voltages of < 2.0 V. We believe that OPDBTs offer a compact and technologically simple hardware platform with excellent application potential for vertical-channel organic transistors in complex logic circuits.

The paper presents design methodology for the production process of a new product from the point of view of the assembly operations technology criterion (Design for Assembly - DFA) in the conditions of high-volume production. Mentioned are DFA methods and techniques used in the implementation of a new product. Author presents a new method to assess design for manufacturability based on fuzzy variables based on fuzzy variables. An example was given to illustrate the proposed course of action

Rapid Visual Screening (RVS) is a procedure that estimates structural scores for buildings and prioritize their retrofit and upgrade requirements. Despite the speed and simplicity of RVS, many of the collected parameters are non-commensurable and include subjectivity due to visual observations. It might cause uncertainties in the evaluation, which emphasizes the use of a fuzzy-based method. This study aims to propose a novel RVS methodology based on the interval type-2 fuzzy logic system (IT2FLS) to set the priority of vulnerable building to undergo detailed assessment while covering uncertainties and minimizing their effects during evaluation. The proposed method estimates the vulnerability of a building, in terms of Visual Damage Index, considering the number of stories, age of building, plan irregularity, vertical irregularity, building quality, and peak ground velocity, as inputs with a single output variable. Applicability of the proposed method has been investigated using a post-earthquake damage database of 28 reinforced concrete buildings from the Bingöl earthquake in Turkey.