Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 12

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
Systemy umożliwiające lokalizację obiektu zdobywają coraz większą popularność. Kilka lat temu jedynym ogólnodostępnym systemem lokalizacyjnym był amerykański Navstar GPS, który niestety nie pracował w pomieszczeniach zamkniętych takich jak magazyny, czy hale produkcyjne. Postęp technologiczny i miniaturyzacja sprawiły, że systemy lokalizacyjne wkroczyły w nowy obszar. W artykule zaprezentowano wyniki testów precyzji i dokładności lokalizacji obiektów z użyciem systemu lokalizacji wewnątrzbudynkowej Dimension4 firmy Ubisense.
EN
Systems enabling the location of objects are gaining more and more popularity. A few years back, only the American localization system Navstar GPS has been available for commercial use. Unfortunately, this system does not perform well in enclosed spaces such as buildings, warehouses or production halls. Technological progress and miniaturization possibilities have made the localization systems enter the previously unavailable area. In this paper tests for determining the precision and accuracy of the Ubisense Dimension4 indoor location system are presented.
EN
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.
PL
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ń.
EN
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].
4
Content available Formalizacja zadań wielokrotnego użytku
PL
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.
EN
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.
PL
Przedstawiona idea proponuje nowe spojrzenie na proces adaptacji metodyk projektowania. Zastosowanie mechanizmu wspomagania adaptacji, na podstawie repozytorium zadań wielokrotnego użytku, uprości i przyspieszy proces adaptacji metodyki na potrzeby różnych projektów informatycznych. Dodatkowym celem prowadzonych badań będzie utworzenie otwartego repozytorium, które może zostać użyte w już istniejących środowiskach wspomagających zarządzanie projektem np. w ramach projektu Jazz.
EN
Agile methodologies are often readapted during of developing software. An adaptation process is based on requirements and experiences of a project manager. The project manager defines tasks made during of a developing process. In this paper, the concept of using reusable tasks is presented. Reusable tasks will be stored in a open repository. Tasks will be used during adaptation process as templates of tasks. The mechanism will be search tasks based on properties and support the project manager with the adaptation process.
PL
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.
EN
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.
PL
Poniższy artykuł przedstawia rozszerzenie (ang. plugin) SPEM. Rozszerzenie pozwala na bardziej precyzyjne opisanie zadań wykonywanych w ramach kroków. Wzrost precyzyjności uzyskano stosując zbiór reguł do opisu kroków. W celu ujednolicenia zapisu, zbiór reguł zastosowano również do opisania warunków wstępnych i warunków końcowych dla zadań. W artykule przedstawiono przypadek wykorzystania zdefiniowanego rozszerzenia na przykładzie metodyki Cheesmana-Danielsa. Zastosowanie precyzyjniejszego opisu metodyki Cheesmana-Danielsa, posłuży do zbudowania prototypu systemu regułowego wspierającego proces projektowania systemów komponentowych.
EN
This article presents the SPEM plugin. The plugin enables to describe the tasks carried out in steps more precisely. The growth of precision was achieved by using the set of rules for the step description. Description of precondition and postcondition was worked out by the same set of rules. This solution allows to standardize the description of the task, which are described in SPEM by pre- and postconditions and steps. The described plugin is presented on the example Cheesman-Daniels methodology. In this article a case of application of the defined plugin was described, based on the example of Cheesman- Daniels methodology. It will make possible to build a prototype of the rule-based system. The system will support the process of designing the n-tier systems made in component technologies.
PL
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ł.
EN
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.
EN
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.
PL
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.
PL
Artykuł przedstawia formalizację czynności tworzenia modelu typów na etapie specyfikowania z zastosowaniem języka klauzul. Zastosowanie języka logiki jest bliższe ludzkiemu myśleniu niż inne formalizmy. Umożliwia to przeniesienie mechanizmu wnioskowania dokonywanego przez analityka systemowego w procesie projektowania systemu, do zapisu czytelnego dla systemów komputerowych. Opisana reprezentacja zostanie użyta podczas opracowywania systemu wspomagającego analityka w podejmowaniu decyzji na poszczególnych etapach projektu.
EN
This paper presents a formal representation of develop type model activity at specification stage in a clausal language. Logic language is more human-oriented than other formalism. Using clauses enables to represent a mechanism of concluding used in a process of designing the system. This representation will be used in a decision support system which will support a designer.
PL
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.
EN
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.
PL
Artykuł przedstawia sposób zaimplementowania rozproszonego środowiska programowania dla języka Java. Proponowane rozwiązanie nie wymaga wykorzystywania łączników jako mechanizmu przezroczystości położenia obiektów. Odnajdywanie procesów udostępniających zdalne obiekty wykonywane będzie na poziomie protokołu sieciowego.
EN
This article presents a method of using FLIP protocol to create a distributed programming platform for Java language. In the present solution the binders to provide transparency of location objects are not used. Processes that make objects available, are searched by means network protocol
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.