INDEX METHOD OF MINIMIZATION OF BOOLEAN FUNCTIONS

Πηγή: Bulletin of Cherkasy State Technological University; No. 2 (2023): Bulletin of Cherkasy State Technological University; 24-37
Вестник Черкасского государственного технологического университета; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
Вісник Черкаського державного технологічного університету; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
urn:2306:44552.2023

Θεματικοί όροι: method of minimization of Boolean functions, базисний коефіцієнт K, parallelization of minimization process, матричний метод паралельної декомпозиції, результативні рядки булевої функції, фрактальний комп'ютер, matrix method of parallel decomposition, метод мінімізації булевих функцій, basic coefficient K, fractal computer, розпаралелювання процесу мінімізації, resulting lines of Boolean function

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vtn.chdtu.edu.ua/article/view/273763

INDEX METHOD OF MINIMIZATION OF BOOLEAN FUNCTIONS

Πηγή: Bulletin of Cherkasy State Technological University; No. 2 (2023): Bulletin of Cherkasy State Technological University; 24-37
Вестник Черкасского государственного технологического университета; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
Вісник Черкаського державного технологічного університету; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
urn:2306:44552.2023

Θεματικοί όροι: method of minimization of Boolean functions, базисний коефіцієнт K, parallelization of minimization process, матричний метод паралельної декомпозиції, результативні рядки булевої функції, фрактальний комп'ютер, matrix method of parallel decomposition, метод мінімізації булевих функцій, basic coefficient K, fractal computer, розпаралелювання процесу мінімізації, resulting lines of Boolean function

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vtn.chdtu.edu.ua/article/view/273763

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе ; Vzaimosviaz' fundamental'nosti i voenno-professional'noi napravlennosti izucheniia elementov matematicheskoi logiki v voennom vuze

Συγγραφείς: Садовников Николай Владимирович, Филиал ФГКВОУ ВО «Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева» Министерства обороны Российской Федерации в г. Пензе, Nikolai V. Sadovnikov, FGKVOU VPO "Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva" Ministerstva oborony Rossiiskoi Federatsii, Шипанова Елена Викторовна, Elena V. Shipanova, Султанова Галия Алиевна, Galiia A. Sultanova

Πηγή: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78 ; Педагогика и психология как науки формирования потенциала современного общества; 55-78

Θεματικοί όροι: фундаментализация подготовки военного инженера, профессионально-военная направленность обучении курсантов, двузначная логика, бесконечнозначная логика, порядковая логика, булевы функции, канонические формы булевых функций: СДНФ и СКНФ, минимизация булевых функций, простые импликанты, алгоритм Квайна получения сокращенной ДНФ булевых функций, fundamentalization of military engineer training, professional-military orientation of cadet training, two-digit logic, infinite-value logic, ordinal logic, boolean functions, canonical forms of boolean functions: SDNF and SKNF, minimization of boolean functions, simple implicants, Quine's algorithm for obtaining abbreviated DNF of boolean functions

Περιγραφή αρχείου: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-907411-24-1; https://phsreda.com/e-articles/10259/Action10259-98341.pdf; Садовников Н.В. Экономико-математическое моделирование: Логические методы исследования экономических систем в условиях неопределенности: учебное пособие с грифом УМО / Н.В. Садовников, А.Ф. Зубков. – Пенза, 2003. – 148 с.; Садовников Н.В. Фундаментализация как феномен современного образования / Н.В. Садовников // Интеграция образования. – 2004. – №1. – С. 37–42.; https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341; https://phsreda.com/article/98341/discussion_platform

Διαθεσιμότητα: https://phsreda.com/article/98341/discussion_platform
https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341

Research of 5-bit boolean functions minimization protocols by combinatorial method

Συγγραφείς: Riznyk, Volodymyr, Solomko, Mykhailo

