Log in

Relevant bibliographies by topics / Logical synthesis / Journal articles

To see the other types of publications on this topic, follow the link: Logical synthesis.

Journal articles on the topic 'Logical synthesis'

Author: Grafiati

Published: 30 May 2022

Last updated: 19 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 'Logical synthesis.'

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

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

2

Rengaswamy, Narayanan, Robert Calderbank, Swanand Kadhe, and Henry D. Pfister. "Logical Clifford Synthesis for Stabilizer Codes." IEEE Transactions on Quantum Engineering 1 (2020): 1–17. http://dx.doi.org/10.1109/tqe.2020.3023419.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Sylvan, Richard. "Toward an Improved Cosmo-Logical Synthesis." Grazer Philosophische Studien 25 (1985): 135–79. http://dx.doi.org/10.5840/gps1985/8625/266.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Sylvan, Richard. "Toward an Improved Cosmo-Logical Synthesis." Grazer Philosophische Studien 25, no. 1 (1986): 135–79. http://dx.doi.org/10.1163/18756735-02501007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Dulatova, Zainep Asanalievna, Anna Ivanovna Kovyrshina, Elena Sergeevna Lapshina, and Nikolay Nikolaevich Shtykov. "Development of Synthesis as a General Logical Method of Cognition in the Process of Teaching Mathematics of Students and Future Teachers." Siberian Pedagogical Journal, no. 1 (February 26, 2024): 7–16. http://dx.doi.org/10.15293/1813-4718.2401.01.

Full text

Abstract:

General logical cognitive actions form the basis of almost all cognitive methods. This determines the necessity of their purposeful formation in the process of subject teaching. A special role in the development of cognitive methods belongs to mathematics, in the process of teaching which these actions manifest themselves in the most explicit form. In the article we consider the formation of synthesis as a basic general logical method. The purpose of our study is to develop approaches to the organization of subject-based teaching aimed at the formation and development of synthetic thinking of

APA, Harvard, Vancouver, ISO, and other styles

6

Zhang, Kuize. "Synthesis for observability of logical control networks." Automatica 144 (October 2022): 110481. http://dx.doi.org/10.1016/j.automatica.2022.110481.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

kizi, Asadova Shahlo Saidjon. ""LOGICAL FIVE MINUTES" AS A TOOL FOR THE DEVELOPMENT OF EDUCATIONAL AND LOGICAL SKILLS OF PRIMARY SCHOOL STUDENTS." European International Journal of Philological Sciences 4, no. 6 (2024): 25–28. http://dx.doi.org/10.55640/eijps-04-06-06.

Full text

Abstract:

The article presents the experience of developing the educational and logical skills of primary school students, in particular, the formation of a holistic view of analysis and synthesis as ways of cognition that serve to increase the effectiveness of educational and cognitive activities of students. The development is based on the use of "logical five minutes" by teachers.

APA, Harvard, Vancouver, ISO, and other styles

8

Opanasenko, V. M., and S. L. Kryvyi. "Synthesis multilevel structure with multiple output." PROBLEMS IN PROGRAMMING, no. 2-3 (June 2016): 048–62. http://dx.doi.org/10.15407/pp2016.02-03.048.

Full text

Abstract:

The method for solution of adaptation problem of the logical network with many outputs for the restoration of the input set of binary vectors when given only the lower values of this set and the values of the outputs is considered. The algorithm synthesis of the logical network is based on the description of its polynomial Zhegalkin.

APA, Harvard, Vancouver, ISO, and other styles

9

Benzaken, C. "From logical gates synthesis to chromatic bicritical clutters." Discrete Applied Mathematics 96-97 (October 1999): 259–305. http://dx.doi.org/10.1016/s0166-218x(99)00095-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Kimura, Shigetomo, Atsushi Togashi, and Norio Shiratori. "Inductive Synthesis of Recursive Processes from Logical Properties." Information and Computation 163, no. 2 (2000): 257–84. http://dx.doi.org/10.1006/inco.2000.2883.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Cheremisinov, D. I., and L. D. Cheremisinova. "Redesigning CMOS VLSI using Yosys synthesis tool." Informatics 22, no. 1 (2025): 27–39. https://doi.org/10.37661/1816-0301-2025-22-1-27-39.

