Se connecter

Bibliographies thématiques / Logic vector / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Logic vector.

Articles de revues sur le sujet « Logic vector »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Logic vector ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!