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ę "Gratkowski, T." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Wymagania i założenia dla prototypu systemu wspierającego analityka systemowego w procesie projektowania
    Requirements and Principles for the Prototype of the System Supporting the System Analyst in the Designing Process
    Autorzy:
    Gratkowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/152884.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    metodyka Cheesmana-Danielsa
    systemy regułowe
    projektowanie wielowarstwowych systemów komponentowych
    Cheesman-Daniels methodology
    rule-base systems
    projecting n-tries component systems
    Opis:
    Celem prowadzonych badań jest zbudowanie prototypu systemu, wspierającego analityka systemowego w procesie projektowania wielowarstwowych systemów informatycznych. Przyjęto, iż proces projektowania realizowany będzie zgodnie z metodyką Cheesmana-Danielsa, która został opracowana z myślą o systemach wytwarzanych w technologiach komponentowych. Zadaniem prototypu będzie automatyzacja wybranych zadań realizowanych przez analityka zgodnie z wytycznymi metodyki Cheesmana-Danielsa. W prezentowanym artykule przedstawiono wstępne wymagania i założenia dla prototypu systemu wspierającego analityka systemowego w procesie projektowania. W założeniach przyjęto również, iż w procesie automatyzacji zostanie wykorzystany system regułowy. Zastosowanie systemu regułowego pozwoli zautomatyzować wybrane zadania, do których rozwiązania, wymagana jest wiedza człowieka, a którą można zapisać przy użyciu reguł.
    The aim of the research is to build the prototype of the system supporting the system analyst in the process of designing the n-tier informatic systems. The process of designing is carried out according to the Cheesman-Daniels methodology, which has been worked out for designing the n-tier component system. The main task of the prototype will be automatization of selected tasks that are carried out by the analyst, according to the Cheesman-Daniels methodology. This paper presents the introductory requirements and principles for the prototype of the system supporting the system analyst in the process of designing. According to the principles, the rule-based system will be used in the process of automatization. Using the rule-based system will allow to automatize the selected tasks that are solved with help of human knowledge which can be written down as a system of rules.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 57-59
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalizacja kroków dla czynności utworzenia modeli typów z metodyki Cheesmana-Danielsa na potrzeby systemu regułowego
    Formal representation of steps from 'develop type model' activity from Cheesman-Daniels methodology used in process implementation rule-base system
    Autorzy:
    Gratkowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/153163.pdf
    Data publikacji:
    2006
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    metodyka Cheesmana-Danielsa
    system regułowy
    tworzenie modeli typów
    steps from develop type model activity
    Cheesman-Daniels methodology
    process implementation rule-base system
    Opis:
    W artykule przedstawiono wykorzystanie języka deklaracyjnego w celu formalizacji kroków wykonywanych w ramach czynności utworzenia modeli typów z metodyki Cheesmana-Danielsa. Zastosowanie języka deklaracyjnego umożliwiło wykorzystanie opracowanych formalizmów w procesie budowania regułowego modelu wiedzy. Opracowane reguły zostaną wykorzystane na potrzeby projektowanego systemu regułowego wspierającego analityka systemowego w procesie projektowania systemu informatycznego. Ocena jakości modeli generowanych przez system regułowy, zostanie zweryfikowana poprzez pomiar i analizę otrzymanych wyników przy użyciu miar oprogramowania.
    Declarative programming can be used as a language for formalizing steps in 'develop type model' activity used in Cheesman-Daniels methodology. Developed formalism enables to use described rules for steps and can be used in constructing rule-base knowledge model. Described rules will be use in a rule-base system which will support a designer in process of designing the application. Quality control generated model by a rule-base system, will be verified through measurements and analysis received results apply a software metrics.
    Źródło:
    Pomiary Automatyka Kontrola; 2006, R. 52, nr 6, 6; 36-37
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalizacja zadań wielokrotnego użytku
    Formalization of reusable tasks
    Autorzy:
    Gratkowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/156940.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    metodyki procesu wytwórczego oprogramowania
    wspomaganie dostosowywania procesu wytwórczego
    formalizacja definicji zadań
    Open Unified Process
    software development methodology
    support for adaptation of software development methodology
    formalization of work items
    Opis:
    Proces zarządzania projektem IT, wymusza na menadżerach projektu opracowanie listy zadań, które zawierają opis czynności do wykonania przez członków zespołu. Tworzenie listy zadań można wesprzeć gotowymi zadaniami wielokrotnego użytku. Poniższy artykuł przedstawia mechanizm formalizacji zadań wielokrotnego użytku, który pozwala wyszukiwać zadania według zadanych kryteriów.
    The Project Manager (PM) leads a project planning [2]. The plan is described by Work Items List (WIL). WIL captures all scheduled work to be performed within the project. All requirements, defect reports, and change requests have to be mapped to a Work Item (WI). Currently this process is made manually by PM. In this paper there is presented the first step toward building strategy of support PM to create WIL automatically. Before composing WIL automatically it has to be decided which formal methods should be used to describe WIL and WI. The proposed method is defined using a meta-model. In Table 2 there is considered a four-level meta-model based on MOF[6] as the meta-modelling language where: M3 - meta-meta-model (MOF), M2 - meta-model level (SPEM[5] + UML[7]), M1 - model level (classes describe elements of WIL and WI), M0 - model instance level (contains all the objects [real time instances or real world objects] of classi?ers [classes] included in the model level). Fig. 2 shows ReusableTasksRepositoryFormalization (RTRF) package. RTRF is designed to reflect structures of WIL and WI. The main concept behind the RTRF package is to allow grouping of work items in sets and describe work items by set of attributes. The attribute definition is very adaptable and allow describing any kind of a work item. Therefore the presented structure allows describing WIL and WI used in different software development methodology (SDM). Fig. 3 shows the definition of attributes required to describe WIL and WI in the OpenUP[2] method. The presented formalization will be used to build Reusable Tasks Repository. The repository will store reusable tasks which can be used for different SDM. The next research will be concentrated on how to automatically find tasks in the repository. Parameters for searching will come from functional requirements stored in the use cases and the use case scenarios.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 741-744
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Platforma do zarządzania zadaniami wielokrotnego użycia
    Management platform for reusable tasks
    Autorzy:
    Gratkowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/153466.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    metodyki procesu wytwórczego oprogramowania
    wspomaganie procesu wytwórczego
    tworzenie listy zadań
    software development methodology
    support for task list
    support of manage process development
    Opis:
    W procesie zarządzania projektem IT, menadżer projektu jest odpowiedzialny za przeniesienie informacji zgromadzonych w wymaganiach na zadania, które zawierają opis czynności do wykonania przez członków zespołu w celu realizacji tworzonego systemu informatycznego. Prowadzone przez autora badania zmierzają do opracowania mechanizmu wspomagającego menadżera w tym procesie, dzięki zastosowaniu dedykowanego repozytorium przechowującego zadania wielokrotnego użycia. W poniższym artykule przedstawiono projekt na podstawie, którego powstała implementację systemu wspomagającego wielokrotne użycie zadań, będących szablonami postępowania dla członków zespołu. Uzyska-ny prototyp posłuży do przeprowadzenia dalszych badań eksperymentalnych, zmierzających do opracowania metody pomiaru podobieństwa pomiędzy przechowywanymi w repozytorium zadaniami wielokrotnego użycia a parametrami przekazywanymi w zapytaniu przesyłanym do repozytorium w celu odszukiwania zadań.
    A lot of software development methodologies contain stage when a project manager has to create a list of tasks for the team. The list is made based on information from used cases (and references to use-case specifications), system-wide requirements, changes and enhancement requests, defects and development tasks. The project manager can use project management tools. These tools help to manage the task list and the manager can use templates of a task, but the process of creating a new task is manually made. This process is based on experience and knowledge of a project manager. In this paper there is presented a project of the system for managing reusable tasks. The system will help the manager to find tasks based on predefined query in Reusable Tasks Repository Query Language (RTRQL) [10]. The reusable task will be stored in dedicated repository. The presented project of the system for managing reusable tasks connects the results of prior research. The set of functional and non-functional elaborated requirements allows designing architecture of the system (Fig. 1). The designed system will be implemented in Service-Oriented Architecture (SOA). It allows using the implemented prototype through external tools to manage a project. The prototype will be used in next steps of research. It helps to find a method for searching a reusable task in the repository based on similarity of the feature and to find mechanism of creating query from the requirements described in Requirements Specification Language [9].
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 530-531
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie modeli ontologicznych w procesie uzupełniania zbioru wiedzy niezbędnego w procesie projektowania systemu informatycznego
    Ontology models for a supplement set of knowledge required for design of software
    Autorzy:
    Gratkowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/154170.pdf
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    metodyki projektowania systemów informatycznych
    systemy wspomagające proces projektowania
    modelowanie
    software design methodology
    computer-based support in the software design process
    software modeling
    Opis:
    W ramach artykułu została zaprezentowana koncepcja zastosowania zbiorów modeli ontologicznych, które pozwalają na uzupełnienie zbioru informacji niezbędnego w procesie projektowania. W przypadku zastosowania klasycznego sposobu projektowania, zbiór ten jest uzupełniany na podstawie wiedzy projektanta. Zbiór informacji stanowi niezbędne uzupełnienie przetwarzanego modelu wiedzy przez system automatyzujący proces projektowania systemu komponentowego.
    The process of design of software is a part of the software development methodology. It is divided into tasks by means of Chessman-Daniels [1] (CD) methodology. Each task has a set of input and output artifacts (both are UML [8] models). The paper presents a part of research dealing with issues of performing tasks automatically from CD methodology. The main idea to automatise tasks uses rules [2, 3]. The rules define how the task should be executed, and how to use information stored in input artifacts to create output artifacts. The research shows that some tasks require additional information to create output artifacts. In a classical process of design when software is designed by man, the designer's experience and knowledge create additional information. When the design process is performed automatically, an additional set of information broadening the system's knowledge about the designed software is needed. In the paper there is also presented the analysis of using ontologies [4-7] to describe the set of additional information. The ontology is a formal representation of a set of concepts within a domain and the relationships between those concepts. The ontologies used are described in OWL [7] (Fig. 6). There is given an algorithm (Figs. 4, 5) for using knowledge from ontologies to make automatically the "complete of multiplicity for association" step from "improve of types model" task (Fig. 1). This step is the smallest part of a software development flow [2], and it is a part of the task. The algorithm finds multiplicities for an association in the set of ontologies. The requirements for the input and output artifacts are given in Figs. 2, 3 in OCL [9] language.
    Źródło:
    Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 515-517
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Implementation of Algorithm of Petri Nets Distributed Synthesis into FPGA
    Autorzy:
    Bukowiec, A.
    Tkacz, J.
    Gratkowski, T.
    Gidlewicz, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/226156.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    C#
    decomposition
    FGPA
    logic synthesis
    Petri net
    Opis:
    In the paper an implementation of algorithm of Petri net array-based synthesis is presented. The method is based on decomposition of colored interpreted macro Petri net into subnets. The structured encoding of places in subnets is done of using minimal numbers of bits. Microoperations, which are assigned to places, are written into distributed and flexible memories. It leads to realization of a logic circuit in a twolevel concurrent structure, where the combinational circuit of the first level is responsible for firing transitions, and the second level memories are used for generation of microoperations. This algorithm is implemented in C# and delivered as a stand alone library.
    Źródło:
    International Journal of Electronics and Telecommunications; 2013, 59, 4; 317-324
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Computerized Systems for Electromagnetic Nondestructive Testing
    Skomputeryzowane Systemy do Elektromagnetycznych Badań Nieniszczących
    Autorzy:
    Chady, T.
    Gratkowski, T.
    Komorowski, M.
    Kowalczyk, J.
    Pałka, J.
    Psuj, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/156986.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    elektromagnetyczne metody badań nieniszczących
    magnetyczna tomografia indukcyjna
    electromagnetic nondestructive testing methods
    eddy current method
    magnetic flux leakage method
    Barkhausen noise
    magnetic induction tomography
    Opis:
    In this paper computerized systems for electromagnetic nondestructive testing of well- and low-conducting materials are presented. Several different inspection methods: the eddy current method, the magnetic flux leakage, the Barkhausen noise, and the AC magnetization measurement are described. Finally, the magnetic induction tomography system for evaluation of low-conductivity materials has been presented.
    W niniejszym artykule przedstawiono skomputeryzowane układy do elektromagnetycznych badań nieniszczących materiałów dobrze- i słabo-przewodzących. Opisano kilka różnych metod badawczych: metodę prądów wirowych, strumienia rozproszenia, szumów Barkhausena oraz obserwacji procesu magnesowania. Zaprezentowano układ magnetycznej tomografii indukcyjnej do oceny materiałów słabo-przewodzących.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 6, 6; 26-29
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza wybranych układów magnetycznej tomografii indukcyjnej
    Analysis of chosen systems of magnetic induction tomography
    Autorzy:
    Pietrusewicz, T.
    Komorowski, M.
    Gratkowski, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/159048.pdf
    Data publikacji:
    2009
    Wydawca:
    Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
    Tematy:
    magnetyczna tomografia indukcyjna
    MIT
    metoda elementów skończonych
    FEM
    badania wiroprądowe
    symulacja
    Opis:
    W pracy przedstawiono wyniki badań systemu magnetycznej tomografii indukcyjnej. Badano obiekty słaboprzewodzące z nieprzewodzącymi wtrąceniami. Wyniki eksperymentalne zostały uzupełnione o symulacje komputerowe trójwymiarowego rozkładu gęstości prądów wirowych zaindukowanych w badanych obiektach. Przeanalizowano pracę układów pomiarowych oraz opisano nowe problemy zaobserwowane podczas badań.
    In this paper selected results of magnetic induction tomography (MIT) system researches have been presented. Low-conductivity objects with non-conductivity inclusions are considered. Experimental results have been extended for the results of computational simulations of eddy currents distribution in tested objects. An interpretation of measurements results has been presented. The working of chosen measuring systems has been analysed and new problems of MIT researches have been described.
    Źródło:
    Prace Instytutu Elektrotechniki; 2009, 241; 97-112
    0032-6216
    Pojawia się w:
    Prace Instytutu Elektrotechniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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