Full text

Abstract:

Objectives. The problem of reverse engineering of a transistor level circuit specified in the SPICE format in a different technological basis is considered. The goal of the work is to develop an approach to redesigning circuits using open source design automation software packages.Methods. A method is proposed based on extracting the structure at the level of logical elements from a flat SPICE description of a transistor circuit and exporting the resulting hierarchical SPICE description to the software environment of the open synthesis package Yosys. The purpose of the export is to transform t

APA, Harvard, Vancouver, ISO, and other styles

12

Yuldosheva, Feruza Mamasaxatovna. "THE ROLE OF MATHEMATICAL CONCEPTS IN THE INTELLECTUAL DEVELOPMENT OF CHILDREN." EURASIAN JOURNAL OF ACADEMIC RESEARCH 1, no. 1 (2021): 383–88. https://doi.org/10.5281/zenodo.4717611.

Full text

Abstract:

<em>This article discusses the role of mathematical concepts in the mental development of preschool children, how clear and perfect mathematical concepts are, the thinking power of children - analysis and synthesis, logical thinking, logical inference processes, and also great help in improving speech are mentioned.</em>

APA, Harvard, Vancouver, ISO, and other styles

13

Kirienko, N. A. "Algorithms for partitioning logical circuits into subcircuits." Informatics 17, no. 3 (2020): 54–63. http://dx.doi.org/10.37661/1816-0301-2020-17-3-54-63.

Full text

Abstract:

The problem of partitioning a logical circuit into subcircuits is considered. It is of great importance when performing optimization transformations in the process of circuit synthesis. The brief review of partitioning methods and algorithms is given, and two groups of algorithms are identified: constructive and iterative one. The interpretation of a logical circuit in the form of a graph is presented. The problem of partitioning in terms of a graph-theoretic model is defined and some algorithms for solving the partitioning problem are proposed. Logic circuit functions are defined by a system

APA, Harvard, Vancouver, ISO, and other styles

14

Timis, Mihai Grigore, Alexandru Valachi, Alexandru Barleanu, and Andrei Stan. "Logical Function Decomposition Method for Synthesis of Digital Logical System Implemented with Programmable Logic Devices (PLD)." Circuits and Systems 04, no. 07 (2013): 472–77. http://dx.doi.org/10.4236/cs.2013.47062.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Roussel, Jean-Marc, and Jean-Jacques Lesage. "Algebraic synthesis of logical controllers despite inconsistencies in specifications." IFAC Proceedings Volumes 45, no. 29 (2012): 307–14. http://dx.doi.org/10.3182/20121003-3-mx-4033.00050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ranger, T., A. Philippot, and B. Riera. "Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems." IFAC-PapersOnLine 55, no. 2 (2022): 169–74. http://dx.doi.org/10.1016/j.ifacol.2022.04.188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Voevoda, Alexandr Aleksandrovich, and Dmitry Olegovich Romannikov. "Synthesis of Neural Network for Solving Logical-Arithmetic Problems." SPIIRAS Proceedings 5, no. 54 (2017): 205. http://dx.doi.org/10.15622/sp.54.9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Frehel, J., J. C. Longchambon, and P. Malardier. "A unique formalism for VLSI logical and electrical synthesis." Revue de Physique Appliquée 22, no. 1 (1987): 21–28. http://dx.doi.org/10.1051/rphysap:0198700220102100.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Brendel, M. H., F. Friedler, and L. T. Fan. "Combinatorial foundation for logical formulation in process network synthesis." Computers & Chemical Engineering 24, no. 8 (2000): 1859–64. http://dx.doi.org/10.1016/s0098-1354(00)00569-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Xakimovich, Siddikov Isamiddin, Umurzakova Dilnoza Maxamadjonovna, and Yadgarova Dilnoza Baxtiyarovna. "Structural-Parametric Synthesis of an Adaptive Fuzzy-Logical System." Universal Journal of Electrical and Electronic Engineering 7, no. 2 (2020): 94–102. http://dx.doi.org/10.13189/ujeee.2020.070204.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Avdeev, N. A., and P. N. Bibilo. "Logical optimization efficiency in the synthesis of combinational circuits." Russian Microelectronics 44, no. 5 (2015): 338–54. http://dx.doi.org/10.1134/s1063739715050029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Singh, M., and S. M. Nowick. "Synthesis for logical initializability of synchronous finite-state machines." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 8, no. 5 (2000): 542–57. http://dx.doi.org/10.1109/92.894160.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Niven, B. S., and D. E. Abel. "Logical synthesis of environment of King Penguin, Aptenodytes patagonicus." Ecological Modelling 56 (January 1991): 291–311. http://dx.doi.org/10.1016/0304-3800(91)90205-f.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Vavilenkova, A. I. "Basic Principles of the Synthesis of Logical–Linguistic Models." Cybernetics and Systems Analysis 51, no. 5 (2015): 826–34. http://dx.doi.org/10.1007/s10559-015-9776-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Parunova, Yulia D. "LOGICAL METHODS IN LEGAL ARGUMENTATION." IZVESTIYA VUZOV SEVERO-KAVKAZSKII REGION SOCIAL SCIENCE, no. 3 (215) (September 30, 2022): 21–26. http://dx.doi.org/10.18522/2687-0770-2022-3-21-26.

