Publikacje
Filtry
wszystkich: 476
Katalog Publikacji
Rok 2003
-
Symulacje dynamiczno-molekularne ultraprecyzyjnego skrawania metali.
PublikacjaW pracy krótko przedstawiono powstałe w latach 1995-2001 algorytmy MD specjalizowane do symulacji przebiegu skrawania w skali nanometrycznej (ARMD iLRMD). W świetle tych algorytmów zaprezentowano opracowany przez autorów nowy algorytm i program do symulacji nanociencia, nano MD, oraz pokazano wybrane wyniki uzyskane za jego pomocą.
-
Techniki obsługi wyjątków w systemach informatycznych.
PublikacjaW pracy przedstawiono podstawowe techniki obsługi wyjątków oraz mechanizmy wspierające taką obsługę występujące w różnych platformach oprogramowania sekwencyjnego i rozproszonego.
-
Tracing of dynamic objects in distributed interactive simulation systems
PublikacjaDistributed interactive simulation systems require integration of several areas of computer science and applied mathematics to enable each individual simulation object to visualize effectively dynamic states of other objects. Objects are unpredictable,i.e., controlled by their local operators, and are remote, i.e., must rely on some transmission media to visualize dynamic scene from their local perspectives. The paper...
-
Usługi Webowe dla zastosowań L2L.
PublikacjaPrzedstawiono problemy komunikacji pomiędzy systemami informatycznymi dla sektora B2B. Jako rozwiązanie zaproponowano technologię Usług Webowych (Web Service). Omówiono jej koncepcję oraz przykładową implementację przy pomocy protokołów: HTTP, SOAP czy WSDL. Problemy związane z integracją aplikacji zilustrowano na przykładzie aplikacji tworzonych w ramach w ramach projektu PBI. Wskazano dalszy możliwy kierunek rozwoju tego...
-
Visual GQM approach to quality driven development of electronic documents.
PublikacjaJednym z celów projektu europejskiego MEORIAL jest opracowanie nowej technologii wytwarzania webowych systemów informacyjnych wykorzystujących interaktywne dokumenty cyfrowe wytworzone z papierowych oryginałów z zastosowaniem zaawansowanych technik przetwarzania i rozpoznania obrazów. Wieloelementowy model cyklu życia dokumentu cyfrowego przedstawiony w artykule stanowi postawę opracowanej technologii.
-
Zdalne monitorowanie stanu obiektów w systemach interaktywnej symulacji rozproszonej.
PublikacjaW artykule omówiony został model zarządzania informacją o stanie obiektów w systemie symulacji rozproszonej czasu rzeczywistego. Przedstawiona została nowa metoda filtracji komunikatów wymienianych przez obiekty symulacji w systemie, tworzącym scenę dynamiczną. Proponowana metoda uwzględnia takie pojęcia jak ''kontekst'' zdarzenia, ''jakość wizualizacji'' po stronie obserwatora, ''zobowiązań'' obiektów dotyczących ich przyszłego...
Rok 2002
-
Analiza bezpieczeństwa usług i transakcji w systemach informatycznych
PublikacjaOmówiono zasady zapewnienia bezpieczeństwa usług elektronicznych w archi-tekturze klient - serwer w oparciu o SSL, podpis elektroniczny, PKI, certy-fikaty. Przedstawiono metodę analizy bezpieczeństwa w oparciu o przyjętą worganizacji politykę bezpieczeństwa, zastosowane modele i wykorzystane pro-cedury testowania. Celem tych rozważań jest określenie możliwości oceny iwyboru odpowiednich środków zapewniających bezpieczeństwo...
-
API warstwy pośredniczącej w środowisku J2EE. .
PublikacjaPrzedstawiono wybrane elementy środowiska J2EE związane z korzystaniem z bazy danych oraz systemu kolejkowego w warstwie pośredniczącej serwera aplikacyjnego. Opisano sposób korzystania z tych elementów oraz ich implementację w API serwera aplikacyjnego IBM WebSphere Application Server.
-
Architektura i zastosowanie serwerów aplikacji.
PublikacjaPrzedstawiono podstawowe pojęcia związane z architekturą serwerów sieciowych, serwerów WWW i serwerów aplikacji. Przeanalizowano główne problemy ich projektowania. Zwrócono uwagę na rozwój serwerów aplikacji opisując dwa standardy NET i J2EEE, oraz podając dziedziny ich zastosowań.
-
Bezpieczeństwo handlu elektronicznego
PublikacjaRozpatrzono i scharakteryzowano wielowarstwowe architektury systemów informatycznych wspomagających handel elektroniczny. Zasygnalizowano niezbędne różnego typu mechanizmy zabezpieczeń dla podstawowych usług i określonych klas zagrożeń. Główną uwagę zwrócono na podpisy cyfrowe. Na tej podstawie wprowadzono model zaufania oraz zdefiniowano metryki pozwalające na oszacowanie ryzyka przeprowadzanych transakcji. Zaprezentowano również...
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Development and tuning of irregular divide-and-conquer applications in DAMPVM/DAC
PublikacjaThis work presents implementations and tuning experiences with parallel irregular applications developed using the object oriented framework DAM-PVM/DAC. It is implemented on top of DAMPVM and provides automatic partitioning of irregular divide-and-conquer (DAC) applications at runtime and dynamic mapping to processors taking into account their speeds and even loads by other user processes. New implementations of parallel applications...
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublikacjaA new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...
-
Inteligentne wyszukiwanie informacji w internecie
PublikacjaW pracy przedstawiono krótką charakterystykę architektury i technologii wykorzystywanych przy wyszukiwaniu informacji w Internecie. Zaproponowano koncepcje inteligentnej wyszukiwarki spełniającej różnorodne wymagania użytkownika. Przedyskutowano jej wykorzystanie w telemedycynie, w celu wsparcia inteligentnych funkcji rekomendacji.
-
Kompetencje społeczne a skuteczność negocjacji.
PublikacjaPraca prezentuje związek kompetencji społecznych, rozumianych jako zdolność radzenia sobie z różnymi sytuacjami społecznymi, z przebieganiem i skutecznością negocjacji. Wyniki badań oparte o Test Kompetencji Społecznych A. Matczak wskazują zależność efektywności prowadzenia rozmów negocjacyjnych z kompetencjami warunkującymi skuteczność zachowań w sytuacjach ekspozycji społecznej (skala ES) oraz asertywności (skala A).
-
Komputerowe wspomaganie badań endoskopowych
PublikacjaNiżej przedstawiono trendy rozwojowe systemów telemedycznych. Na tym tle za-prezentowano architekturę opracowanego systemu wspomagającego badania endo-skopowe. Ukazano sposób realizacji jego kolejnych wersji oraz budowę podsta-wowych komponentów w technologii WWW. Szczególną uwagę zwrócono na rejestra-cję badania endoskopowego i sporządzanie jego opisu w standardzie MST.
-
Metodologia wytwarzania aplikacji WWW.
PublikacjaPrzedstawiono opis metodologii wytwarzania aplikacji WWW bazujących na technologii J2EE, zaprezentowano fazy wytwarzania oprogramowania, wykorzystanie analizy i projektowania obiektowego oraz wzorce projektowe, jak również dokonano porównania narzędzi wspomagających wytwarzanie i wdrożenie aplikacji WWW.
-
Mixed electromagnetic - circuits modeling and parallelization for rigorouscharacterization of cosite interference in wireless communication channels. W: UGC 2002 Homepage [online]. Department of Defense High Performance Com- puting Modernization Program. Users Group Conference 2002. Austin, Texas, USA. June 10-14, 2002. [Dostęp: 15 grudnia**2002]. Dostępny w World Wide Web: http://www.hpcmo.hpc.mil/Htdocs/UGC/UGC02/paper/[45 slajdów]. Modelowanie układów elektromagnetycznych i zrównoleglanie w celu określenia wzajemnych oddziaływań w bezprzewodowych kanałach komunikacyjnych.
PublikacjaRównoległe działanie sąsiadujące modułów nadawczo-odbiorczych typowo prowa-dzi do efektów ubocznych z powodu wzajemnych oddziaływań, które obniżają pa-rametry sieci. W celu scharakteryzowania takich efektów, zaprezentowano roz-wiązanie równań Maxwella w dziedzinie czasu z modelowaniem efektów nielinio-wych.
-
Modele bezpieczeństwa aplikacji rozproszonych
PublikacjaPrzedstawiono charakterystykę aplikacji rozproszonych, typowych zagrożeń oraz mechanizmów zabezpieczających. Wskazano zasady bezpieczeństwa wykorzystywane w systemach wielowarstwowych. Wprowadzono nowe modele bezpieczeństwa i pokazano kierunki ich integracji.
-
Od projektu do programu
PublikacjaPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
Standard MST i jego wykorzystanie przy opisie jednostek chorobowych
PublikacjaW podrozdziale przedstawiono ujednolicony sposób opisu chorób gastroentero-logicznych. Omówiono założenia standardu MST oraz model dokumentu elektroni-cznego. Opisano jak zaimplementowano ten standard w systemie ERS i jak natej podstawie utworzono elektroniczny atlas endoskopowy.
-
Strategie replikacji w celu zwiększania wydajności i wiarygodności aplikacji sieciowych
PublikacjaPrzedstawiono kategorie replikacji danych i serwerów stosowanych w środowiskach rozproszonych. Przeanalizowano parametry jakościowe podstawowych strategii i przedyskutowano sposoby ich implementacji w środowisku klient-serwer i równy z równym. Pokazano zależności między wydajnością, dostępnością i tolerancją w celu porównania różnego typu rozwiązań.
-
Środowiska wspierające (narzędzia CASE)
PublikacjaPraca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
The parallel environment for endoscopic image analysis
PublikacjaThe jPVM-oriented environment to support high performance computing required for the Endoscopy Recommender System (ERS) is defined. SPMD model of image matching is considered and its two implementations are proposed: Lexicographical Searching Algorithm (LSA) and Gradient Serching Algorithm (GSA). Three classes of experiments are considered and the relative degree of similarity and execution time of each algorithm are analysed....
-
Zapewnienie bezpieczeństwa przetwarzania danych medycznych
PublikacjaDane dotyczące badań medycznych powinny podlegać odpowiednim wymaganiom bez-pieczeństwa. Po pierwsze, dostęp do nich powinien być ograniczony (określoneklasy dostępu), po drugie newralgiczne dane powinny być odpowiednio zakodo-wane (poziom poufności). Poniżej przedstawiono wymagania bezpieczeństwa sys-temów telemedycznych i na tej podstawie zaprezentowano techniki zabezpie-czeń na różnych poziomach funkcjonowania. Nawiązano...