Log in

Relevant bibliographies by topics / Logic vector / Journal articles

To see the other types of publications on this topic, follow the link: Logic vector.

Journal articles on the topic 'Logic vector'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Logic vector.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Gharibi, W., A. Hahanova, V. Hahanov, S. Chumachenko, E. Litvinova, and I. Hahanov. "Vector-deductive Memory-based Transactions for Fault-as-address Simulation." Èlektronnoe modelirovanie 45, no. 1 (2023): 3–26. http://dx.doi.org/10.15407/emodel.45.01.003.

Full text

Abstract:

The main idea is to create logic-free vector computing, using only read-write transactions on address memory. The strategic goal is to create a deterministic vector-quantum computing using photons for read-write transactions on stable subatomic memory elements. The main task is to implement new vector computing models and methods based on primitive read-write transactions in vector flexible interpretive fault modeling and simulation technology, where data is used as addresses for processing the data itself. The essence of vector computing is read-write transactions on vector data structures in

APA, Harvard, Vancouver, ISO, and other styles

2

Hahanov, V. I., S. V. Chumachenko, E. I. Lytvynova, et al. "VECTOR-LOGIC FAULT SIMULATION." Radio Electronics, Computer Science, Control, no. 4 (December 26, 2024): 185–94. https://doi.org/10.15588/1607-3274-2024-4-18.

Full text

Abstract:

Context. The technological trends of Design&Test computing for the IT industry and academic science are determined by the following directions: in-memory computing, immersive computing, AI computing, focused on energy saving and reduction of computing time when providing services. A mechanism for simulating faults as addresses on smart data structures is proposed, which eliminates the algorithm for simulating input test sets to obtain a test map for logic functionality. The proposed mechanism is focused on the service of SoC IP-cores under the control of the IEEE 1500 standard, which can b

APA, Harvard, Vancouver, ISO, and other styles

3

Mizraji, Eduardo. "Modalities in vector logic." Notre Dame Journal of Formal Logic 35, no. 2 (1994): 272–83. http://dx.doi.org/10.1305/ndjfl/1094061864.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hahanov, V., S. Chumachenko, Y. Litvinova, et al. "VECTOR-LOGICAL FAULT SIMULATION." Radio Electronics, Computer Science, Control, no. 2 (June 29, 2023): 37. http://dx.doi.org/10.15588/1607-3274-2023-2-5.

Full text

Abstract:

Context. The main idea is the creation of vector-logical in-memory computing (VLC), which uses only read-write transactions on the address memory for faults-as-addresses simulation. There is no traditional logic. VLC is free from processor commands and ALU for computing organization and is therefore focused on implementation in SoC and FPGA. A vector-logical method of deductive matrix synthesis for the transportation of input faults, which has a quadratic computational complexity, is proposed. An inmemory simulator-automata for vector-deductive faults-as-addresses simulation, which based on re

APA, Harvard, Vancouver, ISO, and other styles

5

Gharibi, Wajeb, Vladimir Hahanov, Svetlana Chumachenko, Eugenia Litvinova, Ivan Hahanov, and Irina Hahanova. "Vector-logic computing for faults-as-address deductive simulation." IAES International Journal of Robotics and Automation (IJRA) 12, no. 3 (2023): 274. http://dx.doi.org/10.11591/ijra.v12i3.pp274-288.

Full text

Abstract:

The aim of the research is to create logic-free vector computing, leveraging read-write transactions in memory, to solve the problems of modeling and simulation stuck-at-fault combinations for complex logic elements and digital structures. At the same time, the problem of creating smart data structures based on logical vectors, truth tables, and deductive matrices is considered to simplify algorithms for parallel stuck-at-fault simulation. Vector computing is a computational process based on read-write transactions on bits of a binary vector of functionality, where the input data and faults ar

APA, Harvard, Vancouver, ISO, and other styles

6

Wajeb, Gharibi, Hahanov Vladimir, Chumachenko Svetlana, Litvinova Eugenia, Hahanov Ivan, and Hahanova Irina. "Vector-logic computing for faults-as-address deductive simulation." IAES International Journal of Robotics and Automation (IJRA) 12, no. 3 (2023): 274–88. https://doi.org/10.11591/ijra.v12i3.pp274-288.

