Filters
total: 1617
filtered: 1132
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: software requirement specification
-
Modeling of generator performance of BLDC machine using mathematica software
PublicationW artykule porównano trzy modele maszyny bezszczotkowej prądu stałego z magnesami trwałymi(BLDC) w przypadku pracy prądnicowej. Najprostszy model qd0 sprowadzono do dwóch osi prostopadłychzwiązanych z wirnikiem [3]. Zakłada on sinusoidalny rozkład pola w szczelinie. Model opisany wosiach naturalnych wyprowadzono w oparciu o formalizm Lagrnage'a [4] i moŜe uwzględniać dowolnyrozkład pola wzbudzonego przez magnesy trwałe. Model pośredni...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Software tools for identification, visualization and analysis of protein tunnels and channels
Publication -
SMOTE-Based Homogeneous Ensemble Methods for Software Defect Prediction
Publication -
Forecasting demand for products in distribution networks using R software
Publication -
Towards a software platform for experience administration: Decisional DNA Manager
PublicationW pracy przedstawiono koncepcje dochodzenia do konstrukcji platformy wspomagajacej procesy zarzadzania dosswiadczeniem decyzyjnym.
-
Software layer for FPGA-based TESLA cavity control system
Publication -
Gradient-based optimization of filters using FD-TD software
PublicationW artykule opisane jest nowe podejście do zagadnienia optymalizacji filtrów mikrofalowych pasmowo-przepustowych. Optymalizacja prowadzona jest z wykorzystaniem metody gradientowej poszukiwania minimum wartości funkcji celu oraz przy założeniu pełnofalowej symulacji obwodów metodą różnic skończonych w dziedzinie czasu. W artykule pokazane jest, że stosując zaawansowane techniki cyfrowego przetwarzania sygnałów możliwa jest optymalizacja...
-
Safety of computer control systems: challenges and results in software development.
PublicationArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
Solving nonlinear programming problems by using O&G software.
PublicationPraca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.
-
How can we justify trust in software based systems?
PublicationArtykuł wprowadza pojęcie ''trust case'' i wyjasnia jego znaczenie w kontekście systemów informatycznych. Przedstawia również doświadczenia zdobyte w trakcie budowy trust case dla złożonego systemu IT przeznaczonego do wspomagania procesów dystrybucji i stosowania leków. Przedstawia również szereg otwartych problemów badawczych dotyczacych budowy i zarządzanie dowodami zaufania (trust case).
-
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part I: system overview, software layers definition</title>
Publication -
Advanced local energy planning using the ALEP-PL computer software
PublicationPrzedstawiono autorski system komputerowy ALEP-PL do gromadzenia i agregacji danych o lokalnych obiektach energetycznych. System pozwala na analizy senariuszowe poprzez bilanse zapotrzebowania na paliwa i energie oraz poprzez wskaźnikowe wyznaczanie wilekości emisji CO2. Dodatkowo, dzięki wybudowanemu w system ALEP-PL zestawowi technologii modernizacyjnych, aplikacja umożliwia opracowywanie strategii redukcji emisji CO2, poprawy...
-
Using CFD software for the evaluation of hygrothermal conditions at wall-window perimeters
Publication -
Universal software radio peripheral as a receiver and DSP platform for a passive radar
Publication -
Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes
PublicationThe paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB/Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements....
-
Data Sampling-Based Feature Selection Framework for Software Defect Prediction
Publication -
Eye-tracking everywhere - software supporting disabled people in interaction with computers
PublicationIn this paper we present comprehensive system for communication with computer by gaze. One of the main assumptions behind this work was to provide solution that can be used with standard RGB webcam. The proposed comprehensive system included the eye tracking module and user interface for convenient gaze interaction with computer. As a result a fully functional application was developed. The average accuracy of the eye tracking...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Concept of building knowledge based systems applied in software project management.
PublicationW artykule przedstawiono koncepcję budowy systemów opartych na wiedzy. Koncepcja ta bazuje na wykorzystaniu teorii zbiorów rozmytych oraz metodach ustawicznego modelowania. W artykule wskazano na metody strojenia i adaptacji tych modeli
-
Methods of building knowledge-based systems applied in software project management
PublicationPraca zawiera rozdział poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy systemów dla potrzeb zarządzania koncentrując uwagę na systemach opartych na wiedzy. Następnie omówiono możliwości zastosowania teorii zbiorów rozmytych do modelowania wiedzy. Na zakończenie przedstawiono przykład wykorzystania zbiorów rozmytych i systemów opartych na wiedzy...
-
development of an open source software to transform acoustic data for classification of benthic habitat
Publication.
-
Application of Shuffled Frog-Leaping Algorithm for Optimal Software Project Scheduling and Staffing
Publication -
WiMA: Towards a Multi-Criterion Association in Software Defined Wi-Fi Networks
Publication -
Hybrid Obfuscation Technique to Protect Source Code From Prohibited Software Reverse Engineering
Publication -
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublicationArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.
PublicationPraca opisuje program służący do wizualizacji problemów programowania nieliniowego (funkcja celu, ograniczenia) oraz pracy rozwiązującego je algorytmu. Wizualizacja może być realizowana w przestrzeni dwu- lub trójwymiarowej.
-
A Multichannel Receiver of the Experimental FM Based Passive Radar Using Software Defined Radio Technology
Publication -
Software-based method of increasing the effective resolution of a measurement chain for a transducer with a pulse frequency output
Publication -
How Good Is My Project? Experiences from Projecting Software Quality Using a Reference Set
Publication -
Numerical analysis of chip removing system operation in circular sawing machine using CFD software
PublicationPaper presents the analysis of the results of numerical simulations of the air flow process of wood chips removing system in the circular sawing machine. The attention is focused on the upper cover and bottom shelter of the chip removing system. Within the framework of the work a systematic numerical modeling of the air flow distribution in the cover and shelter during operation of the selected rotational speed of saw blade with...
-
Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm
PublicationW artykule przedstawiono sprzętową i programową realizację algorytmu szyfrującego i deszyfrującego AES. Obydwie implementacje zostały zrealizowane z wykorzystaniem platformy Virtex-II i praktycznie zweryfikowane. Jako kryteria do porównania wybrano: zużycie zasobów, przepustowość i zużycie mocy. Wersja sprzętowa charakteryzuje się 190-krotnie większą przepustowością, 80-krotnie mniejszym zużyciem energii na przetworzenie jednego...
-
The Ellenbogen's “Matter as Software” Concept for Quantum Computer Implementation. C60 and X@C60 Molecules as Available Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Quantum Computing Devices
PublicationThe TBN bottom-up strategy of building quantum devices from C60 and X@C60 MBBs is proposed as an extension of the Ellenbogen's “Matter as Software” idea to quantum information processing. The capped SW or DW CNT STM tip is considered as device for manipulating C60 and X@C60 molecules. In this article, the possibility of using easily available on the market C60 Fullerene and endohedral X@C60 molecules together with commercial CNT...
-
Hardware-Software Implementation of a Sensor Network for CityTraffic Monitoring Using the FPGA- and ASIC-Based Sensor Nodes
PublicationArtykuł opisuje prototypową sieć sensorową do monitorowania ruchu pojazdów w mieście. Węzły sieci sensorowej, wyposażone w kamerę o niskiej rozdzielczości, obserwują ulice i wykrywają poruszające się obiekty. Detekcja obiektów jest realizowana w oparciu o własny algorytm segmentacji obrazów, wykorzystujący podwójne odejmowanie tła, wykrywanie krawędzi i cieni, działający na dedykowanym systemie mikroelektronicznym typu ''System...
-
Impact of Feature Selection Methods on the Predictive Performance of Software Defect Prediction Models: An Extensive Empirical Study
Publication -
On efficient collaboration between lawyers and software engineers when transforming legal regulations to law-related requirements
PublicationAby zapewnić zgodność systemów informatycznych z prawem, konieczna jest współpraca pomiędzy prawnikami a informatykami. W referacie przedstawiono opis problemów dotyczących przekształcania przepisów prawa na wymagania względem systemu z perspektywy prawnika i informatyka. Zaprezentowano również ideę przestrzeni wspólnych informacji umożliwiających efektywną współpracę oraz proces, który integruje analizę wymagań wynikających z...
-
Statistical process control in software project management : a way to transfer single incident-related knowledge into organizational knowledge
PublicationZaproponowano statystyczne podejście do procesu kontroli zarządzania projektami informatycznymi. Przedstawiono sposób zamiany wiedzy incydentalnej na wiedzę organizacyjną.
-
Review of intelligent software architectures for the development of an intelligent decision support system for design process planning in concurrent engineering
PublicationW artykule poddano dogłębnej analizie szereg inteligentnych technik miękkie-go modelowania pod katem ich przydatności w obszarze wspomagania procesówplanowania dla inżynierii współzadaniowej. Skoncentrowano się na wspomaganiujednego z najważniejszych obszarów inżynierii współzadaniowej, a mianowicieprocesu projektowania. W wyniku analizy zaproponowano architekturę wspomaga-nia opartą na tablicowej bazie wiedzy modelującej wnioskowanie...
-
The Ellenbogen's "Matter as Software" Concept for Quantum Computer Implementation: III. Selection of X@C60 Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Trapped Neutral Atom Quantum Computing Devices
PublicationThe selection of guest atoms X of X@C60 MBBs for TBN of trapped neutral atom quantum computing devices is reported. Assuming the all-optical quantum computing as a final target stage, the two criteria are most important: the charge q accumulated on the C60 host must be as low as possible, and the atom X must have one or more available excited states within the band falling into the low energy window of neutral C60 molecule electronic...
-
Signal Receiving and Processing Platform of the Experimental Passive Radar for Intelligent Surveillance System Using Software Defined Radio Approach
Publication -
On some aspects of Concurrent Control Processes Modelling and Implementation in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
ProSIL software for computer aided functional Safety management = Program komputerowy ProSIL do wspomagania zarządzaniem bezpieczeństwa funkcjonalnego
Publication..
-
The Ellenbogen's "Matter as Software" Concept for Quantum Computer Implementation: II Bonding Between the C60 and X@C60 Molecules as Available Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Quantum Computing Devices
PublicationThe binding energy, BE of the X@C60-X@C60 homodimer and the X@C60-Y@C60 heterodimer resulting from the bond formation between the occupied X@C60 MBB and the C60 molecule was studied by means of semiempirical PM7 calculations, where X and Y denote atoms from H to Bi, excluding Tc and lanthanides. All possible combinations of N = 68 guest atoms were considered, which resulted in K = 2346 of different calculated dimers of (X@C60-Y@C60)...
-
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Integracja narzędzi do zarządzania wymaganiami oraz modelowania na przykładzie IBM Rational Requirements Composer i Software Architect
PublicationDzisiejsze wyzwania zarządzania technologiami informatycznymi coraz częściej dotykają bardzo istotnej kwestii, jaką jest problematyka integracji. Rozdział porusza zagadnienia związane z integracją narzędzi wykorzystywanych w realizacji przedsięwzięć informatycznych.
-
Ontology Engineering Aspects in the Intelligent Systems Development
PublicationThe ontology engineering encompasses both, artificial intelligence methods and software engineering discipline. The paper tries to address a selection of aspects pertaining to development activities such as choice of the environmental framework, functionality description, specification methods and roles definition. Authors refer to the ontology development projects they were involved in.
-
Towards automation of IT systems repairs
PublicationMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
The Ellenbogen’s “Matter as Software” Concept for Quantum Computer Implementation: IV. The X@C60 Molecular Building Blocks (MBBs) and Computing System Lifetime Estimation
PublicationThe problem of approximate lifetimes of individual X@C60 MBBs and tip-based nanofabricated quantum computing device systems is discussed under the conservative assumption of single-point failure. A single chemical transformation of the C60 cage into high-energy opened o-C60 isomer which forms the communication canal for the low energy transfer of an X atom from X@C60 MBB to the outside environment was studied. According to the...
-
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part II: application layer, networking, examples</title>
Publication -
Exploring Impact of Requirements Engineering on Other IT Project Areas – Case Study
PublicationRequirements Engineering (RE) is recognized as one of the most important (yet difficult) areas of software engineering that has a significant impact on other areas of IT projects and their final outcomes. Empirical studies investigating this impact are hard to conduct, mainly due to the great effort required. It is thus difficult for both researchers and industry practitioners to make evidence-based evaluations about how decisions...