Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "data flow" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 36
Tytuł:
Dataflow approach to testing Java programs supported with DFC
Autorzy:
Bluemke, I
Rembiszewski, A
Powiązania:
https://bibliotekanauki.pl/articles/384114.pdf
Data publikacji:
2015
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
Java programming
data flow testing
structural programming language
DFC (Data Flow Coverage)
Opis:
Code based (“white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many tools supporting code based testing of object programs, only JaBUTi and DFC (Data Flow Coverage) support dataflow testing of Java programs. DFC is a tool implemented at the Institute of Computer Science Warsaw University of Technology as an Eclipse plug-in. The objective of this paper is to present dataflow coverage testing of Java programs supported by DFC. DFC finds all definition-uses pairs in tested unit and provides also the definition-uses graph for methods. After the execution of test information which def-uses pairs were covered is shown. An example of data flow testing of Java program is also presented
Źródło:
e-Informatica Software Engineering Journal; 2015, 9, 1; 9-19
1897-7979
Pojawia się w:
e-Informatica Software Engineering Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reducing the Number of Higher-order Mutants with the Aid of Data Flow
Autorzy:
Ghiduk, A. S.
Powiązania:
https://bibliotekanauki.pl/articles/384156.pdf
Data publikacji:
2016
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
mutation testing
first-order mutants
higher-order mutants
data-flow analysis
Opis:
Higher-order mutants are created by injecting two or more mutations into the original program, while first-order mutants are generated by seeding single faults in the original program. Mutant generation is a key stage of mutation testing which is computationally very expensive, especially in the case of higher-order mutants. Although many mutation testing techniques have been developed to construct the first-order mutants, a very small number of techniques have been presented to generate the higher-order mutants because of the exponential growth of the number of higher-order mutants, and the coupling effect between higher-order and first-order mutants. To overcome the exponential explosion in the number of higher-order mutants considered, this paper introduces a new technique for generating a reduced set of higher-order mutants. The proposed technique utilizes a data-flow analysis to decrease the number of mutation points through the program under test and consequently reduce the number of higher-order mutants. In this technique only positions of defs and uses are considered as locations to seed the mutation. The generated set of higher-order mutants consists of a reduced number of mutants, which reduces the costs of higher-order mutation testing. In addition, the proposed technique can generate the higher-order mutants directly without generating the first-order mutants or by combining two or more first-order mutants. A set of experiments are conducted to evaluate the effectiveness of the proposed technique. The results of the conducted experiments are presented and compared with the results of the related work. These results showed that the proposed technique is more effective than the earlier techniques in generating higher-order mutants without affecting the efficiency of mutation testing.
Źródło:
e-Informatica Software Engineering Journal; 2016, 10, 1; 31-49
1897-7979
Pojawia się w:
e-Informatica Software Engineering Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Scheduling of synchronous dataflow graphs for datapath synthesis
Autorzy:
Maslennikowa, N.
Sergiyenko, A.
Powiązania:
https://bibliotekanauki.pl/articles/118384.pdf
Data publikacji:
2015
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
data flow graph
DFG (data flow graph)
synchronous dataflow graphs
SDFs
matrix
pipelined datapath design
graf zależności informacyjnych
DFG
synchroniczny graf zależności informacyjnych
macierz
projektowanie potokowej jednostki przetwarzającej
Opis:
A method of the schedule searching is proposed, which is based on the properties of the spatial SDF. The method is based on the SDF representation in the multidimensional space. The dimensions of this space are spatial coordinate of the processing unit, time moment of the operator calculation, and operator type. During the synthesis, the nodes are placed in the space according to a set of rules, providing the minimum hardware volume for the given number of clock cycles in the algorithm period. The resulting spatial SDF is described by VHDL language and is modeled and compiled using proper CAD tools. The method is successfully proven by the synthesis of a set of FFT processors, IIR filters, and other pipelined datapaths for FPGA.
Zaproponowany sposób poszukiwania opiera się na właściwościach przestrzennych SDF. Metoda ta bazuje na SDF prezentacji w przestrzeni wielowymiarowej. Wymiarami danej przestrzeni są współrzędne jednostki przetwarzającej, czas momentu obliczeniowego operatora oraz typ operatora. Podczas syntezy, węzły są umieszczone w przestrzeni zgodnie z zestawem reguł, dając minimalną częstotliwość pracy zegara systemowego podczas wykonywania algorytmu. Powstały przestrzenny SDF jest opisany przez język VHDL i jest modelowany i skompilowany przy użyciu odpowiednich narzędzi CAD. Ta metoda jest pomyślnie sprawdzona przez syntezę zestawu procesorów FFT, filtrów IIR, oraz innych potokowych jednostek przetwarzających płytki FPGA.
Źródło:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2015, 8; 53-60
1897-7421
Pojawia się w:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Możliwości wykorzystania kodów dwuwymiarowych w dostępie do informacji za pomocą urządzeń mobilnych
The Possibilities of Using Mobile Technology in the Fast Access to Information
Autorzy:
Staś, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/590646.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Komunikowanie
Media informacyjne
Przepływ informacji
Technologie mobilne
Communication
Data flow
Information media
Mobile technologies
Opis:
The method and the rapidity of the information are very important for the development of the information society. Continuously developed information technologies on the one hand facilitate the implementation of the communication process, but on the other are a challenge, as they offer new opportunities. One of such opportunities to access information is two-dimensional QR code. With those codes there are possibility to quickly provide the information and at the same time encourage recipient to take interactions with information. In the article Author outlines the possibilities of using QR codes and presents the results of the popularity of this method of communication among the students of the university.
Źródło:
Studia Ekonomiczne; 2013, 157; 108-122
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metoda reprezentacji pośredniej programu PLC opisanego za pomocą języków LD i SFC na potrzeby syntezy sprzętowej
A common intermediate representation of LD and SFC programs for hardware synthesis purposes
Autorzy:
Milik, A.
Powiązania:
https://bibliotekanauki.pl/articles/151128.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterownik programowalny
diagram stykowy
LD
sekwencyjny schemat funkcji
SFC
synteza logiczna wysokiego poziomu
graf przepływu danych
DFG
FPGA
układy rekonfigurowane
PLC
high level logic synthesis
DFG (data flow graph)
data flow graph
ladder diagram
Opis:
W artykule przedstawiono metody reprezentacji pośredniej programu sterowania opisanego językiem LD oraz SFC zgodnie z IEC61131-3, opracowane na potrzeby syntezy sprzętowej kładów sterowania PLC implementowanych w strukturach programowalnych FPGA. W opisie wykorzystano oryginalną implementację grafu skierowanego. Przedstawiono opracowane reguły odwzorowania, zapewniające zachowanie zależności sekwencyjnych przy jednoczesnym uzyskaniu maksymalnego zrównoleglenia działania. Przedstawiono również zarys metod syntezy na podstawie opracowanego odwzorowania pośredniego.
The increased performance of a PLC can be achieved by direct implementation of a control program in an FPGA device [3, 6, 7, 8, 12, 13]. The paper presents a methodology of transforming a standard PLC program given by LD or SFC according to IEC61131-3 to the common intermediate form dedicated for logic synthesis. The intermediate form of the control program is represented by a data flow graph (DFG, Fig. 1). The set of nodes is carefully selected to minimize the number of different types of nodes while assuring implementation of PLC behavior. Attributed edges and multiple argument nodes are used to reduce size of DFG (Fig. 2). The developed method for creating a DAG maintains sequential dependencies between variables and revel operations parallelism. In PLC programs the variables pass values between operations and computation cycles. In order to maintain sequential dependencies, value assignment to a variable is observed. If the accessed variable has not been assigned, its value is used for a driving node (Fig. 3). The SFC is based on step, actions and transitions [2]. The step variable in the DFG is represented by a JK flip-flop equivalent. The activation function of a step is based on analysis of its dependencies with preceding and succeeding steps and transitions (Fig. 5). Actions that are bounded with steps are controlled according to their types (Fig. 6). The presented intermediated representation has been successfully applied to synthesize a PLC implemented in an FPGA device.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 799-802
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obsługa asynchronicznego przepływu danych w komponentowych podsystemach percepcji robotów
Asynchronous data flow handling in component-based robot perception subsystems
Autorzy:
Kornuta, T.
Stefańczyk, M.
Laszkowski, M.
Figat, M.
Figat, J.
Zieliński, C.
Powiązania:
https://bibliotekanauki.pl/articles/277440.pdf
Data publikacji:
2014
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
robot
percepcja
komponent
struktura ramowa
DisCODe
przepływ danych asynchroniczny
perception
component
framework
asynchronous data flow
Opis:
Obsługa asynchronicznego przepływu danych w złożonych potokach obliczeniowych, jakie z reguły tworzą podsystemy sensoryczne robotów, wymaga wytworzenia odpowiednich narzędzi wspomagających ich implementację. W artykule zaproponowano rozwiązanie umożliwiające warunkowe działanie poszczególnych bloków obliczeniowych w zależności od dostępnych danych. Rozważania teoretyczne doprowadziły do implementacji tych mechanizmów w strukturze ramowej DisCODe. Działanie rozwiązania przedstawiono na dwóch prostych przykładach.
Handling of asynchronous data flows in complex computational systems such as robot sensor subsystems requires appropriate tools facilitating their implementation. The article proposes a solution to the aforementioned problem. The solution enables the activation of a conditional behaviour of the individual computational blocks, depending on the presence of data in their input buffers. Theoretical considerations led to the implementation of these mechanisms in a component-oriented framework for development of diverse robot perception subsystems: DisCODe. Operation of the solution is illustrated in two simple exemplary tasks.
Źródło:
Pomiary Automatyka Robotyka; 2014, 18, 5; 127-133
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Skuteczna komunikacja w podmiotach administracji publicznej
Efficient Communication of Public Administration Subjects
Autorzy:
Serafin, Krystyna
Powiązania:
https://bibliotekanauki.pl/articles/588698.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Administracja publiczna
Efektywne komunikowanie
Informacja publiczna
Przepływ informacji
Data flow
Effective communication
Public administration
Public information
Opis:
We live in times of a variety of information channels. Progressing globalization has also affected the information process and the consumer market. Thus complex solution within the domain of public relations are necessary. Uncoordinated, accidental relation with the external environment surely will not help in the promotion of administrative activities. Properly realized plan of public relation actions will allow to build institutional trust and provide for protection against improper interpretation of activities. Not always facts are self-explanatory. The process of communication can give the facts their proper meaning. It is extremely important for the receiver in the process of communication to receive reliable information, adequate to truth. Therefore proper informational policy shall be inscribed within the activities of every public information. The society expects information on activities of public administration and the communication shall be realized in a manner focusing on the subject and understandable for the receiver. Thus it is important to constantly educate people responsible for communication in public institutions.
Źródło:
Studia Ekonomiczne; 2013, 141; 136-151
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Loop profiling tool for HPC code inspection as an efficient method of FPGA based acceleration
Autorzy:
Pietroń, M.
Russek, P.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/929582.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
HPC
HPRC
obliczanie wysokowartościowe
obliczanie rekonfigurowalne
przetwarzanie danych
loop profiling
Mitrion-C
DFG (data flow graph)
Opis:
This paper presents research on FPGA based acceleration of HPC applications. The most important goal is to extract a code that can be sped up. A major drawback is the lack of a tool which could do it. HPC applications usually consist of a huge amount of a complex source code. This is one of the reasons why the process of acceleration should be as automated as possible. Another reason is to make use of HLLs (High Level Languages) such as Mitrion-C (Mohl, 2006). HLLs were invented to make the development of HPRC applications faster. Loop profiling is one of the steps to check if the insertion of an HLL to an existing HPC source code is possible to gain acceleration of these applications. Hence the most important step to achieve acceleration is to extract the most time consuming code and data dependency, which makes the code easier to be pipelined and parallelized. Data dependency also gives information on how to implement algorithms in an FPGA circuit with minimal initialization of it during the execution of algorithms.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2010, 20, 3; 581-589
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling of data qow in component-based robot perception systems
Modelowanie przepływu danych w komponentowych układach percepcji robotów
Autorzy:
Trojanek, P.
Stefańczyk, M.
Kornuta, T.
Powiązania:
https://bibliotekanauki.pl/articles/276615.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
robot
układ sterowania
percepcja
przepływ danych
metamodel
inżynieria oparta na modelach
systemy komponentowe
control system
perception
data flow
model driven engineering
component-based systems
Opis:
The paper presents results of research on the development of robot perception systems. On the basis of the selected exemplary system, typical problems occurring during design of such systems were indicated. Those problems motivated the work set out to formalize the data flow by the use of metamodelling - the key technology of model-driven engineering. The obtained metamodel facilitates development of such systems and enables further creation of tools for models' editing, validation and automatic generation of relevant source code skeletons. Additionally, requirements for a robot perception systems runtime environment were identified and compared with existing component-based robot software frameworks.
W artykule przedstawiono wyniki prac poświęconych budowie układów percepcji systemów robotycznych. Na podstawie wybranego przykładu złożonego systemu percepcji wyróżniono typowe problemy występujące podczas projektowania takich systemów. W celu ich rozwiązania dokonano formalizacji modelu przepływu danych przy użyciu metamodelu - kluczowego elementu w inżynierii opartej na modelach. Opracowany metamodel ułatwia rozwój takich systemów oraz umożliwia stworzenie graficznych narzędzi do edycji modeli konkretnych systemów percepcji, ich walidacji, a ostatecznie do automatycznego generowania szkieletów kodu. Ponadto, zidentyfikowano wymagania odnośnie środowiska wykonawczego omawianej klasy układów oraz porównano je z istniejącymi ramowymi strukturami programowymi opartymi na podejściu komponentowym.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 2; 260-265
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transgraniczny przepływ danych osobowych wiernych Kościoła katolickiego z Polski – na przykładzie kazusu
Autorzy:
Chojara-Sobiecka, Małgorzata
Karsten, Kinga
Kroczek, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/554769.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
cross-border flow of personal data
personal data
the faithful
the Catholic Church
Kościół katolicki
Opis:
The article shows the practical application of data protection regulations in the process of cross-border data transfer by church public legal entities, using a case study as an example. After the presentation of the case study data, the author of the articles makes a few remarks concerning the binding regulations and their application. At the end of the article, the general request is formulated, which orders the controllers to undertake cross-border data transfer with great caution.
Artykuł pokazuje na przykładzie kazusu praktyczne zastosowanie regulacji dotyczących ochrony danych osobowych w procesie transgranicznego przekazywania danych przez kościelne publiczne osoby prawne. Po przedstawieniu danych kazusu autor artykułu czyni kilka uwag dotyczących obowiązujących regulacji i ich zastosowania. Na końcu artykułu zostaje sformułowany ogólny wniosek, który nakazuje administratorom podejmować transgraniczne przekazywanie danych z wielką ostrożnością.
Źródło:
Annales Canonici; 2019, 15, 1
1895-0620
Pojawia się w:
Annales Canonici
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 36

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies