Filters
total: 12145
-
Catalog
- Publications 8772 available results
- Journals 24 available results
- Conferences 20 available results
- People 114 available results
- Inventions 2 available results
- Projects 15 available results
- Research Equipment 9 available results
- e-Learning Courses 148 available results
- Events 10 available results
- Open Research Data 3031 available results
displaying 1000 best results Help
Search results for: accelerator modes
-
Representing and appraising Toulmin model arguments in trust cases
PublicationThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
A model of an Ontology Oriented Threat Detection System (OOTDS)
PublicationArtykuł omawia projekt zorientowanego na ontologię systemu wykrywania zagrożeń (OOTDS) dla środowiska opisywalnego przez ontologię Bayesowską pierwszego rzędu wyrażoną w języku PR-OWL. Zakłada się, że środowisko monitorowane jest przez zbiór czujników dostarczających nieustannie systemowi OOTDS zdarzenia odzwierciedlające zmiany środowiska, wyrażone w specyficzny dla czujników sposób. Dedykowane moduły obsługi zdarzeń konwertują...
-
Some results on trading model in a consensus list coloring
PublicationKonsensusowy model kolorowania grafów - uogólnienie kolorowania listowego, został zdefiniowany przez Mahadeva i Robertsa w 2002 jako użyteczne narzędzie teoretyczne w niektórych zagadnieniach bioinformatycznych. Pozostaje on jednak słabo rozpoznany pod względem własności algorytmicznych. Wykazujemy, że problem kolorowania grafów pełnych w tym modelu jest wielomianowy, co można uogólnić na częściowe k-drzewa przy ustalonym ograniczeniu...
-
Implemetation of the measured shell geometric imperfections to the numerical model
Publication -
Grouping macromodels by using multilevel model order reduction
Publicationartykuł pprezentuje nowatorską technikę grupowania makromodeli dla metody fdtd. nowa technika bazuje na schemacie wielopoziomowej redukcji rzędu modeli. grupowanie makromodeli pozwala na zwiększenie szybkości symulacji w porównaniu do niezgrupowanych makromodeli, zapewniając przy tym porównywalną dokładność.
-
Model opisu wydajności protokołu SIP dla VoIP
PublicationCoraz większa popularność protokołu SIP (Session Initiation Protocol) pociąga za sobą konieczność wymiarowania zasobów sieciowych i badania wydajności samego protokołu z uwagi na potrzebę gwarancji poziomu i jakości usług. Dla realizacji tego celu prowadzi się szereg prac badawczych i niniejsza publikacja jest zreferowaniem wyników takich prac badawczych wykonanych przez autorów. Dotyczą one modelu analitycznego dla opisu poziomu...
-
CRVG - a new model for wireless networks topology generation
PublicationThis paper presents a new model of wireless network topology generator. Its main advantage is the possibility of relatively sparse networks generation. Because no iteration is needed, the model can be used for massive generation of networks for testing. The topological properties of produced graphs place them in the class of scale free networks, resembling real ones.
-
Euler tour lock-in problem in the rotor-router model
PublicationW pracy rozważano model eksploracji grafu nieskierowanego przez pojedynczego agenta, w którym sterowanie agentem odbywa się zgodnie z zasadą ''rotor-router'' (inaczej: ''Propp machine''). Porównano czas stabilizacji agenta do trajektorii w postaci cyklu Eulera dla różnych klas grafów, prowadząc rozważania w kontekście teorii gier. Przydział początkowych portów i wskaźników w modelu jest traktowany jako rozgrywka pomiędzy graczem...
-
Intelligent Knowledge-Base Model for IT Support Organization Evolution
PublicationThe goal of the paper is building the knowledge-based model for predicting the state of the IT support organization. These organizations, critical for development of various business sectors, are facing the problem of their transformation. It is the result of the fundamental change in the role of the IT organizations in the current economy. The complexity of the processes, the difficulty adjusting the operations and limited ability...
-
Stochastyczny model analizy niezawodności kładek dla pieszych
PublicationRozważa się stan użytkowalności kładek ze względu na drgania pomostu. Imperfekcje w obciążeniu pieszymi zapisuje się w zmianach współczynników ruchu pieszego. Zmiany te opisuje się rozkładami prawdopodobieństwa. Stosuje się metodę Monte Carlo. Dane z realizacji probabilistycznych używa się do obliczeń numerycznych. Rezultaty są podane jako prawdopodobieństwa, że kładka nie osiągnie poziomu drgań uznawanego za nieodpowiedni. Szacuje...
-
Application of Bayesian Networks for Forecasting Future Model of Farm
Publication -
Phase-decoupled refraction–diffraction for spectral wave models
Publication -
Parameter estimation of a discrete model of a reinforced concrete slab
Publication -
Population Pharmacokinetic Model of Dexmedetomidine in a Heterogeneous Group of Patients
Publication -
Evaluating Pornography Problems Due to Moral Incongruence Model
PublicationIntroduction To date, multiple models of problematic pornography use have been proposed, but attempts to validate them have been scarce. Aim In our study, we aimed to evaluate the Pornography Problems due to Moral Incongruence model proposing that self-appraisals of pornography addiction stem from (i) general dysregulation, (ii) habits of use, and (iii) moral incongruence between internalized norms and behavior. We investigated...
-
Models of using the Internet by young Poles and their social capital.
PublicationHighlights • Study examining Polish youth on internet usage styles. • Online communication is the most common form of spending time on the Internet. •...
-
Manager competency assessment model in the conditions of industry 4.0
Publication -
Layer contraction of smectic liquid crystals and the compensation model
Publication -
Non-linear model of high damping rubber bearing.
PublicationCelem artykułu jest analiza modelu łożyska wykonanego z wysokotłumiącej gumy, które wykorzystywane są do posadowienia konstrukcji budowlanych na terenach sejsmicznych. Model umożliwia numeryczną symulację pracy urządzenia pod zadanym obciążeniem i w danych warunkach termiczno-wilgotnościowych. Wyniki analizy pokazują, iż proponowany model umożliwia symulację zachowania się łożyska w szerokim zakresie odkształceń.
-
A probabilistic model of envirinmental safety of ship power plant.
PublicationPrzedstawiono probabilistyczne podejście do oceny bezpieczeństwa środowiskowego siłowni statku. Wyznaczono miarę ryzyka oraz kryterium ryzyka środowiskowego siłowni statku.
-
Flow models 1D, 2D, 3D for diagonal pump
PublicationTrzy typowe modele stosowane w maszynach wirnikowych 1D, 2D, 3D zostały przedstawione w zastosowaniu do przepływu w pompie diagonalnej. W ramach modelu 1D przedstawiono prezentację procesu na wykresie energia -straty. W ramach modelu 2D pokazano wynik rozwiązania zadania odwrotnego prowadzącego do kształtu łopatek wirnika pompy. W ramach modelu 3D wykonano obliczenia programem FLUENT pokazując charakterystyczne cechy dwóch różnie...
-
Tool support for detecting defects in object-oriented models
PublicationArtykuł przedstawia nową metodę analityczną UML-HAZOP oraz narzędzie wspomagające jej stosowanie. Metoda ukierunkowana jest na wykrywanie defektów we wczesnych fazach wytwarzania oprogramowania i koncentruje się na powszechnie stosowanych modelach opartych na metodyce obiektowej.
-
Effect of preconsolidation on pile bearing capacity in model tests
PublicationBadanie wpływu prekonsolidacji gruntu w badaniach modelowych w komorze kalibracyjnej. Zagęszczone piaski kwarcowe poddano prekonsolidacji przy OCR nie większym od 7. Analiza współczynnika parcia spoczynkowego gruntu. Wpływ wskaźnika prekonsolidacji na nośność podstawy i pobocznicy pali oraz zmiany naprężeń wokół modelu i odkształcenia objętościowe masywu gruntowego.
-
Development and validation of a HAZOP-based inspection of UML models
PublicationArtykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla...
-
Truss models of RC corbels verified by experimental tests
PublicationW pracy przedstawiono wybrane modele kartownicowe krótkich wsporników żelbetowych oraz obliczone na podstawie tych modeli nośności graniczne wsporników na tle wyników uzyskanych w badaniach eksperymentalnych. Przedstawiono także weryfikację metody ścinania-tarcia wg wytycznych normy amerykańskiej. Dokonano obliczeń częściowych współczynników bezpieczeństwa, uwzględniających niepewność rozważanych modeli. Stwierdzono, ze modele...
-
Environmental reliability model of a bilge water purifying installation
PublicationW referacie przedstawiono probabilistyczny model, służący do wyznaczania niezawodności środowiskowej instalacji oczyszczania wód zęzowych z zanieczyszczeń olejowych. Jest to model przyczynowo - skutkowy. Struktura modelu ma formę drzewa zdarzeń i odpowiednich drzew niezdatności. Niezawodność środowiskowa instalacji zdefiniowana została jako prawdopodobieństwo, że w wyniku jej eksploatacji nie nastąpi zagrożenie dla środowiska morskiego....
-
Adaptation of telecommunication modem techniques for underwater communication systems.
Publication...
-
Parametrical 3D model of an asynchronous motor - AutoCAD application.
PublicationA computer program for automatic drawing of 3D models of squirrel-cage induction motors is presented in this paper. The created model of a machine is of parametrical nature, which means that the user defines geometry of particular elements (shaft, stator core, bearing, windings etc.) on the basis dimensions and some other parameters e.g. type of bearing, kind of winding, number of slots. This program is useful for 3D modelling...
-
Empiryczny model tłumienia propagacyjnego w systemie dostępnym.
PublicationW pracy przedstawiono zagadnienie wyznaczania tłumienia propagacyjnego w mieście, dla potrzeb projektowania radiowego systemu dostępowego. Podano sposób modelowania tego tłumienia opracowany na podstawie badań pomiarowych wykonanych w dużych aglomeracjach miejskich. Zebrane dane sklasyfikowano pod względem wysokości zawieszenia anten stacji abonenckich, w odniesieniu do średniej wysokości zabudowy na trasie propagacji sygnału radiowego....
-
Open water experiments with two pod propulsor models.
PublicationReferat przedstawia obszerne eksperymenty hydromechaniczne z dwoma modelami pędników podowych. Jeden z nich jest pędnikiem pchającym o średnicy 0,32 m, drugi pędnikiem ciągnącym o średnicy 0,25 m. W trakcie pomiarów ustalono przebieg sześciu składowych siły i momentu hydrodynamicznego dla szerokiego zakresu zmian współczynnika posuwu i kąta dryfu.
-
Model predictive controller for integrated wastewater treatment systems.
PublicationSterowanie optymalizujace systemem oczyszczania ścieków (WWTS) pozwala na zmniejszenie kosztów operacyjnych przy jednoczesnym spełnieniu narzuconych ograniczeń na wypływające ścieki, jednak wymaga zaawansowanych technologii sterowania. Sterowanie predykcyjne z modelem (MPC) jest bardzo użyteczną technologią sterowania takimi systemami. MPC doskonale radzi sobie z obecnością ogrniczeń na wielkości wyjściowe, wielowymiarowością problemu...
-
Semi-Markov model of diesel engines' operating process.
PublicationNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Model elektromechaniczny hydrogeneratora z uwzględnieniem asymetrii wewnętrznych.
PublicationW artykule przedstawiono model matematyczny hydrogeneratora, który powstał w wyniku prac dotyczących badania wpływu obwodu elektromagnetycznego na poziom drgań elementów maszyny. Istotą modelu jest uwzględnienie asymetrii wewnętrznej dotyczącej uzwojenia stojana, uzwojenia wzbudzenia i szczeliny powietrznej. Uwzględniono zmienność istotnych sprzężeń elektromechanicznych wynikających z drgań giętnych wału.Ze względu na złożoność...
-
Experimental measurements of the hydrodynamic characteristics of the pod propulsor models
PublicationPraca przedstawia wyniki pomiarów charakterystyk hydrodymicznych trzech wariantów modelu pędnika azymutalnego. Charakterystyki obejmują napór pędnika, siłę boczną i moment względem osi pionowej w zależności od współczynnika posuwu i kąta dryfu.
-
The shape of an ROC curve in the evaluation of credit scoring models
PublicationThe AUC, i.e. the area under the receiver operating characteristic (ROC) curve, or its scaled version, the Gini coefficient, are the standard measures of the discriminatory power of credit scoring. Using binormal ROC curve models, we show how the shape of the curves affects the economic benefits of using scoring models with the same AUC. Based on the results, we propose that the shape parameter of the fitted ROC curve is reported...
-
Finite automata for compact representation of language models in NLP
PublicationPrzedstawiona zostaje technika reprezentacji modeli języka w przetwarzaniu języka naturalnego wymagająca mało pamięci. Po krótkim omówieniu przyczyn poszukiwania oszczędnej reprezentacji takich modeli języka, pokazane jest, jak automaty skończone mogą być użyte w tym celu. Technika może być postrzegana jako zastosowanie i rozszerzenie doskonałej funkcji mieszającej z wykorzystaniem automatów skończonych. Pierwsze doświadczenia...
-
Bearing capacity factors of sand assessed by model tests
PublicationPrzedstawiono wyniki własnych badań modelowych fundamentów bezpośrednich posadowionych na trzech rodzajach piasków, wykonane w warunkach płaskiego stanu odkształcenia. Przeanalizowano wpływ tarcia gruntu o ściany boczne stanowiska badawczego, wpływ efektu skali oraz powtarzalności wyników na nośność badanych fundamentów bezpośrednich. Zastosowano specjalną własną metodykę wykonywania badań modelowych eliminującą wymieniony wpływ...
-
Reduced order models of refined Yee´s cells.
PublicationArtykuł opisuje nowe podejście zwiększające dokładność metody różnic skończonych za pomocą lokalnego zagęszczenia siatki. Obszar niewiele większy niż pojedyncza komórka Yee jest pokrywany gęstą siatką, a jej makromodel jest stworzony metodą redukcji rzędu modelu równań stanu w dziedzinie częstotliwości. Makromodele są użyte w metodach różnic skończonych w dziedzinie częstotliwości i czasu całej struktury. Inaczej niż w przypadku...
-
Electron diffision coefficients in triatomic gases measurements and model
PublicationPraca zawiera porównanie współczynników dyfuzji elektronów w gazach trójatomowych (N2O, C2O) zmierzonych w doświadczeniu ze współczynnikami wyznaczonymi numerycznie z wykorzystaniem równania Boltzmanna oraz z zastosowaniem metody Monte Carlo. Przedstawiona procedura pozwala zweryfikować przekroje czynne na zderzenia elektronów z drobinami gazów.
-
Model of coreless axial flux permanent magnet generator
Publication -
Collective Excitations in the Extended Hubbard Model with Intrasite Attraction
Publication -
A model of a tunable quantum dot in a semiconducting carbon nanotube
Publication -
Intelligent Knowledge-Based Model for IT Support Organization Evolution
Publication -
Dynamic model of nuclear power plant steam turbine
Publication -
Rich Bifurcation Structure in a Two-Patch Vaccination Model
Publication -
Model Predictive Controller for Integrated Wastewater Treatment System
Publication -
Mytilidae as model organisms in the marine ecotoxicology of pharmaceuticals - A review
Publication -
Model equations for interactions of hydrated species in transmembrane transport
Publication -
A Model of Risk for Assessment of Safety of Ships in Damaged Conditions
Publication -
Hidden Markov Models for Visual Processing of Marketing Leaflets
Publication