Full text

Abstract:

The aim of the research is to create logic-free vector computing, leveraging read-write transactions in memory, to solve the problems of modeling and simulation stuck-at-fault combinations for complex logic elements and digital structures. At the same time, the problem of creating smart data structures based on logical vectors, truth tables, and deductive matrices is considered to simplify algorithms for parallel stuck-at-fault simulation. Vector computing is a computational process based on read-write transactions on bits of a binary vector of functionality, where the input data and faults ar

APA, Harvard, Vancouver, ISO, and other styles

7

Westphal, Jonathan, and Jim Hardy. "Logic as a Vector System." Journal of Logic and Computation 15, no. 5 (2005): 751–65. http://dx.doi.org/10.1093/logcom/exi040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Mizraji, Eduardo. "The Operators of Vector Logic." Mathematical Logic Quarterly 42, no. 1 (1996): 27–40. http://dx.doi.org/10.1002/malq.19960420104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kuzichev, Andrey A. "ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, no. 1 (1992): 575–77. http://dx.doi.org/10.1002/malq.19920380155.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Baltag, Alexandru, and Johan van Benthem. "A Simple Logic of Functional Dependence." Journal of Philosophical Logic 50, no. 5 (2021): 939–1005. http://dx.doi.org/10.1007/s10992-020-09588-z.

Full text

Abstract:

AbstractThis paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: cont

APA, Harvard, Vancouver, ISO, and other styles

11

Nguyen, Hien D., Chiaki Sakama, Taisuke Sato, and Katsumi Inoue. "An efficient reasoning method on logic programming using partial evaluation in vector spaces." Journal of Logic and Computation 31, no. 5 (2021): 1298–316. http://dx.doi.org/10.1093/logcom/exab010.

Full text

Abstract:

Abstract In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is computed by multiplying an interpretation vector and a program matrix. To optimize computation in vector spaces, we provide a method of partial evaluation of programs using linear algebra. Partial evaluation is done by unfolding rules in a program, and it is realized in a vector space by multiplying program matrices. We perform experiments using artificial data and re

APA, Harvard, Vancouver, ISO, and other styles

12

Hsu, Tsong-Chih, and Ling-Yang Kung. "Logic and conflict-free vector addresses." ACM SIGARCH Computer Architecture News 17, no. 6 (1989): 150–53. http://dx.doi.org/10.1145/77254.77266.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

SHAKERIN, FARHAD, and GOPAL GUPTA. "White-box Induction From SVM Models: Explainable AI with Logic Programming." Theory and Practice of Logic Programming 20, no. 5 (2020): 656–70. http://dx.doi.org/10.1017/s1471068420000356.

Full text

Abstract:

AbstractWe focus on the problem of inducing logic programs that explain models learned by the support vector machine (SVM) algorithm. The top-down sequential covering inductive logic programming (ILP) algorithms (e.g., FOIL) apply hill-climbing search using heuristics from information theory. A major issue with this class of algorithms is getting stuck in local optima. In our new approach, however, the data-dependent hill-climbing search is replaced with a model-dependent search where a globally optimal SVM model is trained first, then the algorithm looks into support vectors as the most influ

APA, Harvard, Vancouver, ISO, and other styles

14

BAUDISCH, ANDREAS, AMADOR MARTIN-PIZARRO, and MARTIN ZIEGLER. "FUSION OVER A VECTOR SPACE." Journal of Mathematical Logic 06, no. 02 (2006): 141–62. http://dx.doi.org/10.1142/s0219061306000542.

Full text

Abstract:

Let T1 and T2 be two countable strongly minimal theories with the DMP whose common theory is the theory of vector spaces over a fixed finite field. We show that T1 ∪ T2 has a strongly minimal completion.

APA, Harvard, Vancouver, ISO, and other styles

15

Bouguenna, Ibrahim Farouk, Ahmed Tahour, Ralph Kennel, and Mohamed Abdelrahem. "Multiple-Vector Model Predictive Control with Fuzzy Logic for PMSM Electric Drive Systems." Energies 14, no. 6 (2021): 1727. http://dx.doi.org/10.3390/en14061727.

Full text

Abstract:

This article presents a multiple-vector finite-control-set model predictive control (MV-FCS-MPC) scheme with fuzzy logic for permanent-magnet synchronous motors (PMSMs) used in electric drive systems. The proposed technique is based on discrete space vector modulation (DSVM). The converter’s real voltage vectors are utilized along with new virtual voltage vectors to form switching sequences for each sampling period in order to improve the steady-state performance. Furthermore, to obtain the reference voltage vector (VV) directly from the reference current and to reduce the calculation load of

APA, Harvard, Vancouver, ISO, and other styles

16

Mizraji, Eduardo. "Vector logics: The matrix-vector representation of logical calculus." Fuzzy Sets and Systems 50, no. 2 (1992): 179–85. http://dx.doi.org/10.1016/0165-0114(92)90216-q.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Ishiura, N., H. Yasuura, and S. Yajima. "High-Speed Logic Simulation on Vector Processors." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6, no. 3 (1987): 305–21. http://dx.doi.org/10.1109/tcad.1987.1270276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Metzner, J. J. "Majority-logic-like decoding of vector symbols." IEEE Transactions on Communications 44, no. 10 (1996): 1227–30. http://dx.doi.org/10.1109/26.539759.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Schmerl, James H. "Partitioning large vector spaces." Journal of Symbolic Logic 68, no. 4 (2003): 1171–80. http://dx.doi.org/10.2178/jsl/1067620179.

Full text

Abstract:

The theme of this paper is the generalization of theorems about partitions of the sets of points and lines of finite-dimensional Euclidean spaces ℝd to vector spaces over ℝ of arbitrary dimension and, more generally still, to arbitrary vector spaces over other fields so long as these fields are not too big. These theorems have their origins in the following striking theorem of Sierpiński [12] which appeared a half century ago.Sierpiński's Theorem. The Continuum Hypothesis is equivalent to: There is a partition {X, Y, Z} of ℝ3such that if ℓ is a line parallel to the x-axis [respectively: y-axis

APA, Harvard, Vancouver, ISO, and other styles

20

SMYTHE, IIAN B. "MADNESS IN VECTOR SPACES." Journal of Symbolic Logic 84, no. 4 (2019): 1590–611. http://dx.doi.org/10.1017/jsl.2019.42.

Full text

Abstract:

AbstractWe consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the “spectrum” of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on ω. We apply the author’s local Ramsey theory for vector spaces [32] to give partial results concerning their definability.

APA, Harvard, Vancouver, ISO, and other styles

21

Hubey, H. M. "Logic, physics, physiology, and topology of color." Behavioral and Brain Sciences 20, no. 2 (1997): 191–94. http://dx.doi.org/10.1017/s0140525x97361421.

Full text

Abstract:

This commentary starts with a simplified Cartesian vector space of the tristimulus theory of color. This vector space is then further simplified so that bitstrings are used to represent the vector space. The Commission Internationale de l'Eclairage (CIE) diagram is shown to follow directly and simply from this vector space. The Berlin & Kay results are shown to agree quite well with the vector space and the two-dimensional version of it, especially if the dimensions are normalized to take into account the sensitivity of the eye to the different wavelengths comprising color. There is asymme

APA, Harvard, Vancouver, ISO, and other styles

22

Gharibi, W., A. Hahanova, V. Hahanov, S. Chumachenko, E. Litvinova, and I. Hahanov. "Vector–Logic Synthesis of Deductive Matrices for Fault Simulation." Èlektronnoe modelirovanie 45, no. 2 (2023): 16–33. http://dx.doi.org/10.15407/emodel.45.02.016.

Full text

Abstract:

The main idea is to create vector-logic computing that uses only read-write transactions on address memory to process large data. The main task is to implement new simple and reliable models and methods of vector computing based on primitive read-write transactions in the technology of vector flexible interpretive simulation of digital system faults. Vector-logic computing is a computational process based on read-write transactions over bits of a binary vector of functionality, where the input data is the addresses of the bits. A vector method for the synthesis of deductive matrices for transp

APA, Harvard, Vancouver, ISO, and other styles

23

Joshi, Girisha, and Pinto Pius A J. "ANFIS controller for vector control of three phase induction motor." Indonesian Journal of Electrical Engineering and Computer Science 19, no. 3 (2020): 1177. http://dx.doi.org/10.11591/ijeecs.v19.i3.pp1177-1185.

