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ę "hybrid logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    Quantification in frame semantics with binders and nominals of hybrid logic
    Autorzy:
    Kallmeyer, L.
    Osswald, R.
    Pogodalla, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/103893.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    frame semantics
    quantification
    hybrid logic
    Abstract Categorial Grammar
    Opis:
    This paper aims to integrate logical operators into frame-based semantics. Frames are semantic graphs that allow lexical meaning to be captured in a fine-grained way but that do not come with a natural way to integrate logical operators such as quantifiers. The approach we propose stems from the observation that modal logic is a powerful tool for describing relational structures, including frames. We use its hybrid logic extension in order to incorporate quantification and thereby allow for inference and reasoning. We integrate our approach into a type theoretic compositional semantics, formulated within Abstract Categorial Grammars. We also show how the key ingredients of hybrid logic, nominals and binders, can be used to model semantic coercion, such as the one induced by the begin predicate. In order to illustrate the effectiveness of the proposed syntax-semantics interface, all the examples can be run and tested with the Abstract Categorial Grammar development toolkit.
    Źródło:
    Journal of Language Modelling; 2017, 5, 2; 357-383
    2299-856X
    2299-8470
    Pojawia się w:
    Journal of Language Modelling
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identity, equality, nameability and completeness. Part II
    Autorzy:
    Manzano, María
    Moreno, Manuel Crescencio
    Powiązania:
    https://bibliotekanauki.pl/articles/749980.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    identity
    equality
    completeness
    nameability
    first-order modal logic
    hybrid logic
    hybrid type theory
    equational hybrid propositional type theory
    Opis:
    This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the other case, identity is a notion used to define other logical concepts. In our previous paper, [16], we investigated whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic with standard semantics a reliable definition of identity is possible. In the present study we have moved to modal logic and realized that here we can distinguish in the formal language between two different equality symbols, the first one shall be interpreted as extensional genuine identity and only applies for objects, the second one applies for non rigid terms and has the characteristic of synonymy. We have also analyzed the hybrid modal logic where we can introduce rigid terms by definition and can express that two worlds are identical by using the nominals and the @ operator. We finish our paper in the kingdom of identity where the only primitives are lambda and equality. Here we show how other logical concepts can be defined in terms of the identity relation. We have found at the end of our walk a possible point of convergence in the logic Equational Hybrid Propositional Type Theory (EHPTT), [14] and [15].
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
    Autorzy:
    Braüner, Torben
    Powiązania:
    https://bibliotekanauki.pl/articles/2142755.pdf
    Data publikacji:
    2022-01-07
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    hybrid logic
    natural deduction systems
    sequent systems
    normalization
    cut-elimination
    analycity
    Opis:
    This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.
    Źródło:
    Bulletin of the Section of Logic; 2022, 51, 2; 143-162
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Hybrid position control technique of induction motor drive
    Autorzy:
    Júnior, A. B. S.
    Diniz, E. C. de
    Honório, D. A.
    Barreto, L. H. S. C.
    Reis, L. L. N. dos
    Powiązania:
    https://bibliotekanauki.pl/articles/206685.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    vector control
    predictive control
    hybrid control
    fuzzy logic
    Opis:
    This paper presents the study and implementation of a new vector control strategy using a hybrid control technique applied to the mechanical position loop aiming to obtain a system that acts in the fractional horsepower motor driver running at near zero frequency. For this purpose, some control techniques are employed to check which one has the best performance regarding this type of application. The use of three control techniques is considered: the Proportional-Integral-Derivative (PID) controller with fixed gain; the Generalized Predictive Control (GPC) controller; and a hybrid controller. The last one behaves as both PID and GPC using fuzzy logic in order to achieve improved system performance. Simulation and experimental results are shown and discussed to demonstrate the merits of the proposed approach.
    Źródło:
    Control and Cybernetics; 2013, 42, 4; 754-772
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An Improved Method of Serial Balancing of Hybrid Boiler Station Systems
    Autorzy:
    Jaworski, Łukasz
    Shkarovskiy, Alexander
    Chernykh, Aleksandr
    Powiązania:
    https://bibliotekanauki.pl/articles/2069917.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Koszalińska. Wydawnictwo Uczelniane
    Tematy:
    thermo-hydraulic distributor
    hybrid boiler station
    system balancing
    temperature logic
    Opis:
    This paper presents a prototype of a thermo-hydraulic distributor for a hybrid boiler station supplying a small hotel in Koszalin. The task of the device was to balance the hybrid system with four circuits with different operating parameters, also changing in an extremely irregular manner. A prototype of a thermo-hydraulic distributor with improved internal structure was developed, ensuring the operation of the device in accordance with the temperature logic. Dimensions of the device have been calculated in accordance with the existing design principles of hydraulic distributors.
    Źródło:
    Rocznik Ochrona Środowiska; 2021, 23; 214--223
    1506-218X
    Pojawia się w:
    Rocznik Ochrona Środowiska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparison of two controllers for directional control of a hybrid electric vehicle
    Autorzy:
    Dash, B. K.
    Subudhi, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/229825.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    directional control
    active steering
    fuzzy logic control
    PID control
    hybrid vehicle
    Opis:
    Directional response of a vehicle implies changing its direction when sustaining lateral acceleration while moving on the road. From this response, the vehicle's explicit capabilities as well as its contribution to the system performance of the driver/vehicle combination are obtained. In vehicle control literature, handling is often used interchangeably with cornering, turning, or directional response. This paper focuses one aspect of the handling i.e. directional response. Two different controllers, namely a PID controller and a Fuzzy Logic Controller (FLC) for a hybrid electric vehicle (HEV) are designed in this paper to control the vehicle's steering in a smooth lane change maneuver. The performances of the aforesaid two controllers have been studied extensively in this paper. For achieving an improved path tracking and directional response, parameters of both the PID and FLC have been tuned and their performances have been compared. Further, the effect of changing the scale factors in the fuzzy logic approach to obtaining directional response is presented. To validate the above two control performances, a nonlinear simulation model of a HEV is developed and is used in simulation studies. Both the controllers track the desired directional signal efficiently. Both PID and Fuzzy controllers provide competitive performances. Although with the assumption of all parameters of the vehicle available PID controller exhibits slightly better dynamic performance but in the real-world scenario the fuzzy controller is preferred due to its robustness i.e. it does not depend on the parameters of the vehicle.
    Źródło:
    Archives of Control Sciences; 2012, 22, 2; 191-215
    1230-2384
    Pojawia się w:
    Archives of Control Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Hybrid Learning of Interval Type-2 Fuzzy Systems Based on Orthogonal Least Squares and Back Propagation for Manufacturing Applications
    Autorzy:
    Mendez, G.
    Hernandez, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/384517.pdf
    Data publikacji:
    2008
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    type-2 fuzzy inference systems
    type-2 neuro-fuzzy systems
    hybrid learning
    uncertain rule-based fuzzy logic systems
    Opis:
    This paper presents a novel learning methodology based on the hybrid algorithm for interval type-2 (IT2) fuzzy logic systems (FLS). Since in the literature only back-propagation method has been proposed for tuning of both antecedent and consequent parameters of type-2 fuzzy logic systems, a hybrid learning algorithm has been developed. The hybrid method uses recursive orthogonal least-squares method for tuning of consequent parameters as well as the back-propagation method for tuning of antecedent parameters. The systems were tested for three types of inputs: a) interval singleton b) interval type-1 (T1) non-singleton, c) interval type-2 non-singleton. The experimental results of the application of the hybrid interval type-2 fuzzy logic systems for scale breaker entry temperature prediction in a real hot strip mill were carried out for three different types of coils. They proved the feasibility of the systems developed here for scale breaker entry temperature prediction. Comparison with type-1 fuzzy logic systems shows that the hybrid learning interval type-2 fuzzy logic systems improve performance in scale breaker entry temperature prediction under the tested condition.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2008, 2, 1; 23-32
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modeling and simulation of stand-alone hybrid power system with fuzzy MPPT for remote load application
    Autorzy:
    Bogaraj, T.
    Kanakaraj, J.
    Chelladurai, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/140494.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Solar PV system
    Wind energy conversion system
    Hybrid power system
    DC-DC converters
    fuzzy logic based MPPT
    Three phase PWM inverter
    Opis:
    Many parts of remote locations in the world are not electrified even in this Advanced Technology Era. To provide electricity in such remote places renewable hybrid energy systems are very much suitable. In this paper PV/Wind/Battery Hybrid Power System (HPS) is considered to provide an economical and sustainable power to a remote load. HPS can supply the maximum power to the load at a particular operating point which is generally called as Maximum Power Point (MPP). Fuzzy Logic based MPPT (FLMPPT) control method has been implemented for both Solar and Wind Power Systems. FLMPPT control technique is implemented to generate the optimal reference voltage for the first stage of DC-DC Boost converter in both the PV and Wind energy system. The HPS is tested with variable solar irradiation, temperature, and wind speed. The FLMPPT method is compared with P&O MPPT method. The proposed method provides a good maximum power operation of the hybrid system at all operating conditions. In order to combine both sources, the DC bus voltage is made constant by employing PI Controllers for the second stage of DC-DC Buck-Boost converter in both Solar and Wind Power Systems. Battery Bank is used to store excess power from Renewable Energy Sources (RES) and to provide continuous power to load when the RES power is less than load power. A SPWM inverter is designed to convert DC power into AC to supply three phase load. An LC filter is also used at the output of inverter to get sinusoidal current from the PWM inverter. The entire system was modeled and simulated in Matlab/Simulink Environment. The results presented show the validation of the HPS design.
    Źródło:
    Archives of Electrical Engineering; 2015, 64, 3; 487-504
    1427-4221
    2300-2506
    Pojawia się w:
    Archives of Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Monitoring and control of energy management system for fuel cell hybrid in electrical vehicle using fuzzy approach
    Autorzy:
    Tifour, Benali
    Boukhnifer, Moussa
    Hafaifa, Ahmed
    Tanougast, Camel
    Powiązania:
    https://bibliotekanauki.pl/articles/327624.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    energy monitoring
    fuel cell hybrid
    particle swarm
    fuel economy
    fuzzy logic
    monitorowanie energii
    zarządzanie energią
    ogniwo paliwowe
    zużycie paliwa
    logika rozmyta
    Opis:
    Recently, the reduction of fuels consumption is a global challenge, in particular for significant investments in the automotive sector, in order to optimize and control the parameters involved for the partial or total electrification of vehicles. Thereby, the energy management system remains the axis of progress for the development of fuel cell hybrid electric vehicles. The fuzzy controller has been widely adopted for energy monitoring, where the determination of its parameters is still challenging. In this work, this problem is investigated through a secondary development of a fuzzy energy monitoring system based on the Advisor platform and particle swarm optimization. The latter is used to determine, for different driving conditions, the best parameters that increase the fuel economy and reduce the battery energy use. As a result, five tuned fuzzy energy monitoring system models with five sets of parameters are obtained. Evaluation results confirm the effectiveness of this strategy, they also show slight differences between them in terms of fuel economy, battery state of charge variations, and overall system efficiency. However, the fuzzy energy monitoring system tuned under multiple conditions is the only one that can guarantee the minimum of the state of charge variations, no matter the driving conditions.
    Źródło:
    Diagnostyka; 2020, 21, 3; 15-29
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Speed control of doubly fed induction motor using backstepping control with interval type-2 fuzzy controller
    Autorzy:
    Herizi, Abdelghafour
    Rouabhi, Riyadh
    Zemmit, Abderrahim
    Powiązania:
    https://bibliotekanauki.pl/articles/2232527.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    double fed induction motor
    type-2 fuzzy logic
    backstepping control
    hybrid control
    robust
    silnik indukcyjny
    logika rozmyta typu 2
    kontrola wsteczna
    sterowanie hybrydowe
    Opis:
    The control of the doubly-fed induction motor is a complex operation because of this motor characterised by a non-linear multivariable dynamics, having settings that change over time and a significant link between the mechanical component and magnetic behavior (flux) (speed and couple). This article then proposes a new strategy of a robust control of this motor, which is decoupled due to the stator flux’s direction. The proposed control is integrated with the backstepping control which based on Lyapunov theory; this approach consists in constructively designing a control law of nonlinear systems by considering some state variables as being virtual commands, and the important branch of artificial intelligence type-2 fuzzy logic. The hybrid control backstepping-fuzzy logic consists in replacing the regulators applied to the backstepping control by regulators based on type-2 fuzzy logic. This control will be evaluated by numerous simulations where there is a parametric and non-parametric variation.
    Źródło:
    Diagnostyka; 2023, 24, 3; art. no. 2023301
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of constraint logic programming to decision support for the supply chain management
    Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
    Autorzy:
    Sitek, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/276270.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    zarządzanie łańcuchem dostaw
    wspomaganie decyzji
    programowanie w logice z ograniczeniami
    modelowanie hybrydowe
    Supply Chain Management (SCM)
    decision support
    constraint satisfaction problem (CSP)
    constraint logic programming (CLP)
    hybrid modeling
    Opis:
    Supply Chain Management (SCM) decisions can be considered at different levels of detail. At a strategic level they apply to the architecture in the supply chain, at the tactical level to transport fleet selection, selection of supply sources and distribution, and at the operational level, to the distribution of supplies and route selection. Many models of decision-making SCM have been developed. These are the linear (LP-linear programming) or mixed (MIP/MILP-Mixed Integer/Linear Integer Programming) models. These models are equipped with a smart form. Although they are well known in the OR (Operation Research) environment, they have significant drawbacks. First of all, they must support only linear constraints. For problems of larger dimensions search for solutions is long and inefficient. This paper proposes a CSP-based decision model for SCM and its implementation in the CLP (Constraint Logic Programming). In addition, it presents a novel way of constraints propagation using the structure of the problem.
    Decyzje w zarządzaniu łańcuchem dostaw mogą być rozpatrywane na różnych poziomach szczegółowości. Na poziomie strategicznym dotyczą samej struktury i architektury łańcucha, na poziomie taktycznym wyboru floty transportowej, a na poziomie operacyjnym wyboru tras dostaw itd. Opracowano wiele formalnych modeli zarządzania łańcuchem dostaw. Najczęściej były to modele programowania matematycznego liniowego (LP) oraz całkowitoliczbowego (MILP). Chociaż posiadały struktury dobrze rozumiane w środowiskach (OR-Badań Operacyjnych), posiadały istotne wady. Po pierwsze, mogły zawierać jedynie ograniczenia liniowe. Po drugie nie były efektywne przy większych rozmiarach problemów decyzyjnych. W Artykule zaproponowano model decyzyjny dla łańcucha dostaw oparty na problemie spełnienia ograniczeń (CSP-based) oraz jego implementacji w środowisku programowania w logice z ograniczeniami (CLP). Dodatkowo zaprezentowano nowatorski sposób propagacji ograniczeń wykorzystujący strukturę problemu.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 2; 129-134
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Multi-objective optimization of in-situ bioremediation of groundwater using a hybrid metaheuristic technique based on differential evolution, genetic algorithms and simulated annealing
    Wielozadaniowa optymalizacja bioremediacji wód gruntowych in situ z zastosowaniem hybrydowej techniki metaheurystycznej opartej na zróżnicowanej ewolucji, algorytmach genetycznych i symulowanym wyżarzaniu
    Autorzy:
    Kumar, D.
    Ch, S.
    Mathur, S.
    Adamowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/292714.pdf
    Data publikacji:
    2015
    Wydawca:
    Instytut Technologiczno-Przyrodniczy
    Tematy:
    differential evolution
    fuzzy logic
    genetic algorithm
    groundwater
    hybrid algorithm
    in situ bioremediation
    simulated annealing
    support vector machine (SVM)
    bioremediacja in situ
    algorytm hybrydowy
    algorytm genetyczny
    logika rozmyta
    maszyna wektorów nośnych SVM
    wyżarzanie symulowane
    wody gruntowe
    zróżnicowana ewolucja
    Opis:
    Groundwater contamination due to leakage of gasoline is one of the several causes which affect the groundwater environment by polluting it. In the past few years, In-situ bioremediation has attracted researchers because of its ability to remediate the contaminant at its site with low cost of remediation. This paper proposed the use of a new hybrid algorithm to optimize a multi-objective function which includes the cost of remediation as the first objective and residual contaminant at the end of the remediation period as the second objective. The hybrid algorithm was formed by combining the methods of Differential Evolution, Genetic Algorithms and Simulated Annealing. Support Vector Machines (SVM) was used as a virtual simulator for biodegradation of contaminants in the groundwater flow. The results obtained from the hybrid algorithm were compared with Differential Evolution (DE), Non Dominated Sorting Genetic Algorithm (NSGA II) and Simulated Annealing (SA). It was found that the proposed hybrid algorithm was capable of providing the best solution. Fuzzy logic was used to find the best compromising solution and finally a pumping rate strategy for groundwater remediation was presented for the best compromising solution. The results show that the cost incurred for the best compromising solution is intermediate between the highest and lowest cost incurred for other non-dominated solutions.
    Zanieczyszczenie wód gruntowych wyciekami benzyny jest jedną z kilku przyczyn wpływających na środowisko wód podziemnych. W ostatnich latach bioremediacja in situ przyciągała uwagę badaczy z powodu jej zdolności do usuwania zanieczyszczeń w ich siedlisku i niskich kosztów procesu. Przedstawiona praca proponuje użycie nowego algorytmu hybrydowego do optymalizacji wielozadaniowej funkcji, która obejmuje koszty remediacji jako pierwsze zadanie i resztową zawartość zanieczyszczeń po zakończeniu procesu jako drugie z zadań. Algorytm hybrydowy powstał z połączenia metod różnicowej ewolucji, algorytmu genetycznego i symulowanego wyżarzania. Maszyna wektorów nośnych (SVM) została użyta jako wirtualny symulator biologicznej degradacji zanieczyszczeń w wodach gruntowych. Wyniki uzyskane z algorytmy hybrydowego porównano z wynikami zróżnicowanej ewolucji (DE), algorytmu genetycznego (NSGA II) i symulowanego wyżarzania (SA). Stwierdzono, że proponowany algorytm był w stanie zapewnić najlepsze rozwiązanie. Użyto metody z zakresu logiki rozmytej dla znalezienia najlepszego rozwiązania kompromisowego i na końcu przedstawiono dla tego rozwiązania strategię szybkości pompowania celem remediacji wód gruntowych. Wyniki pokazały, że koszty ponoszone na rozwiązanie kompromisowe są pośrednie między najwyższymi i najniższymi kosztami innych rozwiązań.
    Źródło:
    Journal of Water and Land Development; 2015, 27; 29-40
    1429-7426
    2083-4535
    Pojawia się w:
    Journal of Water and Land Development
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      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