Full text

Abstract:

The article considers the logical level of argumentation in the legal sphere, which allows to organize the argumentation process into a coherent system, ensuring the consistency of arguments, linking them in such a way, that a logically reliable conclusion could be obtained. While in modern views on argumentation it is presented rather as a rhetorical process, its essence is defined as a rational operation, based on arguments of reason and facts that must be systematized in a certain way. The application of such logical methods, as the method of systematization, classification, methods of anal

APA, Harvard, Vancouver, ISO, and other styles

26

Bibilo, P. N. "Synthesis of Modular Multipliers." Programmnaya Ingeneria 14, no. 8 (2023): 377–87. http://dx.doi.org/10.17587/prin.14.377-387.

Full text

Abstract:

The results of experiments on the circuit implementation of modular multipliers in the design library of ASIC (Application-Specific Integrated Circuits) and FPGA (Field-Programmable Gate Array) are presented. The initial descriptions of modular multiplier projects were given by systems of not fully defined (partial) Boolean functions and algorithmic VHDL descriptions. Logical optimization was carried out in the class of disjunctive normal forms (DNF) and representations of Boolean function systems by BDD (Binary Decision Diagrams). The synthesized circuits were evaluated by area and time delay

APA, Harvard, Vancouver, ISO, and other styles

27

Hinova, Аntoaneta. "SYNTHESIS OF LOGIC CIRCUITS WITH PROGRAMMABLE LOGIC CONTROLLER." Knowledge International Journal 31, no. 3 (2019): 747–52. http://dx.doi.org/10.35120/kij3103747h.

Full text

Abstract:

The peculiarities of the synthesis and simulation of logical circuits in the Siemens Programmable logic controller-LOGO are considered. The idea is particularly suitable for studying logical schemes in non-electronic technical specialties due to the specifics of work in the programming environment of this type of controllers and the provided that reduced of the simulation. The main objective is to combine the programming and mastery of the synthesis of logical circuits.The program environment of the LOGO Kontroler with its eight basic logic functions and 33 special functions allows the study a

APA, Harvard, Vancouver, ISO, and other styles

28

Plaksienko, V. S. "Linear-logical decision-making algorithm for signal processing." Vestnik of Don State Technical University 18, no. 4 (2019): 385–91. http://dx.doi.org/10.23947/1992-5980-2018-18-4-385-391.

Full text

Abstract:

Introduction. Heuristic synthesis is used to improve the efficiency of reception and processing of discrete signals under aprior information pressure. The analysis of the decisionmaking algorithm for the linear-logical processing of discrete signals in case of the incomplete aprior data on their parameters is presented. The work objective is to develop and analyze the efficiency of the linear-logical algorithms.Materials and Methods. New mathematical algorithms for the signal reception and processing, effective under conditions of a priori uncertainty, are proposed. They are based on the consi

