Search results for "Abstract data type"
showing 10 items of 1140 documents
About Graph Mappings
2019
Summary In this articles adjacency-preserving mappings from a graph to another are formalized in the Mizar system [7], [2]. The generality of the approach seems to be largely unpreceeded in the literature to the best of the author’s knowledge. However, the most important property defined in the article is that of two graphs being isomorphic, which has been extensively studied. Another graph decorator is introduced as well.
About Graph Unions and Intersections
2020
Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].
On Different Type Solutions of Boundary Value Problems
2016
We consider boundary value problems of the type x'' = f(t, x, x'), (∗) x(a) = A, x(b) = B. A solution ξ(t) of the above BVP is said to be of type i if a solution y(t) of the respective equation of variations y'' = fx(t, ξ(t), ξ' (t))y + fx' (t, ξ(t), ξ' (t))y' , y(a) = 0, y' (a) = 1, has exactly i zeros in the interval (a, b) and y(b) 6= 0. Suppose there exist two solutions x1(t) and x2(t) of the BVP. We study properties of the set S of all solutions x(t) of the equation (∗) such that x(a) = A, x'1(a) ≤ x' (a) ≤ x'2(a) provided that solutions extend to the interval [a, b].
Images and Preimages of Null Sets
2013
In this chapter we study conditions that guarantee that our mapping maps sets of measure zero to sets of measure zero. We start with the problem in general Sobolev spaces, after which we establish a better result for mappings of finite distortion. Then we introduce a natural class of counterexamples to statements of this type and finally we give a weak condition under which the preimage of a set of measure zero has measure zero for mappings of finite distortion.
Semantics for Managing Systems in Heterogeneous and Distributed Environment
2002
The problem of legacy systems collaboration is being solved. Particularly we look at the collaboration as workflow in a distributed and heterogeneous environment. Attention is paid to the description of semantics for workflow process definition languages. There are many solutions how semantics can be decomposed into logical fragments, but the problem of obtaining reusable components that are easy to compile into desired specific semantics still remains. We evolve the division of semantics by semantic aspects whose description is based on abstract data types (pre-built components) and connectors (meta-programs to produce the glue code) between them. This paper offers a way in which semantic …
Results of a literature review on methods for estimating buildings energy demand at district level
2019
Abstract In the framework of distributed energy planning, evaluating reliable energy profiles of different sectors has a prominent role. At the same time, it is a quite challenging task, since the availability of actual energy profiles of buildings at the district level is not widespread. A survey of over 70 studies in scientific literature has been accomplished and a set of criteria has been defined for classifying the selected contributions based on the energy demand data features, source and/or estimation methods, highlighting the ones adopting hourly energy profiles. As final results, tables summarizing the main methods characteristics and a selection of studies providing directly useab…
Optimal power flow for technically feasible energy management systems in islanded microgrids
2016
This paper presents a combined optimal energy and power flow management for islanded microgrids. The highest control level in this case will provide a feasible and optimized operating point around the economic optimum. In order to account for both unbalanced and balanced loads, the optimal power flow is carried out using a Glow-worm Swarm Optimizer. The control level is organized into two different sub-levels, the highest of which accounts for minimum cost operation and the lowest one solving the optimal power flow and devising the set points of inverter interfaced generation units and rotating machines with a minimum power loss. A test has been carried out for 6 bus islanded microgrids to …
Stability Analysis of Routing Strategies for the Maximum Lifetime Problem in One-Dimensional Ad-Hoc Wireless Networks
2017
In the paper we discuss solutions of the maximum network lifetime problem in one-dimensional, regular ad-hoc wireless networks. For the problem, nodes of the network generate given amount of data and send it possibly via other nodes to the data collector. To extend the network lifetime the data should be transmitted in such a way, that the energy utilized by the most overloaded node is minimized. We assume, that the nodes use the point-to-point data transmission scheme and the cost of transmission of one unit of data is arbitrary superadditive function of a distance between transmitter and receiver. We show that for the one-dimensional network in which the nodes are evenly distributed on th…
Longest Common Subsequence from Fragments via Sparse Dynamic Programming
1998
Sparse Dynamic Programming has emerged as an essential tool for the design of efficient algorithms for optimization problems coming from such diverse areas as Computer Science, Computational Biology and Speech Recognition [7,11,15]. We provide a new Sparse Dynamic Programming technique that extends the Hunt-Szymanski [2,9,8] paradigm for the computation of the Longest Common Subsequence (LCS) and apply it to solve the LCS from Fragments problem: given a pair of strings X and Y (of length n and m, resp.) and a set M of matching substrings of X and Y, find the longest common subsequence based only on the symbol correspondences induced by the substrings. This problem arises in an application t…
In-Depth Analysis of Pricing Problem Relaxations for the Capacitated Arc-Routing Problem
2015
Recently, Bode and Irnich [Bode C, Irnich S (2012) Cut-first branch-and-price-second for the capacitated arc-routing problem. Oper. Res. 60(5):1167–1182] presented a cut-first branch-and-price-second algorithm for solving the capacitated arc-routing problem (CARP). The fundamental difference to other approaches for exactly solving the CARP is that the entire algorithm works directly on the typically sparse underlying graph representing the street network. This enables the use of highly efficient dynamic programming-based pricing algorithms to solve the column-generation subproblem also known as the pricing problem. The contribution of this paper is the in-depth analysis of the CARP pricing…