The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Agent-based models (ABMs) are ubiquitous in research and industry. Currently, simulating ABMs involves at least some imperative (step-by-step) computer instructions. An alternative approach is declarative programming, in which a set of requirements is described at a high level of abstraction. Here I present the a fully declarative methodology for the automated construction of simulations for ABMs...
Reliable simulation estimation builds on accurately specified input models. In the context of simulating tail events, knowledge on the tail of the input model is especially important, yet is often hard to obtain due to a lack of data. In this paper, we consider tail event estimation without any knowledge on the input tail, but rather only making a general assumption that it is convex. We focus on...
This work extends current research in model analysis and program understanding to assist modelers in obtaining additional insight into their models and the systems they represent. Given a particular simulation implementation, this research demonstrates the feasibility of automatically-derived observations that could potentially enhance a model builder or model user's understanding of their models...
Model verification and validation are defined, and why model verification and validation are important is discussed. A graphical paradigm that shows how verification and validation are related to the model development process and a flowchart that shows how verification and validation is part of the model development process are presented and discussed. The three approaches to deciding model validity...
Hardwood flooring mills transform rough wood into several boards of smaller dimensions. For each piece of raw material, the system tries to select the cutting pattern that will generate the greatest value, taking into account the characteristics of the raw material. However, it is often necessary to choose less profitable cutting patterns in order to respect market constraints. This reduces production...
This paper investigates empirically two-range robust optimization (2R-RO) as an alternative to stochastic programming in terms of computational time and solution quality. We consider a number of possible projects with anticipated costs and cash flows, and an investment decision to be made under budget limitations. In 2R-RO, each uncertain parameter is allowed to take values from more than one uncertainty...
Transportation engineering is one of the most popular area of Operations Research in which fractional programming is used. In this study, we present two algorithms to find initial basic feasible solution of a linear fractional transportation problem. Also we present a methodology to find optimal solution of the stated problem. Using simulation experiments on large number of examples we compare the...
This paper identifies construction constraints for a constraint simulation of a construction flow. Therefore the construction environment and the methodologies of scheduling in construction are analyzed. Typical characteristics of construction schedules are classified. The relationship between different activities or between activities and building elements or between different building elements are...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.