Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "logic function" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
    Wyświetlanie 1-21 z 21
    Tytuł:
    Identification of influence of part tolerances of 3PWR-SE pump on its total efficiency taking into consideration multi-valued logic trees
    Autorzy:
    Deptuła, A.
    Osiński, P.
    Partyka, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/259986.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    multiple-valued logic function
    optimization
    gear pump after tooth root undercutting
    degree of parameters importance
    Opis:
    This paper presents the way of identifying the influence of the tolerance of model pumps (TYPE 3PWR-SE) construction on the total efficiency. The identification of sensitive control dimensions (Value / Tolerance) of examined pumps has been made by means of the multi-valued logic and inductive decision trees. In order to confirm the obtained results, multiple-valued logic trees have been used in the paper according to algorithms for the minimization of individual logic functions. What is more, a specific monotonicity of values of the most key parameters has been determined for the investigated set of pumps having individual specification numbers.
    Źródło:
    Polish Maritime Research; 2017, 1; 47-59
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Projektowanie procesora sekwencyjnego i symulacja w środowisku MATLAB/simulink
    Sequential processor design and simulation in MATLAB/Simulink environment
    Autorzy:
    Szostek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/157661.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    procesor sekwencyjny
    automat sekwencyjny
    funkcje logiczne
    Matlab Simulink
    sequential processor
    finite state machine
    logic function
    MATLAB Simulink
    Opis:
    W artykule omówiono projekt procesora dedykowanego do realizacji tabeli przejść i wyjść dowolnego automatu sekwencyjnego. Celem budowy było skonstruowanie procesora o jak najprostszej budowie reprezentującego podstawowe cechy procesora oraz zaprojektowanie takiego procesora i uruchomienie w środowisku Matlab/simulink. Założono, że projektowany procesor powinien realizować dowolny automat Moore'a, lub Mealy'ego. Proces projektowania został podzielony na części. Osobno zostały zaprojektowane poszczególne części składowe realizujące przypisane zadania. Wyróżniono następujące części składowe: licznik pamięci, akumulator, moduły wejścia wyjścia, moduł funkcji logicznej NXOR, moduł ustawiania jedynek do akumulatora oraz układ sterujący CU. Poszczególne części procesora są to logiczne układy sekwencyjne i kombinacyjne. Do budowy automatów kombinacyjnych zostały wykorzystane bloki Combinational logic programu Matlab/simulink. W artykule został przedstawiony schemat blokowy przedstawiający wszystkie składowe procesora oraz układ sterujący CU (Control unit), który jest najbardziej złożoną częścią składową procesora.
    This paper discusses the design of a processor dedicated to the implementation of the state table and output table of finite-state machines. The aim was to construct a CPU of simplest construction that represents the basic processor features and run it in the Matlab/simulink environment. It was assumed that the processor should be designed to implement any Moore or Mealy machines. The design process is divided into parts. Components performing assigned tasks were individually designed. They are: memory counter, accumulator, input-output blocs, logical NXOR function module, module setting the ones for the accumulator and control unit CU. The different parts of the processor are combination and sequential logic machines. Combinational logic blocks of Matlab/Simulink were used for the construction of the combinatorial machines. In the paper a block diagram showing all components of the processor and the control unit CU is shown. The control unit is the most complex part of the processor.
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 10, 10; 1061-1063
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identification of influence of part tolerances of 1PWR-SE pump on its total efficiency taking into consideration multi-valued logic trees
    Autorzy:
    Deptuła, Adam
    Osiński, Piotr
    Partyka, Marian A.
    Powiązania:
    https://bibliotekanauki.pl/articles/950932.pdf
    Data publikacji:
    2018
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    multiple-valued logic function
    optimization
    gear pump after tooth root undercutting
    degree of parameters importance
    funkcja logiki wielowartościowej
    optymalizacja
    pompa zębata
    stopień ważności parametrów
    Opis:
    This paper presents a methodology for identifying the influence of the tolerances used in model pump (TYPE 1PWR – SE) construction on the total efficiency. The identification of the sensitive control dimensions (Value/Tolerance) of examined pumps has been made by means of multi-valued logic and inductive decision trees. The innovation of the prototype unit is based on oblique gears with involute teeth, modified in the lower and upper part of the profile. The modification in the lower part was made using the so-called tooth root undercutting technique. Through the use of multivalent logic trees, the designated rank of importance of both structural and operational parameters is identified, taking into account the effect of tolerances on construction. The area is increased by cutting the oblique teeth.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2018, 12, 4; 28-41
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Translacja grafu SFC do programu IL
    A translation from the SFC graph to the IL program
    Autorzy:
    Jaszczak, S.
    Wierzbicki, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154015.pdf
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    PLC
    Programmable Logic Controller
    IL
    Instruction List
    SFC
    Sequential Function Chart
    programmable logic controller
    sequential function chart
    Opis:
    Artykuł poświęcono implementacji metody automatyzacji przekładu algorytmu sterowania sekwencyjnego, dedykowanego sterownikom PLC, zapisanego w postaci grafu SFC w język tekstowy IL i implementacji zaprezentowanej metody w oparciu o środowisko Java. Zastosowanie języka SFC, opierającego się na grafie etapów i przejść ułatwia zadanie programowania procesów sekwencyjnych i modyfikacje kodu sterującego w trakcie rozbudowy systemu, biorąc również pod uwagę tworzenie podprogramów, gwarantujących rekonfigurowalność PLC przy zmieniających się warunkach sterowania. W artykule przedstawiono oryginalne podejście do zagadnienia, polegające na zapisaniu procesu sekwencyjnego w postaci grafu SFC a następnie transformację do postaci IL. Proces tworzenia programu sterującego omówiono na przykładzie procesu cięcia rur.
    Authors of this article described an implementation of an automatisation method of the translation a control sequential algorithm, dedicated to programmable controllers (PLC) from the SFC graph to the IL program. An algorithm written in the SFC graph was translated in the IL program, by using an original software created in the Java environment. Using a SFC language based on the graph of stages and transitions simplify a task related to the creation of sequential programs. It could be helpful during any modification and development in future, even years ago after an implementation the controlled system. In the first part were given some arguments confirmed a need of the translation from SFC graph to the IL program, e.g. Proficy Machine Edition, using for programming GeFanuc's PLCs, which have'nt SFC language as a standard tool. In the second part of the article were described all stages of the translation procedure, which are: preparation part, control part, initialization part and final part. In the third part of the article was given an example of the realistic sequential control system, related to the cutting pipes process.
    Źródło:
    Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 663-665
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    www-Based Boolean Function Minimization
    Autorzy:
    Tomaszewski, S. P.
    Celik, I. U.
    Antoniou, G. E.
    Powiązania:
    https://bibliotekanauki.pl/articles/908086.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    informatyka
    digital logic
    logic design
    Boolean function
    Boolean minimization
    Quine-McCluskey metod
    Opis:
    In this paper a Boolean minimization algorithm is considered and implemented as an applet in Java. The application is based on the Quine-McCluskey simplification technique with some modifications. The given application can be accessed on line since it is posted on the World Wide Web (WWW), with up to four variables, at the URL http://www.csam.montclair.edu/~antoniou/bs. After extensive testing, the performance of the algorithm has been found to be excellent. The proposed application is a useful aid for students and professors in the fields of electrical and computer engineering and computer science as well as a valuable tool for digital designers.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 577-583
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Features Reduction Using Logic Minimization Techniques
    Autorzy:
    Borowik, G.
    Łuba, T.
    Zydek, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/227282.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    machine learning
    knowledge representation
    discernibility function
    logic minimization
    attribute reduction
    complement
    Opis:
    This paper is dedicated to two seemingly different problems. The first one concerns information theory and the second one is connected to logic synthesis methods. The reason why these issues are considered together is the important task of the efficient representation of data in information systems and as well as in logic systems. An efficient algorithm to solve the task of attributes/arguments reduction is presented.
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 1; 71-76
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An application of Fuzzy Quality Function Deployment to bunkering services
    Autorzy:
    Sevgili, C.
    Zorba, Y.
    Powiązania:
    https://bibliotekanauki.pl/articles/135309.pdf
    Data publikacji:
    2018
    Wydawca:
    Akademia Morska w Szczecinie. Wydawnictwo AMSz
    Tematy:
    bunkering
    fuzzy logic
    Quality Function Deployment
    service quality
    ship fuels
    ship operations
    Opis:
    Bunkering is very important for the maritime industry because of the need for continuity of trade, its relation to the energy industry and its great economic value. Today, the volume of the world’s bunkering market is around 350 million tons annually. Although there are about 400 major bunkering ports in the world, most of the demand is concentrated in a few strategic ports: when comparing strategic regions of the world, Istanbul has a very small share. With this in mind, this paper aims to demonstrate the current situation of Istanbul and to improve service quality using Fuzzy Quality Function Deployment. Our results show that the criteria which customers look for, in order of importance, are: supply waiting time; bunker quality; usage and availability of barges; duration of bunkering operation; and bunker price and price competitiveness. The steps to be taken to improve service quality are determined as: increase storage facilities and capacities; create a structure that can provide 24/7 bunker supply; and increase importance of bunkering in port infrastructure and management in Turkey, to improve service quality and increase their fuel sales volume.
    Źródło:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2018, 54 (126); 19-27
    1733-8670
    2392-0378
    Pojawia się w:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Model of Correspondence of Passenger Transportation on the Basis of Fuzzy Logic
    Autorzy:
    Fornalchyk, Ye.
    Bilous, A.
    Demchuk, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/410734.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Oddział w Lublinie PAN
    Tematy:
    fuzzy logic
    transportation correspondence
    membership function
    basis of fuzzy rules
    route attractiveness
    Opis:
    The article dwells upon possibilities of the implementation of smooth calculation methods for predicting the demand for passenger transportation. The developed model which is based on fuzzy logic successfully solves the problem with traffic assignment – formation of passenger throughput for each traffic route. The model of correspondence takes into account such defining factors as fare on the route, average headway on it and fullness of the vehicle saloon. Different combination of these factors forms attractiveness as a criterion of an optimal route for a prospective passenger. It is determined that the lower saloon fullness, transportation fare and headway, the higher attractiveness is. Using the reasoned criterion, it is possible to allocate the total number of prospective passengers according to each existing route.
    Źródło:
    ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2015, 4, 2; 59-64
    2084-5715
    Pojawia się w:
    ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Porównanie efektywności heurystycznych miar złożoności odwracalnych funkcji boolowskich
    Comparison of Heuristic Complexity Measure Quality for Reversible Boolean Functions
    Autorzy:
    Szyprowski, M.
    Kerntopf, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/151806.pdf
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    odwracalne układy logiczne
    miary złożoności funkcji odwracalnych
    reversible logic circuits
    reversible function complexity measure
    Opis:
    Funkcja boolowska jest nazywana odwracalną, gdy jest wzajemnie jednoznaczna. W literaturze zaproponowano kilka heurystyk służących do syntezy odwracalnych układów logicznych, jednak do tej pory nie znaleziono rozwiązania, które dawałoby zadowalające wyniki. Przy pracach nad ulepszaniem tych algorytmów potrzebne jest dobre kryterium oceny jakości poszczególnych heurystyk. W pracy pokazano jak wykorzystać bazę optymalnych układów odwracalnych do oceny działania heurystyk oraz przedstawiono wyniki obliczeń pozwalających na porównanie ich efektywności.
    A Boolean logic function is reversible if it is a bijective mapping. Synthesis of such functions is motivated by advances in quantum computing, nanotechnologies and low power design. Several heuristic synthesis algorithms has been proposed, but so far none of them produces circuits of good quality in acceptable time. All of them are based on exploration of the search tree guided by a complexity measure function. Search for better algorithms is important and for this aim a good evaluation criterion of a heuristic complexity measure quality is needed. In this article the comparison of reversible function complexity measures known from the literature is made. Their accuracy is checked on the library of the optimal circuits of 3 inputs/outputs. The results are presented in Table 1. The numeric factor Q is introduced on the basis of calculating the probability of taking a wrong way in the search tree by a synthesis algorithm for every reversible function. This factor was calculated for five heuristic complexity measures and shown in Table 2. According to it the Reed-Muller spectrum based complexity measure gives best synthesis results, however there is still a lot of space for improvements.
    Źródło:
    Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 581-583
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    MODELING OF GRAIN PRODUCTION PROFITABILITY BY FUZZY LOGIC
    MODELOWANIE RENTOWNOŚCI PRODUKCJI ZBОŻA Z WYKORZYSTANIEM LOGIKI ROZMYTEJ
    МОДЕЛИРОВАНИЕ РЕНТАБЕЛЬНОСТИ ЗЕРНОПРОИЗВОДСТВА С ИСПОЛЬЗОВАНИЕМ НЕЧЕТКОЙ ЛОГИКИ
    Autorzy:
    Hrytsiuk, Petro
    Babych, Tetyana
    Powiązania:
    https://bibliotekanauki.pl/articles/576788.pdf
    Data publikacji:
    2016-12-30
    Wydawca:
    Międzynarodowy Instytut Innowacji Nauka – Edukacja – Rozwój w Warszawie
    Tematy:
    mathematical modeling, grain production, statistic model, regression analysis, profitability, yield, crop production, fuzzy logic, membership function
    modelowanie matematyczne, produkcja zboża, modelu statystycznego, analiza regresji, rentowność, produktywność, logika rozmyta, funkcja
    математическое моделирование, зернопроизводство, статистическая модель, регрессионный анализ, рентабельность, урожайность, нечеткая логика, функция принадлежности
    Opis:
    Podstawą bezpieczeństwa żywnościowego Ukrainy są wysokie plony zbóż. W związku z tym szczególnie istotną kwestią jest opracowanie niezawodnego modelu matematycznego prognozowania produkcji zboża. Opracowano model szacowania rentowności produkcji zboża z wykorzystaniem analizy regresji i zasady logiki rozmytej. Przeprowadzona została prognoza rentowności produkcji zboża dla roku 2015 w oparciu o trzy różne formuły matematyczne, natomiast uzyskane wyniki predykcji były bardzo zbieżne.
    Ukraine is an agrarian state. One of the most important brunches of agriculture sector is grain production. High yield of grain is a basis of Ukrainian food security. Therefore the task of developing a reliable mathematical model forecasting the grain production profitability is actually. Regression analysis and fuzzy simulation principles have been used for building of the grain production profitability depending model. The values profitability forecasting for 2015 obtained by three different methods are convergent to each other.
    Основой продовольственной безопасности Украины являются высокие урожаи зерновых культур. Поэтому задача разработки надежной математической модели прогнозирования зернопроизводства является актуальной. С использованием корреляционно-регрессионного анализа и принципов нечеткого моделирования нами построена модель рентабельности производства зерна. Выполнено прогнозирование значения рентабельности производства зерна на 2015 год тремя различными методами, результаты прогнозирования близки между собой.
    Źródło:
    International Journal of New Economics and Social Sciences; 2016, 4(2); 42-52
    2450-2146
    2451-1064
    Pojawia się w:
    International Journal of New Economics and Social Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie symulacji komputerowych w badaniach algorytmów rekonstrukcji rezystancji siatek rezystorów
    Computer-aided analysis of algorithms for reconstruction of resistances in resistive grids
    Autorzy:
    Zegarmistrz, Piotr
    Malcharek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/267659.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    siatka rezystorów
    rekonstrukcja
    funkcja celu
    systemy ekspertowe
    logika rozmyta
    resistive grid
    reconstruction
    objective function
    expert systems
    fuzzy logic
    Opis:
    Przedmiotem niniejszej pracy jest analiza możliwości zastosowania logiki rozmytej i systemów ekspertowych w procesie doboru najlepszej metody rozwiązania problemu rekonstrukcji rezystancji kwadratowych siatek rezystorów. Bazując na badaniach skuteczności algorytmów rekonstrukcji oraz oprogramowaniu Fuzzy Logic Toolbox opracowano system pozwalający na wskazanie najlepszej metody odtwarzania parametrów siatki w zależności od ustalonych kryteriów, takich jak np. najkrótszy czas obliczeń czy najwyższa dokładność.
    This paper describes simulation tests of the effectiveness of numerical algorithms for reconstruction of resistances in square resistive grids. Both metaheuristic and optimization algorithms based on defined objective function, as well as analytical algorithm is analyzed. Authors propose an application allowing to choose a best method for a given conditions, based on fuzzy logic and expert systems.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2019, 68; 73-76
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    MODEL-ORIENTED DECISION SUPPORT SYSTEM AND FUZZY INFORMATION PROCESSING FOR INCREASING EFFICIENCY OF UNIVERSITY – IT-COMPANY CONSORTIA
    Autorzy:
    Kondratenko, Yuriy P.
    Kondratenko, Galyna V.
    Sidenko, Ievgen V.
    Kharchenko, Vyacheslav S.
    Powiązania:
    https://bibliotekanauki.pl/articles/453957.pdf
    Data publikacji:
    2015
    Wydawca:
    Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki
    Tematy:
    decision support system
    fuzzy logic
    linguistic model
    membership function
    linguistic term
    rule base
    fuzzyfication
    defuzzyfication
    university – IT-company consortium
    Opis:
    In the paper the existing approaches for improving abovementioned collaboration processes, technologies and methodologies based on efficient methods of optimization and decision making, modern computer-based systems and Internet opportunities are been discussed. The main contribution of the authors in this paper is a structure of computerized decision making system (CDMS) which can help partners from education and industry to find the best model of university – IT-company consortia from proposed set of efficient models A1, A2, B, C and their rational combinations.
    Źródło:
    Metody Ilościowe w Badaniach Ekonomicznych; 2015, 16, 1; 157-166
    2082-792X
    Pojawia się w:
    Metody Ilościowe w Badaniach Ekonomicznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Discretization of data using Boolean transformations and information theory based evaluation criteria
    Autorzy:
    Jankowski, C.
    Reda, D.
    Mańkowski, M.
    Borowik, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/200750.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    machine learning
    discretization
    discernibility function
    logic minimization
    information theory
    entropy
    nauczanie maszynowe
    dyskretyzacja
    minimalizacja funkcji logicznych
    teoria informacji
    entropia
    Opis:
    Discretization is one of the most important parts of decision table preprocessing. Transforming continuous values of attributes into discrete intervals influences further analysis using data mining methods. In particular, the accuracy of generated predictions is highly dependent on the quality of discretization. The paper contains a description of three new heuristic algorithms for discretization of numeric data, based on Boolean reasoning. Additionally, an entropy-based evaluation of discretization is introduced to compare the results of the proposed algorithms with the results of leading university software for data analysis. Considering the discretization as a data compression method, the average compression ratio achieved for databases examined in the paper is 8.02 while maintaining the consistency of databases at 100%.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 4; 923-932
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimization on the complementation procedure towards efficient implementation of the index generation function
    Autorzy:
    Borowik, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/330597.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    data reduction
    feature selection
    indiscernibility matrix
    logic synthesis
    index generation function
    redukcja danych
    selekcja cech
    synteza logiczna
    funkcja generowania indeksów
    Opis:
    In the era of big data, solutions are desired that would be capable of efficient data reduction. This paper presents a summary of research on an algorithm for complementation of a Boolean function which is fundamental for logic synthesis and data mining. Successively, the existing problems and their proposed solutions are examined, including the analysis of current implementations of the algorithm. Then, methods to speed up the computation process and efficient parallel implementation of the algorithm are shown; they include optimization of data representation, recursive decomposition, merging, and removal of redundant data. Besides the discussion of computational complexity, the paper compares the processing times of the proposed solution with those for the well-known analysis and data mining systems. Although the presented idea is focused on searching for all possible solutions, it can be restricted to finding just those of the smallest size. Both approaches are of great application potential, including proving mathematical theorems, logic synthesis, especially index generation functions, or data processing and mining such as feature selection, data discretization, rule generation, etc. The problem considered is NP-hard, and it is easy to point to examples that are not solvable within the expected amount of time. However, the solution allows the barrier of computations to be moved one step further. For example, the unique algorithm can calculate, as the only one at the moment, all minimal sets of features for few standard benchmarks. Unlike many existing methods, the algorithm additionally works with undetermined values. The result of this research is an easily extendable experimental software that is the fastest among the tested solutions and the data mining systems.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2018, 28, 4; 803-815
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
    Autorzy:
    Vitulyova, Elizaveta S.
    Matrassulova, Dinara K.
    Suleimenov, Ibragim E.
    Powiązania:
    https://bibliotekanauki.pl/articles/2055235.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    digital signal processing
    non-binary Galois fields
    fourier transform
    rademacher functions
    walsh function
    multivalued logic
    visibility problem
    algebraic extensions
    ternary representation of number
    Opis:
    Generalized Rademacher functions, constructed as a sequence of elements of Galois fields are intended to find the spectral representation of signals with levels. These functions form a complete basis on the interval corresponding to -1 discrete time intervals and for passing into the classical Rademacher functions. The advantage of such spectra obtained using Galois Fields Fourier Transform is that the range of variation of the spectrum amplitudes remains the same as the range of variation of the original signal, which is modeled on discrete time functions taking values in the Galois field.
    Źródło:
    International Journal of Electronics and Telecommunications; 2022, 68, 2; 237--244
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Information technologies for the analysis of the structural changes in the process of idiopathic macular rupture diagnostics
    Technologie informacyjne w celu analizy zmian strukturalnych w procesie diagnostyki idiopatycznych otworów plamki
    Autorzy:
    Pavlov, Sergii
    Saldan, Yosyp
    Vovkotrub-Lyahovska, Dina
    Saldan, Yuliia
    Vassilenko, Valentina
    Yakusheva, Yuliia
    Powiązania:
    https://bibliotekanauki.pl/articles/408341.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Tematy:
    tomogram
    optical coherent tomography
    macular area
    fuzzy logic
    membership function
    idiopathic macular break.
    optyczna tomografia koherentna
    obszar plamki
    logika rozmyta
    funkcja przynależności
    idiopatyczna przerwa plamkowa
    Opis:
    Process of eye tomogram obtaining by means of optical coherent tomography is studied.Stages of idiopathic macula holes formation in the process of eye grounds diagnostics are considered. Main stages of retina pathology progression are determined: Fuzzy logic units for obtaining reliable conclusions regarding the result of diagnosis are developed. By the results of theoretical and practical research system and technique of retinal macular region of the eye state analysis.
    W artykule omówiono proces uzyskiwania tomogramu oka za pomocą optycznej tomografii koherentnej. Rozważane są etapy powstawania idiopatycznych plamek żółtych w procesie diagnostyki podstawy oka. Określono główne etapy progresji patologii siatkówki: opracowanie modeli logiki rozmytej, w celu uzyskania wiarygodnych wniosków dotyczących wyniku diagnozy. Na podstawie wyników badań teoretycznych i rezultatów uzyskanych z układu badawczego i techniki regionu plamki żółtej przeprowadzono analizy stanu oka.
    Źródło:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2019, 9, 2; 54-59
    2083-0157
    2391-6761
    Pojawia się w:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
    Safety execution framework for FB applications
    Autorzy:
    Śnieżek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156270.pdf
    Data publikacji:
    2005
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie bezpieczne
    sterownik logiczny
    PLC
    język bloków funkcyjnych
    formalna weryfikacja
    safety related control
    Safety Integrity Level 3
    Function Block Diagrams
    software verification
    programmable logic controller
    Opis:
    W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.
    To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.
    Źródło:
    Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 31-33
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Specyfikacja sterowników cyfrowych zorientowana na niezawodność
    Quality oriented specification of logic controllers
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154557.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    systemy wbudowane
    Rekonfigurowalne Sterowniki Logiczne
    Diagramy Maszyny Stanów UML
    sieci Petriego
    diagramy SFC
    embedded systems
    reconfigurable logic controller
    UML state machine diagram
    Petri net
    sequential function chart
    quality-driven design
    formal verification
    Opis:
    W artykule przedstawiono wdrażaną metodę projektowania rekonfigurowalnych sterowników logicznych, ukierunkowaną na jakość behawioralnej specyfikacji, a tym samym niezawodność pracy. Zamierzone funkcjonowanie sterownika jest opisane z wykorzystaniem równocześnie dwóch dualnych języków graficznych: diagramu maszyny stanów UML oraz komplementarnej sieci Petriego. Synergia spowodowana dwoma wzajemnie się uzupełniającymi podejściami do behawioralnego opisu tego samego sterownika daje szansę na otrzymanie uwiarygodnionej specyfikacji już we wstępnej fazie projektowania.
    In the paper quality oriented approach to the design of digital embedded reconfigurable controllers is presented. The behaviour of a logic controller is described by means of dual related graphical languages: UML State machine diagram and Petri Net graph. The first one is well accepted among designers from the electronic industry, the second one among control engineers taking the advantage from similarities between Petri nets and Sequential Function Charts (SFC). The synergy of the view from two sides into the same project gives a chance to obtain validated specification at the design process beginning. It is shown in the second paragraph. Comparison of elementary models (Tab. 1) and design process with use of the dual specification (Fig. 1) are also presented. The third paragraph deals with mutual conversion of the elementary elements (Tab. 2) and shows their subsets in the form of class diagrams (Figs. 2 and 3). An example of the logic controller dual specification (Figs. 4 and 5) is given in the fourth paragraph. The practical use of dual specification is contingent upon implementation of tools for performing the conversion process in an automatic way.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 671-674
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie rozmytych sterowników Mamdaniego do określania ryzyka wieloczynnikowego
    Application of Mamdani fuzzy controllers in specification of multifactorial risk
    Autorzy:
    Ficoń, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/222722.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Marynarki Wojennej. Wydział Dowodzenia i Operacji Morskich
    Tematy:
    funkcja przynależności
    fuzyfikacja
    defuzyfikacja
    inferencja
    logika rozmyta
    ryzyko
    sterowniki rozmyte
    wartość lingwistyczna
    zbiór rozmyty
    zmienna lingwistyczna
    membership function
    fuzzification
    defuzzification
    inference
    fuzzy logic
    risk
    fuzzy controller
    th linguistic value
    fuzzy set
    linguistic variable
    Opis:
    W artykule przedstawiono koncepcję wykorzystania teorii zbiorów rozmytych L. A. Zadeha do wyznaczania ryzyka wieloczynnikowego w oparciu o lingwistyczną bazę wiedzy. Docelowy model rozmyty takiego systemu został skonstruowany według uogólnionego standardu sterownika rozmytego zaproponowanego przez E. H. Mamdaniego. We wstępie przedstawiono zarys teorii zbiorów rozmytych Zadeha oraz założenia aplikacyjne rozmytego sterownika Mamdaniego. W dalszej części został zaprezentowany przykładowy model systemu rozmytego służący do wyznaczania ryzyka wieloczynnikowego oparty na regułach logiki rozmytej i funkcjach lingwistycznych. Artykuł stanowi pionierską próbę wykorzystania formalnego aparatu teorii zbiorów rozmytych do wyznaczania ryzyka wieloczynnikowego rozpatrywanego na gruncie standardów bezpieczeństwa pracy.
    The article reveals the concept of using of L. A. Zadeh fuzzy sets theory in order to determine the multispectral risk taking into consideration the linguistic knowledge base. The target fuzzy model of such system was prepared following generalized main standard of the fuzzy controller developed by E. H. Mamdani. The introduction of following paper contains the broad outline of Zadeh fuzzy set theory as well as application idea of Mamdani fuzzy controllers. The following part introduces an example of the fuzzy system, which can be used to determine the multispectral risk basing on rules of fuzzy logic and linguistic functions. This pioneer work is an attempt to use formal apparatus of the fuzzy sets theory to determine the multispectral risk taking into consideration labor safety standards.
    Źródło:
    Zeszyty Naukowe Akademii Marynarki Wojennej; 2013, R. 54 nr 3 (194), 3 (194); 65-88
    0860-889X
    Pojawia się w:
    Zeszyty Naukowe Akademii Marynarki Wojennej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An Analytical Study for the Role of Fuzzy Logic in Improving Metaheuristic Optimization Algorithms
    Autorzy:
    Vij, Sonakshi
    Jain, Amita
    Tayal, Devendra
    Castillo, Oscar
    Powiązania:
    https://bibliotekanauki.pl/articles/385121.pdf
    Data publikacji:
    2018
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    fuzzy logic
    metaheuristics
    evolutionary computing
    genetic algorithm
    particle swarm optimization (PSO)
    ant colony optimization
    fuzzy evolutionary algorithm
    fuzzy cuckoo
    fuzzy simulated annealing
    fuzzy swarm intelligence
    fuzzy differential evolution
    tabu
    fuzzy mutation
    fuzzy natural selection
    fuzzy fitness function
    big bang big crunch
    fuzzy bacterial
    neuro fuzzy logic
    logika rozmyta
    metaheurystyka
    obliczenia ewolucyjne
    algorytm genetyczny
    optymalizacja roju cząstek
    optymalizacja kolonii mrówek
    Opis:
    The research applications of fuzzy logic have always been multidisciplinary in nature due to its ability in handling vagueness and imprecision. This paper presents an analytical study in the role of fuzzy logic in the area of metaheuristics using Web of Science (WoS) as the data source. In this case, 178 research papers are extracted from it in the time span of 1989-2016. This paper analyzes various aspects of a research publication in a scientometric manner. The top cited research papers, country wise contribution, topmost organizations, top research areas, top source titles, control terms and WoS categories are analyzed. Also, the top 3 fuzzy evolutionary algorithms are extracted and their top research papers are mentioned along with their topmost research domain. Since neuro fuzzy logic poses feasible options for solving numerous research problems, hence a section is also included by the authors to present an analytical study regarding research in it. Overall, this study helps in evaluating the recent research patterns in the field of fuzzy metaheuristics along with envisioning the future trends for the same. While on one hand this helps in providing a new path to the researchers who are beginners in this field as they can start exploring it through the analysis mentioned here, on the other hand it provides an insight to professional researchers too who can dig a little deeper in this field using knowledge from this study.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2018, 12, 4; 11-27
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zasada przezroczystości znaku. Punkt widzenia Leona Koja
    The principle of transparency of the sign. Leon Koj’s point of view
    Autorzy:
    Dębowski, Józef
    Powiązania:
    https://bibliotekanauki.pl/articles/41308472.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    logic
    axiomatized logical system
    semiotic
    semantic
    pragmatic
    sign
    meaning
    denoted
    designated
    intentionality
    the transparency of the sign
    the principle of transparency
    expressive function of the sign
    communicative function of the sign
    semantic antinomies
    logika
    zaksjomatyzowany system logiczny
    semiotyka
    semantyka
    pragmatyka
    znak
    znaczenie
    oznaczanie
    intencjonalność
    przezroczystość znaku
    zasada przezroczystości
    ekspresyjna funkcja znaku
    komunikacyjna funkcja znaku
    antynomie semantyczne
    Opis:
    Artykuł składa się z dwóch części. W części pierwszej (wprowadzającej) przywołuję — m. in. w ślad za Edmundem Husserlem, Stanisławem Ossowskim i Adamem Schaffem — główne sformułowania „zasady przezroczystości znaku”. W sformułowaniach tych mówi się najczęściej bądź o (1) przezroczystości znaku wobec przedmiotów przez znak oznaczanych (denotowanych, desygnowanych i/lub nazywanych), bądź o (2) przezroczystości znaku wobec jego znaczenia (resp. zdarzeń, stanów rzeczy i faktów przez znak wyznaczanych). Wszelako, na co zwracał uwagę Husserl, można również mówić o (3) przezroczystości znaku wobec czynności i stanów umysłowych użytkowników znaku (nadawców i odbiorców); wszak tylko dzięki tak rozumianej przezroczystości znaku możliwe jest porozumiewanie się ludzi ze sobą, a tym samym znak może pełnić również funkcję ekspresyjną i komunikacyjną. Cześć druga artykułu (zasadnicza) zawiera rekonstrukcję stanowiska Leona Koja, który teorii znaku opartej o zasadę przezroczystości nadał postać konsekwentnie sformalizowaną — postać zaksjomatyzowanego systemu logicznego (przy wykorzystaniu formalizmu Willarda van Ormana Quine’a z Mathematical Logic). Jednym z głównych celów Leona Koja było również wskazanie na ścisły związek semantyki z pragmatyką, a nawet prymat pragmatyki nad semantyką. Narzędzia formalnologiczne pozwoliły też wykazać, iż teoria znaku oparta o zasadę przezroczystości ani nie narusza zasady niesprzeczności (przynajmniej w jej sformułowaniu psychologicznym), ani nie zawiera i nie implikuje antynomii semantycznych typu antynomia kłamcy. Jest bowiem teorią łatwo uzgadnialną z Alfreda Tarskiego teorią stopni języka.
    The article consists of two parts. In the first one (introductory) I recall—following Edmund Husserl, Stanisław Ossowski and Adam Schaff—the main formulations of the “principle of transparency of the sign.” In these formulations it is usually said about (1) the transparency of the sign regarding objects denoted by the sign (denoted, designated and/or named), or (2) the transparency of the sign regarding its meaning (respectively, events, states of affairs and facts designated by the sign). However, as Husserl pointed out, one can also speak about (3) the transparency of the sign in relations to the activities and mental states of the sign’s users (senders and recipients). After all, only due to the transparency of the sign understood in this way, it is possible for people to communicate with each other, thus the sign can also has an expressive and communicative function. In turn, the second part of the article (essential) contains a reconstruction of the Leon Koj’s approach; Koj gave a consistently formalized form to the theory of sign based on the principle of transparency—the form of an axiomatized logical system (using Quine’s formalism from his Mathematical Logic). One of Koj’s main goals was also to indicate the close relationship between semantics and pragmatics, and even the primacy of pragmatics over semantics. Formal-logical tools have also shown that the theory of sign based on the principle of transparency neither contravene The Law of Non-Contradiction (at least in its psychological formulation), nor contain or imply semantic antinomies such us antinomy of the liar. Because it is a theory easily negotiable with Alfred Tarski’s theory of language levels.
    Źródło:
    Filozofia i Nauka; 2020, 8, 2; 201-216
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-21 z 21

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies