Wyniki wyszukiwania - BazTech

1

An analysis of influential factors associated with rural crashes in a developing country: a case study of Iran

Sheykhfard Abbas, Haghighi Farshidreza, Abbasalipoor Reza

Archives of Transport

|

2022

|

Vol. 63, iss. 3

53--65

EN

Road traffic deaths continue to rise, reaching 1.35 million in recent years. Road traffic injuries are the eighth leading cause of death for people of all ages. Note that there is a wide difference in the crash rate between developed and developing countries and that developed countries report much lower crash rates than developing and underdeveloped countries. World Health Organization reports that over 80% of fatal road crashes occur in developing countries, while developed countries account for about 7% of the total. The rate of road crashes in developing countries is higher than the global average, despite some measures reducing deaths over the last decade. Numerous studies have been carried out on the safety of urban roads. However, comprehensive research evaluating influential factors associated with rural crashes in developing countries is still neglected. Therefore, it is crucial to understand how factors influence the severity of rural road crashes. In the present study, rural roads in Mazandaran province were considered a case study. The Crash data collected from the Iranian Legal Medicine Organization covers 2018 to 2021, including 2047 rural crashes. Dependent variables were classified as damage crashes and injury-fatal crashes. Besides, independent variables such as driver specifications, crash specifications, environment specifications, traffic specifications, and geometrical road specifications were considered parameters. The logit model data indicate that factors associated with driver and crash specifications influence rural crashes. The type of crashes is the most critical factor influencing the severity of crashes, on which the fatal rate depends. The findings suggested that implementing solutions that minimize the effect of the factors associated with injury and death on rural roads can reduce the severity of crashes on rural roads that share the same safety issues as the case study. Further studies can also be conducted on the safety and mechanics of the vehicle by focusing the research on the types of vehicles and the sources of the damage.

2

Sieć teleinformatyczna dla transportu kolejowego w Polsce

Gago Stanisław

Problemy Kolejnictwa

|

2021

|

Z. 190

7--14

PL

Celem artykułu jest przedstawienie wpływu światowego rozwoju systemów informatycznych i logistycznych na planowanie i rozwój sieci teleinformatycznej dla transportu kolejowego w Polsce. Obecnie, spółka PKP PLK buduje sieć teletransmisyjną, przede wszystkim na potrzeby systemu ERTMS. Zdaniem autora, kolejowa sieć teleinformatyczna powinna być tak zaplanowana, aby mogła zapewnić obecne i przyszłe zapotrzebowanie na transmisję danych dla wszystkich spółek kolejowych, które w zakresie usług teleinformatycznych umożliwią rozszerzenie wpływu tych spółek na inne rodzaje transportu.

3

Research on hybrid modeling and predictive energy management for power split hybrid electric vehicle

Wang Shaohua, Zhang Sheng, Shi Dehua, Sun Xiaoqiang, Yang Tao

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2021

|

Vol. 69, nr 3

art. no. e137064

EN

Due to the coexistence of continuity and discreteness, energy management of a multi-mode power split hybrid electric vehicle (HEV) can be considered a typical hybrid system. Therefore, the hybrid system theory is applied to investigate the optimum energy distribution strategy of a power split multi-mode HEV. In order to obtain a unified description of the continuous/discrete dynamics, including both the steady power distribution process and mode switching behaviors, mixed logical dynamical (MLD) modeling is adopted to build the control-oriented model. Moreover, linear piecewise affine (PWA) technology is applied to deal with nonlinear characteristics in MLD modeling. The MLD model is finally obtained through a high level modeling language, i.e. HYSDEL. Based on the MLD model, hybrid model predictive control (HMPC) strategy is proposed, where a mixed integer quadratic programming (MIQP) problem is constructed for optimum power distribution. Simulation studies under different driving cycles demonstrate that the proposed control strategy can have a superior control effect as compared with the rule-based control strategy.

4

Performance analysis of write operations in IDENTITY and UUID ordered tables

Penar Maciej

Zeszyty Naukowe Politechniki Rzeszowskiej. Elektrotechnika

|

2020

|

z. 38 [301], nr 1-2

81--95

EN

Design of the database includes the decision about the physical storage. This is often overlooked as 1) this cannot be expressed in standard SQL and in result each Database Systems have their own way to specify the physical storage and 2) the decision is often made implicitly. This is dangerous situation as many of the databases use B+ trees as table implementation which stores the data physically sorted by some ordering attribute. The choice of the ordering attribute largely affects read and write operations. Commonly, IDENTITY/AUTO_INCREMENT constraint are being chosen as ordering attributes, due to their easy usage and monotonic nature. In some cases ordering tables by the attributes whose values are drawn from uniform distribution leads to better performance in terms of Transactions-Per-Second. Such cases includes situation when data does fit entirely in-memory or when we can limit the set of physical pages being accessed. In the end, however, We cannot entirely say that either monotonic or random attributes are superior. Both have their pros and cons. In this article We present (1) short description of the data structures in contemporary Database Systems, (2) the advantages and the disadvantages of the two common types which are used as the clustering attributes: GUID and IDENTITY, (3) performance analysis of write operation which compare both data types using B+ tree as primary storage and (4) evaluate the efficiency of these bulk load operation using heap files and B+ trees.

PL

Projektowanie bazy danych wymaga podjęcia decyzji o fizycznej strukturze przechowującej dane. Często wpływ tej decyzji jest niedoceniany ponieważ 1) standard SQL nie precyzuje tego ograniczenia, przez co każdy dostawca Bazy Danych implementuje je po swojemu 2) wybór struktury jest podejmowany niejawnie. Na ogół domyślnymi strukturami są B+ drzewa które są strukturami posortowanymi. Wybór tej konkretnej implementacji tabeli wpływa zarówno na wydajność operacji odczytu jak i zapisu. Ze względu że częstą praktyką jest stosowanie atrybutów IDENTITY/AUTO_INCREMENT jako kluczy głównych, według tych wartości atrybutów ustalany jest fizyczny porządek tabeli. W pewnych przypadkach warto jednak korzystać z atrybutów o wartościach losowych w celu zwiększania przepustowości Bazy Danych (liczonej jako liczba transakcji na sekundę). Takie przypadki obejmują sytuację gdy dane mieszczą się w pamięci operacyjnej lub gdy możemy ograniczyć zbiór fizycznych stron do których Baza Danych będzie się odwoływać. W ogólnym przypadku ani atrybuty monotoniczne, ani losowe nie są lepsze od swoich konkurentów. W tym artykule (1) opisujemy struktury wykorzystywane we współczesnych Bazach Danych, (2) opisujemy zalety i wady dwóch najczęściej wykorzystywanych typów: GUID oraz IDENTITY, (3) prezentujemy analizę wydajności operacji zapisu porównującą oba typy w tabelach implementowanych jako B+ drzewo, (4) analizujemy wydajność operacji wsadowego ładowania zarówno w plikach sekwencyjnych jak i B+ drzew.

5

Modeling and querying facts with period timestamps in data warehouses

Mahlknecht Giovanni, Dignös Anton, Kozmina Natalija

International Journal of Applied Mathematics and Computer Science

|

2019

|

Vol. 29, no. 1

31--49

EN

In this paper, we study various ways of representing and querying fact data that are time-stamped with a time period in a data warehouse. The main focus is on how to represent the time periods that are associated with the facts in order to support convenient and efficient aggregations over time. We propose three distinct logical models that represent time periods as sets of all time points in a period (instant model), as pairs of start and end time points of a period (period model), and as atomic units that are explicitly stored in a new period dimension (period∗ model). The period dimension is enriched with information about the days of each period, thereby combining the former two models. We use four different classes of aggregation queries to analyze query formulation, query execution, and query performance over the three models. An extensive empirical evaluation on synthetic and real-world datasets and the analysis of the query execution plans reveal that the period model is the best choice in terms of runtime and space for all four query classes.

6

Detection of pathological crisis processes in branches of economy (on the example of agriculture of Ukraine)

Pronoza P.

Acta Innovations

|

2015

|

no. 17

56--64

EN

The article is devoted to applying the concept of early detection of pathological crisis processes to analyze the dynamics of Ukrainian agriculture development in 2003-2011. The analysis is based on time series of the export, import, production volume, export and import prices for agricultural products, volume of loans and investments. Despite the fact that the only branch that demonstrated the growth of output in 2008-2009 was agriculture, there were observed four years of crisis in agriculture during the period under consideration. The built signal panel and structural and logical model of pathological crisis processes detection in agriculture of Ukraine showed that the leading role was played by the investment balance deficit, reduction of the technological level of exports compared to imports and growth of domestic production credit bubble.

7

Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV

Grobelna I., Grobelny M.

Pomiary Automatyka Robotyka

|

2013

|

R. 17, nr 10

188--192

PL

W artykule przedstawiono ideę zastosowania diagramów aktywności UML do specyfikacji wymagań dotyczących zachowania sterownika logicznego. Lista wymagań podlegających weryfikacji zwykle definiowana jest bezpośrednio za pomocą formuł logiki temporalnej. Użycie przyjaznych dla użytkownika, powszechnie znanych i wykorzystywanych diagramów pozwala na prostsze i bardziej intuicyjne zapisanie wymagań. Diagramy są następnie formalnie przekształcane do formuł liniowej logiki temporalnej (LTL).

EN

The article introduces an idea to use UML activity diagrams [1-5] for specification of requirements regarding logic controller behavior. Requirements list to be verified [14] (using model checking technique [6, 7]) is usually directly defined using temporal logic formulas [12, 15]. Using user-friendly, commonly known and practiced diagrams allows to easier and more intuitively write down the requirements easier and more intuitively. Activity diagrams are then formally transformed into linear temporal logic (LTL) formulas. In this paper some sample UML activity diagrams which specify global properties are presented, together with their interpretation using LTL logic. To perform model checking process, model description (based i.e. on a control interpreted Petri net [8] or indirectly on an UML activity diagram [11]), and requirements list are needed. Afterwards it is checked, whether defined properties are satisfied in specified model description. If a requirement cannot be fulfilled, appropriate counterexample is generated allowing to localize error source. The article is structured as follows. Section 1 is an introduction. Background of a logic controller specification and its verification is presented in section 2. A novel approach to logic controller requirements definition using activity diagrams is shown in section 3. The paper ends with a short summary.

8

Regułowy model logiczny rekonfigurowalnego sterownika logicznego do weryfikacji i syntezy

Grobelna I.

Studia Informatica

|

2012

|

Vol. 33, nr 1

59-75

PL

Artykuł przedstawia regułowy model logiczny rekonfigurowalnego sterownika logicznego opisanego za pomocą interpretowanej sieci Petriego, która jest formalną specyfikacją zachowania systemów dyskretnych. Model logiczny, jako abstrakcyjny opis, nadaje się zarówno do formalnej weryfikacji, jak i syntezy logicznej. W pracy są rozpatrywane różne warianty opisu reguł.

EN

The article presents rule-based logical model of reconfigurable logic controller, by means of Control Interpreted Petri Nets, which are formal specification of discrete systems behavior. Logical model, as an abstract description, is easy to formally verify and to synthesize. In the paper, various rules notations are discussed.

9

Probabilistic Analysis of Marine Binary Technical Systems Represented by Boolean Models

Chybowski L., Matuszak Z.

Zeszyty Naukowe / Akademia Morska w Szczecinie

|

2006

|

nr 10 (82)

161-172

EN

Basic relations useful in the reduction of Boolean models of technical systems have been presented. Elementary logical gates used in a coherent fault tree and their probabilistic evaluations have been pointed out. A marine system (sea water cooling system) has been analyzed with the use of the presented methodology.

PL

Przedstawiono podstawowe zależności przydatne przy redukcji boolowskich modeli systemów technicznych. Wyszczególniono podstawowe operatory logiczne wykorzystywane w koherentnych drzewach niezdatności i ich analizie probabilistycznej. Przykładowy system okrętowy (system chłodzenia wodą morską) został przeanalizowany z użyciem przedstawionej metodologii.

10

Systemy DSS : projekt i opis modelu hurtowni danych

Gorawski M., Frączek J.

Informatyka

|

2000

|

Nr 5

34-43

PL

Niniejszy artykuł jest trzecim w cyklu publikacji prezentujących technologię Systemów Wspomagania Podejmowania Decyzji (Decision Support Systems - DSS). W pierwszym artykule przedstawiono pojęcia podstawowe, stosowane do architektury hurtowni danych oraz przetwarzania analitycznego, a w następnym kryteria wyboru narzędzi dla środowiska DSS oraz analizę porównawczą środowiska DSS i przetwarzania OLAP. Obecny artykuł rozpoczyna cykl poświęcony zastosowaniom technologii relacyjnych hurtowni danych i przetwarzania ROLAP.