Logic System Research Articles

Decoding the commutable first hyperpolarisability of keto–enol tautomer using DFT and AI-based soft computing method

ABSTRACT Non-linear optical (NLO) parameter of a series of donor–acceptor substituted N-salicylidene-4-benzenesulfonylaniline (SBSA) derivatives with a contrast of first hyperpolarisability has been investigated using density functional-based theory. The derivative of SBSA with both the donor and acceptor substitution (NMe2-SBSA-NO2) exhibits the highest first hyperpolarisability ( ∼ 3 × 103 a.u in gas phase) value. Frequency and solvent polarity responsive behaviours of first hyperpolarisability are utilised to demonstrate the variation of NLO as switchable electrical parameter. Each of the studied compounds displays very high NLO response at frequency corresponding to the absorption maxima of their electronic state. Likewise, the increase of solvent polarity induces a substantial increase of first hyperpolarisability. The computation of NLO responsive first hyperpolarisability by varying the frequency and solvent dielectric constant within a wide domain is very tedious and time-consuming. To overcome the lacuna, we implemented machine learning tools such as artificial neural networks (ANNs), fuzzy logic (FL) and adaptive neuro-fuzzy inference system (ANFIS) to predict the computation data of the NMe2-SBSA-NO2 and moderately good results were obtained using ANFIS as soft computing tool.

Концепции поэтики и симуляции смыслов: философский дискурс о киноискусстве

Cinematic art possesses a unique capacity to engender alternative realms, fabricate spatial-temporal realities, and thereby engender the poetics of meaning. The existing modern research in philosophy, history, semiotics, cinematic reality, phenomenology, and narrative structure within cinematic art furnishes an extensive foundation for profound exploration into the quandaries of meaning and the logical construction of filmic language. The concepts of poetics and the simulation of meanings within cinematic art are intriguing to trace and analyze from diverse philosophical standpoints and perceptions. The art of cinema is based on and appeals to early forms of thinking, semantic image, ideal forms, representations of the world and art. The theories and worldview of ancient thinkers seem to have antedated the articulation of the authentic concept of cinema. Phenomenological research aims to fill the gaps in the system of human judgment, contemplation, logic, cognition and reason. Through the prism of philosophy, we glean a finer comprehension of how cinematic art shapes our perception of reality through replicas of natural world perception, portraying human existence within a simulacrum, which itself constitutes its own reality. As further investigations into these philosophical domains are pursued, a deeper comprehension of the complex relationship between cinema, perception, and the intricacies of human experience is developed.

Type-3 fuzzy dynamic adaptation of Bee colony optimization applied to mathematical functions

In this article, an Interval Type-3 Fuzzy Logic System (IT3FLS) for enhancing the performance in Bee Colony Optimization (BCO) is outlined. The efficiency of the IT3FLS approach is verified with results on a set of benchmark mathematical functions. The IT3FLS provides an approach that helps to identify the optimal values in α and β parameters that allows to improve the performance in the original BCO. The IT3FLS approach exhibits advantages in the optimization of the benchmark functions. It can be noted that a IT3FLS exhibits better results in the minimal values of the set of mathematical functions. The experimentation demostrates that the implementation of the IT3FLS approach enhances the performance of BCO when compared with respect to the variants utilizing Generalized Type-2 FLS (GT2FLS), Interval Type-2 FLS (IT2FLS) and Type-1 FLS (T1FLS).

Distributed finite-time adaptive consensus output-feedback control of multi-agent systems under switching topologies

The paper investigates the finite-time adaptive consensus control of nonlinear multi-agent systems (MASs) by output-feedback. During the process of control design, the fuzzy logic system (FLS) is employed to approximate nonlinear function, as well as constructing a fuzzy state observer to estimate unmeasured states. Combining the dynamic surface control (DSC) with adaptive backstepping method conquers the complexity explosion issue. Then, semi-global practical finite-time stability (SGPFS) for closed-loop system is obtained under arbitrary switching communication topologies. All the signals of the overall system are uniformly ultimately bounded (UUB). Finally, the availability of developed control approach will be demonstrated through a simulation.

A novel protection scheme for transmission lines connected to solar photovoltaic and wind turbine farms using fuzzy logic systems and bagged ensemble learning

A novel protection scheme for transmission lines connected to solar photovoltaic and wind turbine farms using fuzzy logic systems and bagged ensemble learning

Scalable Low‐Power Skyrmionic Logic Gate Library

