Filtry
wszystkich: 4101
wybranych: 2989
-
Katalog
- Publikacje 2989 wyników po odfiltrowaniu
- Czasopisma 38 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 160 wyników po odfiltrowaniu
- Wynalazki 20 wyników po odfiltrowaniu
- Projekty 26 wyników po odfiltrowaniu
- Laboratoria 7 wyników po odfiltrowaniu
- Zespoły Badawcze 19 wyników po odfiltrowaniu
- Aparatura Badawcza 11 wyników po odfiltrowaniu
- Kursy Online 364 wyników po odfiltrowaniu
- Wydarzenia 28 wyników po odfiltrowaniu
- Dane Badawcze 437 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: HANDEL ELEKTRONICZNY
-
Technical Engine for Democratization of Modeling, Simulations, and Predictions
PublikacjaComputational science and engineering play a critical role in advancing both research and daily-life challenges across almost every discipline. As a society, we apply search engines, social media, and se- lected aspects of engineering to improve personal and professional growth. Recently, leveraging such aspects as behavioral model analysis, simulation, big data extraction, and human computation is gain- ing momentum. The nexus...
-
Test Execution Logging and Visualization Techniques
PublikacjaTraditionally, log traces of test cases ex ecution are stored in textual format and their analysis is done in a post- execution phase. Our approach bases on the concept of gr aphical presentation of te st execution which enables better analysis of log traces and also gives the opportunity to consider them on-line. In particular, we discuss the graphical symbols we chose, we pres ent the logging interface we defined a nd describe...
-
Grand Challenges on the Theory of Modeling and Simulation
PublikacjaModeling & Simulation (M&S) is used in many different fields and has made many significant contributions. As a field in its own right, there have been many advances in methodologies and technologies. In 2002 a workshop was held in Dagstuhl, Germany, to reflect on the grand challenges facing M&S. Ten years on, a series of M& S Grand Challenge activities are marking a decade of progress and are providing an opportunity to reflect...
-
Test Design Patterns for Embedded Systems,
PublikacjaTest suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing methodology we introduce test design patterns for simplifying and accelerating...
-
Systematic Test Data Generation for Embedded Software
PublikacjaSystematic Test Data Generation for Embedded Software
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublikacjaMultiple time models have been proposed for the formalization of hybrid dynamic system behavior. The superdense notion of time is a well-known time model for describing event-based systems where several events can occur simultaneously. Hyperreals provide a domain for defining the semantics of hybrid models that is elegantly aligned with first principles in physics. This paper discusses the value of both time models and shows how...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublikacjaSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...
-
From U2TP Models to Executable Tests with TTCN-3
PublikacjaThe approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3)...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublikacjaThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
Semantics for an Interdisciplinary Computation
PublikacjaSemantics for an interdisciplinary computation is becoming increasingly difficult to capture while dealing with multi-domain problems. Expertise from Computer Science, Computer Engineering, Electrical Engineering, and other disciplines merges as engineering challenges in modern systems, such as, Cyber-Physical Systems, Smart Cities, and Bionic Systems must be tackled in a methodological manner. In this paper, a paradigm for formalization...
-
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublikacjaMBD
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublikacjaHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis
PublikacjaComputational representation.
-
Reactions of methyl radicals with silica supported silver nanoparticles in aqueous solutions
PublikacjaSilica supported silver nanoparticles (Ag°–SiO2 –NCs, NCs=nanocomposites) suspended in aqueous solutions are efficient catalysts for the dimerization of methyl radicals to produce ethane, while bare silica is quite inert towards the interaction with methyl radicals. In the presence of small amounts of ethanol adsorbed on the SiO2 surface, the reaction path with methyl radicals is changed and methane is formed as the major product.
-
Dworzec Łódź Fabryczna
PublikacjaKrytyka architektoniczna dworca Łódź Fabryczna
-
Pomorska Kolej Metropolitalna
PublikacjaKrytyka architektoniczna Pomorskiej Kolei Metropolitalnej w Gdańsku
-
Rozważania nad intensywnością zabudowy w kontekście praktyki urbanistycznej oraz potencjału technologii GIS
PublikacjaCelem artykułu jest zasygnalizowanie konieczności wypracowania jednolitej definicji i sposobu obliczania intensywności zabudowy na potrzeby praktyki urbanistycznej. Punktem odniesienia jest definicja intensywności zabudowy, przyjęta w znowelizowanej ustawie o planowaniu i zagospodarowaniu przestrzennym na tle definicji zaczerpniętych z innych źródeł. Intensywność zabudowy jest parametrem o najdalej idących skutkach w przestrzeni....
-
Elektro- i magnetomodulacja dysocjacji ekscytonów w organicznych układach jednoskładnikowych i dwuskładnikowych typu donor elektronu - akceptor elektronu
PublikacjaW ramach rozprawy doktorskiej przeprowadzono badania procesu dysocjacji stanów wzbudzenia elektronowego w układach molekularnych jedno- i dwuskładnikowych typu donor elektronu - akceptor elektronu. Do tego celu wykorzystano technikę spektroskopii elektro- i magnetomodulacyjnej wykonując pomiary zarówno fotoprądu, jak i elektromodulowanej fotoluminescencji. Spektroskopia magnetomodulacyjna okazała się skutecznym narzędziem do opisu...
-
Wizja bez programu - gdańska Droga do Wolności
PublikacjaW dniach 2-3 sierpnia 2005r. odbyło się w Gdańskim Dworze Artusa Międzynarodowe Seminarium pt. "Europejskie Centrum Solidarności", zorganizowane przez Prezydenta RP Lecha Wałęsę i Prezydenta Miasta Gdańska Pawła Adamowicza. Celem seminarium było zaprezentowanie przez zaproszonych z Europy architektów różnorodnych wizji urbanistyczno - architektonicznych Gdańskiej Drogi do Wolności. Wizje te będą stanowić inspiracje dla organizatorów...
-
Koszary po rewitalizacji - Park Chasse w Bredzie
PublikacjaPojawianie się terenów powojskowych jest bardzo niekorzystne dla struktury miasta. Omawiane obszary dla większości mieszkańców kojarzą się z "zamkniętymi miastami", dostępnymi jedynie dla niewielkiej grupy osób. Tereny te pozostają nadal nieznane wkrótce po zaniku pierwotnej funkcji. Dlatego też bardzo szybko są zagarniane przez nowych autsajderów: złodziei, podpalaczy, bezdomnych, pijaków... W świetle powyższych zjawisk samorządy...
-
Czas na kolej - nowe inwestycje w Holandii
PublikacjaHolandia dąży dziś do przejęcia ekonomicznej kontroli nad najbogatszym regionem Europy, przez makroekonomistów zwanym "żółtym bananem". Stworzyła projekt DELTA w oparciu o międzykontynentalne lotnisko Schiphol Amsterdam, sieć międzynarodowych autostrad oraz realizowaną obecnie linię szybkiej kolei międzyregionalnej. W ramach narodowego programu inwestycyjnego, rząd holenderski podjął w roku 1997 decyzję o stworzeniu "Nowych Projektów...
-
Impact of Urbanization on Stormwater Runoff from a Small Urban Catchment: Gdańsk Małomiejska Basin Case Study
PublikacjaThis paper deals with the impact of different forms of urbanization on the basin outflow. The influence of changes in land cover/use, drainage system development, reservoirs, and alternative ways of stormwater management (green roofs, permeable pavements) on basin runoff was presented in the case of a small urban basin in Gdańsk (Poland. Seven variants of area development (in the period of 2000-2012) – three historical and four...
-
System lokalizacji dla niewidomych, oparty na nawigacji satelitarnej i zliczeniowej
PublikacjaOpracowano, wykonano i przetestowano prototyp urządzenia nawigacyjnego dla osób niewidomych złożony z palmtopa, zawierającego mapę elektroniczną, odbiornika GPS, modułu czujników przyspieszenia i pola magnetycznego oraz klawiatury bezprzewodowej i syntezatora mowy, umożliwiający samodzielne poruszanie się po nieznanym terenie, w szczególności na terenie miasta. W urządzeniu tym zaimplementowano szereg algorytmów wyznaczania położenia...
-
Projekt i implementacja rejestratora parametrów pojazdu
PublikacjaProjektowany rejestrator jest cyfrowym urządzeniem elektronicznym, które może w czasie rzeczywistym zbierać dane o stanie pojazdu, a także przechowywać je do późniejszej obróbki. Urządzenie takie może posłużyć do analizy przejazdu pod względem dynamiki czy ekonomii jazdy, a nawet pomóc w zapobieganiu wypadkom samochodowym i radzeniu sobie z ich skutkami [4][5]. W poniższym artykule opisano proces tworzenia rejestratora w oparciu...
-
Introducing concurrent engineering to space and satellite technology undergraduate course
PublikacjaIn recent decade concurrent engineering has become a de facto leading methodology of work in space, aeronautics and sometimes even automotive industry. It has been used in designing ESA space missions for 20 years now, with rst Concurrent Design Facility (CDF) built in ESTEC in 1998. Still, it has not become a universal standard in engineering, and universities are specically reluctant to adopt it into their curricula. As a result,...
-
Architektura przedsiębiorstw handlowych.
PublikacjaOpracowanie przedstawia charakterystykę architektury przedsiębiorstw handlowych, tj. opis struktury wewnętrznej oraz rodzaje powiązań z innymi podmiotami rynkowymi. Szczególną uwagę poświęcono przedsiębiorstwom handlu detalicznego oraz ich współpracy z dostawcami (producentami).
-
A Reputation Scheme to Discourage Selfish QoS Manipulation in Two-Hop Wireless Relay Networks
PublikacjaIn wireless networks, stations can improve their received quality of service (QoS) by handling packets of source flows with higher priority. Additionally, in cooperative relay networks, the relays can handle transit flows with lower priority. We use game theory to model a two-hop relay network where each of the two involved stations can commit such selfish QoS manipulation. We design and evaluate a reputation-based incentive scheme...
-
Open-Phase Fault Detection Method for Sensorless Five-Phase Induction Motor Drives with an Inverter Output Filter
PublikacjaThe paper presents the sensorless five-phase induction motor drive implementation with an inverter output filter with third harmonic injection. For the sensorless operation, the required observers are presented for the first and third harmonics with consideration of the inverter output filter. Moreover, the interaction of the observers and the control system is capable to handle a deactivation of one or two phases, which improves...
-
Facial emotion recognition using depth data
PublikacjaIn this paper an original approach is presented for facial expression and emotion recognition based only on depth channel from Microsoft Kinect sensor. The emotional user model contains nine emotions including the neutral one. The proposed recognition algorithm uses local movements detection within the face area in order to recognize actual facial expression. This approach has been validated on Facial Expressions and Emotions Database...
-
One-Dimensional Modeling of Flows in Open Channels
PublikacjaIn this chapter, modeling of the unsteady open channel flow using one-dimensional approach is considered. As this question belongs to the well-known and standard problems of open channel hydraulic engineering, comprehensively presented and described in many books and publications, our attention is focused on some selected aspects only. As far as the numerical solution of the governing equations is considered, one can find out that...
-
Application of OFDM technique to underwater acoustic data transmission
PublikacjaPerformances of underwater acoustic communication (UAC) digital systems are strongly related to specific transmission properties of the underwater channel. Depending on the characteristics of the channel, an architecture and modulation techniques are usually implemented that are known as reliable solutions for data transmission in difficult radio channels. The OFDM technique seems to be the most promising nowadays. The parameters...
-
New methodology for calculating cost-efficiency of different ways of voting: is internet voting cheaper?
PublikacjaNew ways of voting in elections are being sought by electoral administrations worldwide who want to reverse declining voter turnouts without increasing electoral budgets. This paper presents a novel approach to cost accounting for multi-channel elections based on local elections in Estonia. By doing so, it addresses an important gap in the academic literature in this field. The authors confirm that internet voting was most cost-efficient...
-
Underwater Acoustic Communications in Time-Varying Dispersive Channels
PublikacjaUnderwater acoustic communication (UAC) system designers tend to transmit as much information as possible, per unit of time, at as low as possible error rate. However, the bit rate achieved in UAC systems is much lower than for wire or radio-communication systems. This is due to disadvantageous properties of the UAC channels, namely the sea and inland waters. Estimation of UAC channel transmission properties is possible within...
-
Likwidacja suchego doku przy Nabrzeżu Przemysłowym w Porcie Gdańsk
PublikacjaW niniejszej pracy przedstawiono problemy techniczne związane z likwidacją dużego obiektu hydrotechnicznego, stanowiącego utrudnienie nawigacyjne w intensywnie eksploatowanym portowym kanale dostępowym w Porcie Gdańsk. Dwukomorowy dok zlokalizowany przy Nabrzeżu Przemysłowym wybudowano w latach 1970-1972. Komory dokowe służyły do budowy żelbetowych, pływających skrzyń falochronowych, na potrzeby budowanego w tym czasie Portu Północnego....
-
Chromatograficzne metody rozdzielania związków optycznie czynnych.
PublikacjaPraca stanowi przegląd nowoczesnych metod i technik stosowanych w rozdzielaniu związków optycznie czynnych. Omówiono oraz porównano wszystkie typy chiralnych faz stacjonarnych dostępnych w handlu ze szczególnym uwzględnienniem mechanizmów ich działania.
-
Wyznaczanie odpływu ze zlewni niekontrolowanych Kanału Raduni podczas powodzi w 2001 r.
PublikacjaMetoda SCS (ang. Soil Conservation Service) pozwalająca wyznaczyć wysokość opadu efektywnego. Metoda geomorfologicznego hydrogramu jednostkowego do wyznaczenia hydrogramu odpływu ze zlewni niekontrolowanej. Aplikacja metody do sytuacji w zlewni Kanału Raduni na przykładzie powodzi z 2001 roku. Wyniki obliczeń dla potoków zasilających Kanał Raduni, odniesienie uzyskanych przepływów do dopływu z 2001 roku.
-
Inżynieria jakości dla konsumenta
PublikacjaW opracowaniu przedstawiono nowy, ważny obszar zastosowań metod inżynierii jakości w różnych dziedzinach działalności gospodarczej. Pokazano możliwości i przykłady zastosowań inżynierii jakości w sferach: projektowania, wytwarzania i handlu produktami działalności człowieka.
-
Stanowisko dydaktyczne do badania procesu osuszania powietrza
PublikacjaW artykule zaprezentowano unikalne stanowisko dydaktyczne przeznaczone do prowadzenia badań w zakresie przemian, jakie zachodzą podczas obróbki cieplno - wilgotnościowej powietrza. Przedstawiono budowę i charakterystykę techniczną podstawowych elementów składowych tego stanowiska, a są to: blok nawilżania, blok ogrzewania, blok chłodzenia, a ponadto panel kontrolno - sterujący i panel pomiarowy. W artykule zaprezentowano wyniki...
-
Marine traffic risk modelling – an innovative approach and a case study
PublikacjaThis paper presents a model to analyse the risk of two common marine accidents: collision and grounding. Attention is focused on oil tankers since they pose the highest environmental risks. A case study in selected areas of the Gulf of Finland in ice-free conditions is presented. The model utilizes a formula for risk calculation that considers both the probability of an unwanted event and its consequences. The model can be decomposed...
-
Towards Changes of Macro-Economic Structures in Middle Eastern Countries. Empirical Evidence for 1970–2018
PublikacjaMiddle East countries share a wide bundle of specific structural economic features and one of the latest is a high dependency of these economies on fossil fuels, which is quantitatively demonstrated through the share of oil and gas revenues in total export, but also in gross domestic product composition. This high economic dependency on natural resources on one hand has recently generated a material wealth of Middle Eastern countries...
-
TiO2-based photocatalysts in indoor swimming pool air purification
PublikacjaWzrastająca ilość basenów kąpielowych i aquaparków jest obecnie wyzwaniem dla naukowców zajmujących się badaniem i kontrolowaniem powietrza hali basenowej. Mikroorganizmy powstałe w powietrzu hali stanowią ogromne zagrożenie dla zdrowia. Ponadto, w fazie gazowej obecne są także uboczne produkty dezynfekcji (DBP), które mogą mieć szkodliwy wpływ zarówno na kąpiących się, jak i personel. W pracy omówiono potencjalne zagrożenia spowodowane...
-
Niebezpieczne dla zdrowia. Oocysty w basenach kąpielowych. Część II
PublikacjaZanieczyszczenia pasożytnicze, szczególnie ich formy przetrwalnikowe, stanowią istotny problem dla jakości wody pitnej i rekreacyjnej. Pasożyty Cryptosporidium, występujące w błonie śluzowej jelit, powodują choroby układu pokarmowego u ludzi i zwierząt. Oocysty te są odporne na działanie chloru, jodu i bromu w dawkach stosowanych w procesie uzdatniania wody.
-
Niebezpieczne dla zdrowia. Oocysty w basenach kąpielowych. Część I
PublikacjaWraz z budową nowych basenów kąpielowych i aquaparków wzrasta zużycie wody o jakości wody do picia, a zarazem powraca pytanie o zagrożenie zdrowia. O ile konwencjonalne technologie uzdatniania wody pozwalają na skuteczną dezynfekcję w odniesieniu do bakterii, wirusów i grzybów, to mogą być nieskuteczne względem oocyst pasożytów.
-
Pomiary w procesie budowy kadłuba statku
PublikacjaStatki i obiekty oceanotechniczne to największe ruchome ruchome dzieła sztuki inżynierskiej. Budowie takich kolosów towarzyszą procesy pomiarowe – nierzadko na odległości przekraczające kilkaset metrów i dokładnościach milimetrowych. Tak było kilkaset lat temu i tak jest dzisiaj. Pomimo niezmienności praw fizyki i zasad geometrii przestrzennej, w metrologii okrętowej – tak jak w innych dziedzinach życia – zachodzą zmiany. Pojawienie...
-
Negocjacyjna metoda generowania protokołu uzgodnień na platformie EBXML
PublikacjaCelem standardu ebXML jest ustanowienie globalnej platformy dla biznesu elektronicznego, umożliwiającej dowolnym przedsiębiorstwom( bez względu na ich wielkość i lokalizację)poszukiwanie partnerów handlowych i realizowanie transakcji kupna-sprzedaży w oparciu o wymianę dokumentów elektronicznych o strukturze logicznej opisanej w XML.Podstawą do nawiązania kontaktu przez dowolny podmiot jest publikowany przez niego w specjalnym...
-
Smart Pen - new multimodal computer control tool for graphomotorical therapy
PublikacjaW sytuacji, gdy około 15% populacji uczniów wykazuje cechy dyslektyczne, koniecznością staje się wyposażenie szkół w efektywne narzędzia do diagnozy i terapii tego rodzaju zaburzeń. Dzięki wykorzystaniu tabletu i specjalnie skonstruowanego długopisu wyposażonego w czujniki nacisku uzyskano możliwość monitorowania wielu parametrów, które do tej pory były dla terapeutów całkowicie niedostępne (np. pomiar nacisku na podłoże czy ścisku...
-
Wyznaczanie prędkości opadania złoża biomasy metodą fluorescencji rentgenowskiej
PublikacjaPromieniowanie jonizujące używane jest powszechnie w przemyśle do uzyskania obrazu radiograficznego. Głównym zastosowaniem przemysłowym badań radiograficznych (RT) są badania nieniszczące (NDT) stosowane głównie do wykrywania nieciągłości wykonawczych i eksploatacyjnych w elementach metalowych oraz badania spoin. Duże zastosowanie badań radiograficznych znajduje się także w analityce chemicznej. Badania opadania złoża w reaktorze...
-
E-dyplomy: uwarunkowania administracyjne i funkcjonalne ich wprowadzenia na polskich uczelniach
PublikacjaPandemia COVID-19 wymusiła na polskim systemie szkolnictwa wyższego szereg zmian, z których główne dotyczą zmian w zakresie organizacji pracy, cyfryzacji procesów obsługi toku studiów. Przepisy prawa stanowią już o e-teczce, mamy rozporządzenia dotyczące jej prowadzenia, niemniej niewiele uczelni, o ile w ogóle, prowadzi na chwilę obecną akta osobowe studentów w postaci elektronicznej. Jednym z elementów składowych e-teczki jest...
-
New technology for hearing stimulation employing the SPS-S method
PublikacjaIstotnym założeniem metody SPS-S jest możliwość stosowania treningu słuchowego w warunkach życia codziennego, a więc także poza gabinetami placówek terapeutycznych. Mobilne urządzenie - stymulator słuchu jest oparte na najnowszej technologii mikroelektronicznej, Oferuje on możliwość wykorzystywania wielu programów terapii, które przebiegają z zastosowaniem algorytmów cyfrowego przetwarzania dźwięku. Algorytmy te można podzielić...
-
Projekt i implementacja rejestratora OBD do rejestracji wielkości dla potrzeb badania infrastruktury drogowej
PublikacjaOpisany w artykule rejestrator OBD jest cyfrowym urządzeniem elektronicznym, które może w czasie rzeczywistym gromadzić dane związane z pojazdem i przechowywać je w celu późniejszego przetwarzania dla celów badawczych. Urządzenie takie może posłużyć do analizy przejazdu pod względem dynamiki ruchu, ekonomii jazdy, a nawet pomóc w zapobieganiu wypadkom samochodowym i ograniczać ich skutki [4][5]. W artykule opisano proces opracowania...