Search results for "programming."
showing 10 items of 3035 documents
Mathematical models for Multi Container Loading Problems with practical constraints
2019
Abstract We address the multi container loading problem of a company that serves its customers’ orders by building pallets with the required products and loading them into trucks. The problem is solved by using integer linear models. To be useful in practice, our models consider three types of constraints: geometric constraints, so that pallets lie completely inside the trucks and do not overlap; weight constraints, defining the maximum weights supported by a truck and by each axle, as well as the position of the centre of gravity of the cargo; and dynamic stability constraints. These last constraints forbid empty spaces between pallets to avoid cargo displacement when the truck is moving, …
An ontological infrastructure for the automatic control of freight transport
2008
Currently, freight transport carried through a country or through different countries undergoes many delays due to merchandise controls. Merchandise control is only carried out at some border posts or when the authorities demand it. Such control can be an important problem since there are different laws for the same merchandise, according to the legislation of the country and even within the same country. Nowadays there are vocabularies or languages that describe concepts and structures of data related to transport, but the description is just syntactic, not semantic. Therefore the objective to be reached in this part of the research has been to develop a representation scheme of a particul…
The Multi-period Multi-trip Container Drayage Problem with Release and Due Dates
2021
Abstract The Container Drayage Problem (CDP) aims at routing a fleet of trucks, based at a common terminal, to serve customers while minimizing the total travel distance. Each trip starts from and ends at the terminal, and handles a subset of customers. Each customer requires either that a container is picked up or delivered. We introduce a more realistic variant, i.e., the Multi-trip Multi-period CDP with Release and Due Dates (MM-CDP-RDD), in which the planning horizon is composed of several periods (days). On each day, each truck may perform more than one trip respecting the Release and Due Dates (RDD) associated with customer services, corresponding to the first and the last day on whic…
Adaptation of microphysical and chemical instrumentation to the airborne measuring platform Iljushin I1-18 ‘Cyclone’ and flight regime planning durin…
1997
Abstract In 1993 the joint Russian-German Research Project ‘Arctic Haze’ started (see the Introduction and editorial note of this issue, by Jaenicke, Khattatov, Jaeschke and Leiterer). Besides CAO, four German groups were involved. To the present three airborne measuring campaigns have been performed. In total 251 h of flight within altitudes up to 8.7 km were flown in the western and eastern part of the arctic leading to a comprehensive set of data of the northern arctic hemisphere. The measurements were conducted aboard the Russian research aircraft I1-18 ‘Cyclone’ which was used by CAO in numerous scientific projects mainly in the former USSR. This 4 engined turboprop aircraft is well eq…
A Measure of Trust: The Italian Regional Divide in a Latent Class Approach
2017
Social differences within countries may partly explain the lack of economic convergence and the persistence of regional disparities. The case of Italy is emblematic: economic gap between North and South remains at high levels with large differences in social capital and in trust. In this paper, we use the micro data from the ISTAT “Aspects of Daily Life” Survey to build a measure of “trust in others” and a measure of “trust in institutions” through a latent class model to attribute a trust score to the Italian households and the Italian regions and, in this way, to add elements of knowledge useful to policies. Our measures confirm a persistent territorial divide although the regional mappin…
Domēnspecifisku rīku konfigurācijas valoda un tās realizācija
2014
Promocijas darbā ir izstrādāts konfigurators plaša profila DSML rīku definēšanai. Konfigurators balstās uz ideju, ka DSML definīciju var uzdot ar universālu metamodeli (UML klašu diagrammas formā), kura pēc tam konfiguratorā tiek apstrādāta, lai nodrošinātu rīka darbību. Turklāt nestandarta gadījumiem, kad esošās metamodeļa iespējas ir nepietiekošas, metamodelī ir realizēts paplašinājuma punktu mehānisms, kas ļauj pievienot rīkam specifiski transformāciju valodā noprogrammētu funkcionalitāti. Izstrādātais konfigurators ir pārbaudīts vairākos praktiskos lietojumos un apliecinājis savu efektivitāti.
UML Style Graphical Notation and Editor for OWL 2
2010
OWL is becoming the most widely used knowledge representation language. It has several textual notations but no standard graphical notation apart from verbose ODM UML. We propose an extension to UML class diagrams (heavyweight extension) that allows a compact OWL visualization. The compactness is achieved through the native power of UML class diagrams extended with optional Manchester encoding for class expressions thus largely eliminating the need for explicit anonymous class visualization. To use UML class diagram notation we had to modify its semantics to support Open World Assumption that is central to OWL. We have implemented the proposed compact visualization for OWL 2 in a UML style …
Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product…
2010
UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today's UML modeling tools support sophisticated version management for managing parallel and distributed modeling. However, the literature does not provide a comprehensive set of industrial-level criteria to evaluate the version management capabilities of UML tools. This article's contributio…
Modeling and Query Language for Hospitals
2013
So far the traditional process modeling languages have found a limited use in the hospital settings. One of the reasons behind this delay has been the lack of clear definition of the sequence of activities that are carried out in the hospital. We propose a new modeling language (as a profile of UML Class diagrams) that captures all the useful features from various UML diagrams and can be used in modeling of the hospitals. Based on the modeling language, we have developed an easy-to-perceive graphical query language, which allows the physicians to retrieve directly from the various hospital databases information they need to better understand the flow of clinical processes.
From UML Specification into FPGA Implementation
2014
In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine di- agrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Ar- rays). The UML specification is used to generate an eective program in Hardware Description Languages (HDLs), especially Verilog.