AbstractMagnetic skyrmions, despite being promising ultra‐low energy information carriers with wide bandwidth and nonvolatility, are not used for any universal scalable logic system. Here, a detailed understanding of skyrmion motion in nanowires under different geometries and drive conditions is established. Then, these insights are used to introduce a general Boolean‐universal gate block system with components, emulation, and simulation algorithms. The resulting system can collectively form a scalable, cascadable, and universal skyrmion logic system and produce arbitrary logic designs. The NOR, AND, OR, NAND, XNOR, and FULL ADDER gates are provided here as example demonstrations of the system. The toolkit lays the foundation for bridging the gap between theoretical exploration and practical implementation of skyrmion‐based computing. The skyrmion block components may help reduce energy consumption per logic operation after eliminating Joule heating. The insights and designs may help skyrmions be used in state‐of‐the‐art electronic design automation.

Unifying Historical-Research and Drama-Interpretation: A Methodological Exploration of Textile Historical Materials in Chinese Classical Dramatic Literature

This paper puts the relationship between textile phenomena and textile historical materials in Chinese classical dramatic literature under the perspective of literature, history and textiles, introduces the goal orientation of "unifying historical-research and drama-interpretation", explains the nature of textile phenomena in classical dramatic literature, and the process of obtaining textile historical materials, and discusses the mechanism of "multi-dimensional mutual reference" of textile historical materials. The methodology believes that based on the mechanism of textile historical materials in Chinese classical dramatic literature, the positive process is the historical interpretation of textile phenomena, while the reverse process is the literary evidence of textile historical facts. The corresponding logical system attempts to solve the problem of "why Chinese classical dramatic literature has become a historical database for Chinese ancient textile research", and is expected to summarize the common regulations of extracting and studying the historical materials of textiles in various types of classical literary works.

Antecedents of College Students’ Continuance Behaviors in Online Fragmented Learning: An Empirical Analysis from the Extended ECM Perspective

With the popularity of mobile networks and intelligent terminals, online fragmented learning, as a new learning method, has become the mainstream way for college students to acquire knowledge and study independently. However, college students are prone to “accept-interruption” in online fragmented learning; thus, it is difficult for them to master a complete knowledge system and form a rigorous logic system, which is essential to ensure the effect of online fragmented learning. Therefore, this study investigates the antecedents of college students’ continuance behaviors in online fragmented learning (CBOFL). Based on the expectation confirmation model (ECM), a theoretical model is developed to examine the factors influencing college students’ CBOFL. Taking a total of 429 undergraduate students who have studied contest courses on the Chinese university massive open online courses (MOOCs) for research subjects, the mechanism underlying the determinants of college students’ CBOFL is analyzed, and six hypotheses are tested by a structural equation modeling (SEM) technique with AMOS. The results indicate that confirmation positively impacts intrinsic learning motivation and satisfaction; intrinsic learning motivation, satisfaction, and teachers’ influence all significantly positively affect college students’ CBOFL. Additionally, the predicting powers of different factors on college students’ CBOFL vary broadly; therein, satisfaction has the most significant effect. This study makes theoretical contributions to the quantitative research on college students’ CBOFL and literature on the ECM. Still, it also has important practical significance in guiding college students’ CBOFL and facilitating the sustainability of online fragmented learning.

Speed Control of Switched Reluctance Motor using Adaptive Fuzzy Backstepping Sliding Mode Control

Speed Control of Switched Reluctance Motor using Adaptive Fuzzy Backstepping Sliding Mode Control

Optimal Wind Farm Siting Using a Fuzzy Analytic Hierarchy Process: Evaluating the Island of Andros, Greece

In recent decades, fuzzy logic and fuzzy multi-criteria decision-making systems have been applied in several fields. This paper aims to determine the optimal wind farm siting solution in a fuzzy environment. Therefore, the main research question of the present paper is whether and to what extent the uncertainty in the researcher’s judgments affects the ranking of wind farm siting solutions. The fuzzy analytical hierarchy method is applied to an existing case study of wind farm siting on the island of Andros, examining the stability of the final priorities of the alternatives under a regime of gradual increases in ambiguity, as well as whether the introduced ambiguity in the model corresponds to any uncertainty the researcher has during the process of scoring the criteria and alternatives. Five assessment criteria (wind potential, ground slope, distance from road network, distance from high-voltage network, and social acceptance of local population) and eight eligible suitable alternatives (A1–A8) for wind farm siting are considered in the computations. The methodology includes the fuzzification of initial decision-maker judgments, the calculation of fuzzy intermediate priorities (weights), the defuzzification of fuzzy intermediate priorities (weights), and the synthesis of intermediate priorities into final priorities of alternatives, according to the procedures of the crisp AHP (CAHP). Under the assumptions of the initial case study, the results show that the final priorities are quite robust when faced with increased ambiguity. In almost all the examined cases, the alternative initially chosen as the best, A1, is dominant, followed by A3. In addition, in all cases, social acceptance favors alternative A1, and wind velocity favors alternative A8. Therefore, fuzzy multi-criteria methods can be applied to determine an optimal wind farm siting solution when criteria with qualitative characteristics are used and the manifestation of preferences involves strong elements of subjectivity.

