Search results for "GEOM"
showing 10 items of 6506 documents
Generating incremental type services
2019
In this vision paper, we propose a method for generating fully functional incremental type services from declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don't naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.
Variable Fixing for Two-Arc Sequences in Branch-Price-and-Cut Algorithms on Path-Based Models
2020
Variable fixing by reduced costs is a popular technique for accelerating the solution process of mixed-integer linear programs. For vehicle-routing problems solved by branch-price-and-cut algorithms, it is possible to fix to zero the variables associated with all routes containing at least one arc from a subset of arcs determined according to the dual solution of a linear relaxation. This is equivalent to removing these arcs from the network used to generate the routes. In this paper, we extend this technique to routes containing sequences of two arcs. Such sequences or their arcs cannot be removed directly from the network because routes traversing only one arc of a sequence might still b…
Novel Distance Estimation Methods Using 'Stochastic Learning on the Line' Strategies
2018
In this paper, we consider the problem of Distance Estimation (DE) when the inputs are the $x$ and $y$ coordinates (or equivalently, the latitudinal and longitudinal positions) of the points under consideration. The aim of the problem is to yield an accurate value for the real (road) distance between the points specified by the latter coordinates. 1 This problem has, typically, been tackled by utilizing parametric functions called the “Distance Estimation Functions” (DEFs). The parameters are learned from the training data (i.e., the true road distances) between a subset of the points under consideration. We propose to use Learning Automata (LA)-based strategies to solve the problem. In par…
Using Genetic Algorithms for Optimizing the PPC in the Highway Horizontal Alignment Design.
2016
Various studies have emphasized the interesting advantages related to the use of new transition curves for improving the geometric design of highway horizontal alignments. In a previous paper, one of the writers proposed a polynomial curve, called a polynomial parametric curve (PPC), proving its efficiency in solving several design problems characterized by a very complex geometry (egg-shaped transition, transition between reversing circular curves, semidirect and inner-loop connections, and so on). The PPC also showed considerable advantages from a dynamic perspective, as evidenced by the analysis of the main dynamic variables related to motion (as well as rate of change of radial accelera…
The periodic rural postman problem with irregular services on mixed graphs
2019
Abstract In this paper, we deal with an extension of the rural postman problem in which some links of a mixed graph must be traversed a given number of times over a time horizon. These links represent entities that must be serviced a specified number of times in some subsets of days (or periods) of the time horizon. The aim is to design a set of minimum-cost tours, one for each day/period of the time horizon, that satisfy the service requirements. We refer to this problem as the periodic rural postman problem with irregular services (PRPP–IS). Some practical applications of the problem can be found in road maintenance operations and road network surveillance, for example. In order to solve …
An attraction-based cellular automaton model for generating spatiotemporal population maps in urban areas
2015
We develop a cellular automaton (CA) model to produce spatiotemporal population maps that estimate population distributions in an urban area during a random working day. The resulting population maps are at 50 m and 5 minutes spatiotemporal resolution, showing clearly how the distribution of population varies throughout a 24-hour period. The maps indicate that some areas of the city, which are sparsely populated during the night, can be densely populated during the day. The developed CA model assumes that the population transition trends follow dynamics and propagation patterns similar to a contagious disease. Thus, our model designed to change the states of each grid cell (stable or dynami…
The relationship between loading history and proximal femoral diaphysis cross-sectional geometry
2017
Objectives We investigated the relationship between loading history and bone biomechanical properties used in physical activity reconstructions. These bone properties included bone bending and torsional strength (J), cortical area (CA), the direction of the major axis (theta angle), and element shape ratios determined from cross sections of standardized bone length. In addition, we explored the applicability of anatomically determined cross sections. Methods Our material consisted of hip and proximal thigh magnetic resonance images of Finnish female athletes (N = 91) engaged in high-jump, triple-jump, endurance running, swimming, power-lifting, soccer and squash; along with a group of activ…
Contesting Cultural Heritage: Decolonizing the Tropenmuseum as an Intervention in the Dutch/European Memory Complex
2019
AbstractThe chapter discusses how (post-)immigrant activism in the Netherlands currently impacts Dutch and European cultural heritage and their cultural archive and memory complex. The discussion focuses on the Tropenmuseum and the way postcolonial (post)immigrants carried out interventions there, resulting in new ways of visually and textually representing the colonial past. Though the end result is not a final ideal decolonized situation, it did evince de-essentializing processes in which intersectional perspectives are taken up. The interventions coincide with other national and international protests and processes, making it part of a project or movement that produces decolonial counter…
Performance Study of Twisted Darrieus Hydrokinetic Turbine With Novel Blade Design
2021
Abstract Twisted Darrieus water turbine is receiving growing attention for small-scale hydropower generation. Accordingly, the need for raised water energy conversion incentivizes researchers to focus on the blade shape optimization of twisted Darrieus turbine. In view of this, experimental analysis has been performed to appraise the efficiency of a spiral Darrieus water rotor in the present work. To better the performance parameters of the studied water rotor with twisted blades, three novel blade shapes, namely U-shaped blade, V-shaped blade, and W-shaped blade, have been numerically tested using a computational fluid dynamics three-dimensional numerical model. The maximum power coefficie…