Full text

Abstract:

For variable speed drive applications such as electric vehicles, 3 phase induction motor is used and is controlled by fuzzy logic controllers. For the steady functioning of the vehicle drive, it is essential to generate required torque and speed during starting, coasting, free running, braking and reverse operating regions. The drive performance under these transient conditions are studied and presented. In the present paper, vector control technique is implemented using three fuzzy logic controllers. Separate Fuzzy logic controllers are used to control the direct axis current, quadrature axis

APA, Harvard, Vancouver, ISO, and other styles

24

Girisha, Joshi, and Pius A. J. Pinto. "ANFIS controller for vector control of three phase induction motor." Indonesian Journal of Electrical Engineering and Computer Science (IJEECS) 19, no. 3 (2020): 1177–85. https://doi.org/10.11591/ijeecs.v19.i3.pp1177-1185.

Full text

Abstract:

For variable speed drive applications such as electric vehicles, 3 phase induction motor is used and is controlled by fuzzy logic controllers. For the steady functioning of the vehicle drive, it is essential to generate required torque and speed during starting, coasting, free running, braking and reverse operating regions. The drive performance under these transient conditions are studied and presented. In the present paper, vector control technique is implemented using three fuzzy logic controllers. Separate Fuzzy logic controllers are used to control the direct axis current, quadrature axis

APA, Harvard, Vancouver, ISO, and other styles

25

Lubczonok, P. "Fuzzy vector spaces." Fuzzy Sets and Systems 38, no. 3 (1990): 329–43. http://dx.doi.org/10.1016/0165-0114(90)90206-l.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Duer, Stanisław, Jan Valicek, Jacek Paś, et al. "Neural Networks in the Diagnostics Process of Low-Power Solar Plant Devices." Energies 14, no. 9 (2021): 2719. http://dx.doi.org/10.3390/en14092719.

Full text

Abstract:

The article presents the problems of diagnostics of low-power solar power plants with the use of the three-valued (3VL) state assessment {2, 1, 0}. The 3VL diagnostics is developed on the basis of two-valued diagnostics (2VL), and it is elaborated on. In the (3VL) diagnostics, the range of changes in the values of the signals from the 2VL logic was accepted for the serviceability condition: state {12VL}. This range of signal value changes for logic (3VL) was divided into two signal value change sub-ranges, which were assigned two status values in the logic (3VL): {23VL}—serviceability conditio

APA, Harvard, Vancouver, ISO, and other styles

27

Guan, Yifei. "Research on the Vector Space and Its Linearity." Highlights in Science, Engineering and Technology 94 (April 26, 2024): 119–23. http://dx.doi.org/10.54097/cqd2x842.

Full text

Abstract:

A vector space is an abelian group over a field. From the viewpoint of group theory, the tangent space is a theoretical concept. Tangent space is similar to a vector space, particularly in terms of linearity. From a field's perspective, a subfield is a subset of the original field that shares the same properties as the original field. Subfield is logically similar to a subspace of a vector space. A vector is an element of a vector space. Weight vectors can be used to describe motion, which can be applied in pattern recognition. A linear combination of weight vectors can describe a sequence of

APA, Harvard, Vancouver, ISO, and other styles

28

H, Sudheer, Kodad SF, and Sarvesh B. "Improved Sensorless Direct Torque Control of Induction Motor Using Fuzzy Logic and Neural Network Based Duty Ratio Controller." IAES International Journal of Artificial Intelligence (IJ-AI) 6, no. 2 (2017): 79. http://dx.doi.org/10.11591/ijai.v6.i2.pp79-90.

Full text

Abstract:

This paper presents improvements in Direct Torque control of an induction motor using Fuzzy logic with Fuzzy logic and neural network based duty ratio controller. The conventional DTC (CDTC) of induction motor suffers from major drawbacks like high torque and flux ripples and poor transient response. Torque and flux ripples are reduced by replacing hysteresis controller and switching table with Fuzzy logic switching controller (FDTC). In FDTC the selected switching vector is applied for the complete switching time period. The FDTC steady state performance can be improved by using duty ratio co

APA, Harvard, Vancouver, ISO, and other styles

