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ę "knowledge engineering" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 63
Tytuł:
Method of automated development and evaluation of ontologies’ qualities of knowledge bases
Autorzy:
Lytvyn, V.
Hopyak, M
Oborska, O
Powiązania:
https://bibliotekanauki.pl/articles/118151.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
ontology
knowledge base
knowledge engineering
Opis:
The process of automated development of base ontology is considered. It has been offered to consider the concepts and elements of ontologies for increasing the effectiveness of knowledge bases, the core of which is the ontology. Methods of specifying the weights of the relevant elements and optimization the structure of knowledge base of ontologies has been elaborated. It has been offered to evaluate the quality of the ontologies based on ISO 9126.
Źródło:
Applied Computer Science; 2014, 10, 4; 26-37
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Combining classifiers for foreign pattern rejectionCombining classifiers for foreign pattern rejection
Autorzy:
Homenda, Władysław
Jastrzębska, Agnieszka
Pedrycz, Witold
Yu, Fusheng
Powiązania:
https://bibliotekanauki.pl/articles/1837475.pdf
Data publikacji:
2020
Wydawca:
Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
Tematy:
data mining
knowledge engineering
Opis:
In this paper, we look closely at the issue of contaminated data sets, where apart from legitimate (proper) patterns we encounter erroneous patterns. In a typical scenario, the classification of a contaminated data set is always negatively influenced by garbage patterns (referred to as foreign patterns). Ideally, we would like to remove them from the data set entirely. The paper is devoted to comparison and analysis of three different models capable to perform classification of proper patterns with rejection of foreign patterns. It should be stressed that the studied models are constructed using proper patterns only, and no knowledge about thecharacteristics of foreign patterns is needed. The methods are illustrated with a case study of handwritten digits recognition, but the proposed approach itself is formulated in a general manner. Therefore, it can be applied to different problems. We have distinguished three structures: global, local, and embedded, all capable to eliminate foreign patterns while performing classification of proper patterns at the same time. A comparison of the proposed models shows that the embedded structure provides the best results but at the cost of a relatively high model complexity. The local architecture provides satisfying results and at the same time is relatively simple.
Źródło:
Journal of Artificial Intelligence and Soft Computing Research; 2020, 10, 2; 75-94
2083-2567
2449-6499
Pojawia się w:
Journal of Artificial Intelligence and Soft Computing Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Building virtual reality applications for engineering with knowledge-based approach
Autorzy:
Górski, F.
Powiązania:
https://bibliotekanauki.pl/articles/406768.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Virtual Reality
Knowledge Engineering
design
Opis:
The paper presents a novel methodology of building industrial Virtual Reality applications with use of a knowledge-based approach. Virtual Reality is becoming more and more widespread in engineering applications. However, most solutions are immediate and not flexible, especially in maintenance. Traditional way of programming VR applications makes all the knowledge about a product or a process hard-coded, effectively losing access to it from the outside of the programming software. Besides, making new solutions without any methodology whatsoever makes the process longer and less effective. The author proposes to use general rules of available Knowledge Engineering methodologies in order to make the process of building VR applications more effective and to ensure their flexibility and access to stored knowledge, even after an application is deployed. The presented methodology is supported with practical case studies.
Źródło:
Management and Production Engineering Review; 2017, 8, 4; 64-73
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inżynieria wiedzy - nowy obszar badawczy Instytutu Łączności
Knowledge engineering - new field of research at National Institute of Telecommunications
Autorzy:
Granat, J.
Wierzbicki, A. P.
Powiązania:
https://bibliotekanauki.pl/articles/317388.pdf
Data publikacji:
2009
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
zarządzanie wiedzą
inżynieria wiedzy
knowledge management
knowledge engineering
Opis:
Dokonano przeglądu rozwoju metod szeroko rozumianej inżynierii wiedzy oraz jej rozlicznych zastosowań i implikacji, włącznie z implikacjami filozoficznymi. Odniesiono je do prac prowadzonych w Instytucie Łączności, a zwłaszcza w Zakładzie Zaawansowanych Technik Informacyjnych. W tak rozumianej inżynierii wiedzy i różnych dziedzinach z nią związanych Zakład ten specjalizuje się już od ponad 10 lat.
Authors have reviewed the developments of methods used in the widely defined knowledge engineering, including its philosophical implications. This review is referenced to work carried out at National Institute of Telecommunications, in particular at the Laboratory of Advanced Information Technologies, which has been specializing in knowledge engineering and related issues for over 10 years.
Źródło:
Telekomunikacja i Techniki Informacyjne; 2009, 3-4; 108-116
1640-1549
1899-8933
Pojawia się w:
Telekomunikacja i Techniki Informacyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Possibilities of using knowledge engineering in knowledge management possibilities of using knowledge engineering in knowledge management
Autorzy:
Kempa, Anna
Powiązania:
https://bibliotekanauki.pl/articles/1879801.pdf
Data publikacji:
2020
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
knowledge engineering
knowledge management
inżynieria wiedzy
zarządzanie wiedzą
Opis:
Purpose: The main goal is to discuss using some methods of knowledge engineering in knowledge management (to improve knowledge management). Design/methodology/approach: The article presents the possibilities of using knowledge engineering in knowledge management in three areas. The first is the codification of knowledge in order to create an ontological knowledge base. The second concerns the use of methods applied by knowledge engineering in the field of knowledge acquisition. The third area presents a more forward-looking approach – the proposal to apply a formal verification of knowledge before its final recording in the form of text regulations or guidelines. Findings: Based on the presented literature research it is possible to indicate knowledge engineering approaches that can be used in knowledge management, in particular in the field of codification of knowledge, acquisition of knowledge and formulation of knowledge having the nature of legal regulations or guidelines. Originality/value: The author's main goal is not to discuss the well-known role of information systems in supporting knowledge management. The author proposes to look at both fields from the point of view of the specificity of the applied methods. The article can be useful for people responsible for knowledge management in the organization.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2020, 144; 239-248
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Knowledge based and CP-driven approach applied to multi product small-size production flow
Autorzy:
Bach, I.
Bocewicz, G.
Banaszak, Z. A.
Muszyński, W.
Powiązania:
https://bibliotekanauki.pl/articles/971019.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
knowledge engineering
modeling
constraint logic programming
scheduling
Opis:
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems, especially in the area of integrated production planning. In this context, CP can be considered an appropriate framework for development of decision making software, supporting scheduling of multi-robots in a multi-product job shop. The paper deals with the multi-resource problem, in which more than one shared renewable and non-renewable resource type may be required by a manufacturing operation and the availability of each type is time-windows limited. The problem is NP-complete. The aim of the paper is to present a knowledge based and CP-driven approach to multi-robot task allocation providing prompt service to a set of routine queries, stated both in direct and reverse way. Provided examples illustrate the cases with consideration of accurate and uncertain specification of robot and worker operation time.
Źródło:
Control and Cybernetics; 2010, 39, 1; 69-95
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Knowledge based and CLP-driven approach to multi-robot task allocation for multiproduct job shop
Autorzy:
Bocewicz, G.
Mądry, M.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117904.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
scheduling
constraint programming
knowledge engineering
decision making
Opis:
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that context, CP can be considered as an appropriate framework for development of decision making software supporting scheduling of multi-robot in a multi-product flow shop. The paper deals with multi-resource problem in which more than one shared renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CLP-driven approach to multi-robot task allocation framework providing a prompt service to a set of routine queries stated both in straight and reverse way. Provided example concentrates on the first case taking into account both an accurate and an uncertain specification of robots operation time..
Źródło:
Applied Computer Science; 2008, 4, 1; 18-29
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design for manufacturability in virtual environment using knowledge engineering
Autorzy:
Jakubowski, J.
Peterka, J.
Powiązania:
https://bibliotekanauki.pl/articles/407241.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
design for manufacturing
knowledge engineering
virtual manufacturing
Opis:
Design for manufacturing (DFM) strategies help companies to develop new products that are feasible to manufacture. In the early stages of design all engineering activities are initiated in computer aided systems. When the design is finished, the process of manufacturing and production planning begins. Issues often occur at this point because two teams, designers and manufacturers, have been working separately. The resulting question is: ‘how can Knowledge Engineering (KE) be used effectively to enhance manufacturability during early design?’ Even if the most complex geometrical product can be realized using today’s technologies such as rapid prototyping it is only true in unit production. In lot and mass production where CNC machines are used, complex geometry causes a number of difficulties. So it is important to investigate the project carefully in the early design stage from the point of view of whether it will be possible to manufacture.
Źródło:
Management and Production Engineering Review; 2014, 5, 1; 3-10
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Personalized Knowledge Mining in Large Text Sets
Autorzy:
Chudzian, C.
Granat, J.
Klimasara, E.
Sobieszek, J.
Wierzbicki, A. P.
Powiązania:
https://bibliotekanauki.pl/articles/307901.pdf
Data publikacji:
2011
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
human centered computing
knowledge engineering
ontological engineering
personalized ontology
Opis:
The paper starts with a discussion of the concept of knowledge engineering, in particular ontological engineering. Consequently, the paper presents assumptions accepted as a basis for a group research on a radically personalized system of ontological knowledge mining, relying on the perspective of human centered computing and combining ontological concepts of the user with an ontology resulting from an automatic classification of a given set of textual data. The paper presents a pilot system PrOnto that supports research work in two aspects: searching for information interesting for a user according to her/his personalized ontological profile, and supporting research cooperation in a group of users (Virtual Research Community) according, e.g., to a comparison of such personalized ontological profiles. The paper concludes with suggestions concerning diverse applications of ontological engineering tools and future work.
Źródło:
Journal of Telecommunications and Information Technology; 2011, 3; 123-130
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Economization of activities in the satisfaction survey process by means on-line electronic questionnaire systems
Ekonomizacja działań w procesie badania satysfakcji poprzez systemy elektronicznych ankiet w trybie on-line
Autorzy:
Chrabanski, K.
Powiązania:
https://bibliotekanauki.pl/articles/37693.pdf
Data publikacji:
2014
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:
economization
activity
satisfaction
on-line questionnaire
knowledge engineering
Opis:
In the paper, the types of activities have been indicated which allow to economize the satisfaction survey process in case of which systems supporting on-line electronic questionnaires have been applied. The use of these systems leads to a departure – where possible – from traditional satisfaction surveys. The above mentioned activities include: adopting system activities that reduce costs; rendering available the protections that significantly reduce the supply of unreliable data; generating automatically many products (questionnaires) on the basis of the same platform formed by the IT system; minimising constrains on both the respondent’s side and the research organiser’s side; providing facilities that shorten the customisation process realisation time. The indicated types of activities have been provided with details. The types of activities economizing the said process create an ontology that may be applied by knowledge engineering.
Artykuł wskazuje na rodzaje działań, których realizacja ekonomizuje proces badania satysfakcji w sytuacji zastosowania systemów obsługujących elektroniczne ankiety stosowane w trybie on-line. Posługiwanie się tymi systemami powoduje odejście – tam gdzie to jest możliwe – od tradycyjnych badań satysfakcji. Do wspomnianych rodzajów działań zaliczono: przyjęcia działań systemowych obniżających koszty; udostępnienie zabezpieczeń znacząco zmniejszających dostarczanie niewiarygodnych danych; automatyczne generowanie wielu produktów (ankiet) według tej samej platformy, jaką stanowi system informatyczny; minimalizowanie ograniczeń zarówno po stronie respondenta, jak i organizatora badań; wprowadzanie ułatwień, które skracają czas realizacji procesów kastomizacji. Wskazane rodzaje działań są uszczegółowiane. Rodzaje działań ekonomizujących wspomniany proces tworzą ontologię, którą może zastosować inżynieria wiedzy.
Źródło:
Acta Scientiarum Polonorum. Oeconomia; 2014, 13, 1
1644-0757
Pojawia się w:
Acta Scientiarum Polonorum. Oeconomia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diversity of Rule-based Approaches: Classic Systems and Recent Applications
Autorzy:
Nalepa, Grzegorz J.
Powiązania:
https://bibliotekanauki.pl/articles/632629.pdf
Data publikacji:
2016
Wydawca:
Projekt Avant
Tematy:
rules
knowledge engineering
learning
context-aware systems
cognitive-architectures
Opis:
Rules are a common symbolic model of knowledge. Rule-based systems share roots in cognitive science and artificial intelligence. In the former, they are mostly used in cognitive architectures; in the latter, they are developed in several domains including knowledge engineering and machine learning. This paper aims to give an overview of these issues with the focus on the current research perspective of artificial intelligence. Moreover, in this setting we discuss our results in the design of rule-based systems and their applications in context-aware and business intelligence systems.
Źródło:
Avant; 2016, 7, 2
2082-6710
Pojawia się w:
Avant
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fast Estimation of Favorable Parameters of Hot Metal Forming, Using the Fuzzy Logic Method
Autorzy:
Wojtaszek, Marek
Zyguła, Krystian
Powiązania:
https://bibliotekanauki.pl/articles/28099648.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
hot plastic working
knowledge engineering
fuzzy driver
plastometric tests
microstructure
Opis:
The paper presents an approach based on the use of the fuzzy logic method as a tool for quick estimation of favorable parameters of hot plastic working of selected alloy and for the identification of those combinations of parameters that should be avoided. The idea and basic principles of operation of fuzzy controllers for the selection of thermo-mechanical parameters of hot metal forming were presented. The most important information necessary for a quick analysis based on knowledge engineering has been compiled. An example of the fuzzy controller using the information obtained based on plastometric test data and the results of observation of the microstructure state of deformed samples at various temperature and strain rate variants is presented. For the tested alloy, it was shown that the analysis of the parameters of their plastic processing using the fuzzy logic method, based on properly formulated expert knowledge, leads to obtaining satisfactory results. Thus, it was confirmed that fuzzy logic can be successfully used as a tool for quick estimation of correct or unfavorable thermal and mechanical combinations of hot forging processes.
Źródło:
Archives of Metallurgy and Materials; 2023, 68, 2; 723--731
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontology based model of the common criteria evaluation evidences
Model materiału dowodowego do oceny zabezpieczeń według metodyki Wspólne Kryteria bazujący na ontologii
Autorzy:
Białas, A.
Powiązania:
https://bibliotekanauki.pl/articles/375854.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Common Criteria
IT security evaluation
knowledge engineering
modelling
ontology
assurance methods
Opis:
The paper presents a new ontology-based approach to the elaboration and management of evidences prepared by developers for the IT security evaluation process according to the Common Criteria standard. The evidences concern the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation), and depend on the TOE features and its development environment. Evidences should be prepared for the broad range of IT products and systems requiring assurance. The selected issues concerning the author's elaborated ontology are discussed, such as: ontology domain and scope definition, identification of terms within the domain, identification of the hierarchy of classes and their properties, creation of instances, and an ontology validation process. This work is aimed at the development of a prototype of a knowledge base representing patterns for evidences.
Artykuł przedstawia wybrane zagadnienia dotyczące modelu materiału dowodowego wykorzystywanego w procesie oceny i certyfikacji zabezpieczeń informatycznych. Model opracowano w oparciu o metody inżynierii wiedzy i metodykę "Wspólne Kryteria" (ISO/IEC 15408 Common Criteria). Zakres i szczegółowość materiału dowodowego, przedkładanego wraz z produktem informatycznym (sprzęt, oprogramowanie, w tym układowe, system informatyczny) do oceny w niezależnym, akredytowanym laboratorium są implikowane przez zadeklarowany dla produktu poziom uzasadnionego zaufania EAL (Evaluation Assurance Level). EAL1 to wartość minimalna, EAL7 - maksymalna. Każdemu z poziomów EAL odpowiada pewien spójny zbiór wymagań uzasadniających zaufanie, czyli pakiet komponentów SAR (Security Assurance Requiremeni) - Tab.l. Większość z ponad tysiąca ocenionych produktów posiada certyfikaty EAL3-EAIA Oceniany pod względem wiarygodności swych zabezpieczeń, produkt informatyczny zwany jest przedmiotem oceny (TOE - Target of Evaluation). Na wstępie należy dla niego opracować materiał dowodowy o nazwie zadanie zabezpieczeń (ST - Security Target), który stanowi podsumowanie przeprowadzonych analiz bezpieczeństwa produktu i zawiera wykaz funkcji zabezpieczających, które należy zaimplementować w produkcie informatycznym na zadeklarowanym arbitralnie dla niego poziomie EAL, by zasoby informacji były w wystarczający sposób chronione przed zagrożeniami. W drugim etapie wypracowywany jest obszerny materiał dla samego produktu (projekt TOE, jego interfejsów, sposób implementacji, dokumentacja uruchomieniowa i użytkowa, testy, ocena podatności, itp.) i środowiska rozwojowego, w którym ten produkt powstaje (procesy rozwojowe w cyklu życia, zabezpieczenia środowiska rozwojowego, narzędzia, zarządzanie konfiguracją, usterkami i dostawą dla użytkownika, itp.). Artykuł zawiera wprowadzenie do metodyki Common Criteria, przegląd dotychczasowych badań, w tym badań własnych, w zakresie ontologii, modelowania pojęć i procesów tej metodyki. Całość metodyki Common Criteria zawarto w modelu wyrażonym za pomocą ontologii środków specyfikacji (SMO - Specification Means Ontology), jednak w głównej części artykułu (Rozdział 4) uwagę skupiono na fragmencie modelu odnoszącym się do materiału dowodowego dla samego TOE (bez ST). Przedstawiono proces tworzenia ontologii zgodnie z klasycznym podejściem [3] i z wykorzystaniem popularnego narzędzia [18]. Pokazano, jak opracowano rozbudowaną hierarchię klas, opisano własności klas i ich ograniczenia, a także, jak tworzono bazę wiedzy zawierającą środki specyfikacji. Artykuł rozwiązuje problem organizacji (struktury i zawartości) wzorców materiału dowodowego, tworząc dla nich szablony i instrukcje wypełnienia ich treścią dotyczącą opracowywanego produktu informatycznego. Opracowaną ontologie poddawano testom w toku tworzenia. Ontologie SMO wykorzystano więc jako model materiału dowodowego, implikowanego przez komponenty SAR należące dla poszczególnych pakietów EAL. Model ten, po poddaniu go walidacji i rewizji, może być podstawą do budowy aplikacji użytkowych dla twórców materiału dowodowego.
Źródło:
Theoretical and Applied Informatics; 2013, 25, 2; 69-91
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Validation of the Ontology Based Model of the Common Criteria Evaluation Evidences
Walidacja modelu materiału dowodowego do oceny zabezpieczeń według metodyki Wspólne Kryteria bazującego na ontologii
Autorzy:
Białas, A.
Powiązania:
https://bibliotekanauki.pl/articles/951039.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Common Criteria
IT security evaluation
knowledge engineering
modelling
ontology
assurance methods
Opis:
The paper concerns the validation of the selected issues related to the new ontology-based approach to the elaboration and management of evidences prepared by developers for the FT security evaluation process according to the Common Criteria standard. The evidences arc implied by the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation). The evidences envisage the TOE features and its development environment. The validation and use of the author’s elaborated ontology are discussed, including: composing evidences for the given TOE and EAL, expressing details of evidences documents, issuing queries to get given information about model, etc.The paper also shows how the evidences are organized, developed and used. This work is aimed at the development of a prototype of a knowledge base, designed mainly for developers to allow them to compose and manage different kinds of evidences elaborated on the patterns basis. This knowledge base can be used by a software tool aiding developers who produce evaluation evidences.
Artykuł przedstawia wybrane zagadnienia dotyczące walidacji modelu materiału dowodowego służącego do oceny zabezpieczeń informatycznych, opracowanego w oparciu o metody inżynierii wiedzy i metodykę “Wspólne Kryteria” (ISO/IEC 15408 Common Criteria). Artykuł stanowi kontynuację artykułu [3], nakreślającego tło tematyki i wprowadzającego ontologię środków specyfikacji (SMO - Spécification Means Ontology). Niniejszy artykuł poświęcono walidacji modelu danych opartego na SMO i związanego z metodyką Common Criteria. Na wstępie artykuł zawiera krótkie informacje wprowadzające dotyczące: podejścia onto logicznego, rozważanej dziedziny wiedzy oraz pojęć wprowadzonych przez SMO. Główną część artykułu (Rozdział 5) poświęcono wybranym zagadnieniom dotyczącym wykorzystania ontologii SMO i związanej z nią bazy wiedzy - zagadnieniom napotkanym podczas walidacji rozwiązań na przykładzie projektu systemu zaporowego. W sekcji 5.1 wskazano punkt startowy tworzenia materiału dowodowego dla produktu informatycznego, czyli przedmiotu oceny (TOE - Target of Evaluation). Punktem tym jest specyfikacja funkcji zabezpieczających zawarta w zadaniu zabezpieczeń (ST - Security Target). Funkcje te należy zaimplementować w produkcie informatycznym na zadanym poziomie uzasadnionego zaufania EAL (Evaluaüon Assurance Level), czyli opracować na odpowiednim poziomie szczegółowości materiał dowodowy. Jego wykaz dla systemu zaporowego MyFirewall/EAL4+ zawiera Tab. 1. Sekcja 5.2 ilustruje model materiału dowodowego implikowanego przez komponenty danego pakietu EAL - pokazuje organizację materiału jako całości z uwzględnieniem wzbogacenia i rozszerzenia pakietu EAL4 do EAL4+.
Źródło:
Theoretical and Applied Informatics; 2013, 25, 3-4; 201-222
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Engineering intelligent systems on the knowledge formalization continuum
Autorzy:
Baumeister, J.
Reutelshoefer, J.
Puppe, F.
Powiązania:
https://bibliotekanauki.pl/articles/907816.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
inżynieria wiedzy
pozyskiwanie wiedzy
system semantyczny
system wiki
knowledge engineering
knowledge acquisition
semantic wiki
Opis:
In spite of their industrial success, the development of intelligent systems is still a complex and risky task. When building intelligent systems, we see that domain knowledge is often present at different levels of formalization-ranging from text documents to explicit rules. In this paper, we describe the knowledge formalization continuum as a metaphor to help domain specialists during the knowledge acquisition phase. To make use of the knowledge formalization continuum, the agile use of knowledge representations within a knowledge engineering project is proposed, as well as transitions between the different representations, when required. We show that a semantic wiki is a flexible tool for engineering knowledge on the knowledge formalization continuum. Case studies are taken from one industrial and one academic project, and they illustrate the applicability and benefits of semantic wikis in combination with the knowledge formalization continuum.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 27-39
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 63

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