Filtry
wszystkich: 6982
wybranych: 3176
-
Katalog
- Publikacje 3176 wyników po odfiltrowaniu
- Czasopisma 57 wyników po odfiltrowaniu
- Konferencje 2 wyników po odfiltrowaniu
- Osoby 72 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 201 wyników po odfiltrowaniu
- Wydarzenia 29 wyników po odfiltrowaniu
- Dane Badawcze 3433 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MACH–ZEHNDER INTERFEROMETER (MZI)
-
Parallel simulations of electrophysiological phenomena in myocardium on large 32 and 64-bit Linux clusters.
PublikacjaW pracy podjęto badania i przeprowadzono symulacje zjawisk elektrofizjologicznych w mięśniu sercowym z wykorzystaniem wytworzonego w tym celu oprogramowania równoległego opartego na MPI. Zaimplementowano i zbadano ulepszenia kodu prowadzące do uzyskania dobrej skalowalności oraz przeprowadzono testy wydajności na najnowszych 32 i 64-bitowych klastrach linuksowych. Praca stanowi próbę równoległej implementacji znanego podejścia...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublikacjaThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublikacjaThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
The Towers of Hanoi as a Cyber-Physical System Education Case Study
Publikacjacps
-
Three-dimensional conceptual model for service-oriented simulation
Publikacjan this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of the current simulation frameworks. In particular, the model inspects the crossover between the disciplines of modeling and simulation, service-orientation, and software/systems engineering. Finally,...
-
Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil
PublikacjaDie Entwicklung von eingebetteten Systemen im Auto mobilbereich zeichnet sich zunehmend durch steigende Komplexität der zu entwickelnden Fahrzeugfunktionen aus. Die Handhabung dieser Kompl exität wird über entsprechend mächtige Werkzeuge, welche die verschi edenen Aktivitäten des Softwareentwicklungsprozesses unterstützen, angestr ebt. Als eine Schwachstelle erweist sich dabei, dass die eingesetzten Werkzeugk etten im Automobilbereich...
-
Automotive Validation Functions for On-line Test Evaluation of Hybrid Real-time Systems
PublikacjaThe aim of this paper is to present the means of black-box on-line test evaluation for hybrid real-time systems. The described procedures can be used for the model-based testing process so as to improve its effectiveness. In particular, intelligent automotive validation functions are considered, which are divided into different types depending on the nature of the evaluated issue. All provided definitions are specified on the meta-model...
-
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)...
-
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.
-
White-light interferometric temperature sensor for biomedical diagnostic.
PublikacjaW artykule opisano opracowany model miniaturowego, światłowodowego czujnika temperatury z interferometrem Fabry-Perot wykorzystującego interferencję światła białego przeznaczonego do zastosowań biomedycznych. Analizowano czujnik wykonany ze światłowodu wielomodowego o skokowym profilu współczynnika załamania oraz ze światłowodu monomodowego. Zasadniczym celem był dobór parametrów mający na celu uzyskania maksymalnej widzialności...
-
The role of low-energy electrons in the charging process of LISA test masses
PublikacjaThe estimate of the total electron yield is fundamental for our understanding of the test-mass charging associated with cosmic rays in the Laser Interferometer Space Antenna (LISA) Pathfinder mission and in the forthcoming gravitational wave observatory LISA. To unveil the role of low energy electrons in this process owing to galactic and solar energetic particle events, in this work we study the interaction of keV and sub-keV...
-
Wybór kolejności zabiegów operacji wykonywanej na tokarce dwusuportowej
PublikacjaPrzedstawiono zasady wyboru kolejności zabiegów na przykładzie operacji obróbki korpusu o małych rozmiarach na tokarce dwusuportowej.Porównano casy zabiegów realizowanych na wrzecionie głównym i pomocniczym. Do okreslenia kolejności zabiegów wykorzystano program EdgeCAM oraz zaproponowano algorytm zbudowany w modelu Strategy Manager.
-
Wybór kolejności zabiegów operacji wykonywanej na tokarce dwusuportowej.
PublikacjaPrzedstawiono zasady wyboru kolejności zabiegów na przykładzie operacji obróbki korpusu o małych rozmiarach na tokarce dwusuportowej. Porównano czasy zabiegów realizowanych na wrzecionie głównym i pomocniczym. Do określenia kolejności zabiegów wykorzystano program EdgeCAM oraz zaproponowano algorytm zbudowany w modelu Strategy Manager.
-
Komputerowo wspomagane wytwarzanie. Wybrane problemy obróbki wiórowej.
PublikacjaPrzedstawiono wybrane elementy wspomagające programowanie obrabiarek sterowanych numerycznie. Podano przykład instrukcji obróbkowej powstałej przy pomocy systemu EdgeCAM, który umożliwia wizualizację ścieżek narzędzia jakie zostaną wygenerowane w czasie obróbki oraz przedstawiono wybrane możliwości systemu CAM. Scharakteryzowano zalety nowoczesnego sterowania obrabiarki NC, porównując dwa sterowniki różnych producentów: starszy...
-
Porównanie procesu wytwarzania na obrabiarkach konwencjonalnych i CNC na przykładzie korpusu
PublikacjaPrzedstawiono cztery wersje procesu obróbki korpusu.Pierwsza z nich bazuje na obrabiarkach konwencjonalnych, ostatnia zaś na 9.osiowej tokarce z dwiema głowicami rewolwerowymi posiadającymi osie X,V oraz Z. Opisano też sposób osiagniecia 10-krotnego skrócenia czasu wykonania korpusu poprzez wdrożenie sterowania poprzecznego.
-
Porównanie procesu wytwarzania na obrabiarkach konwencjonalnych i CNC na przykładzie korpusu
PublikacjaPrzedstawiono cztery wersje procesu obróbki korpusu. Pierwsza z nich bazuje na obrabiarkach konwencjonalnych, ostatnia zaś na 9. osiowej tokarce z dwiema głowicami rewolwerowymi posiadajacymi osie X,Y oraz Z. Opisano też sposób osiągniecia 10-krotnego skrócenia czasu wykonania korpusu poprzez wdrożenie sterowania poprzecznego.
-
Komputerowo wspomagane wytwarzanie. Możliwości i praktyka warsztatowa
PublikacjaPrzedstawiono problematykę komputerowo wspomaganego wytwarzania elementów maszynowych. Zaprezentowano współczesne możliwości technologiczne oraz praktykę warsztatową, na przykładzie elementów wytwarzanych w firmie Terma Sp. z o.o. w Gdańsku.
-
Badania przyrostów średnic i temperatury przedmiotów podczas gładzenia długich otworów w warunkach produkcyjnych.
PublikacjaW artykule przedstawiono wyniki badań ubytku materiału oraz nagrzewania się przedmiotów cienkościennych podczas gładzenia długich otworów. Analizowano wpływ podstawowych parametrów obróbkowych na wzrost temperatury przedmiotu i intensywność gładzenia. Celem badań było opracowanie modelu matematycznego ubytku materiału podczas gładzenia i przyrostu temperatury przedmiotu obrabianego, wyznaczonego w warunkach produkcyjnych.
-
The Proposition of an Automated Honing Cell with Advanced Monitoring
PublikacjaHoning of holes allows for small shape deviation and a low value of a roughness profile parameter, e.g., Ra parameter. The honing process heats the workpiece and raises its temperature. The increase in temperature causes thermal deformations of the honed holes. The article proposes the construction of a honing cell, containing in addition to CNC honing machine: thermographic camera, sound intensity meter, and software for collecting...
-
Distributed processing in medical, parametric imaging
PublikacjaArtykuł prezentuje metodę dystrybucji bazującej na JavaSpace do zastosowania w wyznaczaniu obrazów parametrycznych. Zaimplementowano metodologię Compute Server, którą użyto do aktywnej termografii i dynamicznych badań MRI mózgu.
-
Applications of image registration in parametric imaging
PublikacjaArtykuł przedstawia możliwości poprawy jakości obrazów parametrycznych przez eliminacje artefaktów ruchowych w sekwencji obrazów. Zaprezentowano multimodalne wizualizacje obrazów oraz przedstawiono wyniki dopasowania różnych obrazów MRI do siebie.
-
Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania
PublikacjaPoniższy rozdział stanowi rodzaj case study, gdzie na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej przedstawiona została koncepcja powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzony przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostały potrzeby powoływania takich jednostek organizacyjnych,...
-
Smart growth - is it a fairytale or the best initiative for polish cities and their functional regions?
PublikacjaThe paper presents smart growth perceived as natural step in sustainable development understanding.
-
Formy outsourcingu na rynku usług ze szczególnym uwzględnieniem sektora transportu lotniczego
PublikacjaPrzedsiębiorstwa poszukują coraz lepszych i efektywniejszych modeli funkcjonowania na rynku.Jedną z metod zarządzania przedsiębiorstwem, zyskującą coraz większą popularność jest outsourcing. Celem opracowania jest krótka charakterystyka outsourcingu od strony teoretycznej, jak i próba pokazania zastosowania usług outsourcingowych w transporcie lotniczym.
-
Smart Growth – Is It a Fairy Tale or the Best Initiative for Polish Cities and Their Functional Regions?
Publikacja.
-
Semantyczny portal wiedzy środowiskiem wsparcia procesów integracji uczelni i biznesu
Publikacja -
Optimization model of agile team’s cohesion
PublikacjaTeam’s cohesion is one of the most important factors of IT project execution effectiveness. Optimization of team’s cohesion gives the possibility of reducing the risk of project failure. It also allows to increase the teamwork efficiency and thus optimize time of tasks execution, increase the guarantee of maintaining the scope of the project and the chance of achieving a given level of products quality. This article presents determination...
-
Influence of intermixing at the Ta/CoFeB interface on spin Hall angle in Ta/CoFeB/MgO heterostructures
PublikacjaWhen a current is passed through a non-magnetic metal with strong spin-orbit coupling, an orthogonal spin current is generated. This spin current can be used to switch the magnetization of an adjacent ferromagnetic layer or drive its magnetization into continuous precession. The interface, which is not necessarily sharp, and the crystallographic structure of the nonmagnetic metal can both affect the strength of current-induced...
-
Acinetobacter baumannii isolated from hospital‐acquired infection: biofilm production and drug susceptibility
Publikacja -
Enhancing women’s engagement in economic activities through information and communication technology deployment: evidence from Central–Eastern European countries
PublikacjaThis study takes a macro perspective to examine the associations between the economic deployment of information and communication technology (ICT), women’s labor market participation, and economic growth in Central–Eastern European countries between 1990 and 2017. We use data extracted from World Bank Development Indicators, World Development Reports, and the World Telecommunication/ICT Indicators Database. Our methodological framework...
-
Connected early-career experiences of equality in academia during the pandemic and beyond: Our liminal journey
PublikacjaIn this paper, we draw on our subjective experiences as two female early-career academics during the global COVID-19 pandemic. While we acknowledge that the pandemic had negative implications for many female scholars due to compulsory telework or increased family responsibilities, we also want to shed light on the empowering experiences shaped by collegial support that became an important part of our pandemic story. We build on...
-
Personalized prediction of the secondary oocytes number after ovarian stimulation: A machine learning model based on clinical and genetic data
PublikacjaControlled ovarian stimulation is tailored to the patient based on clinical parameters but estimating the number of retrieved metaphase II (MII) oocytes is a challenge. Here, we have developed a model that takes advantage of the patient’s genetic and clinical characteristics simultaneously for predicting the stimulation outcome. Sequence variants in reproduction-related genes identified by next-generation sequencing were matched...
-
Implementation of SiN thin film in fiber-optic sensor working in telecommunication range of wavelengths
PublikacjaMirrors are used in optical sensors and measurement setups. This creates a demand for mirrors made of new materials and having various properties tailored to specific applications. In this work, we propose silicon covered with a thin silicon nitride layer as a mirror for near-infrared measurements. SiN layer was deposited on a standard silicon wafer with a Low-Pressure Chemical Vapor Deposition furnace. Then, the created layer...
-
Generalization of the elastic network model for the study of large conformational changes in biomolecules
Publikacja -
Chemical structures and physical properties of cured segmental polyurethanes
PublikacjaPrzedmiotem badań były poliuretany (PUR) segmentowe otrzymywane w dwuetapowej syntezie oligomerycznego α,ω-dihydroksy(adypinianu etylenowo-butylenowego) oraz dwóch różnych aromatycznych diizocyjanianów: 4,4'-diizocyjanianu difenylenometanu (MDI) albo MDI modyfikowanego diizocyjanianem karbodiimidu. Na etapie przedłużania łańcucha, oprócz typowo używanego do tego celu 1,4-butanodiolu, stosowano triol - 1,3-dihydroksy-2-(hydroksymetyleno)propan...
-
China and the Chinese in the modern world. An interdisciplinary study
PublikacjaThis monograph is a collection of chapters devoted to modern China on various approaches. There is no future without a past and a modern China is a country that skillfully combines the new with the old and the authors have attempted to present this phenomenon in this book. It brings to light issues such as a honorificativity in Chinese administrative and legal documents, a comparison of Chinese and...
-
Retention of selected heavy metals: Cd, Cu, Pb in a hybrid wetland system
PublikacjaWykonano bilans wybranych metali ciężkich Cd2+, Pb2+, Cu2+ dla pilotowej oczyszczalni hydrofitowej w Przywidzu k. Gdańska. Wykazano m.i. że sorpcja była głównym mechanizmem odpowiedzialnym za usuwanie tych pierwiastków ze ścieków.
-
Sustainable Chemically Modified Mater-Bi/Poly(ε-caprolactone)/Cellulose Biocomposites: Looking at the Bulk through the Surface
PublikacjaSustainable polymer composites are progressively under development in a technological paradigm shift from "just use more and more" to "convert into value-added products". The bio-based blends based on Mater-Bi bio-plastic (A) and poly(ε-caprolactone) (B), at a weight ratio of 70:30 (A:B) were developed, followed by the addition of UFC100 cellulose (C) filler to yield 70/30 (w/w) (A:B)/C sustainable biocomposites. The effects of...
-
Interferometric optical fiber sensors with active stabilization of the operating point using a tunable semiconductor laser. Optical Fibres and Their Applications VIII.
PublikacjaW pracy przedstawiono wyniki badań światłowodowych interferometrycznych sensorów siły wykonanych w konfiguracji interferometru Michelsona i wykorzystujących aktywną stabilizację punktu pracy przy pomocy zmiany długości fali źródła. Porównano dwie klasy omawianych sensorów a następnie zrealizowano sensor. W konstrukcji sensora zastosowano modulator z pośrednim pomiarem siły. Mierzona siła jest zamieniana na ciśnienie hydrostatyczne,...
-
Reply to Comment on ‘Nanodiamond incorporated human liver mimicking phantoms: prospective calibration medium of magnetic resonance imaging’
PublikacjaDependence of the spin–lattice (T1) relaxation times on the nanodiamond concentration in human liver phantoms is discussed. Factors affecting stability and and reproducibility of these phantoms are presented. The need for comparative measurements on multiple MRI scanners for better understanding of potential variations in the obtained imaging data is emphasised.