Filtry
wszystkich: 1620
-
Katalog
- Publikacje 1132 wyników po odfiltrowaniu
- Czasopisma 41 wyników po odfiltrowaniu
- Konferencje 112 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 29 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 244 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: software requirement specification
-
Crowdsourcing-Based Evaluation of Automatic References Between WordNet and Wikipedia
PublikacjaThe paper presents an approach to build references (also called mappings) between WordNet and Wikipedia. We propose four algorithms used for automatic construction of the references. Then, based on an aggregation algorithm, we produce an initial set of mappings that has been evaluated in a cooperative way. For that purpose, we implement a system for the distribution of evaluation tasks, that have been solved by the user community....
-
Bezzałogowe środki latające (BSL) w układzie czterowirnikowego helikoptera
PublikacjaRozwój układów sterowania, kamer pracujących w świetle widzialnym oraz w podczerwieni doprowadził do wzrostu znaczenia bezpilotowych środków latających. Bezpilotowe środki latające wykorzystywane są do realizacji celów zarówno wojskowych, jak i cywilnych. Podstawowymi zaletami bezpilotowych środków latających są: małe wymiary, duża mobilność, niskie koszty wytworzenia i eksploatacji. Użytkowanie bezpilotowych środków latających...
-
Jerzy Proficz dr hab. inż.
OsobyJerzy Proficz – dyrektor Centrum Informatycznego Trójmiejskiej Akademickiej Sieci Komputerowej (CI TASK) na Politechnice Gdańskiej. Uzyskał stopień naukowy doktora habilitowanego (2022) w dyscyplinie: Informatyka techniczna i telekomunikacja. Autor i współautor ponad 50 artykułów w czasopismach i na konferencjach naukowych związanych głównie z równoległym przetwarzaniem danych na komputerach dużej mocy (HPC, chmura obliczeniowa). Udział...
-
Greenhouse control system design
PublikacjaCoraz większa populacja i zmniejszające się tereny uprawne wymusza efektywniejsze metody uprawy roślin. Zaradzić temu mogą układu hydroponiczne, które dzięki rozwojowi techniki są w stanie osiągać znacznie większe oraz bardziej jednorodne plony. Jest to możliwe dzięki zaawansowanym systemom opartym na dokładnych urządzeniach pomiarowych, sterowaniu w zamkniętej pętli oraz mikrokontrolerom umożliwiającym...
-
AC loss measurements in superconducting magnet
PublikacjaThis report contains ordered theoretical informations about AC loss in superconducting magnets and cables. A software program to evaluate data from AC loss measurements with V-I method was made and it is also described. Examples of measurement data and result data are shown here.
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublikacjaRozdział 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).
-
Oxygen partial pressure and temperature dependence of series resistance of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element series resistance at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
International Conference on Software and System Processes (International Conference of Software and Systems Process (was ICSP prior to 2011))
Konferencje -
Language Models in Speech Recognition
PublikacjaThis chapter describes language models used in speech recognition, It starts by indicating the role and the place of language models in speech recognition. Mesures used to compare language models follow. An overview of n-gram, syntactic, semantic, and neural models is given. It is accompanied by a list of popular software.
-
Safety integrity level verification for safety-related functions with security aspects
PublikacjaThe article is devoted some important issues of the functional safety analysis, in particular the safetyintegrity level (SIL) verification of safety functions to be implemented within the distributed controland protection systems with regard to cyber security aspects. The procedure for functional safety man-agement includes hazard identification, risk analysis and assessment, specification of overall safetyrequirements and definition...
-
An in-depth look at the tire rubber hardness influence on tire/road noise measurements
PublikacjaWhen assessing the acoustic quality of a road pavement with the close-proximity (CPX) or the on-board sound intensity (OBSI) method, the rubber hardness of the reference tire substantially affects the measurement. Practical experience shows that measurement tires can get significantly harder within a single measurement season. This is why one would like to normalize measurements to a reference rubber hardness. The recently published...
-
Properties of Old Concrete Built in the Former Leipziger Palace
PublikacjaThis research aims to determine the mechanical, chemical, and physical properties of old concrete used in the former Leipziger Palace in Wrocław, Poland. The cylindrical specimens were taken from the basement concrete walls using a concrete core borehole diamond drill machine. The determination of the durability and strength of old concrete was based on specified chosen properties of the old concrete obtained through the following...
-
Experimental Evaluation of ND: YAG Laser Parameters and Sample Preparation Methods for Texturing Thin AISI 316L Steel Samples
PublikacjaIn mechanical and material engineering, the effect of laser texturing depends on many factors besides device specification, primarily the properties of the materials being processed, and, secondly, the preparation of the sample. Laser texturing of thin (<5 mm) samples is mostly performed utilizing short-pulse lasers, but depending on the power of the laser beam, the process can also be performed by using continuous operation lasers....
-
A New Approach to Capacitive Sensor Measurements Based on a Microcontroller and a Three-Gate Stable RC Oscillator
PublikacjaA complete smart capacitive sensor solution basedA complete smart capacitive sensor solution based on a microcontroller was developed. This approach includes the development of both the hardware and software. The hardware part comprises an 8-bit microcontroller equipped with two timers/counters and a three-gate stable RC relaxation oscillator. The software part handles system configuration, measurement control, communication control,...
-
Hardware cryptography coprocessor for system on chip soft processor
PublikacjaW artykule przedstawiono realizację sprzętową i programową szyfrującejo i deszyfrującego algorytmu AES.Obydwie implementacje zostały zralizowane z wykorzystaniem układu Virtex II i przetestowane. Jako kryterium porónawcze wybrano zużycie zasobów układu oraz wydajność. Realizacja sprzętowa wykonuje operację szyfrowania 2 dekady szybcie niż wersja programowa, ale wymaga pięciokrotnie więcej zasobówIn this paper hardware and software...
-
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.
-
Optimalization of TiO2 nanotube geometry using fuzzy reasoning approach
PublikacjaThe geometry of TiO2 nanotube layer on titanium, obtained by electrochemical anodization, has been determined by using fuzzy reasoning approach. A proposed method showed the possibility of nanotube array architecture optimization by choosing an appropriate anodization condition. A fuzzy logic controller (FLC) was utilized using Matlab Software.
-
Ampacity of power cables exposed to solar radiation – recommendations of standards vs. CFD simulations
PublikacjaThe aim of the paper is to evaluate the ampacity of a low-voltage single power cable according to: 1) recommendations of the standard IEC 60287, 2) a Computational Fluid Dynamics method, implemented in Ansys software; and comparison of the results obtained for these two cases. Moreover, limitations of recommendations of the above mentioned standard are indicated.
-
Dariusz Kobiela mgr inż.
Osoby -
Janusz Czaja mgr inż.
Osoby -
Marcin Kwiatkowski mgr inż.
Osoby -
Oxygen partial pressure and temperature dependence of R-CPE1 resistance of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element R-CPE1 resistance at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
Oxygen partial pressure and temperature dependence of R-CPE2 frequency of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element R-CPE2 frequency at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
Oxygen partial pressure and temperature dependence of R-CPE1 capacity of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element R-CPE1 capacity at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
Oxygen partial pressure and temperature dependence of R-CPE1 frequency of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element R-CPE1 frequency at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
Oxygen partial pressure and temperature dependence of R-CPE2 resistance of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element R-CPE2 resistance at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
Oxygen partial pressure and temperature dependence of R-CPE2 capacity of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Dane BadawczeThis dataset contains values of equivalent circuit element R-CPE2 capacity at different temperatures (800 °C, 700 °C, 600 °C and 500 °C) and oxygen partial pressures (100%, 80%, 50% 30%, 20%, 15%, 10%, 5%, 2.5%, 1%, and 0.3% pO2) of symmetrical SrTi0.30Fe0.70O3 electrode sintered at 800 °C. This values were obtained by fitting each measured impedance...
-
General paradigm for distilling classical key from quantum states
PublikacjaIn this paper, we develop a formalism for distilling aclassical key from a quantum state in a systematic way, expandingon our previous work on a secure key from bound entanglement(Horodecki et al., 2005). More detailed proofs, discussion, andexamples are provided of the main results. Namely, we demonstratethat all quantum cryptographic protocols can be recast in away which looks like entanglement theory, with the only changebeing...
-
No-Wait & No-Idle Open Shop Minimum Makespan Scheduling with Bioperational Jobs
PublikacjaIn the open shop scheduling with bioperational jobs each job consists of two unit operations with a delay between the end of the first operation and the beginning of the second one. No-wait requirement enforces that the delay between operations is equal to 0. No-idle means that there is no idle time on any machine. We model this problem by the interval incidentor (1, 1)-coloring (IIR(1, 1)-coloring) of a graph with the minimum...
-
Self-Adaptive Mesh Generator for Global Complex Roots and Poles Finding Algorithm
PublikacjaIn any global method of searching for roots and poles, increasing the number of samples increases the chances of finding them precisely in a given area. However, the global complex roots and poles finding algorithm (GRPF) (as one of the few) has direct control over the accuracy of the results. In addition, this algorithm has a simple condition for finding all roots and poles in a given area: it only requires a sufficiently dense...
-
Automated Valuation Model based on fuzzy and rough set theory for real estate market with insufficient source data
PublikacjaObjective monitoring of the real estate value is a requirement to maintain balance, increase security and minimize the risk of a crisis in the financial and economic sector of every country. The valuation of real estate is usually considered from two points of view, i.e. individual valuation and mass appraisal. It is commonly believed that Automated Valuation Models (AVM) should be devoted to mass appraisal, which requires a large...
-
Objective Programming EMSS 2023
Kursy OnlineTheory and practice on object oriented programmingSoftware programming paradigms including object oriented approachEncapsulation, inheritance, abstraction and polymorphism in C++ languageSpecific features of C++ obiect-orientationDynamic memory management in C++ languagePython as a scripting object oriented languageComparison of C++ and Python languages to Java and C#
-
Comparison of developed gaze point estimation methods
PublikacjaThis paper presents the software part of an inexpensive hands-free eye tracking system. The system works using infrared illumination like most of the available eye trackers. Two methods allowing estimation the gaze point on computer screen are compared. Research on effectiveness of these methods is discussed and the better one is indicated.
-
Advanced Potential Energy Surfaces for Molecular Simulation
PublikacjaAdvanced potential energy surfaces are defined as theoretical models that explicitly include many-body effects that transcend the standard fixed-charge, pairwise-additive paradigm typically used in molecular simulation. However, several factors relating to their software implementation have precluded their widespread use in condensed-phase simulations: the computational cost of the theoretical models, a paucity of approximate models...
-
Elżbieta Zamiar dr inż.
OsobyElżbieta Zamiar adiunkt na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej w Katedrze Inżynierii Oprogramowania. Praktyk informatyk.
-
PPAM 2022
WydarzeniaThe PPAM 2022 conference, will cover topics in parallel and distributed computing, including theory and applications, as well as applied mathematics.
-
Adapting a General Tool to Monitoring Multi-Agent Systems Through Virtual Host Layer Extenstion
PublikacjaNagios is a free software for IT infrastructure monitoring. Out-of-the-box it is not suited for monitoring multi-agent systems, because agents may dynamically join and leave the system or change roles. But Nagios' flexible configuration makes extensions possible. This paper presents and verifies Nagios configuration and extensions for monitoring multi-agent systems.
-
IEEE International Conference on Software Maintenance and Evolution
Konferencje -
International Workshop on Metamodelling - Utilization in Software Engineering
Konferencje -
International Conference on Software Architecture (was previously WICSA)
Konferencje -
International Symposium on Theoretical Aspects of Software Engineering
Konferencje -
International Conference on Software Engineering and Formal Methods
Konferencje -
IEEE International Working Conference on Software Visualisation
Konferencje -
International Conference on Software Engineering Theory and Practice
Konferencje -
A Satellite workshop on Formal Approaches to Testing of Software
Konferencje -
International Conference on Software Engineering: Education and Practice
Konferencje -
International Symposium on Object Technologies for Advanced Software
Konferencje -
Euromicro Conference on Software Engineering and Advanced Applications
Konferencje -
Australian Workshop on Safety Critical Systems and Software
Konferencje -
International Workshop on Software and Compilers for Embedded Systems
Konferencje