29

Sudheer, H., SF Kodad, and B. Sarvesh. "Improved Sensorless Direct Torque Control of Induction Motor Using Fuzzy Logic and Neural Network Based Duty Ratio Controller." IAES International Journal of Artificial Intelligence (IJ-AI) 6, no. 2 (2017): 79–90. https://doi.org/10.5281/zenodo.4108290.

Full text

Abstract:

This paper presents improvements in Direct Torque control of an induction motor using Fuzzy logic with Fuzzy logic and neural network based duty ratio controller. The conventional DTC (CDTC) of induction motor suffers from major drawbacks like high torque and flux ripples and poor transient response. Torque and flux ripples are reduced by replacing hysteresis controller and switching table with Fuzzy logic switching controller (FDTC). In FDTC the selected switching vector is applied for the complete switching time period. The FDTC steady state performance can be improved by using duty ratio co

APA, Harvard, Vancouver, ISO, and other styles

30

STACHÓ, L. L. "FAST MEASUREMENT OF HYPERSPACE VECTORS IN NOISE-BASED LOGIC." Fluctuation and Noise Letters 11, no. 02 (2012): 1250001. http://dx.doi.org/10.1142/s0219477512500010.

Full text

Abstract:

We propose a method to determine single hyperspace vectors (product strings of noise-bits) by classical means with the same effectiveness as the results using time shifted noise-based logic. A system of binary linear equations based on the amplitudes of the hyperspace vector and the reference noise-bits is set up and solved after enough independent information is collected. The resulting error probability (the chance of getting no answer) has approximately an exponential decay with the time of measurement.

APA, Harvard, Vancouver, ISO, and other styles

31

Hahanova, Anna V. "Developing method of vector synthesis deductive logic for computer systems fault analysis." Herald of Advanced Information Technology 5, no. 2 (2022): 102–12. http://dx.doi.org/10.15276/hait.05.2022.8.

Full text

Abstract:

The article is devoted to the development of models and methods for fault analysis for examinate test patterns. Deductive fault simulation of digital devices is the most advanced technology that serves the field of design and testing of modern computer systems. At the same time, fault simulation solves the problem of assessing the quality of the test in the class of single constant defects. However, the computational complexity of obtaining deductive formulas, estimated as n3 , is a rather difficult task for high-dimensional RTL-level functional circuits, so the deductive method is usually use

APA, Harvard, Vancouver, ISO, and other styles

32

Howard, Paul, and Eleftherios Tachtsis. "On vector spaces over specific fields without choice." Mathematical Logic Quarterly 59, no. 3 (2013): 128–46. http://dx.doi.org/10.1002/malq.201200049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Dimitrov, Rumen D., Valentina S. Harizanov, and Andrei S. Morozov. "Dependence relations in computably rigid computable vector spaces." Annals of Pure and Applied Logic 132, no. 1 (2005): 97–108. http://dx.doi.org/10.1016/j.apal.2004.06.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

ARAKI, Tomoyuki. "On Complex Vector Fuzzy Logic and Reversible Computing." Journal of Japan Society for Fuzzy Theory and Intelligent Informatics 26, no. 1 (2014): 529–37. http://dx.doi.org/10.3156/jsoft.26.529.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Seroussi, G., and N. H. Bshouty. "Vector sets for exhaustive testing of logic circuits." IEEE Transactions on Information Theory 34, no. 3 (1988): 513–22. http://dx.doi.org/10.1109/18.6031.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Hahanov, Vladimir, Wajeb Gharibi, Svetlana Chumachenko, and Eugenia Litvinova. "Vector synthesis of fault testing map for logic." IAES International Journal of Robotics and Automation (IJRA) 13, no. 3 (2024): 293. http://dx.doi.org/10.11591/ijra.v13i3.pp293-306.

Full text

Abstract:

Vector synthesis of fault testing (simulation) map for logic is proposed, which without simulation allows to determine of all faults detected on test sets, as well as determining test sets to detect specified faults. For synthesis, a superposition of smart data structures is used, containing: a deductive matrix D, as a derivative of the logical vector L, test truth table T, and fault truth table F. The deductive matrix is seen as the gene of functionality and base of fault simulation mechanism to solve all the problems of testing and verification. In the matrix synthesis, an axiom is used: all