APA, Harvard, Vancouver, ISO, and other styles

29

B., SUCHARITA REDDY, and DARBARWAR MALLESHWAR. "Synthesis and Desulphurisation of Substituted 12H-[1]-Benzopyrano[3,4-b][1 ,4]benzothiazin-6-ones." Journal of Indian Chemical Society Vol. 62, May 1985 (1985): 377–79. https://doi.org/10.5281/zenodo.6302945.

Full text

Abstract:

Department of Chemistry, Osmania University, Hyderabad-500 007 <em>Manuscript received 9 December 1984, accepted 27 April 1985</em> Nine substituted 12<em>H</em>[1]-benzopyrano[3,4-b][1,4]benzothiazin-6-ones have been prepared by condensation of the corresponding 4-hydroxycoumarins with 2-aminothiophenol in dimetbyl sulphoxide and one of these subjected to desulphurisation reaction with Haney nickel forming 4-anilinocoumarin. Their spectral properties and physiological activity have been evaluated.

APA, Harvard, Vancouver, ISO, and other styles

30

B., SUCHARITA REDDY, and DARBARWAR MALLESHWAR. "Synthesis and Physiological Activity of 2H-[1]-Benzothiopyrano[3,4-e ](1 ,3] oxazine-5-ones." Journal of Indian Chemical Society Vol. 63, Mar 1986 (1986): 323–25. https://doi.org/10.5281/zenodo.6254032.

Full text

Abstract:

Department of Chemistry, Osmania University, Hyderabad-500 007 <em>Manuscript received 5 August 1985, accepted 24 December 1985</em> Fourteen benzothiopyranooxazine-5-ones have been synthesised by the condensation of 4-hydroxy-t thiocoumarin and 6 chloro-4-hydroxy-1-thiocoumarin with different Schiff bases (derived from aromatic aldehydes and aniline) in acetic acid medium. The possible reaction mechanism has been advanced. Analytical, spectral and physio- logical properties of the compounds have been evaluated.

APA, Harvard, Vancouver, ISO, and other styles

31

NAKAYAMA, Yuta, Ryo ITO, and Toshimichi SAITO. "A Simple Class of Binary Neural Networks and Logical Synthesis." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E94-A, no. 9 (2011): 1856–59. http://dx.doi.org/10.1587/transfun.e94.a.1856.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Gelrud, Yakov, and Evgeny Kibalov. "ECONOMIC-MATHEMATICAL AND LOGICAL-HEURISTIC DECISION-MAKING MODELS: NEOSYSTEMIC SYNTHESIS." Bulletin of South Ural State University series "Economics and management" 14, no. 4 (2020): 130–37. http://dx.doi.org/10.14529/em200415.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Joudakizadeh, M., and A. P. Beltiukov. "Two-level realization of logical formulas for deductive program synthesis." Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki 34, no. 4 (2024): 469–85. https://doi.org/10.35634/vm240401.

Full text

Abstract:

This paper presents a novel approach to interpreting logical formulas for synthesizing algorithms and programs. The proposed method combines features of Kleene realizability and Gödel's “dialectica” interpretation but does not rely on them directly. A simple version of positive predicate logic without functions is considered, including conjunction, disjunction, implication, and universal and existential quantifiers. A new realizability semantics for formulas and sequents is described, which considers not just a realization of a formula, but a realization with additional support. The realizatio

APA, Harvard, Vancouver, ISO, and other styles

34

Chebotarev, A. N. "Synthesis of a nondeterministic automaton from its logical specification. I." Cybernetics and Systems Analysis 31, no. 5 (1995): 641–49. http://dx.doi.org/10.1007/bf02366311.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Chebotarev, A. N. "Synthesis of a nondeterministic automaton from its logical specification. II." Cybernetics and Systems Analysis 31, no. 6 (1995): 793–801. http://dx.doi.org/10.1007/bf02366616.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Riera, B., D. Annebicque, F. Gellot, A. Philippot, and R. Benlorhfar. "Control synthesis based on logical constraints for safe manufacturing systems." IFAC Proceedings Volumes 45, no. 6 (2012): 194–99. http://dx.doi.org/10.3182/20120523-3-ro-2023.00141.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

