Wyszukiwarka
Filtry
wszystkich: 1680
-
Katalog
- Publikacje 1179 wyników po odfiltrowaniu
- Czasopisma 41 wyników po odfiltrowaniu
- Konferencje 112 wyników po odfiltrowaniu
- Osoby 49 wyników po odfiltrowaniu
- Projekty 9 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 33 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 253 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: SOFTWARE REQUIREMENT SPECIFICATION
-
Journal of Open Research Software
Czasopisma -
Journal of Communications Software and Systems
Czasopisma -
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Czasopisma -
Computing and Software for Big Science
Czasopisma -
SOFTWARE TESTING VERIFICATION & RELIABILITY
Czasopisma -
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublikacjaFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
IET Software
Czasopisma -
Software tools for identification, visualization and analysis of protein tunnels and channels
Publikacja -
Modeling of generator performance of BLDC machine using mathematica software
PublikacjaW 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...
-
Forecasting demand for products in distribution networks using R software
Publikacja -
Poll Reader - the working prototype of optical mark recognition software
PublikacjaAutomatyczne 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...
-
Knowledge management based on formal models of software project management
PublikacjaCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Towards a software platform for experience administration: Decisional DNA Manager
PublikacjaW pracy przedstawiono koncepcje dochodzenia do konstrukcji platformy wspomagajacej procesy zarzadzania dosswiadczeniem decyzyjnym.
-
SMOTE-Based Homogeneous Ensemble Methods for Software Defect Prediction
Publikacja -
Software layer for FPGA-based TESLA cavity control system
Publikacja -
A Method of Lathe Checks Measurement; SMOF device and its software
Publikacja -
How can we justify trust in software based systems?
PublikacjaArtykuł 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).
-
Solving nonlinear programming problems by using O&G software.
PublikacjaPraca 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.
-
Safety of computer control systems: challenges and results in software development.
PublikacjaArtykuł 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.
-
Gradient-based optimization of filters using FD-TD software
PublikacjaW 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...
-
Paweł Czarnul dr hab. inż.
OsobyPaweł Czarnul uzyskał stopień doktora habilitowanego w dziedzinie nauk technicznych w dyscyplinie informatyka w roku 2015 zaś stopień doktora nauk technicznych w zakresie informatyki(z wyróżnieniem) nadany przez Radę Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej w roku 2003. Dziedziny jego zainteresowań obejmują: przetwarzanie równoległei rozproszone w tym programowanie równoległe na klastrach obliczeniowych,...
-
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part I: system overview, software layers definition</title>
Publikacja -
Adam Przybyłek dr
Osobystopień doktora uzyskany w grudniu 2011 od Wydziału Elektroniki, Telekomunikacji i Informatyki, PG od 2012 zatrudniony jako adiunkt w Katedrze Inżynierii Oprogramowania, WETI PG; wcześniej pracował jako asystent w Katedrze Informatyki Ekonomicznej UG oraz instruktor w Akademii CISCO zainteresowania badawcze: programowanie aspektowe, metodyki zwinne, modelowanie procesów biznesowych więcej informacji na stronie domowej: http://przybylek.wzr.pl
-
Data Sampling-Based Feature Selection Framework for Software Defect Prediction
Publikacja -
Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes
PublikacjaThe 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....
-
Using CFD software for the evaluation of hygrothermal conditions at wall-window perimeters
Publikacja -
Universal software radio peripheral as a receiver and DSP platform for a passive radar
Publikacja -
BalticLSC: Low-Code Software Development Platform for Large Scale Computations
Publikacja -
Methods of building knowledge-based systems applied in software project management
PublikacjaPraca 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...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł 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.
PublikacjaW 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
-
Eye-tracking everywhere - software supporting disabled people in interaction with computers
PublikacjaIn 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...
-
Advanced local energy planning using the ALEP-PL computer software
PublikacjaPrzedstawiono 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...
-
development of an open source software to transform acoustic data for classification of benthic habitat
Publikacja.
-
WiMA: Towards a Multi-Criterion Association in Software Defined Wi-Fi Networks
Publikacja -
Application of Shuffled Frog-Leaping Algorithm for Optimal Software Project Scheduling and Staffing
Publikacja -
The application of GIS and 3D graphic software to visual impact assessment of wind turbines
Publikacja -
International Review on Computers and Software (IRECOS)
Czasopisma -
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Czasopisma -
Software-Intensive Cyber-Physical Systems
Czasopisma -
Przemysław Rośleń
OsobyAssociate Software Engineer in Adtran
-
Hybrid Obfuscation Technique to Protect Source Code From Prohibited Software Reverse Engineering
Publikacja -
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublikacjaArtykuł 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....
-
Looking For Motivation. How to Keep Students’ Software Projects from Ending up on the Shelf?
PublikacjaIT specialists in the business environment work in teams according to the established methodology and using the established toolkit. From the university’s point of view, preparing IT students to work in such an environment is a challenging task, as it requires either cooperation with business or the simulation of similar conditions in the university environment. Participation of students in real projects can provide them with the...
-
Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.
PublikacjaPraca 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.
-
ENVIRONMENTAL MODELLING & SOFTWARE
Czasopisma -
ADVANCES IN ENGINEERING SOFTWARE
Czasopisma -
Software-based method of increasing the effective resolution of a measurement chain for a transducer with a pulse frequency output
Publikacja -
How Good Is My Project? Experiences from Projecting Software Quality Using a Reference Set
Publikacja -
Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm
PublikacjaW 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...