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: 31 May 2022

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

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
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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
4

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
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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
7

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
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

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
12

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

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 (April 2020): 94–102. http://dx.doi.org/10.13189/ujeee.2020.070204.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

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 (October 2000): 542–57. http://dx.doi.org/10.1109/92.894160.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

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
17

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
18

Kirienko, N. A. "Algorithms for partitioning logical circuits into subcircuits." Informatics 17, no. 3 (September 30, 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 of logical equations. Algorithms perform the partitioning the system of logical equations into subsystems with the restrictions of the number of input and output variables. The data structures to execute the algorithms are defined. Various types of equations connections, obtaining better solutions for partitioning are described. The problems of the use of partitioning algorithms to improve the quality of the circuit at the stage of technology-independent optimization are investigated. The results of an experimental study carried out by the BDD optimization procedure for the functional description of the circuit and LeonardoSpectrum synthesis confirm the effectiveness of the developed algorithms. The algorithms are implemented as partitioning circuit procedures in the experimental FLC system for logical design.
APA, Harvard, Vancouver, ISO, and other styles
19

Hinova, Аntoaneta. "SYNTHESIS OF LOGIC CIRCUITS WITH PROGRAMMABLE LOGIC CONTROLLER." Knowledge International Journal 31, no. 3 (June 5, 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 and mastering of the schemes even without the physical use of the controller this is one of the complex controllers, through which are given examples and can be successfully replaced by similar analogues of other companies. Access to the information could be protected by a password. The range includes power models-DC 12 V; AC/DC 24 V and 115/230 V. For some models in the series, the operating voltage limits are very wide, for example LOGO! 12/24RC works with voltages from 10.8 to 28.8 VDC, a LOGO! 230RC with voltages from 85 to 265 VAC. The logical module features are 8 digital inputs, LOGO! 12/24RC and LOGO! 12/24RC Two of the inputs can be configured as analog inputs with a range of 0-10 V. In the event that work with signals 4-20 mA is required, it is necessary to add a precision resistor parallel to the corresponding input. The resistor must be installed in close proximity to the terminals of the module, if possibleThe resistor must be mounted in close proximity to the terminals of the module, if possible. The resistor is 250 cm/0.250 W/0.1%, the input voltage will vary from 1 to 5 V. Other features of the series are: 4 relay outputs (for LOGO! 24 transistor, with built-in short circuit protection; operating temperature range from 0 to + 55 o C; 80 h operation of the internal clock when power is disconnected; 8 logical functions).Kontroler the Siemens LOGO! Satisfies the requirements for a logical controller for learning purposes on the one hand and the main criteria for selecting a controller on the other. A compact programmable logic controllers used in automation as a relay proxy.It does not cost more than a few relays and its programming is so flexible as connecting the relay. Its only drawback is the fixed number of inputs and outputs and the small memory for programs and data, but it is especially suitable for getting acquainted with Logical schemes for training in non-electronic technical specialties.
APA, Harvard, Vancouver, ISO, and other styles
20

Plaksienko, V. S. "Linear-logical decision-making algorithm for signal processing." Vestnik of Don State Technical University 18, no. 4 (January 9, 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 consideration of the structure of emissions and process exceedance in the signal processing channels.Research Results. Linear-logical algorithms for processing discrete signals are developed. They are based on the consideration of one, two and more detailed characteristics of emissions or exceedance of random processes.Discussion and Conclusion. The results obtained can be useful in the synthesis of algorithms and devices for the signal reception and processing. Algorithms and devices are implemented both in an analog form and in the form of algorithms for computers. The simulation programs for the signal processing under conditions of the considerable uncertainty of aprior information on the signals and the channels of their distribution are developed.
APA, Harvard, Vancouver, ISO, and other styles
21

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
22

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 (May 2012): 194–99. http://dx.doi.org/10.3182/20120523-3-ro-2023.00141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

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
26

Zeng, Qiang, and Yuefa Fang. "Algorithm for topological design of multi-loop hybrid mechanisms via logical proposition." Robotica 30, no. 4 (July 26, 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 synthesis is presented. Furthermore, the higher dimensional topological arrangement of multi-loop hybrid mechanism can be obtained by mapping of higher dimensional geometry. At last, four typical examples are developed to illustrate application of method of logical proposition in topological design of mechanisms. The method is helpful for topological design and analysis of multi-loop hybrid mechanisms.
APA, Harvard, Vancouver, ISO, and other styles
27

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 system of economic security. Method (methodology). To achieve the purpose of the research we have used the following methods: method of process approach to scientific research, methods of analysis and synthesis to the formation of the logical chain of terms, method of grouping to identify threats, hazards and risks. Results. The paper has summarized the scientific approaches to understanding the essence of economic security. It logically arranges the concept of threat, danger and risk, which will allow the formation of a system of assessment and management of economic security. The identification of existing threats and risks existing at the current stage of economic development for enterprise activity has allowed formulating a set of factors of influence and determining the direction of their actions.
APA, Harvard, Vancouver, ISO, and other styles
28

Cheburakhin, I. F. "Mathematical models for intellectualization of synthesis of discrete logical control units." Journal of Computer and Systems Sciences International 47, no. 1 (February 2008): 62–71. http://dx.doi.org/10.1134/s1064230708010085.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Lucas, Salvador, and Raúl Gutiérrez. "Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories." Journal of Automated Reasoning 60, no. 4 (July 12, 2017): 465–501. http://dx.doi.org/10.1007/s10817-017-9419-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Levin, V. I. "Synthesis of logical multiport devices with prescribed dynamics of output processes." Cybernetics and Systems Analysis 48, no. 2 (March 2012): 304–12. http://dx.doi.org/10.1007/s10559-012-9409-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Opanasenko, V. N., and S. L. Kryvyi. "Synthesis of Adaptive Logical Networks on the Basis of Zhegalkin Polynomials." Cybernetics and Systems Analysis 51, no. 6 (November 2015): 969–77. http://dx.doi.org/10.1007/s10559-015-9790-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Raman, R., and I. E. Grossmann. "Relation between MILP modelling and logical inference for chemical process synthesis." Computers & Chemical Engineering 15, no. 2 (February 1991): 73–84. http://dx.doi.org/10.1016/0098-1354(91)87007-v.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Chebotarev, A. N. "Extension of the automaton specification logical language and the synthesis problem." Cybernetics and Systems Analysis 32, no. 6 (November 1996): 756–65. http://dx.doi.org/10.1007/bf02366857.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Xiexiong, Chen, and Shen Jizhong. "Logical synthesis of moltivalued symmetric function based on binary full adders." Journal of Electronics (China) 13, no. 4 (October 1996): 360–65. http://dx.doi.org/10.1007/bf02734910.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

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 method is proposed to use artificial neural networks of feedforward propagation for modeling industrial processes. After evaluating the overall level of complexity of the modeling problem based on the indicator system, it was decided to build a neuromodel based on historical data. Using the characteristics of the input data of the problem, the most optimal structure of the neural network was calculated for further modeling of the system. A high level of logical transparency of neuromodels significantly expands their practical use and reduces the resource intensity of industrial processes. Results. Neuromodels of industrial processes are obtained based on historical data. The use of an indicator system made it possible to significantly increase the level of logical transparency of models, while maintaining a high level of accuracy. Constructed neuromodels reduce the resource intensity of industrial processes by increasing the level of preliminary modeling. Conclusions. The conducted experiments confirmed the operability of the proposed mathematical software and allow us to recommend it for use in practice in modeling industrial processes. Prospects for further research may lie in the neuroevolutionary synthesis of more complex topologies of artificial neural networks for performing multi-criteria optimization.
APA, Harvard, Vancouver, ISO, and other styles
36

Панаско, Олена Миколаївна, and Сергій Владиславович Бурмістров. "КОНЦЕПЦІЯ ОПТИМАЛЬНОЇ ФОРМИ ПРЕДСТАВЛЕННЯ ЛОГІЧНИХ ФУНКЦІЙ ТА ПРОБЛЕМИ ЇЇ ВПРОВАДЖЕННЯ." RADIOELECTRONIC AND COMPUTER SYSTEMS, no. 1 (February 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 functions studies proved that the traditional classical form does not always ensure the minimality of indicators for the structural complexity of the logical functions implementation, which makes relevant further steps in determining the optimal forms for representing logical functions in the problems of discrete devices analysis and synthesis. The implementation of the combination scheme for a given logical function from n arguments is carried out by some set of variants of structures. In problems of analysis and synthesis of combinational circuits of discrete devices it is necessary to evaluate the quality of their possible structures, to provide identification and selection of the most successful or optimal ones. The concept of the logical functions optimal form of representation is presented in the article as an important direction of structural perfection of discrete devices on the basis of their logical functions realization in alternative forms of representation. The existence of the OFR-concept, which takes into account different forms of representation, makes it highly efficient to use alternative forms of logical functions representation from the point of the structural complexity parameters of the combinational schemes implementation in comparison with traditional classical form. The article outlines the factors for the further improvement of the OFR-concept by filling it with new scientific achievements, which will allow to completely or partially remove difficulties with the introduction of the optimal FR into broad engineering practice
APA, Harvard, Vancouver, ISO, and other styles
37

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 (August 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-driven style, i.e. there is no need for presetting a reasoning style upon a target set of clauses. Experimental results on deduction with ARQ-PROP II using different propositional depth settings are presented together with a correction of Gadi Pinkas' mapping of SATisfiability into Energy minima.
APA, Harvard, Vancouver, ISO, and other styles
38

West, Donna E. "Logical and practical advantages of double consciousness." Cognitive Semiotics 14, no. 1 (May 1, 2021): 47–69. http://dx.doi.org/10.1515/cogsem-2021-2038.

Full text
Abstract:
Abstract This account augments Peirce's concept of consciousness in two ways: 1) it highlights its double nature and 2) it explores how this two-sided consciousness advances modal logic. Double consciousness facilitates inferencing in that differences between old information and new information are noticed; logical conflicts between the two can then be explored and resolved expeditiously. This often natural but a forced need to consider new facts in light of old ones provides a scaffold for a higher level of consciousness, namely, self and heterocriticism — inciting interpreters to attend to the new facts, to intentionally compare facts and propositions, and to reflect upon the reasons for their comparative efficacy. In his call to double consciousness, Peirce enlivens us to draw deeply from the well of logical and practical affordances — surprising events and sustained interactive platforms. Peirce’s call requires us to utilize consciousness from its very basic level: attention to stimuli, awareness of unexpected facts, mental wrestling of effort and resistance, and finally synthetic consciousness which engenders binding frames of legitimate meanings from reliable genres. In this effort, Peirce informs us that the most reliable inferencing can only be ascertained by weighing ego with non-ego — through an active course of careful synthesis.
APA, Harvard, Vancouver, ISO, and other styles
39

Ibri, Ivo A. "On the bottomless lake of firstness: conjectures on the synthetic power of consciousness." Semiotica 2021, no. 243 (October 18, 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 from Peirce (CP 7.547, undated) not only to give the title to this essay, but also to highlight the importance of the first category as a sort of synechistic envelopment of an unprecedented logical structure of signs that composes a new synthesis. Two continua intertwine themselves, namely, those of the first and third categories, to account for what appears as a fact of the world in the theater of secondness. The essay also seeks to bring to light the core realism of Peirce’s philosophy, the genetic aspect of this bottomless lake, through its cosmology, where the generalization of forms and the acquisition of habits of reality are the proper ground of his Objective Idealism. One of the heuristic aspect of the lake metaphor is a sort of invitation to extend the concept of synthesis from the realm of logical structures to that one of arts, which in this essay will remain as a suggestion for a further reflection.
APA, Harvard, Vancouver, ISO, and other styles
40

Koseska-Toszewa, Violetta. "Definiteness-indefiniteness category and logical quantification." Cognitive Studies | Études cognitives, no. 11 (November 24, 2015): 111–24. http://dx.doi.org/10.11649/cs.2011.006.

Full text
Abstract:
Definiteness-indefiniteness category and logical quantificationThis work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the Institute of Bulgarian Language of the Bulgarian Academy of Sciences. The publication of a many-volume Bulgarian Polish Grammar (12 monographs), and of a Polish-Bulgarian Contrastive Grammar, from now on: Synthesis, is completed. Theories of mathematical logic are satisfied in perfect way in a natural language, which is shown by our understanding of the semantic definiteness / indefiniteness category as a system of scope-based quantification notions. A natural language complements and modifies logical theories. For example, understanding of the definiteness / indefiniteness category as a sentence category follows from the language material, especially in article languages. In such languages, quantification of the predicate is a necessary prerequisite for interpretation. Also introduction of the notions of strong and weak quantification meanings is motivated, for example, by the need to distinguish between the meanings of expressions like Pol. pewien x, jakiś x / Bulg. njakoj x, njakakyv x on the nominal phrase level, and by understanding of the ambiguity of quantification expressions like Bulg. vinagi, ponjakoga / Pol. zawsze, czasami. The fact of treating the definiteness / indefiniteness category as a sentence category expands understanding of the incomplete quantification notion also with respect to the verbal phrase, rather than, as in Ajdukiewicz’s approach, with respect to the nominal phrase only. Similarly, a proper name in a natural language is not a unique name, like in mathematical logic, but requires additional unique quantification. A network-based description of time is the first attempt at this type of description in the subject literature. In the present article, I stress that fact that quantification of states and events understood as in Petri net theory reveals the dependence between the aspectual and temporal meanings of verb, and proves that the information on time and aspect need not be dealt with separately.
APA, Harvard, Vancouver, ISO, and other styles
41

Efanov, D. V., G. V. Osadchy, and I. V. Leskovets. "SYNTHESIS METHODS OF SELF-CHECKING COMBINATIONAL DEVICES OF AUTOMATIC CONTROLS BASED ON LOGICAL COMPLEMENT TO THE EQUILIBRIUM 1-OUT-OF 4 CODE." Automation on Transport 7, no. 4 (December 2021): 645–68. http://dx.doi.org/10.20295/2412-9186-2021-7-4-645-668.

Full text
Abstract:
The article is devoted to the development of the logical complement method for the synthesis of self-checking digital devices and systems. The article highlights the features of using the equilibrium 1-out-of 4 code for the synthesis of integrated control circuits of combinational logic devices by the method of logical complement. The basic structures of the organization of built-in control schemes by the method of logical complement to the equilibrium 1-out-of 4 code are described and several ways of organizing control schemes are considered. The fi rst one implies the control of devices with the allocation of outputs fours and the use of conversion of three outputs out of four in the basic structure. There is another way of organizing the control circuit by the method of logical complement to the equilibrium code and it involves the search for outputs triplets and their addition to the four-digit code word of the 1-out-of 4 code by directly connecting the output of the supervisor logic block to the tester input without any signal conversion. The third method is associated with the use of a basic structure with the circuit for the preliminary signal compression from the unit under test and the reduced number of outputs control. The article presents the results of experimental studies for each of the methods of organizing the built-in control circuit and estimates the structures technical implementation complexity as well as the probability of detecting errors at the outputs of the unit under test when single-stuck faults are introduced. In many cases the logical complement method allows to synthesize simpler self-checking devices compared to the duplication method with high rates of error detection at the unit under test outputs.
APA, Harvard, Vancouver, ISO, and other styles
42

Dulatova, Zainep Asanalievna, Anna Ivanovna Kovyrshina, Elena Sergeevna Lapshina, and Nikolay Nikolaevich Shtykov. "The Instuments for the Development of Universal Logical Skills of Analysis and the Culture of the Transmission of These Skills in the Process of Professional Training of Mathimatics Teachers." Siberian Pedagogical Journal, no. 5 (November 11, 2021): 48–57. http://dx.doi.org/10.15293/1813-4718.2105.05.

Full text
Abstract:
General logical universal learning activities (analysis, synthesis, comparison, etc.) in studies of the theory of development of universal learning activities are often represented by generalized formulations such as «text analysis», «analysis of the formulation of a theorem», «synthesis of information», etc. This approach does not allow to evaluate the level of complexity of a cognitive action, to determine its specificity, and to distinguish the levels of possession of this cognitive action. The article deals with the approach to forming the general logical action of analysis, which is based on the concept of funding, developed by E.I. Smirnov, V.D. Shadrikov. The methodological principle of the research is associated with various aspects of the system-activity and competence-based approaches to the organization of teaching students of pedagogical specialties. The aim of the article is to develop an approach to the design of teaching tools aimed at the formation of the general logical action of analysis. Results. The article describes the preparatory stage of the implementation of the concept of funding general logical cognitive actions in the training of students of pedagogical direction. The approach to the level differentiation of cognitive action of analysis is proposed. The types of analysis and their manifestations in mathematical and socio-humanitarian disciplines are considered. In conclusion, the necessity of differentiating the analysis in the organization of funding of this action is justified.
APA, Harvard, Vancouver, ISO, and other styles
43

Brown, Ronald B. "Breakthrough Knowledge Synthesis in the Age of Google." Philosophies 5, no. 1 (March 4, 2020): 4. http://dx.doi.org/10.3390/philosophies5010004.

Full text
Abstract:
Epistemology is the main branch of philosophy that studies the nature of knowledge, but how is new knowledge created? In this perspective article, I introduce a novel method of knowledge discovery that synthesizes online findings from current and prior research. This web-based knowledge synthesis method is especially relevant in today’s information technology environment, where the research community has easy access to online interactive tools and an expansive selection of digitized peer-reviewed literature. Based on a grounded theory methodology, the innovative synthesis method presented here can be used to organize, analyze and combine concepts from an intermixed selection of quantitative and qualitative research, inferring an emerging theory or thesis of new knowledge. Novel relationships are formed when synthesizing causal theories—accordingly, this article reviews basic logical principles of associative relationships, mediators and causal pathways inferred in knowledge synthesis. I also provide specific examples from my own knowledge syntheses in the field of epidemiology. The application of this web-based knowledge synthesis method, and its unique potential to discover breakthrough knowledge, will be of interest to researchers in other areas, such as education, health, humanities, and the science, technology, engineering, and mathematics (STEM) fields.
APA, Harvard, Vancouver, ISO, and other styles
44

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 (March 20, 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 are forecasting, synthesis and analysis, historical and logical analysis, expert assessments, comparative and system analysis; the scientific novelty of the article is as-sociated with the formation of the methodology for the development of neurotechnologies in the period of the sixth technological order.
APA, Harvard, Vancouver, ISO, and other styles
45

MLADENOV, Valeri. "Synthesis and Analysis of a Memristor-Based Perceptron for Logical Function Emulation." PRZEGLĄD ELEKTROTECHNICZNY 1, no. 4 (April 5, 2016): 24–27. http://dx.doi.org/10.15199/48.2016.04.06.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

German, O. V., and O. I. Sadovskaya. "Logical synthesis of the control algorithm in a system with Boolean variables." Automation and Remote Control 75, no. 3 (March 2014): 526–36. http://dx.doi.org/10.1134/s0005117914030096.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Bortakovskii, A. S. "Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions." Journal of Computer and Systems Sciences International 49, no. 2 (April 2010): 207–21. http://dx.doi.org/10.1134/s1064230710020061.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Fagiolini, Adriano, and Antonio Bicchi. "On the robust synthesis of logical consensus algorithms for distributed intrusion detection." Automatica 49, no. 8 (August 2013): 2339–50. http://dx.doi.org/10.1016/j.automatica.2013.04.033.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Burian, Serhii O., Mykola V. Pechenik, Hanna Y. Zemlianukhina, and Ivan S. Yepifantsev. "LOGICAL SYNTHESIS OF DISCRETE AUTOMATIC CONTROL SYSTEMS USING LOW-LEVEL PROGRAMMED RELAYS." Collection of Scientific Publications NUS, no. 1 (2021): 54–60. http://dx.doi.org/10.15589/znp2021.1(484).7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Hastings, Matthew B. "Turning gate synthesis errors into incoherent errors." Quantum Information and Computation 17, no. 5&6 (April 2017): 488–94. http://dx.doi.org/10.26421/qic17.5-6-7.

Full text
Abstract:
Using error correcting codes and fault tolerant techniques, it is possible, at least in theory, to produce logical qubits with significantly lower error rates than the underlying physical qubits. Suppose, however, that the gates that act on these logical qubits are only approximation of the desired gate. This can arise, for example, in synthesizing a single qubit unitary from a set of Clifford and T gates; for a generic such unitary, any finite sequence of gates only approximates the desired target. In this case, errors in the gate can add coherently so that, roughly, the error epsilon in the unitary of each gate must scale as epsilon < 1/N, where N is the number of gates. If, however, one has the option of synthesizing one of several unitaries near the desired target, and if an average of these options is closer to the target, we give some elementary bounds showing cases in which the errors can be made to add incoherently by averaging over random choices, so that, roughly, one needs epsilon < 1/ √ N. We remark on one particular application to distilling magic states where this effect happens automatically in the usual circuits.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Logical synthesis' for other source types:
Dissertations / Theses Books
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!

To the bibliography