Cooperative Adaptive Fuzzy Control for the Synchronization of Nonlinear Multi-Agent Systems under Input Saturation

This research explores the synchronization issue of leader–follower systems with multiple nonlinear agents, which operate under input saturation constraints. Each follower operates under a spectrum of unknown dynamic nonlinear systems with non-strict feedback. Additionally, due to the fact that the agents may be geographically dispersed or have different communication capabilities, only a subset of followers has direct communication with the leader. Compared to linear systems, nonlinear systems can provide a more detailed description of real-world physical models. However, input saturation is present in most real systems, due to various factors such as limited system energy and the physical constraints of the actuators. An auxiliary system of Nth order is introduced to counteract the impact of input saturation, which is then employed to create a collaborative controller. Due to the powerful capability of fuzzy logic systems in simulating complex nonlinear relationships, they are deployed to approximate the enigmatic nonlinear functions intrinsic to the systems. A distributed adaptive fuzzy state feedback controller is designed by approximating the derivative of the virtual controller by filters. The proposed controller ensures the synchronization of all follower outputs with the leader output in the communication graph. It is shown that all signals in the closed-loop system are semi-globally uniformly ultimately bounded, and the tracking errors converge to a small neighborhood around the origin. Finally, a numerical example is given to demonstrate the effectiveness of the proposed approach.

Fuzzy finite‐time adaptive control of switched nonlinear systems with input nonlinearities

SummaryThis article addresses the fuzzy finite‐time command filtering tracking control problem for switched nonlinear systems with input nonlinearities via using backstepping technique. An equivalent transformation method is proposed for the purpose of handling the impediment problem caused by the nonlinearity of control input. Finite‐time command filtering control technology can solve the “explosion of complexity” issue, which is caused by the multiple derivation of virtual controllers appeared in the classic backstepping control. A filtering compensation scheme is developed to reduce the filtering error. By combining the fuzzy logic system's approximation ability and the finite‐time theory, a new fast convergence adaptive control scheme is proposed so that the output of the system can converge to a small area near the desired signal and the boundedness of all signals of the controlled system can be assured in finite time. Finally, a simulation example successfully verifies the feasibility of the developed control scheme.

Logical Platforms for Mobile Application in Decision Support Systems Based on Color Information Processing

Logical Platforms for Mobile Application in Decision Support Systems Based on Color Information Processing

Adaptive Fuzzy Fixed-Time Control for Uncertain Nonlinear Systems with Mismatched Disturbances

This paper focuses on addressing the adaptive fuzzy fixed-time issue for a class of nonlinear systems with uncertainty functions and mismatched disturbances. Fuzzy logical systems are utilized for identifying unknown functions. Additionally, to tackle challenges posed by mismatched disturbances, disturbance observers are constructed based on the backstepping method. Utilizing the adding one power integrator approach and the fixed-time control method, this paper introduces a fixed-time adaptive fuzzy control algorithm. Notably, this algorithm accommodates the presence of unknown mismatched disturbances and nonlinear functions. The paper establishes, through the application of the Lyapunov stability theory, that the designed adaptive fixed-time fuzzy control algorithm ensures practical fixed-time stability for the resulting closed-loop systems. Finally, the effectiveness of the derived strategy is demonstrated through an illustrative example involving two cases.

219 Effect of stocking density on F1 gilt grow-finish performance

