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 programming" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 28
Tytuł:
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Autorzy:
Gheorghiu, Alexander V.
Pym, David J.
Powiązania:
https://bibliotekanauki.pl/articles/43181620.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
logic programming
proof-theoretic semantics
bilateralism
negationas-failure
Opis:
Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 2; 239-266
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modern method based on artificial intelligence for safe control in the marine environment
Autorzy:
Mohamed-Seghir, Gdynia Maritime University, Gdynia, Poland
Powiązania:
https://bibliotekanauki.pl/articles/24201419.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
safe ship's trajectory
collision avoidance
artificial intelligence
artificial neural network
fuzzy logic
evolutionary algorithms
dynamic programming
Opis:
The article presents an approach to formulating a ship control process model in order to solve the problem of determining a safe ship trajectory in collision situations. Fuzzy process properties are included in the model to bring it closer to reality, as in many situations the navigator makes a subjective decision. A special neural network was used to solve the presented problem. This artificial neural network is characterized by minimum and maximum operations when set. In order to confirm the correctness of the operation of the proposed algorithm, the results of the simulations obtained were presented and an discussion was conducted.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2023, 17, 2; 283--288
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zaniedbana algebra a nauczanie informatyki
Neglected Algebra and Informatics Teaching
Autorzy:
PIECUCH, ALEKSANDER
Powiązania:
https://bibliotekanauki.pl/articles/455384.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Rzeszowski
Tematy:
logika
algebra Boole‟a
nauczanie informatyki
programowanie
logic
Boolean algebra
informatics teaching
programming
Opis:
Artykuł podejmuje próbę zwrócenia uwagi na zagadnienia związane z nauczaniem logiki w ramach przedmiotu informatyka. Jeszcze początkiem lat 80. XX w. była ona obecna w programach nauczania. W świetle zapowiadanych przez Ministerstwo Edukacji Narodowej reform związanych z kształceniem informatycznym zagadnienia logiki nabierają szczególnego znaczenia. Nauczanie programowania sprofilowanego na np. programowanie robotów, względnie innych platform programowalnych, bez znajomości algebry Boole‟a nie będzie dobrym rozwiązaniem z punktu widzenia kompetencji uczniów.
The article attempts to draw attention to issues related to the teaching of logic within the subject of computer science. Even in the early 1980s, it was present in the curriculum. In light of the IT reforms announced by MEN, logic issues are of particular importance. Teaching programming such as programming robots or other programming platforms without the knowledge of Boole algebra will not be a good solution for students competence.
Źródło:
Edukacja-Technika-Informatyka; 2017, 8, 3; 288-294
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Portfolio selection of new product projects: a product reliability perspective
Wybór portfela projektów nowych produktów z uwzględnieniem niezawodności produktu
Autorzy:
Relich, M.
Powiązania:
https://bibliotekanauki.pl/articles/1365737.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
cost estimation
project alternatives
constraint satisfaction problem
constraint logic programming
decision support system
estymacja kosztów
warianty alternatywne projektu
problem spełniania ograniczeń
programowanie w logice z ograniczeniami
system wspomagania decyzji
Opis:
Portfolio selection of new product development projects is one of the most important decisions in an enterprise that impact future business profits, competitiveness and survival. Ensuring reliability in a new product is costly but it increases customer satisfaction and reduces the potential warranty cost, contributing to product success. This paper aims to develop an approach for designing decision support system of selecting portfolio of new product development projects, taking into account the aspect of ensuring the desired reliability of products. A portfolio selection problem is formulated in terms of a constraint satisfaction problem that is a pertinent framework for designing a knowledge base. A set of admissible solutions referring to the new product alternatives is obtained with the use of constraint logic programming. The proposed approach is dedicated for enterprises that modernise existing products to develop new products.
Wybór portfela projektów nowych produktów jest jedną z najistotniejszych decyzji podejmowanych w przedsiębiorstwie, wpływającą na przyszłą wartość zysków oraz konkurencyjność i rozwój przedsiębiorstwa. Zapewnienie niezawodności produktu jest kosztowne, ale zwiększa satysfakcję klienta z używanego produktu i redukuje koszty potencjalnych napraw gwarancyjnych, przyczyniając się do sukcesu rynkowego produktu. Celem artykułu jest opracowanie podejścia umożliwiającego budowę systemu wspomagania decyzji dotyczących wyboru portfela projektów nowych produktów do rozwinięcia, z uwzględnieniem aspektu zapewnienia wymaganej niezawodności produktu. Problem wyboru portfela projektów nowych produktów został wyrażony w postaci problemu spełniania ograniczeń, co umożliwia zaprojektowanie systemu opartego na bazie wiedzy. Zbiór rozwiązań dopuszczalnych dotyczący alternatywnych projektów rozwoju nowych produktów jest otrzymywany z wykorzystaniem technik programowania w logice z ograniczeniami. Opracowane podejście jest dedykowane dla przedsiębiorstw, które realizują strategię modernizacji wytwarzanego produktu.
Źródło:
Eksploatacja i Niezawodność; 2016, 18, 4; 613-620
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Two-stage approach for an optimum solution of the car assembly scheduling problem. Part 2. CLP solution and real-world example
Autorzy:
Mazur, M.
Niederliński, A.
Powiązania:
https://bibliotekanauki.pl/articles/230028.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
car sequencing
car assembly scheduling
workstation capacity constraints
constraint logic programming
Opis:
A Constraint Logic Programming (CLP) tool for solving the problem discussed in Part 1 of the paper has been designed. It is outlined and discussed in the paper. The program has been used for solving a real-world car assembly scheduling problem.
Źródło:
Archives of Control Sciences; 2015, 25, 3; 367-375
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dobór optymalnej taryfy telekomunikacyjnej przy użyciu programowania w logice z ograniczeniami
Solving the optimal telecommunication rate plan configuration problem with constrained logic programming
Autorzy:
Witkowski, Jakub
Kamiński, Bogumił
Jakuczun, Wit
Powiązania:
https://bibliotekanauki.pl/articles/587282.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Optymalizacja doboru taryfy
Optymalizacja kombinatoryczna
Programowanie w logice z ograniczeniami
Combinatorial optimization.
Constrained logic programming
Rate plan configuration
Opis:
Praca opisuje algorytm optymalizacyjny rozwiązujący w efektywny sposób problem wyboru optymalnej taryfy w telefonii komórkowej. Ze względu na bardzo dużą liczbę możliwości łączenia usług telekomunikacyjnych w taryfy rozważany problem optymalizacyjny jest złożonym nieliniowym zagadnieniem programowania kombinatorycznego. W niniejszej pracy pokazujemy, że tego typu zadanie może zostać efektywnie rozwiązane przy pomocy programowania w logice z ograniczeniami (constraint logic programming). Wykorzystanie takiego podejścia dodatkowo pozwala na stworzenie modelu, który może być łatwo modyfikowany. Zapewnia to możliwość jego łatwego wykorzystania w praktyce biznesowej, gdzie składowe taryf telekomunikacyjnych podlegają częstym zmianom.
We present an efficient algorithm that solves the telecommunication rate plan optimization problem. It is a complex and non-linear combinatorial programming task if we take into account realistic structures of offers available for mobile telephony subscribers. In the paper we show that constrained logic programming is an efficient approach to finding an optimal solution of this problem. Additionally, application of constrained logic programming allows us to formulate the problem in a simple way that provides a low-cost maintenance of the solution in practical applications when the rate plan structure often changes.
Źródło:
Studia Ekonomiczne; 2015, 235; 253-265
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
About Implementation of IEC 61131-3 IL Function Blocks in Standard Microcontrollers
Autorzy:
Chmiel, M.
Mocha, J.
Hrynkiewicz, E.
Polok, D.
Powiązania:
https://bibliotekanauki.pl/articles/226742.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
central processing unit
programmable logic controller
microprocessor control
microprogramming
programming languages
language operators
Opis:
The paper presents considerations on implementation of function blocks of the IL language, as fragments of control programs that use these blocks. Subsequently, the predefined function blocks of the IL language have been applied to implementation in a Central Processing Unit for a programmable controller based on standard microcontroller from such families as MCS-51, AVR and ARM with the Cortex-M3 core. The considerations refer to the IL language revision that is fully compliant with the IEC-61131-3 standards. The completed theoretical analysis demonstrated that the adopted method of the module description is really reasonable and offers substantial advantages as compared to direct calls of function modules already developed as subroutines. Also the executed experiments have proved the feasibility to arrange central units of programmable controllers on the basis of standard microcontrollers and such central units may be competitive to compact CPUs available on the market for typical PLCs.
Źródło:
International Journal of Electronics and Telecommunications; 2014, 60, 1; 42-46
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modele dla potrzeb rozwiązywania zadań optymalizacji taryf
Models for solving the tariff optimization problem
Autorzy:
Pytlak, R.
Stecz, W.
Powiązania:
https://bibliotekanauki.pl/articles/1378189.pdf
Data publikacji:
2014
Wydawca:
Polskie Wydawnictwo Ekonomiczne
Tematy:
optymalizacja taryf
programowanie z ograniczeniami
minimalizacja kosztu
tariff optimization
constraint logic programming
cost minimization
Opis:
We present the methods of telecommunication tariff optimization from a point of client’s view. A client which wants to minimize his monthly fees tries to choose a proper tariff model. In case of large companies these models are more complicated and the optimization models should be used. We describe a simple MIP models and their modifications solved with CLP solvers. All the examples were solved with ILOG and ECLiPSe MIP and CLP solvers.
Źródło:
Gospodarka Materiałowa i Logistyka; 2014, 7; 24-32
1231-2037
Pojawia się w:
Gospodarka Materiałowa i Logistyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A qualitative approach in terms of fuzzy logic related to the excellence achieving within managerial process of personnel selection
Podejście jakościowe w warunkach logiki rozmytej w relacji do osiągnięcia doskonałości w kierowniczym procesie wyboru personelu
Autorzy:
Sirb, L
Dragolea, L.
Powiązania:
https://bibliotekanauki.pl/articles/405251.pdf
Data publikacji:
2013
Wydawca:
Politechnika Częstochowska
Tematy:
fuzzy logic
decisional process
personnel
Java programming language
Java
logika rozmyta
proces decyzyjny
personel
język programowania Java
Opis:
The present article aims to design and develop a qualitative methodology using fuzzy logic in order to be a real tool for the managerial decisional factor in solving the multicriteria decisional problems related to the proper selection of the personnel and to the achievement of excellence in this field within a company. In our days, the economical environment characterized by globalization and by a continuous change, offers many times to the decisional factors some situations which are surrounded by uncertainty and ambiguity, fact that in its turn leads to a subjectivism of their reasoning, which is in fact a feature of the abstract thinking of human being itself. This aspects are manifesting also in the field of personnel selection, where the evaluations related to this process are often subjectives, materialized through qualitative linguistic values. In this context, using the proposed fuzzy methodology, embedded in a fuzzy software tool developed in the Java programming language, can offer significantly opportunities and chances to achieve the excellence in this field of research, because the future and performance of any organization depend by the human resources that are working within it.
Celem niniejszego artykułu jest zaprojektowanie i opracowanie metodologii, wykorzystującej logikę rozmytą, w celu utworzenia prawdziwego narzędzia czynnika decyzyjnego w rozwiązywaniu wielokryterialnych problemów decyzyjnych związanych z właściwym wyborem personelu. W dzisiejszych czasach, środowisko rynkowe charakteryzuje się globalizacją i ciągłymi zmianami, powodując bardzo często konieczność podejmowania decyzji w sytuacjach niepewnych i wieloznacznych, co z kolei prowadzi do zjawiska subiektywności przy ich podejmowaniu, co w rzeczywistości jest cechą abstrakcyjnego rozumowania u człowieka. Te aspekty bardzo często występują w zakresie doboru personelu, gdzie oceny związane z tym procesem, bardzo często mają charakter subiektywny, uwidacznianie przez jakościowe wartości językowe. W tym kontekście, stosując rozmytą metodologię, istniejące narzędzia, opracowane w języku programowania Java, oferują znaczące korzyści i szanse na osiągnięcie doskonałości w tej dziedzinie badań, ponieważ przyszłość i efektywność każdej organizacji uzależniona jest od zasobów ludzkich które w niej pracują.
Źródło:
Polish Journal of Management Studies; 2013, 7; 48-57
2081-7452
Pojawia się w:
Polish Journal of Management Studies
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ł:
Implementacja algorytmu regulacji predykcyjnej MPC w sterownikach programowalnych
Implementation of Predictive Control Algorithm in Programmable Logic Controllers
Autorzy:
Tarnawski, J.
Powiązania:
https://bibliotekanauki.pl/articles/277424.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
hierarchiczny model systemu sterowania
zaawansowane algorytmy sterowania
regulacja predykcyjna MPC
sterowniki programowalne
norma IEC 61131-3
ograniczenia platformy PLC
proces implementacji algorytmu regulatora MPC
weryfikacja w pętli sprzętowej
hierarchical control system
advanced control algorithms
model predictive control
programmable logic controller (PLC)
norm IEC-61131-3
PLC programming limits
process of MPC implementation
verification in hardware-in-the-loop
Opis:
Sterowniki programowalne PLC (ang. Programmable Logic Controllers) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC udostępniają programistom jedynie podstawowe algorytmy sterowania. W niniejszym artykule rozważana jest implementacja w PLC zaawansowanej metody sterowania - algorytmu MAC/MPC (ang. Model Algorithmic Control/Model Predictive Control) ze względu na jego walory użytkowe oraz stosunkowo złożony proces implementacji. Regulacja MPC może być implementowana również w warstwie nadrzędnej hierarchicznego modelu systemu sterowania, dlatego prezentowany jest cały model. W artykule opisano proces weryfikacji regulatora MPC zaimplementowanego w PLC w warunkach pętli sprzętowej. Badane są czasy wykonania jednej iteracji regulatora oraz wymagania wobec wielkości pamięci PLC dla konkretnych parametrów regulatora, co może być wykorzystane do szacowania stosowalności na innych platformach i przydatności do sterowania konkretnymi obiektami. Właściwości regulatorów MPC są niedostępne dla klasycznych regulatorów (klasy PID wraz z modyfikacjami i rozwinięciami), zatem implementacja regulacji MPC w PLC istotnie rozwija możliwości sterowania na tej platformie.
PLCs (Programmable Logic Controllers) are the main industrial platform for the implementation of control algorithms. PLC manufacturers provide for programmers only basic control algorithms. With the development of PLC and their successors (Programmable Automation Controller - PAC) appeared increased CPU and memory capabilities of the equipment and fuller implementation of programming languages defined in the standard IEC-61131-3. PLCs and PACs now have the computing power and memory of the personal computer PC a few years ago, they can also be programmed in high level languages using matrix operations. Currently, PLC and PAC allow implementation of almost any discrete control algorithm. In this article it is considered the implementation of advanced control method - the algorithm MAC/MPC (Model Algorithmic Control/Model Predictive Control) due to its usability and for the presentation of the implementation process. MPC can be implemented also in the supervisory layer of hierarchical model of the control system, so the whole model is presented. Verification process of implemented MPC controller in the PLC with hardware-in-a-loop structure is presented. Results of cycle durations and memory requirements tests can be used to estimate the applicability of MPC controller on other platforms and for particular objects. Properties of MPC controllers are not available for the classic PLC controllers (PID class with modifications and expansions), therefore, the implementation of MPC in the PLC significantly expands the control capabilities of this platform.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 6; 100-107
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation of a decision support model of the supply chain management in the environment of constraint logic programming
Implementacja modelu wspomagania decyzji zarzadzania łańcuchem dostaw w środowisku programowania w logice z ograniczeniami
Autorzy:
Wikarek, J.
Powiązania:
https://bibliotekanauki.pl/articles/276266.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
Supply Chain Management (SCM)
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP)
Opis:
The article presents the details of the implementation of the concept of a decision support model in the supply chain. To implement the model, the CLP (Constraint Logic Programming) framework called Eclipse was used. The novel way of constraints propagation is discussed, which for this class of problems improves significantly the efficiency of a search for a solution. The most important predicates implementing the model are presented and characterized. Several numerical examples are included to illustrate the implementation of the approach.
W artykule przedstawiono szczegóły implementacji koncepcji modelu wspomagania decyzji w łańcuchu dostaw. Do implementacji modelu wykorzystano środowisko CLP (Programowanie w logice z ograniczeniami) o nazwie Eclipse. Omówiono nowatorski sposób propagacji ograniczeń, który dla tej klasy problemów prowadzi do znacznej poprawy wydajności znajdowania rozwiązania. W artykule przedstawiono i scharakteryzowano najważniejsze predykaty, które służą do implementacji modelu. Jako ilustracje przyjętych założeń i rozwiązań zaprezentowano przykłady liczbowe.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 2; 123-128
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
RTT+ - Time Validity Constraints in RTT Language
Autorzy:
Felkner, A.
Kozakiewicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/309209.pdf
Data publikacji:
2012
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
access control
inference system with time constraints
logic programming semantics
role-based trust management
set-theoretic semantics
Opis:
Most of the traditional access control models, like mandatory, discretionary and role based access control make authorization decisions based on the identity, or the role of the requester, who must be known to the resource owner. Thus, they may be suitable for centralized systems but not for decentralized environments, where the requester and service provider or resource owner are often unknown to each other. To overcome the shortcomings of traditional access control models, trust management models have been presented. The topic of this paper is three different semantics (set-theoretic, operational, and logic- programming) of RTT , language from the family of role-based trust management languages (RT). RT is used for representing security policies and credentials in decentralized, distributed access control systems. A credential provides information about the privileges of users and the security policies issued by one or more trusted authorities. The set-theoretic semantics maps roles to a set of sets of entity names. Members of such a set must cooperate in order to satisfy the role. In the case of logic-programming semantics, the credentials are translated into a logic program. In the operational semantics the credentials can be established using a simple set of inference rules. It turns out to be fundamental mainly in large- scale distributed systems, where users have only partial view of their execution context. The core part of this paper is the introduction of time validity constraints to show how that can make RTT language more realistic. The new language, named RTT+ takes time validity constraints into account. The semantics for RTT+ language will also be shown. Inference system will be introduced not just for specific moment but also for time intervals. It will evaluate maximal time validity, when it is possible to derive the credential from the set of available credentials. The soundness and completeness of the inference systems with the time validity constraints with respect to the set-theoretic semantics of RTT+ will be proven.
Źródło:
Journal of Telecommunications and Information Technology; 2012, 2; 74-82
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logic programming tools for formal software specification
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania
Autorzy:
Przymusińska, H.
Powiązania:
https://bibliotekanauki.pl/articles/91501.pdf
Data publikacji:
2011
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania
Opis:
Two of the most important problems in software engineering are the problem of elaborating and refining software requirements into accurate specifications, and the problem of transforming specifications of complicated problems into executable code. Proving that software products produced agree with the specifications (verifiability) is the main reason for pursuing the study of formal specifications.
Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w wykonywalne kody. Głównym powodem podjęcia się badania formalnych specyfikacji jest udowodnienie, że oprogramowanie produkowane jest z nimi zgodne (chodzi o weryfikowalność). Artykuł ukazuje, iż programowanie logiczne połączone z rachunkiem sytuacyjnym można z powodzeniem stosować jako formalną specyfikację oprogramowania.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 67-73
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Models and tools for improving efficiency in Constraint Logic Programming
Autorzy:
Ligęza, A.
Powiązania:
https://bibliotekanauki.pl/articles/375886.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
constraint satisfaction problem (CSP)
constraint programming
constraint logic programming
Opis:
Constraint Satisfaction Problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in Constraint Logic Programming. A hypergraph model of constraints is presented and an outline of strategy planning approach focused on entropy minimization is put forward. An example cryptoaritmetic problem is explored in order to explain the proposed approach.
Źródło:
Decision Making in Manufacturing and Services; 2011, 5, 1-2; 69-78
1896-8325
2300-7087
Pojawia się w:
Decision Making in Manufacturing and Services
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 28

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