PRONYAEVA, Lyudmila I., Ol'ga A. FEDOTENKOVA, and Anna V. PAVLOVA. "Development of organic agriculture based on the cluster approach." Regional Economics: Theory and Practice 20, no. 7 (2022): 1381–404. http://dx.doi.org/10.24891/re.20.7.1381.

Full text

Abstract:

Subject. This article analyzes the organizational and managerial relations in the field of organic production. Objectives. The article aims to find the optimal form of cooperation between producers of organic products. Methods. For the study, we used logical and comparative analyses, generalization, synthesis, and visual modeling. Results. The article offers a typology of organic clusters and a logical and structural model of an organic agricultural cluster with a description of its functional blocks. Conclusions. Creating organic clusters based on the developed logical and structural model ca

APA, Harvard, Vancouver, ISO, and other styles

38

Zeng, Qiang, and Yuefa Fang. "Algorithm for topological design of multi-loop hybrid mechanisms via logical proposition." Robotica 30, no. 4 (2011): 599–612. http://dx.doi.org/10.1017/s0263574711000865.

Full text

Abstract:

SUMMARYThis paper introduces the mathematical logical proposition into kinematics and presents a novel method for topological design and representation of mechanisms. The six-value non-classical logical matrix in three orders is proposed to represent spatial basic motions, relations, and selection of moving reference frame. The combinatorial logical sets of mechanisms are built and axiomatized to analyze serial–parallel hybrid mechanisms. In accordance to the logical relations, the mapping between topological arrangement and topological geometry is developed, and algorithm of decomposition syn

APA, Harvard, Vancouver, ISO, and other styles

39

Lang, Mengchen. "Fictional Worlds Theory Problematized: Global Logical Impossibilities in Vladimir Nabokov’s Novels." Style 56, no. 3 (2022): 258–79. http://dx.doi.org/10.5325/style.56.3.0258.

Full text

Abstract:

ABSTRACT Confronting fictional worlds theory with three novels by Vladimir Nabokov (The Real Life of Sebastian Knight, Pale Fire, and Look at the Harlequins!), the author argues that the theory is problematized by Nabokov’s employment of global logical impossibilities. All three novels elicit fluid, fragmentary imaginations of “fictional worlds”; however, by requiring readers to juggle between several logically incompatible interpretations of characters and plots without reaching any synthesis, Nabokov refuses to let these imaginations of “worlds” solidify into fictional worlds in the theoreti

APA, Harvard, Vancouver, ISO, and other styles

40

Kim, Jinwoo, Loris D'Antoni, and Thomas Reps. "Unrealizability Logic." Proceedings of the ACM on Programming Languages 7, POPL (2023): 659–88. http://dx.doi.org/10.1145/3571216.

Full text

Abstract:

We consider the problem of establishing that a program-synthesis problem is unrealizable (i.e., has no solution in a given search space of programs). Prior work on unrealizability has developed some automatic techniques to establish that a problem is unrealizable; however, these techniques are all black-box , meaning that they conceal the reasoning behind why a synthesis problem is unrealizable. In this paper, we present a Hoare-style reasoning system, called unrealizability logic for establishing that a program-synthesis problem is unrealizable. To the best of our knowledge, unrealizability l

APA, Harvard, Vancouver, ISO, and other styles

41

Панаско, Олена Миколаївна, та Сергій Владиславович Бурмістров. "КОНЦЕПЦІЯ ОПТИМАЛЬНОЇ ФОРМИ ПРЕДСТАВЛЕННЯ ЛОГІЧНИХ ФУНКЦІЙ ТА ПРОБЛЕМИ ЇЇ ВПРОВАДЖЕННЯ". RADIOELECTRONIC AND COMPUTER SYSTEMS, № 1 (23 лютого 2018): 32–38. http://dx.doi.org/10.32620/reks.2018.1.04.

