Filtry
wszystkich: 1249
-
Katalog
- Publikacje 959 wyników po odfiltrowaniu
- Czasopisma 4 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 16 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 27 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 233 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ANG. ROUGH SETS
-
Specyfikacja Systemu IP QoS opartego na architekturze DiffServ
PublikacjaArtykuł przedstawia ogólną specyfikację systemu IP QoS (ang. Internet Protocol Quality of Service), który to system jest obecnie implementowany w ramach projektu krajowego "Zarządzanie ruchemw sieciach IP". System ten jest zgodny z architekturą DiffServ (ang. Differentiated Services) i architekturą NGN (Next Generation Networks). W szczególności, artykuł pokrótce omawia architekturęsystemu, oferowane klasy usług w systemie oraz...
-
VOF-DEM-FEM combined model of the reef breakwater collapse
PublikacjaZespolony model numeryczny (metoda modelowania przepływu ze swobodną powierzchnią rozdziału faz ciekłej i gazowej w siatce nieruchomej (ang. Volume of Fluid - VOF, metoda elementów dyskretnych (ang. Distinct Element Method, metoda elementów skończonych (MES)) został wykorzystany do zbadania odkształceń falochronu narzutowego i jego piaszczystego podłoża w wyniku oddziaływania falowania powierzchniowego. Wyniki analizy numerycznej...
-
Programowo-sprzętowa platforma symulacyjna - Hardware In the Loop - zaawansowanego układu sterowania poziomem wody w pionowej wytwornicy pary elektrowni jądrowej
PublikacjaW artykule przedstawiono koncepcję programowo-sprzętowej platformy symulacyjnej wykorzystującej technikę symulacji w pętli sprzętowej HIL (ang. Hardware In The Loop simulation), wykorzystanej dla potrzeb projektowania i weryfikacji w czasie rzeczywistym (ang. Real Time) zaawansowanych algorytmów sterowania poziomem wody w pionowej wytwornicy pary elektrowni jądrowej. Jej głównymi elementami są: środowisko czasu rzeczywistego Matlab/Simulink...
-
Rola koloidalnych i zawiesinowych związków organicznych w technologii oczyszczania ścieków metodą osadu czunnego z biologicznym usuwaniem związków biogennych
PublikacjaRolę koloidalnych i zawiesinowych związków organicznych w technologii oczyszczania ścieków metodą osadu czynnego określono na podstawie badań kinetyki wybranych procesów biochemicznych tj. szybkość procesu denitryfikacji (z ang. NUR), poboru tlenu (z ang. OUR), uwalniania fosforanów (z ang. PRR) i poboru fosforanów w warunkach anoksycznych i tlenowych (z ang. PURANOX/PURAERO). Doświadczenia przeprowadzono z użyciem dwóch równoległych...
-
Programowo-sprzętowa platforma symulacyjna - Hardware In the Loop - zaawansowanego układu sterowania poziomem wody w pionowej wytwornicy pary elektrowni jądrowej
PublikacjaW artykule przedstawiono koncepcję programowo-sprzętowej platformy symulacyjnej wykorzystującej technikę symulacji w pętli sprzętowej HIL (ang. Hardware In The Loop simulation), wykorzystanej dla potrzeb projektowania i weryfikacji w czasie rzeczywistym (ang. Real Time) zaawansowanych algorytmów sterowania poziomem wody w pionowej wytwornicy pary elektrowni jądrowej. Jej głównymi elementami sa: środowisko czasu rzeczywistego Matlab/Simulink...
-
Potential energy curve, rovibrational energies and nuclear wave functions of 2 singlet Pi state in KLi dimer
Dane BadawczeThis data sets contains potential energy curve, energy levels and nuclear wave functions of rovibrational states of KLi dimer in 2 singlet Pi electronic state. Potential energy curve (PEC) for the electronic state was calculated in the Born-Oppenheimer approximation by the means of effective core potentials and MRCI method. Nuclear wave functions and...
-
Application of Pierson-Moskowitz wave spectrum to solution differential equations of multihull vessel
PublikacjaMotion of a dynamic system can be generated by different external or internal factors. At mathematical modelling external excitation factors of the most significant effect on the system, are selected. Such external factors are usually called excitations. Response of the system to given excitations is mathematically characterized by a definite transformation called operator of a system. For a broad class of dynamic systems the...
-
Architecture of Request/Response and Publish/Subscribe System Capable of Processing Multimedia Streams
PublikacjaAnaliza ''w locie'' (ang. on-the-fly) strumieni multimedialnych, zawierających wysokiej jakości dane obrazu i dźwięku, wciąż stanowi wyzwanie dla projektantów oprogramowania. Praca przedstawia architekturę systemu zdolnego do przetwarzania w czasie rzeczywistym strumieni multimedialnych przy użyciu komponentów działających w architekturze Publish/Subscribe oraz Request/Response, korzystających z możliwości Java Multimedia Framework...
-
Możliwości wyszukiwania dokumentów muzycznych utworzonych zgodnie z architekturą IODA
PublikacjaArtykuł przedstawia zagadnienie zastosowania dokumentów muzycznych utworzonych zgodnie z architekturą IODA (ang. Interactive Open Document Architecture). Dokumenty w architekturze IODA składają się z wielu plików powiązanych ze sobą semantycznie. Zależności te definiowane są w tzw. grzbiecie (ang. spine) dokumentu będącym plikiem w formacie XML (ang. eXtensible Markup Language). Dokumenty muzyczne tworzone zgodnie z architekturą...
-
Transmisja w kanale hydroakustycznym w warunkach NLOS
PublikacjaTransmisja danych w kanale hydroakustycznym w warunkach NLOS (ang. Non-Line-Of-Sight) jest szczególnie problematyczna. Dlatego podjęto próbę opracowania bezprzewodowej komunikacji podwodnej i jej przebadanie w warunkach NLOS. Zastosowano modulację MFSK (ang. Multiple Frequency-Shift Keying), przesyłając pojedynczy bit na dwóch nośnych, oraz odbiór zbiorczy. Uzyskane wyniki potwierdziły przydatność opracowanej techniki do transmisji...
-
Mean drift detection using statistical process control
PublikacjaCelem niniejszego rozdziału jest opisanie narzędzi statystycznej kontroli procesu (ang. Statistical Process Control - SPC), służących do detekcji dryfu wartości średniej w procesie. W oparciu o dane pochodzące z modelu: karty wartości średniej, odchylenia standardowego, karty oparte na testach sekwencyjnych oraz wykładniczo ważonej średniej ruchomej (ang. Exponentially Weighted Moving Average - EWMA), zostały porównane z punktu...
-
Optoelektroniczny system przestrzennego monitoringu wzbudzenia plazmy w procesach syntezy optycznych warstw diamentopodobnych
PublikacjaPrzedmiotem pracy jest optoelektroniczny system do badania wzbudzenia plazmy mikrofalowej w procesie syntezy warstw DLC (ang. Diamond Like-Carbon). W komunikacie zaprezentowano budowę systemu do przestrzennego monitoringu stanu wzbudzenia plazmy podczas procesu CVD. System SR-OES (ang. Spatially Resolved Optical Emission Spectroscopy) umożliwia określanie rozkładu wzbudzenia cząstek w przestrzeni komory i na tej podstawie wybrania...
-
Experimental study on the seepage flow through the ice jam
PublikacjaIn light of the observed climate change, there is a need for better understanding of river ice processes for managing water resources in the cold regions. Ice jams produce significant resistance which may cause rise of water level and flooding. The jam resistance is only referred to the roughness of its underside, and this approach lead to exceptional roughness coefficients which has no physical explanation. Number of evidences...
-
Emotions in Human-Computer Interaction Research Group (EMORG)
Zespoły Badawcze* rozpoznawanie emocji użytkownika (ang. emotion elicitation) * reprezentację informacji o emocjach użytkownika (ang. emotion representation/ affect modelling) i zarządzanie nimi * ekspresję emocji lub reakcję na emocje przez programy np. przez wirtualne postaci (ang. affect expression) * wybrane zastosowania to badanie użyteczności oprogramowania rozszerzone o aspekty emocjonalne * badania wzorców behawioralnych w połączeniu...
-
Idee inteligentnego rozwoju (ang.smart growth) i planowania zintegrowanego w przemianach rozwojowych miast
PublikacjaCelem pracy było określenie możliwości wykorzystania w warunkach polskich idei inteligentnego rozwoju (ang. smart growth) i planowania zintegrowanego, jako strategii odnowy miast po zbadaniu ich skuteczności dla odnowy miast zachodnioeuropejskich. Idee te zostały opisane w strategicznym dokumencie "Europa 2020 na rzecz inteligentnego i zrównoważonego rozwoju sprzyjającego włączeniu społecznemu", gdzie zakłada się odnowę miast europejskich...
-
SOA SOWI SOA (ang. Service Oriented Architecture) SOWI - usługowy system antyplagiatowy Politechniki Gdańskiej
ProjektyProjekt realizowany w Centrum Informat. Trójmiejskiej Akadem.Sieci Komputerowej
-
Rurka ciepła z pętlą obiegową jako urządzenie do odzysku ciepła
PublikacjaW pracy przedstawiono możliwości odzysku ciepła za pomocą rurki ciepła z pętlą obiegową (ang. loop heat pipe)
-
ANALIZA EFEKTYWNOŚCI METOD GŁĘBOKIEGO UCZENIA W ODBIORZE SYGNAŁÓW GMSK
PublikacjaSztuczna inteligencja odnajduje coraz szersze zastosowanie we współczesnej radiokomunikacji, choć głównie w ujęciu badawczym. Niniejszy artykuł przedstawia przegląd i ewaluację metod z obszaru głębokiego uczenia umożliwiających detekcję sygnałów z modulacją GMSK (ang. Gaussian Minimum Shift Keying) w kanale AWGN. Badane modele porównane zostały z optymalnym detektorem pracującym zgodnie z regułą największej wiarygodności MLSE (ang....
-
Modulacja 3D-SVPWM z kompensacją napięcia niezrównoważenia i balansowaniem napięć DC dla czterogałęziowego falownika 3L-NPC
PublikacjaPrzedstawiono realizację algorytmu modulacji napięcia 3D-SVPWM (ang. 3-Dimensional Space Vector Pulse Width Modulation) z kompensacją napięcia niezrównoważenia dla trójpoziomowego czterogałęziowego falownika 3L-NPC (ang. 3-Level Neutral-Point-diode-Clamped Converter). Do wyznaczania współczynników wypełnień w modulacji szerokości impulsów zastosowano liniowe funkcje kształtu czworościennego elementu skończonego z węzłami, których...
-
Bezpieczeństwo transferu zestrukturalizowanych plików xml w sieci grid w oparciu o usługi web service poprzez protokół soap
PublikacjaNiezależny protokół SOAP (ang. Simple Object Access Protocol) działający głównie ponad protokołem HTTP (inne protokoły transportowe to np. MSMQ, MQ Series, SMTP lub TCP/IP) posiada na dzień dzisiejszy wiele rozwiązań dotyczących bezpieczeństwa transferu zestrukturalizowanych plików XML (ang. Extensible Markup Language). W rozdziale zaprezentowano sposoby zapobiegania nieautoryzowanym dostępom do danych przesyłanych w sieci grid...
-
Entropy Production Associated with Aggregation into Granules in a Subdiffusive Environment
PublikacjaWe study the entropy production that is associated with the growing or shrinking of a small granule in, for instance, a colloidal suspension or in an aggregating polymer chain. A granule will fluctuate in size when the energy of binding is comparable to k_{B}T, which is the “quantum” of Brownian energy. Especially for polymers, the conformational energy landscape is often rough and has been commonly modeled as being self-similar...
-
A numerical model to simulate the motion of a lifesaving module during its launching from the ship’s stern ramp
PublikacjaThe article presents a numerical model of object motion in six degrees of freedom (DoF) which is intended to be used to simulate 3D motion of a lifesaving module during its launching from a ship using a stern ramp in rough sea. The model, of relatively high complexity, takes into account both the motion of the ship on water in changing sea conditions, and the relative motion of the ramp with respect to the ship. The motion of the...
-
Architecture of Request/Response and Publish/Subscribe System Capable of Processing Multimedia Streams
PublikacjaAbstrakt Analiza ''w locie'' (ang. on-the-fly) strumieni multimedialnych, zawierających wysokiej jakości dane obrazu i dźwięku, wciąż stanowi wyzwanie dla projektantów oprogramowania. Praca przedstawia architekturę systemu zdolnego do przetwarzania w czasie rzeczywistym strumieni multimedialnych przy użyciu komponentów działających w architekturze Publish/Subscribe oraz Request/Response, korzystających z możliwości Java Multimedia...
-
A fractionally delaying complex Hilbert transform filter
PublikacjaPrzedstawiono nowy, dyskretno-czasowy, ułamkowo-opóźniający (FD od ang. fractional delayor), zespolony filtr Hilberta (HTF od ang. Hilbert transform filter) nazwany FDHTF. Filtr ten jest oparty na parze obróconych filtrów o zmiennym opóźnieniu ułamkowym (VFD od ang. variable fractional delayor). Za pomocą filtru FDHTF realizuje się jednocześnie filtrację Hilberta i wprowadzanie ułamkowego opóźnienia do przetwarzanego sygnału. Dzięki...
-
Wykrywanie on-line anomalii w odebranym sygnale PSK za pomocą zespolonej pulsacji chwilowej
PublikacjaJednym z głównych problemów w analizie sygnałów PSK (ang. Phase Shift Keying) jest wykrywanie anomalii występujących w sygnale odebranym. Większość urządzeń stosowanych do analizy sygnałów PSK (np. oscyloskopy cyfrowe, analizatory widma) w celu wykrycia anomalii wykorzystuje algorytm EVM (ang. Error Vector Magnitude) w którym bada się, on-line, różnicę między konstelacją PSK, a skupieniami odebranych symboli zespolonych. W związku...
-
Determining Pronunciation Differences in English Allophones Utilizing Audio Signal Parameterization
PublikacjaAn allophonic description of English plosive consonants, based on audio-visual recordings of 600 specially selected words, was developed. First, several speakers were recorded while reading words from a teleprompter. Then, every word was played back from the previously recorded sample read by a phonology expert and each examined speaker repeated a particular word trying to imitate correct pronunciation. The next step consisted...
-
Modulacja 3D-SVPWM dla przekształtników wielopoziomowych czterogałęziowych na bazie funkcji kształtu
PublikacjaPrzedstawiono realizację algorytmu modulacji napięcia 3D-SVPWM (ang. 3-Dimensional Space Vector Pulse Width Modulation) dla trójpoziomowego czterogałęziowego przekształtnika 3L-NPC (ang. 3-Level Neutral-Point-diode-Clamped Converter). Do wyznaczania współczynników wypełnień w modulacji szerokości impulsów zastosowano liniowe funkcje kształtu czworościennego elementu skończonego. Proponowany algorytm modulacji nie jest ograniczony...
-
Przegląd miar oceny oprogramowania
PublikacjaProblem oceny oprogramowania istnieje od momentu pojawienia się pierwszego programu komputerowego. Historycznie miary jakości oprogramowania miały zupełnie inne przeznaczenie, gdyż skupiały się na częstotliwości defektów lub błędów oprogramowania. Błędnie bazowało to na założeniu, że jakość oprogramowania to brak błędów. Stąd też używano prostej statystyki typu liczby błędów, wykrytych w określonym przedziale czasu (np. rocznym)...
-
Multistatyczny, Dopplerowski System określania położenia i prędkości ruchomych celów w wodzie
PublikacjaW omawianym w pracy multistatycznym, dopplerowskim systemie określania położenia i prędkości ruchomych celów w wodzie źródłem sygnału są dwa nadajniki emitujące sinusoidalne, akustyczne fale ciągłe o różnych częstotliwościach, które po odbiciu od ruchomego celu są obierane przez cztery hydrofony. W artykule przedstawiono analize teoretyczna efektu Dopplera, na którym oparte jest działanie systemu oraz metodę rozwiązania głównych...
-
Vision-based parking lot occupancy evaluation system using 2D separable discrete wavelet transform
PublikacjaA simple system for rough estimation of the occupancy of an ad-hoc organized parking lot is presented. A reasonably simple microprocessor hardware with a low resolution monochrome video camera observing the parking lot from the location high above the parking surface is capable of running the proposed 2-D separable discrete wavelet transform (DWT)-based algorithm, reporting the percentage of the observed parking area occupied by...
-
FORECASTING EXCHANGE RATES IN THE PROCESS OF THE ASSESSMENT OF CONSUMER RISK BANKRUPTCY IN CENTRAL EUROPE
PublikacjaThis paper focuses on the issue of forecasting the fluctuation of exchange rates as part of the early warning system against the risk of consumer bankruptcy. The author identified the main macroeconomic factors affecting the level of bankruptcies for households in Poland. The fluctuation of exchange rates, which directly affects the deterioration of the economic situation of borrowers who have opened credit accounts in a foreign...
-
Discovering patterns of Web Page Visits from Associaton Rules Viewpoint
PublikacjaThe popularity of the Internet results from the almost unlimited resources of information stored in it. At the same time, Internet portals have become a widespread source of information and note very large number of visits. The list of web pages opened by users is stored in web servers' log files. Extraction of knowledge on the navigation paths of users has become carefully analyzed problem. Currently, there are a number of algorithms...
-
BLOOD PRESSURE ESTIMATION BY MEANS OF A JOINT IMPEDANCE– PHOTOPLETYSMOGRAPHIC METHOD
PublikacjaThe knowledge of patient’s day to day blood pressure changes is invaluable to physicians for both diagnostics and health monitoring reasons. Constant observation of the pressure throughout a day would provide even more valuable clinical information. A convenient non-invasive methods of blood pressure estimation for monitoring purposes are widely proposed. This work shows a statistical approach to...
-
Potential energy curves of LiCs dimer
Dane BadawczeThis data presents potential energy curves of LiCs dimer in Hund's case (a). Calculated using Born-Oppenheimer approximation with scalar relativistic effects are included via large effective core potentials. Custom basis sets, core polarization potentials and MRCI method are used to accurately describe electron correlation. Dataset consists of 22 potential...
-
Identyfikacja parametrów detektora SIFT dla problemu georeferencjonowania zobrazowań z platformy UAV
PublikacjaW pracy porównano dokładność procesu georeferencjonowania zdjęć zarejestrowanych przy pomocy urządzenia mikro UAV (ang. Unmanned Aerial Vehicle) w zależności od konfiguracji detektora cech SIFT (ang. Scale-Invariant Feature Transform. Na potrzeby eksperymentów wykorzystano implementację detektora vlfeat, a porównanie przeprowadzono na zbiorze zobrazowań pochodzących z lotów, które odbyły się w lipcu 2011 r. w terenie słabo zurbanizowanym....
-
WPŁYW WEWNĘTRZNYCH ŹRÓDEŁ WĘGLA ORGANICZNEGO NA EFEKTYWNOŚĆ USUWANIA ZWIĄZKÓW BIOGENNYCH METODĄ OSADU CZYNNEGO
PublikacjaWpływ wewnętrznych źródeł węgla organicznego w formie koloidalnej i zawiesinowej na efektywność usuwania związków biogennych metodą osadu czynnego określono na podstawie badań szybkości denitryfikacji (z ang. NUR) oraz uwalniania i anoksycznego poboru fosforanów (z ang. PRR/PUR). Doświadczenia przeprowadzono z użyciem dwóch równoległych reaktorów nieprzepływowych ze ściekami oczyszczonymi mechanicznie (bez podczyszczania i podczyszczonymi...
-
ASIC Design Example of Complex SoC with FPGA Prototyping
PublikacjaThe paper presents an example of the System on a Chip design, where the FPGA prototyping has been used. Two FPGA prototypes have been realized. The first FPGA prototype uses AVNET board containing Xilinx Virtex4 device accompanied by custom board with required devices. The second FPGA prototype has been built using the custom PCB with Xilinx Virtex-4 XC4VLX60 FPGA accompanied by all needed external components. The final system...
-
Zastosowanie metody AHP do oceny zagrożeń na stanowiskach pracy.
PublikacjaW artykule przedstawiono podstawy wielokryterialnej metody wspomagania decyzji AHP (ang. Analytic Hierarchy Process) oraz jej zastosowanie do oceny zagrożeń na stanowiskach pracy.
-
Integracja danych przestrzennych z satelitarnych i lotniczych sensorów obrazujących w systemach czasu rzeczywistego
PublikacjaRozprawa dotyczy multidyscyplinarnego problemu integracji danych przestrzennych z sensorów lotniczych i satelitarnych w nowoczesnych systemach informatycznych zapewniających działanie w czasie niemal rzeczywistym. Zagadnienia poruszone w pracy obejmują m.in. systemy GIS, teledetekcję, fotogrametrię, rozpoznawanie wzorców jak również usługi sieciowe. W rozprawie omówiono oryginalne rozwiązania autora obejmujące opracowanie oraz...
-
Monitoring Parkinson's disease patients employing biometric sensors and rule-based data processing
PublikacjaArtykuł prezentuje automatyczny system wykrywania pogorszenia zdrowia pacjentów z chorobą Parkinsona opracowany w ramach projektu PERFORM.The paper presents how rule-based processing can be applied to automatically evaluate the motor state of Parkinson's Disease patients. Automatic monitoring of patients by using biometric sensors can provide assessment of the Parkinson's Disease symptoms. All data on PD patients' state are compared...
-
Logika opisowa jako język modelowania oprogramowania
PublikacjaW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Otopy Classification of Gradient Compact Perturbations of Identity in Hilbert Space
PublikacjaWe prove that the inclusion of the space of gradient local maps into the space of all local maps from Hilbert space to itself induces a bijection between the sets of the respective otopy classes of these maps, where by a local map we mean a compact perturbation of identity with a compact preimage of zero.
-
Conley-Morse graphs for a two-dimensional discrete neuron model (low resolution)
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper “Topological-numerical analysis of a two-dimensional discrete neuron model” by Paweł Pilarczyk, Justyna Signerska-Rynkowska and Grzegorz Graff. A preprint of this paper is available at https://doi.org/10.48550/arXiv.2209.03443.
-
Conley-Morse graphs for a two-dimensional discrete neuron model (limited range)
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper “Topological-numerical analysis of a two-dimensional discrete neuron model” by Paweł Pilarczyk, Justyna Signerska-Rynkowska and Grzegorz Graff. A preprint of this paper is available at https://doi.org/10.48550/arXiv.2209.03443.
-
Conley-Morse graphs for a two-dimensional discrete neuron model (full range)
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper “Topological-numerical analysis of a two-dimensional discrete neuron model” by Paweł Pilarczyk, Justyna Signerska-Rynkowska and Grzegorz Graff. A preprint of this paper is available at https://doi.org/10.48550/arXiv.2209.03443.
-
Techniki sprzętowej teselacji do wygładzania i uszczegóławiania modeli trójwymiarowych
PublikacjaDirectX 11 oraz OpenGL 4 wprowadziły do potoku renderującego bardzo oczekiwaną teselację. Wraz z upływem czasu coraz więcej silników graficznych zostaje dostosowywanych do wspierania tej technologii. W artykule przedstawiona została koncepcja teselacji od strony teoretycznej oraz praktycznej. Opisany został nowy potok renderujący, a w szczególności dedykowane teselacji programy cieniujące (ang. shaders). Główną część artykułu stanowi...
-
Laminaty FRP w budownictwie - charakterystyka materiału i aspekty projektowania
PublikacjaW artykule przedstawiono charakterystykę laminatów polimerowych wzmacnianych włóknami. W pierwszej części zaprezentowano teoretyczne modele materiałowe, podstawowe zależności naprężenie-odkształcenie włókien, matrycy oraz laminatu powstałego przez połączenie obydwu składników. Na tej podstawie sformułowano zalecenia dotyczące praktycznego wykorzystania laminatu w kontekście jego wytężenia w projektowaniu elementów konstrukcyjnych....
-
Trust Case: justifying trust in an IT solution
PublikacjaW artykule prezentujemy podejście wykorzystane przy budowie dowodu zaufania (ang. trust case) do DRIVE, infrastruktury informatycznej wspomagającej dystrybucję i podawanie leków. Cele DRIVE obejmowały bezpieczniejszą i mniej kosztowną dystrybucję leków. Dowód zaufania reprezentuje argumentację przemawiającą za tym, że DRIVE jest godne zaufania. Składa się on z żądań (ang. claims) postulujących pewne związane z zaufaniem własności...
-
Zastosowanie algorytmów rojowych do kolorowania grafów
PublikacjaPrzedstawiamy sposób adaptacji heurystycznej metody przeszukiwania PSO (ang. Particle Swarm Optimization) do znajdowania suboptymalnych pokolorowań wierzchołkowych grafów prostych. Prezentujemy sposób przeprowadzenia eksperymentów obliczeniowych oraz ich wyniki.
-
Quasirelativistic potential energy curves of NaRb dimer
Dane BadawczeThis data presents potential energy curves of NaRb dimer, that include spin-orbit interaction, in Hund's case (c). Calculated using Born-Oppenheimer approximation with relativistic effects included via large spin-orbit effective core potentials. Custom basis sets, core polarization potentials and MRCI method are used to accurately describe electron...