APA, Harvard, Vancouver, ISO, and other styles

37

Steward, Robert L., Cheemeng Tan, Chao-Min Cheng, and Philip R. LeDuc. "Cellular force signal integration through vector logic gates." Journal of Biomechanics 48, no. 4 (2015): 613–20. http://dx.doi.org/10.1016/j.jbiomech.2014.12.047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Hahanov, Vladimir, Wajeb Gharibi, Svetlana Chumachenko, and Eugenia Litvinova. "Vector synthesis of fault testing map for logic." IAES International Journal of Robotics and Automation 13, no. 3 (2024): 293–306. https://doi.org/10.11591/ijra.v13i3.pp293-306.

Full text

Abstract:

Vector synthesis of fault testing (simulation) map for logic is proposed, which without simulation allows to determine of all faults detected on test sets, as well as determining test sets to detect specified faults. For synthesis, a superposition of smart data structures is used, containing: a deductive matrix D, as a derivative of the logical vector L, test truth table T, and fault truth table F. The deductive matrix is seen as the gene of functionality and base of Fault simulation mechanism to solve all the problems of testing and verification. In the matrix synthesis, an axiom is used: all

APA, Harvard, Vancouver, ISO, and other styles

39

Satle, Haritika, and Aastha Hajari. "Performance Improvement of QCA Design XOR Logic Gate using Bistable Simulation Engine Vector." International Journal of Trend in Scientific Research and Development Volume-2, Issue-6 (2018): 1191–94. http://dx.doi.org/10.31142/ijtsrd18824.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Wu, X. J., J. Tang, Q. Li, and K. H. Heng. "A vector-format fuzzy logic approach for online robot motion planning in 3D space and its application to underwater robotic vehicle." Robotica 25, no. 3 (2006): 325–39. http://dx.doi.org/10.1017/s0263574706003122.

Full text

Abstract:

SUMMARYDue to its inherent advantages such as reasoning in the format of heuristic rules based on human experience and less stringent requirement on environmental description, fuzzy logic is a promising tool for the robot motion planning in 3-dimensional dynamic environment. In general, in the Cartesian space, the variables used in characterizing the motion of a mobile robot, such as position, velocity, and force relative to other objects or coordinate frames, contain both the magnitude and the pointing information. In previous studies, the fuzzy reasoning on the pointing information was often

APA, Harvard, Vancouver, ISO, and other styles

41

Horowitz, Haim, and Saharon Shelah. "On the definability of mad families of vector spaces." Annals of Pure and Applied Logic 173, no. 4 (2022): 103079. http://dx.doi.org/10.1016/j.apal.2021.103079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Kanovich, Max I. "Petri nets, Horn programs, Linear Logic and vector games." Annals of Pure and Applied Logic 75, no. 1-2 (1995): 107–35. http://dx.doi.org/10.1016/0168-0072(94)00060-g.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Abbood, Afaneen Anwer. "A Fuzzy Logic Controller Based Vector Control of IPMSM Drives." Journal of Engineering 19, no. 10 (2023): 1287–99. http://dx.doi.org/10.31026/j.eng.2013.10.07.

Full text

Abstract:

This paper explores a fuzzy-logic based speed controller of an interior permanent magnet synchronous motor (IPMSM) drive based on vector control. PI controllers were mostly used in a speed control loop based field oriented control of an IPMSM. The fundamentals of fuzzy logic algorithms as related to drive control applications are illustrated. A complete comparison between two tuning algorithms of the classical PI controller and the fuzzy PI controller is explained. A simplified fuzzy logic controller (FLC) for the IPMSM drive has been found to maintain high performance standards with a much si

APA, Harvard, Vancouver, ISO, and other styles

44

Caballero, Amaury. "The use of fuzzy logic in classification." MATEC Web of Conferences 292 (2019): 04008. http://dx.doi.org/10.1051/matecconf/201929204008.

Full text

Abstract:

When determining the degree of coincidence of any multi-feature obtained information, received in the form of a fuzzy vector, to a pre-established known pattern, two general steps should be followed. The first step is to eliminate the features that have little or no effect to the final results and to maintain only those that will influence the pattern recognition. This step could be defined as the classification process and is imperative for the simplification of the problem. One example of classification that could considerably reduce system costs is when using sensors distributed along an in