Full text

Abstract:

In scientific publications and conducted studies, the possibility of representing logical functions (LF) in alternative forms of representation is demonstrated, the characteristic feature of which is a polynomial entity, which reduces to the representation of LF in the form of series different from the traditional classical representation by adding members of a series - in particular, for an algebraic form, the addition is carried out algebraically with weight coefficients, and in the case of the use of the Reed-Muller form addition is made for mod 2. The results of complete sets of logical fu

APA, Harvard, Vancouver, ISO, and other styles

42

Grigorova, Yana V., and Sergey V. Komarov. "Analyzing the problem of artificial intelligence through the prism of Immanuel Kant’s philosophy." Вестник Пермского университета. Философия. Психология. Социология, no. 4 (2024): 463–70. https://doi.org/10.17072/2078-7898/2024-4-463-470.

Full text

Abstract:

The research examines the structure of the mind in I. Kant’s philosophy as an archetype of artificial intelligence. Categories of the mind are considered as logical drivers of the productive imagination synthesis. Since the temporal schemes of imagination synthesis basically contain a transcendental account, the mind acts as a calculation. This formal counting mechanism can be separated from the work of the living mind and reproduced technically in artificial intelligence systems. The unconditionality of the ideas of the mind means the arbitrariness of setting them as functions of the mind pro

APA, Harvard, Vancouver, ISO, and other styles

43

Danilova, Elvira. "LOGICAL HIERARCHY OF TERMS IN THE SYSTEM OF ECONOMIC SECURITY." Economic Analysis, no. 28(2) (2018): 127–32. http://dx.doi.org/10.35774/econa2018.02.127.

Full text

Abstract:

Introduction. Instability and uncertainty of the environment creates threats, dangers and risks for enterprises. The higher the intensity of their effects, the more active becomes the policy of the company in neutralizing their negative effects. The formation of the system of economic protection from negative effects of threats, hazards and risks needs to be clarified as the economic essence of these concepts, as well as their logical ordering in the process of interaction with the enterprise. Purpose. The article aims to summarize scientifically the logical ordering of terms that form the sys

APA, Harvard, Vancouver, ISO, and other styles

44

Hahanov, Vladimir I., Svitlana V. Chumachenko, Eugenia I. Litvinova, and Volodymyr I. Obrizan. "In-Memory modelling and simulations." Informatics. Culture. Technology 1, no. 1 (2024): 178–83. http://dx.doi.org/10.15276/ict.01.2024.26.

Full text

Abstract:

A mechanism for modeling faults as addresses on smart data structures is proposed, which excludes the algorithm for modeling input test sets to obtain a test map of logical functionality. Smart data structures are represented by a logical vector and its derivatives in the form of truth tables and matrices. The test map is a matrix whose coordinates are defined by the combinations of all logical faults that are tested on the binary sets of the exhaustive test. The construction of the test map is focused on the architecture of in- memory computing based on read-write transactions, which makes th

APA, Harvard, Vancouver, ISO, and other styles

45

Ibri, Ivo A. "On the bottomless lake of firstness: conjectures on the synthetic power of consciousness." Semiotica 2021, no. 243 (2021): 129–52. http://dx.doi.org/10.1515/sem-2021-0120.

Full text

Abstract:

Abstract This essay focuses on the concept of consciousness in C. S. Peirce’s work, revealing how its ways of being are associated with the three Peircean phenomenological categories. In this article, I intend to reflect on the heuristic power of the mind, namely, its ability to bring about new ideas, which, within Peirce’s logic of inquiry, is called by the well-known term of abduction. The abductive logical step promotes a synthesis of signs that constitutes a logical structure capable of proposing a new mediation or representation of a new phenomenon. I make use of a metaphorical passage fr

APA, Harvard, Vancouver, ISO, and other styles

46

Bibilo, P. N., Yu Yu Lankevich, and V. I. Romanov. "Logical Minimization of Multilevel Representations of Boolean Function Systems." Informacionnye Tehnologii 29, no. 2 (2023): 59–71. http://dx.doi.org/10.17587/it.29.59-71.

Full text