Πηγή: Technology audit and production reserves; Том 4, № 2(42) (2018): Information and Control Systems; 41-52
Technology audit and production reserves; Том 4, № 2(42) (2018): Інформаційно-керуючі системи; 41-52
Technology audit and production reserves; Том 4, № 2(42) (2018): Информационно-управляющие системы; 41-52

Θεματικοί όροι: УДК 519.718, метод минимизации, минимизация логической функции, блок-схема с повторением, протоколы минимизации булевых функций, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, minimization method, minimization of a logical function, block-scheme with repetition, protocols for minimization of Boolean functions, 02 engineering and technology, метод мінімізації, мінімізація логічної функції, блок-схема з повторенням, протоколи мінімізації булевих функцій, UDC 519.718

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://www.neliti.com/publications/312812/research-of-5-bit-boolean-functions-minimization-protocols-by-combinatorial-meth
https://cyberleninka.ru/article/n/research-of-5-bit-boolean-functions-minimization-protocols-by-combinatorial-method
http://journals.uran.ua/tarp/article/view/140351

Developing the minimization of a polynomial normal form of boolean functions by the method of figurative transformations

Συγγραφείς: Mykhailo Solomko, orcid:0000-0003-0168-, Iuliia Batyshkina, Nataliia Khomiuk, Yakiv Ivashchuk, Natalia Shevtsova

Θεματικοί όροι: minimization of Boolean functions in the Reed-Muller basis, figurative transformation method, singular function

Relation: https://zenodo.org/records/4774924; oai:zenodo.org:4774924

Διαθεσιμότητα: https://doi.org/10.15587/1729-4061.2021.229786
https://zenodo.org/records/4774924

Developing the Minimization of A Polynomial Normal Form of Boolean Functions by the Method of Figurative Transformations

Συγγραφείς: Solomko, M. (Mykhailo), Batyshkina, I. (Iuliia), Khomiuk, N. (Nataliia), Ivashchuk, Y. (Yakiv), Shevtsova, N. (Natalia)

Πηγή: Eastern-European Journal of Enterprise Technologies

Θεματικοί όροι: метод образних перетворень, сингулярна функція, Indonesia, minimization of Boolean functions in the Reed-Muller basis, мінімізація булевих функцій у базисі Ріда–Маллера, figurative transformation method, singular function, минимизация булевых функций в базисе Рида-Маллера, метод образных преобразований, сингулярная функция

Περιγραφή αρχείου: application/pdf

Relation: https://www.neliti.com/publications/398715/developing-the-minimization-of-a-polynomial-normal-form-of-boolean-functions-by

Διαθεσιμότητα: https://www.neliti.com/publications/398715/developing-the-minimization-of-a-polynomial-normal-form-of-boolean-functions-by

Developing the minimization of a polynomial normal form of boolean functions by the method of figurative transformations

Πηγή: Eastern-European Journal of Enterprise Technologies; Vol. 2 No. 4 (110) (2021): Mathematics and Cybernetics-applied aspects; 22-37
Eastern-European Journal of Enterprise Technologies; Том 2 № 4 (110) (2021): Математика и кибернетика-прикладные аспекты; 22-37
Eastern-European Journal of Enterprise Technologies; Том 2 № 4 (110) (2021): Математика та кібернетика-прикладні аспекти; 22-37

Θεματικοί όροι: метод образних перетворень, сингулярна функція, сингулярная функция, метод образных преобразований, minimization of Boolean functions in the Reed-Muller basis, singular function, figurative transformation method, минимизация булевых функций в базисе Рида-Маллера, мінімізація булевих функцій у базисі Ріда–Маллера

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/view/229786

Direct multiplicative methods for sparse matrices. Newton methods

Συγγραφείς: Anastasiya Borisovna Sviridenko

Πηγή: Компьютерные исследования и моделирование, Vol 9, Iss 5, Pp 679-703 (2017)