APA, Harvard, Vancouver, ISO, and other styles

45

Hahanova, A., V. Hahanov, S. Chumachenko, E. Litvinova, and D. Rakhlis. "VECTOR-DRIVEN LOGIC AND STRUCTURE FOR TESTING AND DEDUCTIVE FAULT SIMULATION." Radio Electronics, Computer Science, Control, no. 3 (October 6, 2021): 69–85. http://dx.doi.org/10.15588/1607-3274-2021-3-7.

Full text

Abstract:

Context. It is known that data structures are decisive for the creation of efficient parallel algorithms and high-performance computing devices. Therefore, the development of mathematically perfect and technologically simple data structures takes about 80 percent of the design time, when about 20 percent of time and material resources are spent on algorithms and their hardware-software coding. This lead to search for such primitives of data structures that will significantly simplify the parallel high-performance algorithms which are working on them. Models and methods for testing and simulati

APA, Harvard, Vancouver, ISO, and other styles

46

Pandey, Ajay Kumar, Shashikant Tripathi, and Anjaney Kumar Pandey. "Inverter Controlling with Fuzzy Logic Controller for Solar Photovoltaic Based Grid Connected System." Indian Journal Of Science And Technology 18, no. 5 (2025): 372–79. https://doi.org/10.17485/ijst/v18i5.3877.

Full text

Abstract:

Background/Objectives: The integration of solar photovoltaic with the AC microgrid causes improper variation in voltage and power in the system. This study presents the integration of solar photovoltaic(SPV) with AC grid via boost converter and inverter. Methods: The controlling of the boost converter has been done with the maximum power point (MPP) extraction from the perturb and observe (P&O) based method. Further, the controlling of the inverter has been done with a fuzzy logic controller (FLC). The P&O method is used for MPP and for switching the boost converter. FLC and vector con

APA, Harvard, Vancouver, ISO, and other styles

47

Dries, Lou van den, and Vinicius Cifú Lopes. "Division rings whose vector spaces are pseudofinite." Journal of Symbolic Logic 75, no. 3 (2010): 1087–90. http://dx.doi.org/10.2178/jsl/1278682217.

Full text

Abstract:

AbstractVector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.

APA, Harvard, Vancouver, ISO, and other styles

48

Iashin, Boris Leonidovich. "Non-Classical Logics in Modern Science." Философская мысль, no. 1 (January 2023): 15–25. http://dx.doi.org/10.25136/2409-8728.2023.1.39350.

Full text

Abstract:

Non-classical logicians have significantly expanded the traditional field of using logical methods. The first of them was the three-digit logic of Y. Lukasevich. Next came the three-digit logic of A. Bochvar, the "quantum logics" of G. Reichenbach and P. Detush-Fevrier, infinite-valued, probabilistic and other logics. The possibilities of non-classical logics have become widely used in various branches of scientific knowledge. Polysemantic, fuzzy, intuitionistic, modal, relevant and paranoherent, temporal and other non-classical logics are widely used today in physics, computational mathematic

APA, Harvard, Vancouver, ISO, and other styles

49

Jiang, Yaozhi. "Atomic Proposition and 1-Order Predicate Function for Dialectical Logic." Journal of Mathematics Research 11, no. 3 (2019): 50. http://dx.doi.org/10.5539/jmr.v11n3p50.

Full text

Abstract:

This paper has completed main fields of making dialectical logic pure mathematically, it is involved both atomic proposition and 1-order predicate function for dialectical logic, and by state-dual, true-valued function vector, state-contradiction law into basic logic law. In addition, also defines true-valued function for logic operators so that more easy to represent atomic proposition. Some examples are given and shown that Boolean algebra, as a special case of dialectical logic, is how to operate hybridize-able with dialectical logic.

APA, Harvard, Vancouver, ISO, and other styles

50

Zhang, Hua-Peng, and Jin-Xuan Fang. "On -topological vector spaces generated by a co-tower of L-topological vector spaces." Fuzzy Sets and Systems 160, no. 20 (2009): 2926–36. http://dx.doi.org/10.1016/j.fss.2009.02.020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!