There have been built a fragment of three-level model of the formulas processing system of algebra of algorithms (SOFAL) by means of the modified algorithms algebra. The model of the first level is formed by subsystems. At the second level of decomposition the model is created by graphic and functional parts of subsystems of the first level of decomposition. The third level of decomposition is the model of the system user interface.
W Opisach Przedmiotów Zamówienia (OPZ) i innych dokumentach wiążących zamawiających z wykonawcami modernizacji linii kolejowych mamy do czynienia z różnymi zapisami określającymi obowiązki wykonawców w zakresie dopuszczania podsystemów do eksploatacji. Pośrednio zapisy te w niektórych przypadkach definiują również działania, jakie musi podjąć zamawiający, aby uzyskać „zezwolenie na dopuszczenie do eksploatacji podsystemu". W celu uzyskania takiego zezwolenia konieczne jest złożenie wniosku do prezesa Urzędu Transportu Kolejowego, przy czym wniosek - zgodnie z zapisami Ustawy o Transporcie Kolejowym [8] - może być złożony przez producenta podsystemu albo jego upoważnionego przedstawiciela, zarządcę, przewoźnika kolejowego, dysponenta, importera, inwestora lub podmiot zamawiający. Tak szeroka lista podmiotów, które mogą występować z wnioskiem do UTK, powoduje konieczność precyzyjnego określenia obowiązków wykonawców i zamawiających, związanych stosownymi umowami.
Model of information system layers as a scheme, algebraic expressions and computer model were created. Algebraic model of information system layers is synthesized by means of algebraic algorithms and modified systems of algorithmic algebras. A computer model of layers is created in environment Microsoft Visual Studio .NET. A four-layer model of abstract information system in the form of diagrams, mathematical formulas and models of computer system were created. Comparison of object models is performed.
PL
W pracy zaprezentowano metodę uproszczenia złożoności projektowania systemu informacyjnego, polegającą na jego podziale na warstwy, z których każda zawiera jeden lub więcej podsystemów. Metoda jest oparta na wykorzystaniu zmodyfikowanego systemu algebr algorytmicznych, opracowanego przez autora [1, 2]. Przedstawiono ogólny model algebry algorytmów w postaci warstw algorytmu, który zaimplementowano w programie komputerowym. Omówiono modele warstw systemu informatycznego utworzone w postaci schematu, wykresów algebraicznych i modelu komputerowego. W programie komputerowym warstwy są reprezentowane w formie zagnieżdżonych prostokątów (rys. 8). Modele algebraiczne warstw systemu informatycznego zostały zsyntezowane przy zastosowaniu zasobów algebry algorytmów i zmodyfikowanego systemu algebr algorytmicznych (tab. 1). Model komputerowy warstw zbudowano w środowisku Microsoft Visual Studio. NET. Utworzono czteropoziomowy model warstw informatycznego systemu abstrakcyjnego w postaci schematów, wykresów matematycznych i modelu systemu komputerowego. Pokazano wyniki porównania utworzonych modeli.
The results of theoretical research on reliability indices of combine harvesters subsystems for effective realization of harvesting in short periods of reaping have been considered.
PL
Rezultaty badań teoretycznych na indeksach niezawodności podsystemów zbożowego kombajnu dla realizacji zbioru efektywnego ziarna w najkrótszym okresie.
We wstępie przedstawiono cel artykułu oraz kierunki rozwoju idei controllingu. Na początku scharakteryzowano etapy rozwoju controllingu na świecie. Wyspecyfikowano także główne funkcje controllingu oraz sformułowano podstawowy cel controllingu. Następnie zaprezentowano kilka definicji pojęcia „controlling”, które podzielono na dwa rodzaje: definicje controllingu w ujęciu funkcjonalnym oraz w ujęciu instytucjonalnym, w którym centralnym odniesieniem jest system rachunkowości. Przedstawiono nadrzędną funkcję controllingu, którym jest koordynowanie wszystkich podsystemów controllingu. Wyróżniono oraz scharakteryzowano cztery rodzaje koordynacji w systemie controllingu. Opisano i zdefiniowano pojęcia controllingu strategicznego i controllingu operacyjnego. Scharakteryzowano czynniki wpływające na controlling, ich podział na czynniki wewnętrzne i czynniki zewnętrzne. Na końcu artykułu przedstawiono zwięzłe wnioski dotyczące controllingu wskazując na konieczność przeprowadzania systematycznej restrukturyzacji systemu controllingu.
EN
The aim of the controlling concept and its development trends are presented in the beginning of the paper. Development stages of controlling in the world are included with specification of its main functions and aims. Next some definitions of „controlling” notion are described and divided on two types which refer firstly to functional or secondly to institutional aspects, where the crucial reference is the accountancy system. The dominating function of controlling that deals with the coordination of all its subsystems is presented. There are distinguished and characterised four types of coordination within the system of controlling. Moreover there are described and defined the notions of strategic and operational controlling. Some factors influencing the controlling are characterised and divided into internal and external ones. In the end of the paper some concise conclusions are presented indicating that there is a need of permanent restructuring of controlling system.
W artykule przedstawiono budowę złożonego komputerowego systemu do przekształceń formuł algorytmów przy wykorzystaniu właściwości operacji algebry algorytmów. Budowany model systemu nazwano komputerowym systemem optymalizacji (KSO) i dokonano jego dekompozycji na dwóch poziomach, poziomie systemu i podsystemu. Na poziomie systemu w logiczny sposób wyodrębniono podsystemy pełniące oraz wspomagające zadania optymalizacji formuł algorytmów, a na poziomie podsystemu utworzono unitermy zmienne i funkcyjne. Dla opisania modelu systemu wykorzystano algebrę algorytmów. Fragment modelu systemu zaimplementowano w języku C#.
EN
The model of algorithm algebra formulae optimization system is presented in the paper. The decomposition of the system into subsystems is performed using algebra algorithm expressions, and is described in terms of the expressions. The following algorithm algebra operation optimization subsystem models are formed: sequencing, elimination, parallelization, reversing, cycle operations, basic subsystem, subsystem introducing additional condition, subsystem rendering data accessible, and the one generating indices for xml code of algorithm formula. The basic subsystem model and the rendering data accessible one in the 3rd section there are described. Algorithm algebra expressions there are used consistently. Models are composed of variables and functional uniterms, which are also used by other subsystems. Variables are used for the data storage. Functional uniterms of the basic subsystem there are the following: extracting, substituting the xml code fragment, checking the separator kind in the uniterm, as well as the one checking if the uniterm is a number. Additionally there are included functional uniterms absorbing other uniterms, and the one informing on optimization process run. The basic and rendering data models are implemented in C# . In conclusions some advantages of both the algorithm formula optimization computer system and model decomposition into subsystem are given. Bibliography contains a set of intuitive and formal works describing the algorithms algebra.