Wyniki wyszukiwania - BazTech

1

Wykorzystanie sprzętu geodezyjnego w działaniach ratowniczych Państwowej Straży Pożarnej

Derezińska A.

Zeszyty Naukowe. Inżynieria Środowiska / Uniwersytet Zielonogórski

|

2017

|

nr 168 (48)

5--16

PL

W artykule przedstawiono zastosowanie sprzętu geodezyjnego w pracach ratowniczych Państwowej Straży Pożarnej. Rola geodezji nabiera coraz większego znaczenia w ich działaniach, dlatego też coraz bardziej interesuje się ona wykorzystaniem technik geodezyjnych, które zostały poniżej omówione w kontekście różnego rodzaju zdarzeń. Pokazano wykorzystanie teodolitu, tachimetru oraz tachimetru skanującego podczas rzeczywistych wypadków jak również w czasie ćwiczeń i pomiarów przeprowadzonych w trakcie zdarzeń zasymulowanych.

EN

The article describes the use of surveying equipment in the rescue work of the State Fire Service. The role of geodesy is becoming increasingly important in their operations, which is why they are more and more interested in the application of surveying techniques discussed below in the context of the various types of events. The use of a theodolite, a total station and a scanstation is shown during real accidents as well as during exercises and measurements taken in the simulated events.

2

Application of time concepts from the MARTE profile in a Model- Driven Development case study

Derezińska A., Szczykulski M.

Przegląd Elektrotechniczny

|

2015

|

R. 91, nr 11

178-181

EN

Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.

PL

Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.

3

Trwałość miejskich osnów niwelacyjnych w świetle badań prowadzonych w Bydgoszczy

Derezińska A., Luther L.

Archiwum Instytutu Inżynierii Lądowej

|

2013

|

Nr 15

63--70

PL

Pomiary wysokościowe należą do podstawowych zadań w realizacyjnych pracach budowlanych i inżynieryjnych. Z reguły wykonuje się je w odniesieniu do obowiązującej w danym kraju osnowy wysokościowej w postaci sieci reperów. Czynnikiem stanowiącym o przydatności takiej osnowy jest liczba dostępnych do bezpośredniego wykorzystania reperów oraz spełnienie przez nie określonych kryteriów dokładnościowych. Podstawową przyczyną obniżającą dostępność do punktów lokalnej osnowy niwelacyjnej jest jej „zużywanie się” polegające przede wszystkim na ubywaniu ich liczby w odniesieniu do jednostki powierzchni, na której sieć taka została założona. Głównym czynnikiem powodującym ten ubytek są prowadzone w ostatnim okresie prace modernizacyjne polegające na „docieplaniu” budynków. Wprowadzanie dodatkowej warstwy ocieplającej, na ściany zewnętrzne budynków, powoduje całkowite lub częściowe zasłanianie istniejących w nich znaków wysokościowych, a w konsekwencji utratę do nich dostępności. Kolejnym czynnikiem powodującym ubytek reperów, a występujący między innymi w Bydgoszczy gdzie prowadzono badania, są właściwości geotechniczne podłoża gruntowego. Dotyczy to iłów ekspansywnych, których cecha - zmiany ich objętości pod wpływem zmian wilgotności, ma destrukcyjny wpływ na stabilność i trwałość posadowionych na nich budynków. Budynki takie ulegają częstym uszkodzeniom lub awariom, które przekładają się na liczbę modernizacji i ich napraw. Ten czynnik prowadzi do obniżenia klasy dokładnościowej osnowy, a w przypadku napraw poawaryjnych także do fizycznej utraty punktów. W niniejszym referacie, na przykładzie obszaru badawczego w Bydgoszczy, wykazano stałą tendencję do zmniejszanie się liczby reperów w miejskich osnowach wysokościowych. Zaprezentowano też wadliwie przeprowadzone zabezpieczenia istniejących znaków i powstałe utrudnienia w ich użytkowaniu, oraz potrzebę stosowania istniejącego prawa dotyczącego ich ochrony, lub poszukania alternatywy pomiarów wysokościowych dla zniszczonych reperów.

EN

Height measurements are one of the most necessary activities carried out during building and engineering work. As a rule, they are conducted in relation to homogenous, in a particular country, levelling network in a form of the network of benchmarks. A factor which makes such network useful is the number of accessible benchmarks and a meeting of requirements of specific accuracy criteria. The main reason for the declining accessibility to the benchmarks in the local leveling network is their ‘being worn out’, that is the loss of their number in relation to the surface unit on which such network was set on. The main factor which causes this loss is rebuilding work, such as thermal isolation, carried out in recent years. Introducing an additional thermal layer on building walls causes benchmarks to be completely or partly covered and in consequence, causes the loss of accessibility to them. The next factor responsible for the loss of benchmarks, that appears in Bydgoszcz area where research is carried out, are geotechnical properties of substratum. It concerns expansive soils. The change in volume caused by changes in humidity has a destructive influence on stability of buildings set on them. Such buildings are prone to damage and failure, in consequence, it leads to numerous modernizations and repairs. This factor causes a decline in the accuracy class of the leveling network and in case of repairs, also the physical loss of the benchmarks. In this assessment, on the example of researches carried in Bydgoszcz area, we present the permanent tendency in reducing of the number of benchmarks in the municipal leveling network. We also present faulty protection of the existing benchmarks and difficulties in using them as well as the need of actualization of the law considering their protection.

4

Tracing of state machine execution in model-driven development framework

Derezińska A., Szczykulski M.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2010

|

T. 18

199-204

EN

Framework for eXecutable UML (FXU) supports a model-driven approach for creation of reliable applications in C#. Basing on UML classes and their state machines, a source code is generated and executed using a run-time library. All modeling concepts of UML behavioral state machines can be used in the FXU. Tracing of program execution in terms of elements of origin state machines assists program comprehension and verification. This paper presents a new component of the framework for observing traces of program execution. The state machine tracing improved model-driven engineering of an application in comparison to the direct analysis of textual logs generated during the program execution. We discuss system requirements, steps of tracing process and advantages and disadvantages of the solution. The approach was applied in the development of an application simulating a presence server for the status service of a social network model.

PL

System FXU (ang. Framework for eXecutable UML) wspiera budowę aplikacji w oparciu o modele UML. Kod źródłowy w języku C# jest generowany na podstawie modelu klas oraz ich maszyn stanowych. Podczas wykonania aplikacja korzysta z biblioteki odwzorowującej zachowanie wszystkich elementów występujących w maszynach stanowych UML. Zrozumienie i weryfikacja działania programu są wspomagane przez śledzenie wykonania w kategoriach elementów pierwotnego modelu. W pracy prezentujemy rozszerzenie środowiska FXU pozwalające na obserwację śladów wykonania programów. Omawiane są wymagania systemu, proces śledzenia oraz zalety i wady rozwiązania. Podejście było wykorzystane przy tworzeniu aplikacji symulującej serwer obecności dla modelu predefiniowanych statusów obecności w usługach społecznościowych.

5

Towords the analysis of the line and assembly instruction coverage

Derezińska A., Sarba K., Gawkowski P.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2008

|

T. 16

269-274

EN

Analysis of code coverage supports different activities of software development. Coverage on assembly instruction level is especially important for applications with response time constraints and for the improvement of test suites in safety-related applications. Assembly instruction coverage should correspond to coverage at the higher level, i.e. program lines. We discuss the problem of their inconsistencies. To support the coverage analysis a tool was created that integrates different analyzers for C++ programs and combines their outcomes Cline coverage, assembly instruction coverage and profile, and fault injection results). We report experiments conducted to investigate the relation between line and assembly instruction coverage on the set of programs. Discrepancy between measured coverage was observed in more than 50% of code. The statistical relations between code coverage and static and dynamic features of the code are also discussed.

PL

Analiza pokrycia kodu wspiera różne czynności w rozwoju oprogramowania. Pokrycie na poziomie instrukcji maszynowych jest zwłaszcza istotne dla tworzenia i testowania aplikacji o wysokich wymaganiach niezawodnościowych. Dyskutowany jest problem rozbieżności pomiędzy pokryciem instrukcji maszynowych a pokryciem np. linii kodu. W celu wspomagania analizy pokrycia wykonano narzędzie, które integruje wyniki z różnych analizatorów programów w C++ (pokrycie linii i instrukcji maszynowych oraz rezultaty wstrzykiwania błędów). Przedstawiono wyniki eksperymentów badających pokrycia dla zbioru programów. Omówiono również statystyczne relacje pomiędzy pokryciem, a statycznymi i dynamicznymi cechami wykonywanego kodu.

6

Badania niezawodności eksploatacyjnej osnowy wysokościowej stabilizowanej na obszarze gruntów ekspansywnych

Derezińska A., Wolski B.

Czasopismo Techniczne. Środowisko

|

2008

|

R. 105, z. 2-Ś

85-94

PL

Na obszarze Bydgoszczy autorzy zrealizowali program badawczy dotyczący metodyki określenia niezawodności eksploatacyjnej osnowy wysokościowej. Niezbędne dane o warunkach wodno-gruntowych pozyskano, wykonując obszerne studium uwarunkowań środowiska. W artykule przedstawiono zakres studium, program i metodę badań oraz sposób interpretacji. W programie badań wyartykułowano specyficzne warunki stabilizacji punktów osnowy określone przez grunty ekspansywne dominujące na obszarze miasta. Przedstawiono algorytm analizy niezawodnościowej. Konkluzją badań jest stwierdzenie, że na obszarze gruntów ekspansywnych o niezawodności eksploatacyjnej punktów osnowy niwelacyjnej decyduje użytkowalność określona przez trwałość i dostępność znaków. Warunki wodno-gruntowe oddziałują na stabilność punktów osnowy w znacznie mniejszym stopniu.

EN

On the area of Bydgoszcz city the authors completed the research program on levelling network in the aspect of its operational reliability. The necessary data has been gathered by completion of the studies of environmental conditions. Research program, method and scope of studies as well as method of interpretation has been presented in the paper. The program has been focused at specific conditions of establishment of levelling network points determined by impact of expansive soils. The analysis of data gathered has been carried out according to original algorithm of operational reliability. As the main conclusion of the presented studies and analysis the authors point that on the area dominated by expansive soils the operational reliability depends on useability determined by damages and possibility of survey precedure completion. The impact of water and soil conditions on stability of bench marks is relatively small.

7

Generyczna platforma do automatycznego śledzenia zależności w projektach obiektowych

Derezińska A., Zabłocki J.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2007

|

T. 13

291-298

PL

Artykuł prezentuje generyczną platformę do automatycznego śledzenia zależności w projektach obiektowych. Elastyczność systemu bazuje na wielowarstwowej architekturze, teorii automatów, językach skryptowych oraz koncepcji wtyczek programowych. Założenia platformy korzystają z koncepcji transformacji modelowych oraz idei regionów zależności. System odnosi się do projektów informatycznych modelowanych w dowolnej notacji transformowalnej do wewnętrznej postaci obiektowego metamodelu. Strategia śledzenia zależności składa się z wprowadzanych do systemu reguł. Reguły definiowane są jako automaty zapisane w postaci skryptów. Przykładowa instancja platformy została dostosowana do podzbioru modeli UML i wybranej logiki śledzenia zależności.

EN

This paper is devoted to traceability in software designs. A flexible and configurable framework for discovering traceability relationships in automatic way is designed and implemented. The configurability of the framework is based on multi-tier architecture, state-machine theory, scripting languages provided to end-users and plug-in mechanisms. The concepts of MDA transformation according to QVT specification are applied. Input software designs are transformed into a notation of the internal meta-model. The framework is based on the traceability concepts of dependency areas. Traceability strategy consists of rules. The rules are defined by automata inter-preted by an engine of the framework. Exemplary instance of the framework is prepared. It handles selected parts of the UML meta-model in the traceability process.

8

Cream - a system for object-oriented mutation of C# programs

Derezińska A., Szustek A.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2007

|

T. 13

389-398

EN

Creator of Mutants (CREAM) is a tool that introduces small faults called mutations into C# programs. It is useful to investigate the quality of a mutated program and effectiveness of a prepared test suite. The CREAM system generates several object-oriented types of faults, puts them into the code of the original program according to its parsed trees, and compiles the modified sources. Obtained assemblies can be tested measuring the number of revealed modifications. CREAM cooperates with NUnit for running of test suites against the set of mutants.

PL

CREAM (Creator of Mutants) jest narzędziem pozwalającym wprowadzać błędy tzw. mutacje do programów napisanych w języku C#. Może służyć do badania jakości mutowanego programu i efektywności przygotowanego zbioru testów. System generuje kilka obiektowych typów mutacji, modyfikuje kod źródłowy zgodnie z drzewami rozbioru składniowego, a następnie kompiluje zmutowane programy. W procesie testowania można mierzyć liczbę błędów wykrytych przez testy. CREAM wspiera testowanie za pomocą środowiska NUnit.

9

Serviceability problem of levelling networks based on the example of Bydgoszcz network

Derezińska A., Kujawski E.

Reports on Geodesy

|

2007

|

z. 1/82

55-59

10

Automatyczne wspomaganie tworzenia zestawów testowych do oceny wiedzy studentów

Adamik D., Derezińska A.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2006

|

T. 11

817-824

PL

W pracy omówiono zagadnienia generacji zestawów testowych dla oceny wiedzy uczestników szkoleń. Przedstawiono narzędzie do obsługi bazy pytań testowych oraz do automatycznego tworzenia zestawów testów. Zestawy są generowane na podstawie parametrycznych zbiorów preferencji z uwzględnieniem historii wykorzystania pytań. System jest wdrażany w Instytucie Informatyki PW na przedmiocie Inżynieria Oprogramowania 2.

EN

In this paper, the problems of composing test sheets for knowledge evaluation of students are discussed. We present a tool which supports servicing of item bank and automatic generation of test sheets. Test sheets are composed using parametric sets of preferences taking into account the history of items' usage. The system is introduced in the Institute of Computer Science Warsaw University of Technology in Software Engineering 2 course.

11

Internetowe instrukcje laboratoryjne do inżynierii oprogramowania 2

Bluemke I., Derezińska A., Nowacki M., Radziszewski P.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2005

|

T. 7

547-554

PL

W pracy przedstawiono opracowane i wdrożone jesienią 2004 roku w Instytucie Informatyki PW, laboratorium z Inżynierii Oprogramowania 2 (IOP2). Do każdego ćwiczenia opracowano materiały pomocnicze oraz instrukcję, które są umieszczone w Internecie, na serwerze wydziałowym Wydziału Elektroniki i Technik Informacyjnych (WEiTI) i udostępnione dla studentów i prowadzących uczestniczących w zajęciach z IOP2. Laboratorium obejmuje siedem ćwiczeń laboratoryjnych. Kolejne laboratoria dotyczą tematyki przygotowywania wymagań systemu, projektowania systemu, użycia wielokrotnego (reuse) w projektowaniu, użycia języka OCL [1] do precyzyjnego modelowania systemu, testowania metodą pokrycia kodu, analizy jakości i wydajności aplikacji. W ćwiczeniach laboratoryjnych są wykorzystywane narzędzia pakietu Rational Suite.

EN

In this paper a new software engineering laboratory introduced in the Institute of Computer Science Warsaw University of Technology in the fall 2004 is presented. For each laboratory exercise a set of training materials and directions were developed. These materials are stored on a department server and are available for al! students and lecturers of Software Engineering 2 course. Software Engineering 2 laboratory consists of seven exercises. These exercises are dedicated to requirements engineering, system design, reuse, precise modelling with OC L- Object Constraint Language [I], cod e coverage testing, memory leaks detection, improving application efficiency. Tools from Rational Suite are used.

12

Reasoning about traceability in imperfect UML projects

Derezińska A.

Foundations of Computing and Decision Sciences

|

2004

|

Vol. 29, No. 1-2

43-58

13

Stabilność osnowy niwelacyjnej na obszarach zalegania gruntów ekspansywnych

Derezińska A.

Zeszyty Naukowe. Budownictwo / Politechnika Zielonogórska

|

2001

|

z. 127(35)

49-56

PL

Zjawiska zachodzące w gruntach ekspansywnych mają wpływ na stabilność sieci niwelacyjnych także w przypadkach, gdy deformacje konstrukcji budowlanych są niezauważalne lub nieistotne. W referacie podjęto problem identyfikacji zagrożeń sieci, zaproponowano sposób kwalifikacji zagrożęń sieci oraz sposób rozwiązania problemu na obszarach zurbanizowanych. Dla ilustracji skali i rodzajów zagrożeń wykorzystano przykład obszaru miasta Bydgoszczy.

EN

Expancive soil phenomenon strongly impact on stability and reliability of levelling network. It is also very important problem if deformation of structure are unessantial or unnoticeable. The identification problem of reliability of levelling network due to expansive soil has been discussed in the paper. It has been also discussed how to estimate the scale of the impact and how to solve the problem within the urban area. The example of levelling network and soil condition of Bydgoszcz city area has been taken to illustrate scale and kinds of impact of expensive soil phenomenon.