Filters
total: 1617
-
Catalog
displaying 1000 best results Help
Search results for: software requirement specification
-
Delivering Usability in IT Products: Empirical Lessons from the Field
Publication -
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
PublicationThe aim of this work is to give the definition and present the possibility of applying (introduced and defined here) ontotriggers to design the ontology of a maturity capsule used in the assessment of IT projects. The complexity of designing ontology processes raises the question of whether there is a need for designing ontologies in a situation where it is possible to map them. The work is divided into four main parts. The first...
-
Crowdsourcing-Based Evaluation of Automatic References Between WordNet and Wikipedia
PublicationThe 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
PublicationRozwó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...
-
Oxygen partial pressure and temperature dependence of series resistance of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Open Research DataThis 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...
-
Greenhouse control system design
PublicationCoraz 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
PublicationThis 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
PublicationRozdział 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).
-
International Conference on Software and System Processes (International Conference of Software and Systems Process (was ICSP prior to 2011))
Conferences -
Language Models in Speech Recognition
PublicationThis 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.
-
Experimental Evaluation of ND: YAG Laser Parameters and Sample Preparation Methods for Texturing Thin AISI 316L Steel Samples
PublicationIn 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....
-
Properties of Old Concrete Built in the Former Leipziger Palace
PublicationThis 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...
-
Safety integrity level verification for safety-related functions with security aspects
PublicationThe 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
PublicationWhen 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...
-
A New Approach to Capacitive Sensor Measurements Based on a Microcontroller and a Three-Gate Stable RC Oscillator
PublicationA 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
PublicationW 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
PublicationThis 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.
-
Dariusz Kobiela mgr inż.
People -
Janusz Czaja mgr inż.
People -
Marcin Kwiatkowski mgr inż.
People -
Oxygen partial pressure and temperature dependence of R-CPE1 resistance of symmetrical porous SrTi0.30Fe0.70O3 electrode on CGO substrate
Open Research DataThis 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
Open Research DataThis 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
Open Research DataThis 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
Open Research DataThis 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
Open Research DataThis 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
Open Research DataThis 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...
-
Optimalization of TiO2 nanotube geometry using fuzzy reasoning approach
PublicationThe 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
PublicationThe 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.
-
General paradigm for distilling classical key from quantum states
PublicationIn 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...
-
Self-Adaptive Mesh Generator for Global Complex Roots and Poles Finding Algorithm
PublicationIn 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...
-
No-Wait & No-Idle Open Shop Minimum Makespan Scheduling with Bioperational Jobs
PublicationIn 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...
-
Automated Valuation Model based on fuzzy and rough set theory for real estate market with insufficient source data
PublicationObjective 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
e-Learning CoursesTheory 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
PublicationThis 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
PublicationAdvanced 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...
-
Adapting a General Tool to Monitoring Multi-Agent Systems Through Virtual Host Layer Extenstion
PublicationNagios 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
Conferences -
International Workshop on Metamodelling - Utilization in Software Engineering
Conferences -
International Conference on Software Architecture (was previously WICSA)
Conferences -
International Symposium on Theoretical Aspects of Software Engineering
Conferences -
International Conference on Software Engineering and Formal Methods
Conferences -
IEEE International Working Conference on Software Visualisation
Conferences -
International Conference on Software Engineering Theory and Practice
Conferences -
A Satellite workshop on Formal Approaches to Testing of Software
Conferences -
International Conference on Software Engineering: Education and Practice
Conferences -
International Symposium on Object Technologies for Advanced Software
Conferences -
Euromicro Conference on Software Engineering and Advanced Applications
Conferences -
Australian Workshop on Safety Critical Systems and Software
Conferences -
International Workshop on Software and Compilers for Embedded Systems
Conferences -
International Workshop on Computer-Aided Software Eng
Conferences