Abstract:

A decisive influence on complexity and speed of a combinational logic circuit of library CMOS elements is exerted by the preliminary stage of technologically independent optimization of the implemented system of Boolean functions. At present, the main methods of such optimization in the logical synthesis of custom CMOS VLSI blocks are methods for minimizing binary decision diagrams — Binary Decision Diagrams (BDD) or their modifications. Graphical representations of BDD are built on the basis of the Shannon expansions of Boolean functions. A BDD graph corresponds to a set of interrelated Shann

APA, Harvard, Vancouver, ISO, and other styles

47

Nazari, Amirmohammad, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman. "Explainable Program Synthesis by Localizing Specifications." Proceedings of the ACM on Programming Languages 7, OOPSLA2 (2023): 2171–95. http://dx.doi.org/10.1145/3622874.

Full text

Abstract:

The traditional formulation of the program synthesis problem is to find a program that meets a logical correctness specification. When synthesis is successful, there is a guarantee that the implementation satisfies the specification. Unfortunately, synthesis engines are typically monolithic algorithms, and obscure the correspondence between the specification, implementation and user intent. In contrast, humans often include comments in their code to guide future developers towards the purpose and design of different parts of the codebase. In this paper, we introduce subspecifications as a mech

APA, Harvard, Vancouver, ISO, and other styles

48

Glushchenko, Valery V. "THE DEVELOPMENT OF NEUROTECHNOLOGIES IN THE PERIOD OF THE SIXTH TECHNO-LOGICAL ORDER." International Journal of Engineering Science Technologies 5, no. 2 (2021): 45–57. http://dx.doi.org/10.29121/ijoest.v5.i2.2021.163.

Full text

Abstract:

The subject of the article is the development of neurotechnologies in the sixth technological or-der, the object of the article is neurotechnologies, the purpose of the work is to increase the ef-ficiency of the development of neurotechnologies in the sixth technological order, to achieve this goal, the following tasks are solved: research of the concept, content, structural elements of the sixth technological order; description of the essence and content of neurotechnologies; de-velopment of methods of logical analysis and synthesis of neurotechnologies; the scientific methods in the article

APA, Harvard, Vancouver, ISO, and other styles

49

Leoshchenko, S. D., A. O. Oliinyk, S. A. Subbotin, V. V. Netrebko, and Ye O. Gofman. "SYNTHESIS OF A NEURAL NETWORK MODEL OF INDUSTRIAL CONSTRUCTION PROCESSES USING AN INDICATOR SYSTEM." Radio Electronics, Computer Science, Control, no. 4 (January 10, 2022): 69–77. http://dx.doi.org/10.15588/1607-3274-2021-4-7.

Full text

Abstract:

Context. The problem of a neural network model synthesis for industrial processes with the definition of an optimal topology characterized by a high level of logical transparency and acceptable accuracy is considered. The object of research is the process of neural network modeling of industrial processes using an indicator system to simplify and select the topology of neuromodels.. Objective of the work is consists in synthesis a neural network model of industrial processes with a high level of logical transparency and acceptable accuracy based on the use of the system. Method. A

APA, Harvard, Vancouver, ISO, and other styles

50

LIMA, PRISCILA M. V., M. MARIELA M. MORVELI-ESPINOZA, GLAUCIA C. PEREIRA, TALITA O. FERREIRA, and FELIPE M. G. FRANÇA. "LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS." International Journal of Pattern Recognition and Artificial Intelligence 22, no. 05 (2008): 1031–43. http://dx.doi.org/10.1142/s0218001408006673.

Full text

Abstract:

This paper presents the implementation of ARQ-PROP II, a limited-depth propositional neural reasoner based on the Resolution Principle. The SATyrus platform was used in the synthesis of Energy functions from a set of pseudo-Boolean constraints specifying ARQ-PROP II architectures for different inferencing depths. Global minima of the Energy functions produced by SATyrus are associated to SATisfiability of a formula and, in the case of ARQ-PROP II, are associated to Resolution-based refutations. This allows for simplified abduction, prediction and planning to be unified with deduction in a goal

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!