Wyszukiwarka
Filtry
wszystkich: 5025
-
Katalog
- Publikacje 3650 wyników po odfiltrowaniu
- Czasopisma 28 wyników po odfiltrowaniu
- Wydawnictwa 5 wyników po odfiltrowaniu
- Osoby 272 wyników po odfiltrowaniu
- Wynalazki 14 wyników po odfiltrowaniu
- Projekty 164 wyników po odfiltrowaniu
- Zespoły Badawcze 24 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 646 wyników po odfiltrowaniu
- Wydarzenia 30 wyników po odfiltrowaniu
- Dane Badawcze 191 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ALE
-
Integrating Confidence And Assurance Arguments
PublikacjaTo be considered compelling an assurance case should address its potential deficits, possibly with the use of a confidence argument. Assurance argument and confidence argument should be clearly separated and consistent at the same time. We propose a way of their integration with the use of an element representing rationale for each argumentation strategy. The rationale integrates confidence argument for a given argumentation step...
-
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.
-
Topology Discovery of Hierarchical Ethernet LANs without SNMP support
PublikacjaThis paper presents an algorithm that allows for discovery of layer-2 hierarchical Ethernet network topology using agents running on selected end nodes. No SNMP, MIB, hardware, firmware, or operating system-level software modification is required. The method is based on transmission of customized Ethernet frames among installed software agents. It can be used to discover the topology of LAN or one VLAN segment as long as no MAC...
-
Assurance Case Patterns On-line Catalogue
PublikacjaAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Wsparcie informatyczne koncepcji Lean Management oraz Six Sigma
PublikacjaW rozdziale tym przedstawiono kluczowe aspekty integracji dwóch najważniejszych obecnie koncepcji optymalizacji procesów w organizacjach produkujących wyroby materialne oraz świadczących usługi – Six Sigma i Lean Manufacturing. Szczególną uwagę zwrócono na uwarunkowania wsparcia informatycznego tych koncepcji w mniejszych organizacjach.
-
ON EGNOS MONITORING IN LOCAL CONDITIONS
PublikacjaAny SBAS system should deliver to the user corrections to pseudoranges as well as information about the system integrity. In theory, as soon as the system is permanently monitored by RIMS stations, it is impossible to deliver the fault information to the user. However many observations shows that accuracy of EGNOS service in the same time are different in different places, which shows the influence of local conditions on them....
-
Ekspertyza techniczna dotycząca oceny stanu zachowania wraz z określeniem sposobu remintu zabytkowego mostu kolejowego na rzece Boruji w Bytowie
PublikacjaOceniono obecny stan zachowania kamienno-ceglanego łukowego zabytkowego mostu kolejowego w Bytowie. Przedstawiono propozycje przyszłych prac naprawczych.
-
Opinia techniczna dotycząca stanu zachowania konstrukcji pomnika stojącego na placu Szymona Krofeya w Bytowie
PublikacjaAnalizie poddanno zaobserwowane uszkodzenia konstrukcji betonowego pomnika zrealizowanego w latach 1960-61 w Bytowie. Przedstawiono także uwagi dotyczące ewentualnych prac remontowych.
-
Opinia techniczna dotycząca stanu zachowania reliktów archeologicznych dawnego kościoła pw. św. Katarzyny w Bytowie
PublikacjaAnaliza dotychczasowego stanu ekspozycji fundamentów dawnego kościoła w Bytowie wykazała znaczne zniszczenia murów ceglanych. Ustalono przyczyny powstania uszkodzeń i przedstawiono propozycje prac kkonserwatorskich.
-
Koncepcja Smart Cities - obszar Smart Environment
PublikacjaThe Smart Cities Concept– Smart Environment. The paper concentrates on the possibilities of checking the extent to which cities meet the smart city concept. The presented concept concentrates on one of the main smart cities characteristic: Smart Environment. This paper is a result of joint work of specialist from two diff erent areas: management and environmental protection. The interdisciplinary character of the paper is characteristic...
-
Vertical motions damping model test of a lifeboat lowered onto a flat sea surface
PublikacjaThe article presents the experiment’s results of the lifeboat model lowered with an initial speed and then released to fall onto a flat water surface. The purpose of the research is to determine the trajectory of the vertical boat motion and describe it with a mathematical model. This is closely related to determining the damping factor since the vertical motion is damped and the lifeboat gets balanced and stops moving after some...
-
Smart Cities Concept: Smart Mobility Indicator
PublikacjaThis work attempts to analyze problems resulting from the lack of possibility to assess the effectiveness of the implementation of “Smart Mobility” solutions, which represent one of the cornerstones of Smart Cities, from the point of view of city hall offices. The work presents existing Smart Mobility evaluation solutions, discusses their drawbacks, and then proposes a new indicator. The final part of the work presents assumptions...
-
Sundials of St Mary’s Church in Gdańsk / Zegary słoneczne kościoła pw. Wniebowzięcia Najświętszej Panny Marii w Gdańsku
PublikacjaThe paper presents contemporary research evidence of form, function and history of the sundials of St Mary’s Church in Gdańsk. The discussed sundials are located on the southern wall of the church transept. The sundial, which is believed to be made by Lorenzo Zachau in 1533, is placed on the west side of the western window, at the edge of the wall. The face of this sundial is separated by a horizontal line into two parts. The upper...
-
Investigation and operation problems of metal tanks in Poland
PublikacjaThe paper consists of three parts concerned with steel cylindrical, vertical tank for liquid fuel. In the first part the present trends in tank design and building in Poland are described. The main are: · reduction of environment contamination danger caused by tank leakage and hydrocarbons evaporation, · increasing capacity of new tanks (100000 m3 and more) due to economic factor - reduction of steel amount per m3 of storage capacity....
-
Możliwości wykorzystania narzędzi IT w systemach zarządzania jakością z uwzględnieniem specyfiki sektora MŚP
Publikacja -
Conditions of the fuzzy internet mortgage market submodels implementation
PublikacjaPrzedstawiono submodele internetowego rynku pozyczek w ujeciu rozmytym. Omowiono warunki stosowania poszczegolnych modeli.
-
Toward fuzzy model of Internet mortgage market: concepts and initial assumptions
PublikacjaPrzedstawiono koncepcję modelu opartego na matematyce rozmytej w zastosowaniu do opisu funkcjonowania rynku internetowych pożyczek banmkowych
-
Model do prognozowania wielkości sprzedaży kredytów hipotecznych w Internecie
PublikacjaOmówiono zalożenia analityczne i miękkie do budowy modelu przewidującego poziom kredytów pozyskiwanych poprzez Internet.
-
Komputerowe wspomaganie zarządzania jakością w systemach klasy MRP/ERP z uwzględnieniem specyfiki sektora MŚP
PublikacjaW opracowaniu przedstawiono koncepcje integracji komputerowych aplikacji wspomagających zarządzanie jakością z systemami klasy MRP/ERP. W rezultacie przeprowadzonej analizy dotyczącej genezy i zastosowań modułów wspierających zarządzanie jakością w systemach zintegrowanych sformułowano wnioski dotyczące funkcjonalności tych systemów zarządzania oraz ich możliwości aplikacyjnych w sektorze MŚP.
-
The concept of rule model of the internet mortgage market
Publikacja..
-
Internet mortgage knowledge system
Publikacja -
Selecting Requirements Documentation Techniques for Software Projects: a Survey Study
PublikacjaA significant number of techniques dedicated to requirements specification and documentation is described in the available sources. As there is no purpose to use all of them, a selection has to be made, taking into consideration the context of a given software project, for example its size, usage of agile approach or stakeholders' technical competency. This paper is intended to provide guidelines for such selection. We reviewed...
-
A Survey Investigating the Influence of Business Analysis Techniques on Software Quality Characteristics
PublikacjaBusiness analysis is recognized as one of the most important areas determining the outcome (success or failure) of a software project. In this paper we explore this subject further by investigating the potential impact of techniques applied in business analysis on essential software quality characteristics. We conducted a literature search for software quality models, analyzed the existing models and selected a subset of commonly...
-
A Survey on Identifying and Addressing Business Analysis Problems
PublikacjaDespite the growing body of knowledge on requirements engineering and business analysis, these areas of software project are still considered problematic. The paper focuses on problems reported by business analysts and on applicability of available business analysis techniques as solutions to such problems. A unified set of techniques was developed on the basis of 3 industrial standards associated with IIBA, REQB and IREB certification...
-
A distributed system for conducting chess games in parallel
PublikacjaThis paper proposes a distributed and scalable cloud based system designed to play chess games in parallel. Games can be played between chess engines alone or between clusters created by combined chess engines. The system has a built-in mechanism that compares engines, based on Elo ranking which finally presents the strength of each tested approach. If an approach needs more computational power, the design of the system allows...
-
SACAM A Model for Describing and Classifying Sentiment Analysis Methods
PublikacjaIn this paper we introduce SACAM — a model for describing and classifying sentiment analysis (SA) methods. The model focuses on the knowledge used during processing textual opinions. SACAM was designed to create informative descriptions of SA methods (or classes of SA methods) and is strongly integrated with its accompanying graphical notation suited for presenting the descriptions in diagrammatical form. The paper discusses applications...
-
Extending Expressiveness of Knowledge Description with Contextual Approach
PublikacjaIn the paper we show how imposing the contextual structure of a knowledge base can lead to extending its expressiveness without changing the underlying language. We show this using the example of Description Logics, which constitutes a base for a range of dialects for expressing knowledge in ontologies (including state-of-the-art OWL). While the contextual frameworks have been used in knowledge bases, they have been perceived as...
-
Optimizing the parameters of a small standalone hybrid power system
PublikacjaA hybrid power plant consists of renewable energy resources, an energy storage, a discharge load and an emergency power supply. Power plant parameters are tailored to meet the requirements of continuity of supply, cost minimization, return on investment period and system capacity utilization. The papaer presents the methodology for selecting power plant parameters with a larger number of decision criteria. The task is solved...
-
Has EGNOS its own place in maritime navigation?
PublikacjaGNSS (in fact it usually means GPS) is at the moment the fundamental means of positioning for any variants of navigation. However some attributes of it can be not sufficient for every users or in some tasks, so there are any cases when this system needs support. From the mariner point of view pure GPS properties perfectly fulfils expectations of sailors at the open sea, however there are lot of cases, when accuracy of the system...
-
Triangular 3D Laser Scanning in Underwater Photogrammetry
PublikacjaThe use of triangular 3D laser scanning may significantly enhance the visual inspection of underwater objects. In these days of high demand for accurate information, exclusively photographic documentation is not enough, as it is geometrically flawed. The authors of this article are trying to present the rudiments of laser scanning, a modern means of measuring, which is reliable, relatively easy to use and works in accordance with...
-
The Positioning Accuracy of BAUV Using Fusion of Data from USBL System and Movement Parameters Measurements
PublikacjaThe article presents a study of the accuracy of estimating the position coordinates of BAUV (Biomimetic Autonomous Underwater Vehicle) by the extended Kalman filter (EKF) method. The fusion of movement parameters measurements and position coordinates fixes was applied. The movement parameters measurements are carried out by on-board navigation devices, while the position coordinates fixes are done by the USBL (Ultra Short Base...
-
Basic Hand Gestures Classification Based on Surface Electromyography
PublikacjaThis paper presents an innovative classification system for hand gestures using 2-channel surface electromyography analysis. The system developed uses the Support Vector Machine classifier, for which the kernel function and parameter optimisation are conducted additionally by the Cuckoo Search swarm algorithm. The system developed is compared with standard Support Vector Machine classifiers with various kernel functions. The average...
-
Multicriteria decision analysis in ranking of analytical procedures for aldrin determination in water
PublikacjaThe study presents the possibility of multi-criteria decision analysis (MCDA) application when choosing analytical procedures with low environmental impact. A type of MCDA, Preference Ranking Organization Method for Enrichment Evaluations (PROMETHEE), was chosen as versatile tool that meets all the analytical chemists – decision makers requirements. Twenty five analytical procedures for aldrin determination in water samples (as...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublikacjaArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Synthesis and antitumor activity of conjugates of muramyldipeptide or normuramyldipeptide with hydroxyacridine/acridone derivatives
PublikacjaOpisano syntezę analogów MDP oraz nor-MDP modyfikowanych w części peptydowej pochodnymi hydroksyakrydyny/akrydonu i dwóch analogów modyfikowanych pochodnymi 1-nitro-9-hydroksyetylo(propylo)aminoakrydyny. Tylko związki zawierające pochodne 1-nitro-9-hydroksyetylo(propylo)aminoakrydyny wykazały wysoką aktywność cytotoksyczną badaną na 60 liniach ludzkich komórek nowotworowych, na nowotwór prostaty i AIDS-related lymphoma (ARL). Związek...
-
Muramyl peptides - synthesis and biological activity
PublikacjaArtykuł przeglądowy opisujący syntezę i aktywność biologiczną muramylopeptydów.
-
"Car-Parrinello molecular dynamics" jako kluczowe narzędzie informatyczne w badaniach syntezy cienkich warstw diamentowych metodą PA CVD
PublikacjaPraca omawia zastosowanie metody Car-Parrinello MD w symulacji procesu wzrostu cienkich warstw diamentowych w metodzie PAC VD.
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublikacjaArtykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....
-
Combretastatin A-4 and its analogues as antineoplastic agenst.
PublikacjaCombretastatyna A-4 jest naturalnym związkiem wyizolowanym z wierzby afrykańskiej Combretum caffrum. W pracy opisano syntezę i aktywność biologiczną combretastatyny A-4 i jej analogów jako potencjalnych inhibitorów angiogenezy.
-
Towards Safety Case Integration with Hazard Analysis for Medical Devices
PublikacjaSafety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...
-
An Industrial Survey on Business Analysis Problems and Solutions
PublikacjaThe paper focuses on the problems reported by business analysts which have a negative impact on their work and on the applicability of available business analysis (BA) techniques as solutions to such problems. A unified set of BA techniques was developed on the basis of 3 industrial standards associated with IIBA, REQB and IREB certification schemes. A group of 8 business analysts was surveyed to list problems they encounter in...
-
Lightweight glass and metal roof structures in the 19th century. Architecture and construction.
PublikacjaThe 19th century brought new construction possibilities. The usage of metal elements in mesh structures, filled in with glass, resulted in creating entirely new types of objects. They have distinguished themselves in architecture and technical solutions. The envelope structures giving spatial interiors were arising very quickly. They have been enabling large light penetration, triggering them extremely bright. Thus these building...
-
Digital microcontroller for sonar waveform generator
PublikacjaGenerating sounding signals is essential for the operation of active sonar. The system should be highly reliable. This can be achieved through architecture, communication between the devices, and a well-designed and self–testing software. The system presented in the article is responsible for the generation of hydroacoustic sounding signals, and ensures proper interaction between power amplifiers and power supplies. Thanks to its...
-
Eficient multimode mixed time-frequency domain analysis and optimization of waveguide structures.
PublikacjaW pracy przedstawiona jest pełnofalowa analiza i optymalizacja struktur falowodowych o zadanej topologii. Nieciągłości falowodowe analizowane są z wykorzystaniem metody FDTD-IBC oraz scharakteryzowane uogólnioną macierzą rozproszenia. Efektywność metody zilustrowana jest na przykładzie filtru falowodowego siódmego rzędu.
-
Wykorzystanie technik chemometrycznych w badaniach zanieczyszczeń opadów atmosferycznych.
PublikacjaW pracy przedstawiono:- możliwość wykorzystania różnych technik chemometrycznych na etapie obróbki wieloparametrycznych zbiorów danych pomiarowych,- zastosowanie podstawowych technik chemometrycznych do analizy zbiorów wyników uzyskanych w trakcie analizy próbek opadów atmosferycznych w okresie 1998-2001 na terenie Trójmiasta
-
Wspomaganie komputerowe oceny oddziaływania na środowisko
PublikacjaOcena oddziaływania na środowisko należy do najważniejszych i najszybciej rozwijających się prewencyjnych instrumentów ochrony środowiska na świecie. Zasady zrównoważonego rozwoju i ochrony środowiska stanowią podstawę do sporządzania i aktualizacji ocen, w których, między innymi określa się rozwiązania niezbędne do zapobiegania powstawaniu zanieczyszczeń, zapewnienia ochrony przed powstającymi zanieczyszczeniami oraz przywracania...
-
Eficient multimode mixed time-frequency domain analysis and optimization of waveguide structures.
PublikacjaW pracy przedstawiona jest pełnofalowa analiza i optymalizacja struktur falowodowych o zadanej topologii. Nieciągłości falowodowe analizowane są z wykorzystaniem metody FDTD-IBC oraz scharakteryzowane uogólnioną macierzą rozproszenia. Efektywność metody zilustrowana jest na przykładzie filtru falowodowego siódmego rzędu.
-
Experimental comparison of UML-HAZOP inspection and non-structured review
PublikacjaArtykuł przedstawia eksperyment przeprowadzony na Politechnice Gdańskiej mający na celu porównanie dwóch technik przeglądowych. Poszczególne rozdziały zawierają: ogólne omówienie tematyki przeglądów i inspekcji, przedstawienie metody UML-HAZOP, opis przebiegu eksperymentu oraz uzyskanych rezultatów.
-
Badania aerodynamiczne modeli walcowych, pionowych zbiorników dwupłaszczowych
PublikacjaW pracy przedstawiono sposób oraz wyniki badań aerodynamicznych modeli walcowych pionowych zbiorników dwupłaszczowych stosowanych w przemyśle petrochemicznym. Zaprezentowano wpływ odległości miedzy płaszczami oraz umiejscowienia pierścienia wiatrowego na płaszczu zewnętrznym na rozkład obciążenia wiatrem zbiornika dwupłaszczowego. Wyniki przedstawiono w formie wykresów współczynnika aerodynamicznego.
-
Anthracenedione analogues - synthesis and biological activity
PublikacjaW artykule opisano syntezę i aktywność biologiczną analogów antracenedionowych.