Θεματικοί όροι: the direction of descent, T57-57.97, Applied mathematics. Quantitative methods, sparse matrices, 0211 other engineering and technologies, linear programming, 02 engineering and technology, Newton methods, 01 natural sciences, necessary and sufficient conditions of optimality, $NP$-hard problem, pseudo Boolean programming, QA1-939, a new mathematical formulation, minimization pseudo Boolean functions, 0101 mathematics, direct multiplication algorithm, Mathematics

Σύνδεσμος πρόσβασης: http://crm.ics.org.ru/uploads/crmissues/crm_2017_5/2017_05_09_01.pdf
https://doaj.org/article/bfffa7396dc7415ca3057ad2531cdcc3

On the Complexity of Minimizing Quasicyclic Boolean Functions

Συγγραφείς: Chukhrov, I. P.^{Aff1, cor1}

Πηγή: Journal of Applied and Industrial Mathematics. 12(3):426-441

Application of Hypergraphs in the Prime Implicants Selection Process

Συγγραφείς: Wiśniewski, R. ^∗, Stefanowicz, Ł. ^∗∗, Bazydło, G. ^∗, Węgrzyn, M. ^∗

Πηγή: In IFAC PapersOnLine 2015 48(4):302-305

Minimization of Boolean Functions Which Include Don’t-Care Statements, Using Graph Data Structure

Συγγραφείς: Nosrati, Masoud^Aff4, Karimi, Ronak^Aff4, Aziztabar, Reza^Aff5

Συνεισφορές: Al-Majeed, Salah S., editor^Aff1, Hu, Chih-Lin, editor^Aff2, Nagamalai, Dhinaharan, editor^Aff3

Πηγή: Advances in Wireless, Mobile Networks and Applications : International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings. 154:212-220

A New Technique for the Fast Minimization of Switching Functions

Συγγραφείς: Rhyne, V.T., Noe, P.S., Mckinney, M.H., Pooch, U.W.

Πηγή: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-26(8):757-764 Aug, 1977

An Algorithm for Multithreshold Threshold Element Synthesis

Συγγραφείς: Necula, N.N.

Πηγή: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-17(10):978-985 Oct, 1968

Algorithms using first-order neighborhoods for minimization of Boolean functions

Συγγραφείς: Panov, A. V.

Πηγή: Computational Mathematics and Mathematical Physics. September 2013 53(9):1410-1420

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе

Συγγραφείς: Nikolai V. Sadovnikov, FGKVOU VPO \\'Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva\\' Ministerstva oborony Rossiiskoi Federatsii, Elena V. Shipanova, Galiia A. Sultanova

Πηγή: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78
Педагогика и психология как науки формирования потенциала современного общества; 55-78

Θεματικοί όροι: Quine's algorithm for obtaining abbreviated DNF of boolean functions, порядковая логика, simple implicants, boolean functions, профессионально-военная направленность обучении курсантов, fundamentalization of military engineer training, canonical forms of boolean functions: SDNF and SKNF, infinite-value logic, минимизация булевых функций, two-digit logic, professional-military orientation of cadet training, канонические формы булевых функций: СДНФ и СКНФ, простые импликанты, булевы функции, двузначная логика, бесконечнозначная логика, фундаментализация подготовки военного инженера, minimization of boolean functions, алгоритм Квайна получения сокращенной ДНФ булевых функций, ordinal logic

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341
https://phsreda.com/article/98341/discussion_platform

Teşhis Problemlerinde Belirtiler Uzayının Küçültülmesi

Συγγραφείς: Babanlı, Ahmet, Karaca, Hüseyin N., Güner, Özge

Θεματικοί όροι: Bilgi Tablosu, Belirtiler Uzayı, Boolean Fonksiyonlann Sadeleştirilmesi, Alternatif Bilgi Tablosu, Alternative İnformation Table, Attribute Space, Information Table, Minimization of Boolean Functions

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11421/777

Projection of a binary criterion into a model of hierarchical classes

