Search results for: SCHEMATY XML
-
Empirical evaluation of reading techniques for UML models inspection
PublicationArtykuł przedstawia eksperyment, w ramach którego porównane zostały trzy techniki czytania (ad hoc, UML-HAZOP oraz podejście scenariuszowe) zastosowane do inspekcji modeli obiektowych. UML-HAZOP jest techniką czytania wywodzącą się z dziedziny systemów krytycznych, związanych z bezpieczeństwem. W publikacji opisano technikę UML-HAZOP oraz jej różne warianty wykorzystane w eksperymencie. Przedstawiono projekt, sposób przeprowadzenia...
-
Using UML/WS-CDL for modelling negotiation scenarios
PublicationW celu usprawnienia realizacji przedsięwzięć ludzkich w Internecie potrzebne jest zdefiniowanie reguł i procedur komunikacji pomiędzy uczestnikami. Scenariusze przedsięwzięć mogą być wyrażane w językach opisu choreografii. Artykuł prezentuje metodologię tworzenia scenariuszy w języku WS-CDL oraz wyniki eksperymentów polegających na przeprowadzeniu negocjacji w Internecie z wykorzystaniem różnych scenariuszy negocjacyjnych.
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublicationOpisano schemat transakcji przy wykorzystaniu protokołu WAP. Zaprezentowano język znaczników WML dla urządzeń bezprzewodowych. Przedstawiono narzędzia służące do tworzenia aplikacji opartych o protokół WAP. Wskazano na kirunki rozwoju protokołu i inne standardy o podobnych funkcjach.
-
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...
-
Rola fragmentów wyodrębnionych w języku UML 2
PublicationPrzedmiotem rozważań zaprezentowanych w niniejszej publikacji są zmiany oraz udoskonalenia związane z superstrukturą języka UML, wprowadzone wraz z wersją 2.0 tego standardu. W odróżnieniu od modyfikacji poczynionych w ramach poprzednich rewizji języka, zakres udoskonaleń związanych z przejściem pomiędzy wersjami 1.5 oraz 2.0 określić należy jako znaczny. W niniejszym referacie skoncentrowano się na jednej, ale bardzo znaczącej...
-
Automatyczne generowanie testów na podstawie modeli UML
PublicationRozdział stanowi wprowadzenie do problematyki automatycznej generacji przypadków testowych na podstawie dokumentacji wykonanej w UML. Zaprezentowano powiązania pomiędzy dokumentacją wykonaną w fazach analizy i projektowania systemu a dokumentacją testową, szersze ujęcie zagadnień automatycznego generowania testów, metody generowania przypadków testowych, wyniki podobnych prac (projekt AGEDIS, profil testowy UML) oraz dyskusję efektywności...
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublicationKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...
-
Naświetlanie schematów gęsto upakowanych połączeń elektrycznych za pomocą prototypowego urządzenia laserowego
PublicationPłytki drukowane są jednym z głównych elementów składowych urządzeń elektronicznych. Jednakże, dążenie do miniaturyzacji układów elektronicznych szczególnie widoczne w ostatnim dziesięcioleciu, wymusza miniaturyzację połączeń elektrycznych na płytkach drukowanych. Podstawowym parametrem określającym stopień miniaturyzacji połączeń elektrycznych na płytkach drukowanych jest tzw. gęstość upakowania ścieżek. Parametr ten klasyfikuje...
-
Naświetlanie schematów gęsto upakowanych połączeń elektrycznych za pomocą prototypowego urządzenia laserowego
Publication -
Recognition, understanding and aestheticization of freehand drawing flowcharts
PublicationIn this paper a concept of FCA, a system for recognizing, understanding and aestheticization of freehand drawing flow charts is described. The system is based on a proposed by the author FlowGram graph grammar describing flow charts drawing. An open format FlowChartML for flow charts description is also proposed. The aestheticization criterion is formulated that allows for automatic beautification of flow charts. First experiments...
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublicationKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł 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...
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublicationArtykuł 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....
-
Experimental comparison of UML-HAZOP inspection and non-structured review
PublicationArtykuł 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.
-
Timing diagrams functionalities in information systems modeling with UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Equivalent spice circuits with guaranteed passivity from nonpassive models
PublicationW artykule przedstawiona została nowa technika wymuszania pasywności schematów zastępczych. Opracowana technika pozwala na konstrukcję schematów zastępczych bardzo złożonych układów, oraz pozwala na wymuszenie pasywności modelu tworzonego na podstawie danych niepasywnych.
-
O zagrożeniu bezpieczeństwa konstrukcji dachu na skutek zastosowanych w projekcie uproszczonych schematów obliczeniowych
PublicationZaprezentowano wyniki przestrzennej analizy statycznej konstrukcji dachu. Zbadano wpływ ugięcia podciągów na rozkład sił w spoczywających na nim kratownicach. Stwierdzono, że ugięcia podciągów powodują znaczny wzrost sił ściskających w kratownicach opierających się na podciągach i murach kościoła. W celu uniknięcia wzrostu sił w kratownicach zaprojektowano podpory umożliwiające poziome przemieszczenia na murach.
-
Urządzenie laserowe do bezpośredniego naświetlania gęsto upakowanych schematów obwodów elektrycznych na płytkach drukowanych
PublicationObecnie do przenoszenia wzoru schematu połączeń elektrycznych z kliszy na wartwę fotopolimeru na płytce drukowanej stosuje się metodę fotolitograficzną. Metoda ta jest zadowalająca dla płytek drukowanych, w których gęstość upakowania ścieżek jest większa niż 120 μm/120 μm (szerokość ścieżki/szerokość odstępu pomiędzy ścieżkami). Metoda bezpośredniego naświetlania obwodów elektrycznych jest stosowana dla uzyskania większej gęstości...
-
Explicit difference schemes for nonlinear differential functional parabolic equations with time dependent coefficients - convergence analysis
PublicationW pracy wykazano zbieżność metody różnicowej dla zagadnienia początkowego dla równania parabolicznego bez pochodnych mieszanych, ze współczynnikami zależnymi od czasu, z nieliniową i nielokalną prawą stroną równania.
-
A new OSS design based on parameter sensitivity tochanges in measurements
PublicationW wyniku istniejących silnych ograniczeń praktycznych i etycznych nałożonych na eksperymenty medyczne, procedura estymacji parametrów w diagnozie i terapii jest często zagadnieniem skomplikowanym. Jeśli dane pomiarowe pobierane są w postaci próbek krwi, liczba tych próbek, a także czas obserwacji powinny być zminimalizowane. Optymalizacja eksperymentu polega na optymalizacji odpowiedniego sformułowanego kryterium będącego funkcją...
-
Transcriptomic and proteomic analysis of mouse radiation-induced acute myeloid leukaemia (AML)
Publication -
A fair distribution scheme for joint fingerprinting and decryption methods= Sprawiedliwy schemat dystrybucji dla metod łącznego osadzania odcisku palca oraz deszyfracji
PublicationThe paper addresses the fairness of the security provided by digital fingerprinting methods. It was noted that the digital fingerprinting techniques are designed primarily to protect service providers against the actions of malicious users, while honest users remain vulnerable to acts of malicious providers. The paper describes the customer's rights problem and the unbinding problem, which also apply to joint fingerprinting and...
-
Analysis of unsteady pipe flow using the modified finite element method
PublicationW pracy przedstawiono rozwiązanie równania przepływu nieustalonego zmodyfikowaną metodą elementów skończonych. Podejście to prowadzi do 6-punktowego schematu niejawnego z dwoma parametrami wagowymi. Analiza dokładności wykonana metodą równania zmodyfikowanego wykazała, że zaproponowany schemat zapewnia wyższą dokładność rozwiązania niż inne schematy. Porównanie wyników obliczeń z wynikami eksperymentu fizycznego wskazuje, że ich...
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
Ocena funkcjonalna środowisk modelowania UML jako składowa wielokryterialnej oceny technologii informatycznych
PublicationW artykule przedstawiono koncepcję systemu wieloagentowego do oceny technologii informatycznych stosowanych do wytwarzania oprogramowania. Jednym z komponentów takiego rozwiązania ma być system ekspertowy bazujący na wiedzy. Jako, że niezbędnym etapem prac będzie przygotowanie bazy wiedzy, konieczny będzie w pierwszej kolejności dobór adekwatnych parametrów. Autor prezentuje wyniki pierwszych, wstępnych badań nad środowiskami do...
-
Leukemiogeneza oraz współczesne metody terapii przeciwnowotworowych na przykładzie ostrej białaczki szpikowej - AML
PublicationNie dotyczy
-
Kras mutations and PU.1 promoter methylation are new pathways in murine radiation-induced AML
Publication -
Rola i funkcje diagramów harmonogramowania w modelowaniu systemów informatycznych z wykorzystaniem języka UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Optimization of biocorrosion resistance and mechanical properties of PM Ti–XAl–2Fe–3Cu alloys by response surface methodology
PublicationIn the current study, the biocorrosion resistance and mechanical properties of the Ti–XAl–2Fe–3Cu (wt%) (X = 6, 4, 2 wt%) alloy produced by powder compact extrusion of blended elemental powders were optimized by using the response surface methodology in order to gain the best combination of processing parameters. To run the optimization process, central composite design with three equal levels of oxygen, hydrogen and aluminum was...
-
Identyfikacja parametrów zastępczego schematu elektrycznego krwiobiegu nerki na podstawie niepełnych danych pomiarowych : The parameters identification of the equivalent electric circuit of the kidney blood circulation basis on incomplete measuring date
PublicationW referacie przedstawiono metodę identyfikacji parametrów elektrycznego schematu zastępczego odwzorowującego przepływ krwi przez nerkę. Napięcie potraktowano jako sygnał wejściowy, któremu w hemodynamice odpowiada ciśnienie, natomiast prąd jako sygnał wyjściowy, któremu odpowiada przepływ krwi. Przebieg napięcia aproksymowano funkcją sklejaną w celu uproszczenia procedury pomiarowej i ograniczenia fluktuacji związanych z przebiegiem...
-
Transforming a Flat Metadata Schema to a Semantic Web Ontology: The Polish Digital Libraries Federation and CIDOC CRM Case Study
Publication -
Document transformations for data processing in information systems
PublicationAtrykuł przedstawia podejście do automatyzacji transformacjidokumentów użytkownika bazujące na technologii XML. W artykuleprzedstawiony został system Endoscopy Recommender System.ERS wykorzystuje dedykowane transformacje XML Schema do Java, Java dodokumentów XML. Dzięki tym transformacjom procesy pobierania iprzechowywania danych zostały w pełni zautomatyzowane.Zaimplementowane podejście XML data binding umożliwia walidacjępodstawowych...
-
The DICOM standard for medical thermal imaging
PublicationW pracy przedstawiono propozycję schematu danych dla potrzeb ujęcia jej w międzynarodowej normie DICOM. Schemat danych oraz oprogramowanie referencyjne przygotowane dla potrzeb aplikacji termografii w medycynie.
-
Antitumor triazoloacridinone C-1305 as a potent FLT3 tyrosine kinase inhibitor in human acute myeloid leukemia (AML) cells.
PublicationJednym z defektów molekularnych u pacjentów z ostrą białaczką szpikową (AML) jest konstytutywna aktywacja receptoroweej kinazy tyrozynowj FLT3.Najczęstszą mutacją genu kodującego FLT3 jest wewnętrzna tandemowa duplikacja ITD we fragmencie okołobłonowym receptora. W pracy zbadano, czy przeciwnowotworowy triazoloakrydon C-1305 może być inhibitorem kinazy tyrozynowej FLT3. Badania przeprowadzono na dwóch liniach komórkowych białaczek...
-
Ocena możliwości pozostawienia żurawia 642-24 na estakadzie B-5 (PK3, 291-46) w obecnej lokalizacji tj. od strony ul. Jana z Kolna po modyfikacji schematu statycznego
PublicationEkspertyza dotyczy oceny możliwości pozostawienia żurawia 642-24 na estakadzie B-5 (PK3, 291-46) w obecnej lokalizacji tj. od strony ul. Jana z Kolna po modyfikacji schematu statycznego. Zakres opracowania obejmuje opisy: aktualnego stanu technicznego obiektu, badań polowych, obliczeń i analiz MES konstrukcji oraz orzeczenie dotyczące warunków realizacji modernizacji estakady.
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Functional Properties and Antioxidant Activity of Morus alba L. Leaves var. Zolwinska Wielkolistna (WML-P)—The Effect of Controlled Conditioning Process
Publication -
International XML Database Symposium
Conferences -
Programming Language Techniques for XML
Conferences -
Reguły efektywnego projektowania semantycznych usług WWW
PublicationW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...
-
Całkowanie nieliniowych równań dynamiki ciała sztywnego i powłok sprężystych.
PublicationOgólnym celem pracy jest studium i opracowanie algorytmów numerycznych do analizy dynamicznej układów mechanicznych. Opracowane i analizowane schematy całkowania nieliniowych równań ruchu odnoszą się do konstrukcji sformułowanych w ramach teorii sześcioparametrowej (modele bryły sztywnej, przestrzennych konstrukcji prętowych oraz niektóre teorie płyt i powłok). Podstawę pracy stanowią rozważania teoretyczne z zakresu metod numerycznych...
-
Static magnetic multipole susceptibilities of the relativistic hydrogenlike atom in the ground state: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublicationWe study far- and near-field magnetic and electric multipole moments induced in the ground state of the Dirac one-electron atom placed in a weak 2L-pole magnetostatic field. The analysis is carried out within the framework of the first-order Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian expansion of the generalized Dirac-Coulomb Green function [Szmytkowski, J. Phys. B 30, 825 (1997);J. Phys. B 30, 2747(E)...
-
A fast high-resolution 3-D Finite Difference Time-Domain scheme with macromodels.
PublicationZaprezentowano szybki trójwymiarowy wysokorozdzielczy algorytm różnic skończonych w dziedzinie czasu. Zwiększona rozdzielczość osiągnięta została poprzez połączenie standardowego schematu FDTD z makromodelami silnie zagęszczonych objętości stworzonych przez zastosowanie redukcji rzędu modelu. Nowy schemat FDTD z makromodelami jest wyprowadzony. Koszt numeryczny nowej metody jest wyestymowany. Doskonałe wyniki zostały zaobserwowane...
-
Urządzenia radiokomunikacyjne - 2022/2023
e-Learning CoursesNa wykładzie będą poruszane m.in. następujące zagadnienia: 1. Metoda oznaczania emisji radiowych. 2. Schemat blokowy nadajnika radiokomunikacyjnego 3. Schematy blokowy odbiornika radiokomunikacyjnego 4. Syntezatory częstotliwości. 5. Przykłady urządzeń radiokomunikacyjnych. 6. Radio programowalne. Kierunek EiT, sem. 7, studia stacjonarne I stopnia, profil Systemy i sieci radiokomunikacyjne
-
Urządzenia radiokomunikacyjne - 2023/2024
e-Learning CoursesNa wykładzie będą poruszane m.in. następujące zagadnienia: 1. Metoda oznaczania emisji radiowych. 2. Schemat blokowy nadajnika radiokomunikacyjnego 3. Schematy blokowy odbiornika radiokomunikacyjnego 4. Syntezatory częstotliwości. 5. Przykłady urządzeń radiokomunikacyjnych. 6. Radio programowalne. Kierunek EiT, sem. 7, studia stacjonarne I stopnia, profil Systemy i sieci radiokomunikacyjne
-
Effect of long term service at elevated temperatures on mechanical properties of Manaurite XM reformer tubes
PublicationMicrostructure transformations occur in the Manaurite XM cast steel tubes during long-term operation in the reformer furnace were revealed and described. The rela tionship between mechanical properties, an increase of internal diameter of the tube and microstructure degradation is discussed. Static tensile test was performed on two types of samples with different shapes. It has been shown differences in the results of tests...
-
Implicit difference methods for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Są to schematy różnicowe uwikłane względem zmiennej czasowej. Podana jest pełna analiza zbieżności rozważanych metod uwikłanych oraz przykład numeryczny pokazujący, że klasa tych metod jest szersza niż klasa schematów jawnych. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem...
-
Reverse flow routing problem solved by the Space-Time Conservation Method
PublicationW artykule rozpatruje się zagadnienie odwrotnej transformacji przepływów dla przypadku przepływu nieustalonego wolno zmiennego w kanałach otwartych, opisanego układem równań de Saint Venanta. Przedstawiono specyficzne dla rozpatrywanego przypadku problemy powstające na etapie jego rozwiązywania oraz zaproponowano efektywny algorytm obliczeniowy, wykorzystujący nową, atrakcyjną metodę czasoprzestrzennych objętości skończonych. Do...
-
Trustworthy Applications of ML Algorithms in Medicine - Discussion and Preliminary Results for a Problem of Small Vessels Disease Diagnosis.
PublicationML algorithms are very effective tools for medical data analyzing, especially at image recognition. Although they cannot be considered as a stand-alone diagnostic tool, because it is a black-box, it can certainly be a medical support that minimize negative effect of human-factors. In high-risk domains, not only the correct diagnosis is important, but also the reasoning behind it. Therefore, it is important to focus on trustworthiness...
-
ACM SIGIR Workshop on XML and Information Retrieval
Conferences