Filtry
wszystkich: 4141
-
Katalog
- Publikacje 1609 wyników po odfiltrowaniu
- Czasopisma 42 wyników po odfiltrowaniu
- Konferencje 12 wyników po odfiltrowaniu
- Osoby 23 wyników po odfiltrowaniu
- Wynalazki 2 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Kursy Online 52 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 2396 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MODULAR REASONING
-
Thinking & Reasoning
Czasopisma -
Reasoning about trust in IT infrastructures
PublikacjaW artykule zaprezentowano metodę pozwalającą na ilościowe określenie poziomu zaufania do systemu TI.
-
Contextual approach to reasoning with rules
PublikacjaIn the paper we present a method of reasoning with Horn rules within a contextual framework. We show that by proper use of a structure of contexts we can obtain partial OWA compliance with no necessity of extending the syntax of underlying Description Logics.
-
Automated Reasoning Based User Interface
PublikacjaMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
Concrete-domain reasoning techniques in knowledge cartography
PublikacjaWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
Publikacja“If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
PublikacjaAt any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference...
-
Journal of Formalized Reasoning
Czasopisma -
Logic, Argumentation and Reasoning
Czasopisma -
JOURNAL OF AUTOMATED REASONING
Czasopisma -
Design of a modular impedance tomography
PublikacjaW pracy przedstawiono konstrukcję, zasadę działania oraz podstawowe parametry tomografu impedancyjnedo przeznaczonego do pomiarów w gruncie.
-
Reasoning with Projection in Multimodular Description Logics Knowledge Bases
PublikacjaWe present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the...
-
Stream Reasoning to Improve Decision-Making in Cognitive Systems
PublikacjaABSTRACT Cognitive Vision Systems have gained a lot of interest from industry and academia recently, due to their potential to revolutionize human life as they are designed to work under complex scenes, adapting to a range of unforeseen situations, changing accordingly to new scenarios and exhibiting prospective behavior. The combination of these properties aims to mimic the human capabilities and create more intelligent and efficient...
-
Application of algorithms for reasoning from imperfect knowledge in it evaluation environment
PublikacjaThe paper describes concept of building multi-agent system dedicated for information technology evaluation or selection for IT enterprises management (IT_MAS). Authors present the model of Knowledge Processing Environment, which is one of main components of the solution. Either facts or rules will be based on IT specialists' experience. However, knowledge which is being acquisited from IT domain is mostly imperfect - uncertain...
-
Optimalization of TiO2 nanotube geometry using fuzzy reasoning approach
PublikacjaThe geometry of TiO2 nanotube layer on titanium, obtained by electrochemical anodization, has been determined by using fuzzy reasoning approach. A proposed method showed the possibility of nanotube array architecture optimization by choosing an appropriate anodization condition. A fuzzy logic controller (FLC) was utilized using Matlab Software.
-
Generative Process Planning with Reasoning Based on Geometrical Product Specification
Publikacja -
Generative Process Planning with Reasoning based on Geometrical Product Specification
PublikacjaThe focus of this paper is on computer aided process planning for parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centers for parts shaping and grinding machines for finishing. It presents in particular a decision making scheme for setup determination as a part of generative process planning. The planning procedurę consists of two stages. The first stage is associated with...
-
Optimalization of titanium acaffold design using fuzzy reasoning approach
PublikacjaOpracowano metodę wnioskowania rozmytego do oszacowania geometrii scaffoldu Ti6Al4V, otrzymanego przy użyciu metody metalurgii proszków. Zaproponowana metoda umożliwia oszacowanie i optymalizację architektury scaffoldu poprzez dobór odpowiednich parametrów procesu. Zaprojektowano i przeprowadzono symulację działania sterownika rozmytego (FLC) za pomocą oprogramowania Matlab.
-
On application of the Case-Based Reasoning methods in ship automation design
PublikacjaW artykule przedstawiono metodę wnioskowania na podstawie przypadków oraz dwa przykłady jej zastosowania w projektowaniu statków. Pierwszy przykład dotyczy systemu projektowania koncepcyjnego statku. Drugi przykład odnosi się do projektowania układów automatyki okrętowej. Omówiono szczegółowo problemy doboru funkcji podobieństwa w metodzie wnioskowania na podstawie przypadków.
-
Smart Karyotyping Image Selection Based on Commonsense Knowledge Reasoning
PublikacjaKaryotyping requires chromosome instances to be segmented and classified from the metaphase images. One of the difficulties in chromosome segmentation is that the chromosomes are randomly positioned in the image, and there is a great chance for chromosomes to be touched or overlap with others. It is always much easier for operators and automatic programs to tackle images without overlapping chromosomes than ones with largely overlapped...
-
Pipelined Two-Operand Modular Adders
PublikacjaPipelined two-operand modular adder (TOMA) is one of basic components used in digital signal processing (DSP) systems that use the residue number system (RNS). Such modular adders are used in binary/residue and residue/binary converters, residue multipliers and scalers as well as within residue processing channels. The structure of pipelined TOMAs is usually obtained by inserting an appropriate number of pipeline register layers within...
-
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Czasopisma -
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publikacja -
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublikacjaArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Using Dempster-Shafer approach to support reasoning about trust in IT infrastructures
PublikacjaW artykule przedstawiono zastosowanie podejścia Dempstera-Shafera do do wnioskowania o poziomie zaufania do infrastruktur TI.
-
Evaluation of Readiness of IT Organizations to Agile Transformation Based on Case-Based Reasoning
PublikacjaNowadays many of IT organization decides to change the way of delivering from classic, waterfall approach to agile. This transition is called “agile transformation” (AT). The problem of this process is that part of companies started AT without any analysis. This causes that many of transitions fails and organizations must return to old methods of delivering. Cost of return is significant and number of projects with violated project...
-
Smart Cities System Design Method Based on Case Based Reasoning
PublikacjaThe objective of this paper is to present the results of research carried out to develop a design method for Smart Cities systems. The method is based on the analysis of design cases of Smart Cities systems in cities, the selection of the city appropriate to the requirements for implementation and application. The Case Based Reasoning method was used to develop the proposed design methodology, along with mechanisms of the conversion...
-
A simple modular active power electronic transformer
Publikacja -
Field investigation of low-temperature cracking and stiffness moduli on selected roads with conventional and high modulus asphalt concrete
PublikacjaHigh Modulus Asphalt Concrete (HMAC) was introduced in Poland as a one of the solutions to the problem of rutting, type of deterioration common in the 1990s. After first encouraging trials in 2002 HMAC was widely used for heavily loaded national roads and motorways. However some concerns were raised about low-temperature cracking of HMAC. This was the main reason of the studies presented in this article were started. The article...
-
Fuzzy reasoning system design and assessment of load-bearing endoprostheses and their fabrication processes
PublikacjaZaproponowano piec zastosowan podejscia rozumowania rozmytego do rozwiazania problemów w dziedzinie biomechanikioraz inzynierii biomateriałów. Obejmuja one: (A) oszacowanie maksymalnych naprezen kontaktowych działajacych naendoproteze, (B) zaprojektowanie procesu spiekania dla otrzymania porowatego implantu, (C) opracowanie planu utleniania wcelu otrzymania struktury nanorurkowej na stopach Ti, (D) oraz (E) zaprojektowanie osadzania...
-
Application of case based reasoning to hybrid expert system for electronic filter design
PublikacjaPrzedstawiono koncepcję i przykład praktycznej realizacji obiektowo zorientowanego hybrydowego systemu ekspertowego wykorzystującego rozumowanie sytuacyjne. System wykorzystuje algorytmy najbliższego sąsiada i sztuczne sieci neuronowe. System został przetestowany jako klasyfikator decyzyjny w projektowaniu filtrów elektronicznych. W budowie systemu został wykorzystany obiektowy system CLIPS, rozszerzony o wiele dodatkowych funkcji...
-
Metoda projektowania systemów Smart Cities bazowana na Case Based Reasoning
PublikacjaCelem artykułu jest prezentacja wyników badań nad opracowaniem metody projektowania systemów Smart Cities. Metoda ta bazuje na analizie przypadków projektowania systemów Smart Cities w miastach, wybór odpowiedniego do wymagań zdecydowanego na wdrożenie ośrodka i jego zastosowanie. Do budowy proponowanej metody projektowania wykorzystano metodę Case Based Reasoning oraz mechanizmy konwersji procesów i ról projektowych do procesów...
-
Design and realization of two-operand modular adders in the FPGA
PublikacjaW pracy zaprezentowano strukturę sumatorów modularnych w środowisku Xilinx z użyciem rodziny układów Virtex-6. Rozważono dwa typy sumatorów, jeden dla modułów 5-bitowych i drugi dla 6-bitowych. Zaprojektowano ich struktury i podano eksperymentalne wyniki implementacji.
-
Design of a simple modular active power electronic transformer
Publikacja -
Syntactic modular decomposition of large ontologies with relational database
PublikacjaSupport for modularity allows complex ontologies to be separated into smaller pieces (modules) that are easier to maintain and compute. Instead of considering the entire complex ontology, users may benefit more by starting from a problem-specific set of concepts (signature of problem) from the ontology and exploring its surrounding logical modules. Additionally, an ontology modularization mechanism allows for the splitting up of...
-
Modular impedance tomograph for shallow soil subsurface investigation.
PublikacjaW pracy przedstawiono konstrukcję i procedury pomiarowe konfigurowalnego systemu pomiarowego. Konstrukcja systemu oparta jest idei tzw. elektrody aktywnej, która zbudowana jest z wykorzystaniem mikrokontrolera ADuC 812.
-
Dynamical nonlocality in quantum time via modular operators
PublikacjaWe formalize the concept of the modular energy operator within the Page and Wootters timeless framework. As a result, this operator is elevated to the same status as the more studied modular operators of position and momentum. In analogy with dynamical nonlocality in space associated with the modular momentum, we introduce and analyze the nonlocality in time associated with the modular energy operator. Some applications of our...
-
Modular Experience-Based Smart Innovation Engineering System
PublikacjaThe current paper presents the systematic approach for supporting the product innovation process of manufactured products. The proposed system uses a collective, team-like knowledge developed by innovation related experiences of the formal decisional events. The proposed system for smart innovation engineering carries the promise to support the innovation processes in a quick and efficient way. It stores the past decisional events...
-
Realization of multi-operand modular adders in the FPGA technology
PublikacjaW pracy opisano projektowanie i realizację struktur wielooperandowych sumatorów modularnych (MOMA) w środowisku Xilinx FPGA z użyciem technologii Virtex-6. Projekt oparty jest na pamięciach LUT (26x1), które symulują małe pamięci RAM służące jako podstawowy komponent do realizacji sumatorów. W pracy pokazano MOMA dla dodawania modularnego operandów 5-bitowych. Najpierw rozważono ogólne struktury MOMA i następnie dwa podstawowe...
-
Modular wireless sensor network platform for RF transceiver evaluation
PublikacjaArtykuł przedstawia modułową technikę projektowania sieci sensorów bezprzewodowych. Uniwersalne połączenia występujące pomiędzy modułami pozwalają na zaprojektowanie nowej wersji sieci w przeciągu kilku dni zamiast tygodni. Na bazie wymienionej metodologii skonstruowane została platforma pozwalająca testować różnego rodzaju układy nadawczo odbiorcze pracujące na częstotliwościach RF.
-
Assessment of the Impact of Split Storage within Modular Multilevel Converter
Publikacja -
International Representation of S-Modular Knowledge Base in RKaSeA System
PublikacjaNiniejszy artykuł przedstawia nową metodę reprezentacji wiedzy ontologicznej wyrażonej w logice opisowej. Metoda ta, nazwana G-Cart została zaimplementowana w nowo utworzonym systemie zarządzania wiedzą RKaSeA. Artykuł opisuje podstawowe założenia metody oraz praktyczne zagadnienia związane z jej implementacją.
-
Hybrid Modulation for Modular Voltage Source Inverters with Coupled Reactors
PublikacjaThis paper proposes and discusses a concept of a hybrid modulation for the control of modular voltage source inverters with coupled reactors. The use of coupled reactors as the integrating elements leads to significant reduction in the size and weight of the circuit. The proposed modulation combines novel coarsely quantized pulse amplitude modulation (CQ-PAM) and innovative space-vector pulse width modulation (SVPWM). The former...
-
Modular multipulse voltage source inverters with integrating coupled reactors
PublikacjaA novel approach to the voltage source inverters (VSI) construction is presented in the paper. The invented inverter structures allow to operate several DC/AC converters in parallel resulting in lower voltage distortions at extremely low switching frequency. The research presented in the paper describes such a parallel operation of the VSI’s which is possible thanks to the use of coupled inductors. The eighteen-pulse and twenty-four-pulse...
-
High power, medium voltage, modular active power filtering system
Publikacja -
A genetic algorithm application for automatic layout design of modular residential homes
Publikacja -
Modular machine learning system for training object detection algorithms on a supercomputer
PublikacjaW pracy zaprezentowano architekturę systemu służącego do tworzenia algorytmów wykorzystujących metodę AdaBoost i służących do wykrywania obiektów (np. twarzy) na obrazach. System został podzielony na wyspecjalizowane moduły w celu umożliwienia łatwej rozbudowy i efektywnego zrównoleglenia implementacji przeznaczonej dla superkomputera. Na przykład, system może być rozszerzony o nowe cechy i algorytmy ich ekstrakcji bez konieczności...
-
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
PublikacjaAssurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Larger assurance cases are usually divided into modules to manage the complexity and distribute the work. Each of the modules is developed to address specific goals allocated to the specific objects i.e. components of the...
-
MedULA
Czasopisma -
Maximum contact stress estimation on acetabular surface in total hip replacement using fuzzy reasoning system
PublikacjaArtykuł przedstawia rozmyty system wnioskowania dla oszacowania maksymalnego naprężenia kontaktowego na powierzchni panewki endoprotezy stawu biodrowego. Maksymalne naprężenie kontaktowe zostało określone na podstawie kąta Wiberga oraz masy ciała pacjenta.