Συγγραφείς: Van Mechelen, Even, De Boeck, Paul

Πηγή: Psychometrika. December 1990 55(4):677-694

The complexity of languages of type UM: The complexity of languages of type \(\cup M\)

Συγγραφείς: R.G. Nigmatullin

Πηγή: USSR Computational Mathematics and Mathematical Physics. 17:174-181

Θεματικοί όροι: Disjunctive Normal Form, Computational Complexity, Analysis of algorithms and problem complexity, Switching theory, application of Boolean algebra, Boolean functions, 0202 electrical engineering, electronic engineering, information engineering, Logical aspects of Boolean algebras, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, Minimization of Boolean Functions, Algorithms in computer science, 01 natural sciences, Language

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/3628387
https://doi.org/10.1016/0041-5553(77)90019-2
https://www.sciencedirect.com/science/article/pii/0041555377900192
http://www.sciencedirect.com/science/article/pii/0041555377900192

Izgradnja sintetizatora pojednostavljenog VHDL-modela za GAL16v8

Συγγραφείς: Munjas, Deni

Συνεισφορές: Čupić, Marko

Θεματικοί όροι: Espresso, minimizacija Booleovih, sintetizator, TECHNICAL SCIENCES. Computing, TEHNIČKE ZNANOSTI. Računarstvo, VHDL, funkcija, GAL16v8, minimization of Boolean functions, synthesizer

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://repozitorij.fer.unizg.hr/islandora/object/fer:3610/datastream/PDF
https://repozitorij.fer.unizg.hr/islandora/object/fer:3610
https://urn.nsk.hr/urn:nbn:hr:168:228798

Spatial Analysis of Expression Patterns Predicts Genetic Interactions at the Mid-Hindbrain Boundary

Συγγραφείς: Florian Blöchl, Fabian J. Theis, Dominik M. Wittmann, Wolfgang Wurst, Dietrich Trümbach, Nilima Prakash

Πηγή: PLoS Comput Biol
PLoS Computational Biology, Vol 5, Iss 11, p e1000569 (2009)
PLoS Computational Biology; Vol 5
PLoS Computational Biology 5(11), e1000569 (2009). doi:10.1371/journal.pcbi.1000569
PLoS Comput. Biol. 5:e1000569 (2009)

Θεματικοί όροι: 0301 basic medicine, Fibroblast Growth Factor 8, Transcription, Genetic, mid-hindbrain boundary, minimization of boolean functions, pattern formation, regulatory networks, Wnt1 regulation, QH301-705.5, Wnt1 Protein, Models, Biological, Diffusion, methods [Brain Mapping], Fgf8 protein, mouse, Mice, 03 medical and health sciences, embryology [Brain], genetics [Fibroblast Growth Factor 8], Animals, ddc:610, Biology (General), methods [Computational Biology], Brain Mapping, 0303 health sciences, Models, Statistical, Gene Expression Profiling, genetics [Wnt1 Protein], Brain, Computational Biology, Gene Expression Regulation, Developmental, Wnt1 protein, mouse, Mice, Inbred C57BL, metabolism [Brain], Algorithms, methods [Gene Expression Profiling], Research Article

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://pubmed.ncbi.nlm.nih.gov/19936059
https://doaj.org/article/4064ba97b37e44dbb0fe54488c33b5e8
https://core.ac.uk/display/45774497
https://paperity.org/p/60894221/spatial-analysis-of-expression-patterns-predicts-genetic-interactions-at-the-mid
https://dblp.uni-trier.de/db/journals/ploscb/ploscb5.html#WittmannBTWPT09
https://doaj.org/article/4064ba97b37e44dbb0fe54488c33b5e8
https://dx.plos.org/10.1371/journal.pcbi.1000569
https://europepmc.org/articles/PMC2774268
https://pub.dzne.de/record/136030
https://push-zb.helmholtz-muenchen.de/frontdoor.php?source_opus=1438