Filtry
wszystkich: 1956
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: DYNAMIC EXECUTION CONTEXTS
-
Mobile devices and computing cloud resources allocation for interactive applications
PublikacjaUsing mobile devices such as smartphones or iPads for various interactive applications is currently very common. In the case of complex applications, e.g. chess games, the capabilities of these devices are insufficient to run the application in real time. One of the solutions is to use cloud computing. However, there is an optimization problem of mobile device and cloud resources allocation. An iterative heuristic algorithm for...
-
Towards hardware built-in support for computer system safety
PublikacjaArtykuł omawia dostępne technologie wirtualizacji zasobów pamięci i systemów I/O w systemach komputerowych takie jak Execute Disable Bit (EDB) capability i Virtual Machine Architecture (VMA). Nastepnie wprowadza założenia na rozszerzenie tych technologii w celu uzyskania funkcjonalności Safe Call Execution dzieki technologii Execution Disabling Policies (EDP). Wprowadzono również założenia na funkcjonalność Memory Virtualization...
-
Modeling Parallel Applications in the MERPSYS Environment
PublikacjaThe chapter presents how to model parallel computational applications for which simulation of execution in a large-scale parallel or distributed environment is performed within the MERPSYS environment. Specifically, it is shown what approaches can be adopted to model key paradigms often used for parallel applications: master-slave, geometric parallelism (single program multiple data), pipelined and divide-and-conquer applications....
-
Analiza przepływu oleju przez rowek smarowy wzdłużnego łożyska ślizgowego z wykorzystaniem komputerowej dynamiki płynów (CFD) = Analysis of the lubricant flow through the hydrodynamic thrust bearings groove with the use of computational fluid dynamic
PublikacjaSmarowanie zanurzeniowe jest tradycyjnym sposobem smarowania wzdłużnych łożysk ślizgowych. Jednak rozwiązanie to wykazuje umiarkowaną skuteczność w zapewnieniu optymalnie niskich temperatur w filmie smarowym a ponadto jest przyczyną strat mocy związanych z mieszaniem oleju w obudowie łożyska, co jest szczególnie widoczne w łożyskach szybkoobrotowych. Obecnie wymagania stawiane nowym konstrukcjom łożysk ślizgowych to zwiększanie...
-
Ahmed Manguri PhD Student
OsobyJestem doktorantem I roku na Politechnice Gdańskiej w zakresie Dynamicznej Analizy Konstrukcji pod kierunkiem prof. Jankowskiego. Ukończyłem studia magisterskie z inżynierii strukturalnej na Uniwersytecie Cardiff w Wielkiej Brytanii oraz licencjat z inżynierii lądowej na Uniwersytecie Koya w Kurdystanie. Od 2016 roku jestem pracownikiem naukowym Uniwersytetu Raparin w Kurdytanie.
-
Conceptualizing Digital Government for Social Solidarity
PublikacjaThis paper motivates the study of the impact of digital government on social solidarity; builds a conceptual foundation with four types of solidarity – group-based, compassionate, instrumental and emphatic; relates digital government to the type and moment – pre-technological, technological and post-technological of solidarity; and puts forward the type-moment frame to study how digital government is supporting social solidarity...
-
Assessing the failure of Open Government Data initiatives in Brazil
PublikacjaWhile assessing the potential of a particular digital innovation initiative, especially when it has implications for a range of societal stakeholders, it becomes pertinent to understand the possible bottlenecks in its acceptability as well. In this regard, the present study seeks to understand how the Open Government Data (OGD) initiatives in Brazil are being confronted with bottlenecks in terms of their execution and acceptability....
-
Reliability Modeling for SPMD and DAC Applications in MERPSYS
PublikacjaIn this chapter we shall see a method for modeling of reliability of application execution in the MERPSYS system, and the results of reliability simulation of the same SPMD and DAC application which we have previously presented in this book. Unlike energy usage modeling and modeling of execution efficiency we could not compare the reliability model and simulation results to real experiment just because the experiment would last too...
-
In search of a common ground for the space sciences
PublikacjaThe paper discusses the relations between various aspects of human activities performed in space, taking into consideration the past, present and future contexts. Interdisciplinarity and integrity of technological issues combined with legal and management issues were emphasized. Consequently, it was recognized that it is necessary to build a network of universities, research-and-development companies and engineering companies....
-
Monotone iterative method to second order differential equations with deviating arguments involving Stieltjes integral boundary conditions
PublikacjaWe use a monotone iterative method for second order differential equations with deviating arguments and boundary conditions involving Stieltjes integrals. We establish sufficient conditions which guarantee that such problems have extremal solutions in the corresponding region bounded by lower and upper solutions. We also discuss the situation when problems have coupled quasi-solutions. We illustrate our results by three examples.
-
Fractional differential equations with deviating arguments
PublikacjaDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
On delay differential equations with boundary conditions
PublikacjaPodano warunki na istnienie rozwiązania zagadnienia brzegowego typu opóźnionego, zakładając pewne warunki monotoniczności funkcji występującej po prawej stronie naszego zagadnienia. Pokazano, że dwa ciągi monotoniczne są zbieżne do rozwiązania dokładnego.
-
Positive solutions to third-order impulsive Sturm-Liouville boundary value problems with deviated arguments and one-dimensional p-Laplacian
PublikacjaBadane są równania różniczkowe z impulsami trzeciego rzędu z odchylonymi argumentami przy zadanych warunkach brzegowych typu Sturma-Liouvilla. Podano warunki dostateczne na istnienie dodatnich rozwiązań takich problemów stosując twierdzienie o punkcie stałym dla stożków.
-
On neutral differential equations and the monotone iterative method
PublikacjaThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublikacjaPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu drugiego z całkowymi warunkami brzegowymi i z odchylonymi argumentami typu wyprzedzonego. Korzystając z tw. Avery-Petersona dla stożków, podano warunki dostateczne na istnienie trzech dodatnich rozwiazań w/w problemów. Podano przykład pokazujący iż przyjęte załozenia są spełnione.
-
Boundary value problems with advanced arguments involving upper and lower solutions in reverse order
PublikacjaPraca dotyczy problemów brzegowych dla równań różniczkowo-całkowych pierwszego rzędu z argumentami wyprzedzonymi. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają rozwiązania minimalne i maksymalne w odpowiadającym obszarze ograniczonym przez rozwiązania górne i dolne. W celu uzyskania wyników zastosowano nową metodę opartą na twierdzeniu Heikkila-Lakshmikantham'a. Wyniki zilustrowano na przykładzie.
-
First-order differential equations with nonlocal boundary conditions
PublikacjaWe study a first-order boundary value problem subject to some boundary conditions given by Riemann-Stieltjes integrals. Using a monotone iterative method, we formulate sufficient conditions which guarantee the existence of extremal or quasi-solutions in the corresponding region bounded by upper and lower solutions of our problems. The case when a unique solution exists is also investigated. Some examples are given to illustrate...
-
Systems of boundary value problems of advanced differential equations
PublikacjaThis paper considers the existence of extremal solutions to systems of advanced differential equations with corresponding nonlinear boundary conditions. The monotone iterative method is applied to obtain the existence results. An example is provided for illustration.
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublikacjaInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Differential-algebraic systems with initial time difference
PublikacjaO funkcjach występujących w zagadnieniu zakładano m.in. warunek typu Perrona uzyskując pewne wyniki porównawcze dla zagadnień różniczkowo-algebraicznych startujących z różnych punktów początkowych. Wyniki porównawcze uzyskano również wykorzystując odpowiednią funkcję typu Lapunova. Sformułowane zostały warunki dostateczne na to aby rozwiązanie było stabilne.
-
Modeling and Simulation for Exploring Power/Time Trade-off of Parallel Deep Neural Network Training
PublikacjaIn the paper we tackle bi-objective execution time and power consumption optimization problem concerning execution of parallel applications. We propose using a discrete-event simulation environment for exploring this power/time trade-off in the form of a Pareto front. The solution is verified by a case study based on a real deep neural network training application for automatic speech recognition. A simulation lasting over 2 hours...
-
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...
-
Kiedy są niezbędne rysunki warsztatowe konstrukcji stalowych
PublikacjaW wielu przypadkach wymagany prawnie zakres rysunkowej dokumentacji projektowej jest nie wy starczający do właściwego wykonania i montażu konstrukcji stalowych. W artykule przedstawiono sytuacje, w których wykonanie rysunków warsztatowych jest niezbędne. Ma to szczególne znaczenie w budownictwie energetycznym.
-
KernelHive: a new workflow-based framework for multilevel high performance computing using clusters and workstations with CPUs and GPUs
PublikacjaThe paper presents a new open-source framework called KernelHive for multilevel parallelization of computations among various clusters, cluster nodes, and finally, among both CPUs and GPUs for a particular application. An application is modeled as an acyclic directed graph with a possibility to run nodes in parallel and automatic expansion of nodes (called node unrolling) depending on the number of computation units available....
-
Using Statistical Methods to Estimate The Worst Case Response Time of Network Software Running on Indeterministic Hardware Platforms
PublikacjaIn this paper we investigate whether the statistical Worst Case Execution Time (WCET) estimation methods devised for embedded platforms can be successfully applied to find the Worst Case Response Time (WCRT) of a network application running on a complex hardware platform such as a contemporary commercial off-the-shelf (COTS) system. Establishing easy-to-use timing validation techniques is crucial for real-time applications and...
-
PRE-FAILURE CONDITION AND THE METHOD OF REPAIRING GLUED TIMBER ROOF BEARS
PublikacjaDesign documentation of glued-laminated timber roof girders is in many cases very general, does not contain details and design solutions, and the contractors do not have experience in the implementation of this type of structure. Design and execution errors, including those related to glued laminated timber roof girders, not only affect the safety and durability of the structure of the facility in which they were built in, but...
-
Sliding friction of alumina (Al2O3) with friction induced vibrations
Dane BadawczeTest files containing data on experiments in self mated sliding contact of alumina Al2O3 lubricated with either water or paraffin oil. Tests run in variable load/velocity conditions and with different dynamic settings of the test rig (PT-3 tribometer). The aim of the research was to attempt in finding correlations between the dynamic characteristics...
-
Share of people working in the enterprise sector by ownership sector at the end of 2016 (%).
Dane BadawczeThe dynamic development of small and medium-sized enterprises, which was observed in the past century - in particular in the past two decades - is the phenomenon of the development of the world economy intriguing many researchers and research centers. These figures present the share of workforce according to the ownership sector at the end of 2016.
-
EEG data recorded in three mental states
Dane BadawczeElectroencephalographic (EEG) signals were acquired from 17 (14 males, 3 females) participants aged between 20 and 30 years.
-
For Your Eyes Only – Biometric Protection of PDF Documents
PublikacjaThe paper introduces a concept of a digital document content encryption/decryption with facial biometric data coming from a legitimate user. Access to the document content is simple and straightforward, especially during collaborative work with mobile devices equipped with cameras. Various contexts of document exchange are presented with regard to the next generation pro-active digital documents proposed by authors. An important...
-
Contextualizing a Knowledge Base by Approximation – A Case Study
PublikacjaModular knowledge bases give their users opportunity to store and access knowledge at different levels of generality. In this paper we present how to organize a modular knowledge bases organized into contexts in which a user can express their knowledge in much simplified way, yet without losing its precision. The work is centered around the notion of approximation - i.e. reducing the arity of predicates used. The presentation is...
-
The Use of Liquid Crystal Thermography an Image Processing in Heat and Fluid-Flow Research
PublikacjaLiquid crystal thermography (LCT) have been used in many technical, industrial and biomedical applications [1]. During over 20 years it has been successfully applied in Department of Energy and Industrial Apparatus at Gdansk University of Technology for visualization of steady-state and transient temperature fields. In order to demonstrate feasibility of LCT techniques in practical heat transfer contexts, the authors have performed...
-
Comparison and Analysis of Service Selection Algorithms
PublikacjaIn Service Oriented Architecture, applications are developed by integration of existing services in order to reduce development cost and time. The approach, however, requires algorithms that select appropriate services out of available, alternative ones. The selection process may consider both optimalization requirements, such as maximalization of performance, and constraint requirements, such minimal security or maximum development...
-
Energy-Aware Scheduling for High-Performance Computing Systems: A Survey
PublikacjaHigh-performance computing (HPC), according to its name, is traditionally oriented toward performance, especially the execution time and scalability of the computations. However, due to the high cost and environmental issues, energy consumption has already become a very important factor that needs to be considered. The paper presents a survey of energy-aware scheduling methods used in a modern HPC environment, starting with the...
-
Vibration signals collected for concrete beams with GFRP reinforcement subjected to elevated temperatures (120C-240C)
Dane BadawczeThe dataset contains the time domain signals obtained during dynamic tests of concrete beams reinforced with GFRP bars. The vibration were induced with the use of modal hammer, while the signals were collected by the accelerometers attached at the beam surface. The signals were captured before and after subjecting the concrete beams to elevated temperatures.
-
Zdzisław Kowalczuk prof. dr hab. inż.
OsobyW 1978 ukończył studia w zakresie automatyki i informatyki na Wydziale Elektroniki Politechniki Gdańskiej, następnie rozpoczął pracę na macierzystej uczelni. W 1986 obronił pracę doktorską, w 1993 habilitował się na Politechnice Śląskiej na podstawie pracy Dyskretne modele w projektowaniu układów sterowania. W 1996 mianowany profesorem nadzwyczajnym, w 2003 otrzymał tytuł profesora nauk technicznych. W 2006 założył i od tego czasu...
-
Performance and Power-Aware Modeling of MPI Applications for Cluster Computing
PublikacjaThe paper presents modeling of performance and power consumption when running parallel applications on modern cluster-based systems. The model includes basic so-called blocks representing either computations or communication. The latter includes both point-to-point and collective communication. Real measurements were performed using MPI applications and routines run on three different clusters with both Infiniband and Gigabit Ethernet...
-
Embracing silence: Creating inclusive spaces for autistic employees
PublikacjaI concur with Asselineau et al. (2024) that workplace silence profoundly impacts individual and organizational processes. Although they have detailed its significance across different contexts, a vital aspect merits deeper investigation. Namely, many autistic individuals exhibit hypersensitivity to sensory stimuli, such as noise. For this demographic, as well as for nonautistic individuals with sensory processing disorders, exposure...
-
Application of theory of semi-Markov processes to determining distribution of probabilistic process of marine accidents resulting from colission of ships
PublikacjaIn this paper is presented possible application of the theory of semi-Markov processes to elaborating an eight-state model of the process of occurrence of serviceability state and unserviceability states of sea-going ships making critical manoeuvres during their entering and leaving the ports. In the analysis it was taken into account that sea-going ships are in service for a very long time t (t → ∞). The model was elaborated to...
-
Holistic collision avoidance decision support system for watchkeeping deck officers
PublikacjaThe paper presents a 3-stage synthesis-based Decision Support System for watchkeeping deck officers. Its functional scope covers conflict detection, maneuver selection, and maneuver execution, all phases supplemented by collision alerts. First, a customized elliptic ship domain is used for checking if both OS and TS will have enough free space. A survey-based navigators’ declarative OS arena is then used to determine the time at...
-
Prioritising national healthcare service issues from free text feedback – A computational text analysis & predictive modelling approach
PublikacjaPatient experience surveys have become a key source of evidence for supporting decision-making and continuous quality improvement within healthcare services. To harness free-text feedback collected as part of these surveys for additional insights, text analytics methods are increasingly employed when the data collected is not amenable to traditional qualitative analysis due to volume. However, while text analytics techniques offer...
-
Analyzing energy/performance trade-offs with power capping for parallel applications on modern multi and many core processors
PublikacjaIn the paper we present extensive results from analyzing energy/performance trade-offs with power capping observed on four different modern CPUs, for three different parallel applications such as 2D heat distribution, numerical integration and Fast Fourier Transform. The CPU tested represent both multi-core type CPUs such as Intel⃝R Xeon⃝R E5, desktop and mobile i7 as well as many-core Intel⃝R Xeon PhiTM x200 but also server, desktop...
-
Validation of polyurethane-wood composites properties
Dane BadawczeThis study focuses on the development of the PU-WC manufacturing method, the determination of properties of this type of composite, and the indication of its potential application. The mechanical properties of PU-WC were characterized by flexural tests. To determine the thermal properties, dynamic mechanical analysis (DMA) and thermogravimetric analysis...
-
Improving the Performance of Ontological Querying by using a Contextual Approach
PublikacjaIn the paper we present the results of experiment we performed to determine whether a contextual approach may be used to increase the performance of querying a knowledge base. For the experiments we have used a unique setting where we put much effort in developing a contextual and a non-contextual ontology which are as much close counterparts as possible. To achieve this we created a contextual version...
-
Contextual ontology for tonality assessment
Publikacjaclassification tasks. The discussion focuses on two important research hypotheses: (1) whether it is possible to construct such an ontology from a corpus of textual document, and (2) whether it is possible and beneficial to use inferencing from this ontology to support the process of sentiment classification. To support the first hypothesis we present a method of extraction of hierarchy of contexts from a set of textual documents...
-
Krzysztof Redlarski dr inż.
OsobyKrzysztof Redlarski jest adiunktem w Katedrze Zastosowań Informatyki w Zarządzaniu na Wydziale Zarządzania i Ekonomii Politechniki Gdańskiej. Absolwent Wydziału Elektrotechniki i Automatyki, gdzie ukończył studia magisterskie. W 2013 roku uzyskał stopień naukowy doktora nauk ekonomicznych w zakresie nauk o zarządzaniu. Od początku swojej pracy na Politechnice Gdańskiej jego zainteresowania naukowe skupiają się wokół problematyki...
-
Kazimierz Darowicki prof. dr hab. inż.
OsobyStudia wyższe ukończyłem w czerwcu 1981 roku po zdaniu egzaminu dyplomowego i obronie pracy magisterskiej. Opiekunem pracy magisterskiej był dr hab. inż. Tadeusz Szauer. W roku 1991-11-27 uzyskałem stopień naukowy broniąc pracę doktorską zatytułowaną „Symulacyjna i korelacyjna analiza widm immitancyjnych inhibitowanej reakcji elektrodowej”. Promotorem pracy był prof. dr hab. inż. Józef Kubicki (Wydział...
-
Checkpointing of Parallel MPI Applications using MPI One-sided API with Support for Byte-addressable Non-volatile RAM
PublikacjaThe increasing size of computational clusters results in an increasing probability of failures, which in turn requires application checkpointing in order to survive those failures. Traditional checkpointing requires data to be copied from application memory into persistent storage medium, which increases application execution time as it is usually done in a separate step. In this paper we propose to use emerging byte-addressable...
-
Auto-tuning methodology for configuration and application parameters of hybrid CPU + GPU parallel systems based on expert knowledge
PublikacjaAuto-tuning of configuration and application param- eters allows to achieve significant performance gains in many contemporary compute-intensive applications. Feasible search spaces of parameters tend to become too big to allow for exhaustive search in the auto-tuning process. Expert knowledge about the utilized computing systems becomes useful to prune the search space and new methodologies are needed in the face of emerging heterogeneous...
-
Roman Śmierzchalski prof. dr hab. inż.
OsobyUrodził się w 1956 r. w Gdyni. Jest absolwentem Wydziału Elektrycznego Politechniki Gdańskiej (1979). W 1989 r. uzyskał stopień doktora, w roku 1999 stopień doktora habilitowanego, a w roku 2014 tytuł profesora. W latach 1980–2009 był pracownikiem naukowo-dydaktycznym Akademii Morskiej w Gdyni. Od 2009 jest r. pracownikiem naukowo-dydaktycznym Politechniki Gdańskiej. Jego zainteresowania naukowe obejmują: sterowanie i automatykę,...