Abstract As replacement rates in the swine industry have increased, gilt development units have increased the number of females developed in the same allotted space. The impact of decreasing space is not well understood on the developing gilt. Therefore, the objective of this study was to evaluate differences in grow-finish performance for developing gilts housed at different stocking densities. At 10 wk of age 824 F1 females (DNA L241, DNA Genetics, Columbus, NE) were randomly allotted to 12 pens per treatment of either 0.71 m2 (n = 360), 0.93 m2 (n = 264), or 1.25 m2 (n = 204). Body weights (BW) were individually collected at 10, 24, and 31 wk of age. Backfat and loin depth were measured using an Exxago Ultrasound between the 10th and 11th rib at 24 and 31 wk of age. Feed consumption was measured at the pen level using a Feed Logic system. Mortality date, reason, and BW were recorded throughout the grow-finish phase. At 10-wk of age, there was no significant difference in BW between the treatments. Differences in BW were observed between treatment 0.71 m2 at 119.3 kg compared with 0.93 m2 and 1.25 m2 at 123.4 kg and 125.6 kg, respectively (P < 0.01). All stocking densities were significantly different (P < 0.01) at 31 wk of age with 0.71 m2 at 142.4 kg, 0.93 m2 at 152.4 kg and 1.25 m2 at 156.5 kg. Backfat and loin depth were significantly different at 24 wk for 0.71 m2 compared with 0.93 m2 and 1.25 m2 (P < 0.05). At 31 wk of age, all treatments were significantly different for backfat with 0.71 m2 at 16.1 mm, 0.93 m2 at 18.0 mm and 1.25 m2 at 19.1 mm (P < 0.05). Feed conversion was not different across treatments from 71 d of age until 84 d of age and from 84 until 111 d of age. However, feed conversion was significantly different from 111 d until 167 d of age for 0.71 m2 at 3.83 compared with 1.25 m2 at 3.40 (P < 0.10). Mortality was not different between treatments (P < 0.05). Gilts that were assigned to the least square foot treatment grew slower and had decreased backfat and loin depth. This could potentially impact the timing of the estrus detection and matings in the replacement gilt population. Overall, producers looking to improve the BW of females entering the breeding herd should evaluate increasing the space allotted per female in their gilt developer.

Categoricity Problem for LP and K3

AbstractEven though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value.

Protecting women’s rights under the current criminal law of Vietnam

Enhancing women’s rights is a crucial matter globally and has been addressed in various legal documents. Vietnam has actively collaborated with the international community to bolster the safeguarding of women’s rights within its criminal justice framework. The 2015 Criminal Code of Vietnam underwent significant revisions to ensure the well-being and rights of women. However, certain provisions still require improvement to ensure comprehensive protection. This article thoroughly examines the shortcomings in safeguarding women’s rights within Vietnam’s criminal law system and proposes measures to enhance the relevant provisions in the 2015 Criminal Code. By refining and expanding regulations, providing stronger support and protection for victims, improving monitoring mechanisms, and ensuring effective enforcement, we can bolster the protection of women’s rights in the 2015 Criminal Code. A robust and logical legal system is essential for women to attain maximum rights and safety within society.

Deep learning approaches to the game of Connect6

Especially with the rise of artificial intelligence, people need more ability to think logically and make judgments than before. Board games can be used as a tool for training logic, which has a positive effect on the sustainable development of society. Connect6 is a very popular board game because it is a fair and highly complex game with simple rules. This research aims to address the technical challenges of building a game-based logical learning system with a deep neural network for Connect6. We used heuristic knowledge to establish the knowledge base. Our novel algorithm, based on residual deep convolutional neural networks (DCNNs), outperforms conventional approaches. We compare neural network architectures, demonstrating the superiority of residual DCNNs.Our AI program, “Kavalan,” achieves remarkable search performance. Furthermore, the introduced approaches lend themselves to application in other sudden-death board games, such as Gomoku, the endgame of Chess and Shogi.

Event-triggered adaptive tracking for constrained multi-agent systems with saturated inputs and actuator faults

An fault-tolerant tracking control of uncertain nonlinear multi-agent systems with state constraints and input saturation is investigated. A saturated controller is processed by converting the saturation function into a linear form of the control input. The uncertain nonlinear dynamics are approximated by fuzzy logic systems and the unknown parameters are estimated by adaptive laws. By utilizing the nonlinear state-dependent function, the constrained system is converted into the unconstrained one. An adaptive distributed event-triggered control mechanism for consensus tracking is developed utilizing the backstepping approach. By stability analysis, it is ensured that all system signals are bounded, consensus tracking can be achieved with bounded errors, and no Zeno behavior happens. Finally, simulation is done to validate the theoretical results.

Fixed-time anti-disturbance constraint fuzzy synchronization control for PMSM based four-wheel-independent-drive EVs

A fixed-time anti-disturbance constraint fuzzy synchronization control method is proposed, for the sake of solving the problem of fast recovery of synchronization between in-wheel permanent magnet synchronous motors (PMSMs) in four-wheel-independent drive electric vehicles. The system model of in-wheel PMSM is presented in the beginning, and fuzzy logic systems are used for approximating the uncertainty parts of the PMSM model. Based on the PMSM model, a fixed-time disturbance-observer is designed to account for fast estimation of fluctuating load torque. Then, the neighborhood synchronization error is constructed based on a directed-graph, and a performance function is designed to guarantee the neighborhood synchronization error evolves strictly within the prescribed bound. Besides, the fixed-time bound of all signals is proved. Finally, the hardware-in-the-loop platform is built, and the electronic differential and the nonlinear vehicle model are employed to validate the advanced performance of the design control method.