In this paper, we propose a methodology integrating discrete event simulation based on the fuzzy set theory to solve the scheduling planning problem for construction operations in a new semiconductor building. Unlike traditional construction scheduling approaches that only cope with quantitative data, fuzzy set-based methods provide proper instruments for expressing planners’ linguistic terms t...

It is widely agreed that the practice of construction is deficient and requires improvement. However, the construction research community has had little to contribute to a solution, except trialling new approaches from general management scene or advancing technological tools. It is argued that a new research frontier is needed, where integral understanding of operations, construction and compu...

We present a description technique for the correct construction of programs that allows us to deene terms like reenement, model-checking, and synthesis as special operations within this framework. From that meta-view on program constructions both advantages and disadvantages of all methods mentioned become clear. Furthermore, it becomes clear that an incremental program construction seems to be...

Randomness is both a useful way to model natural systems and a useful tool for engineered systems, e.g., in computation, communication, and control. Fully random transformations require exponential time for either classical or quantum systems, but in many cases pseudorandom operations can emulate certain properties of truly random ones. Indeed, in the classical realm there is by now a well-deve...

Earthmoving operations often involve a large number of specially designed equipment with significant purchasing/leasing prices, high operating and maintenance costs. Hence, choosing the right fleet is a major concern from the construction planners’ point of view. This paper presents a methodology that combines discrete-event simulation and optimization to solve the optimal fleet selection probl...

One of the primary impediments in the use of discrete-event simulation to design construction operations is that decision-makers often do not have the means, the knowledge, and/or the time to check the veracity and the validity of simulation models and thus have little confidence in the results. Visualizing simulated operations in 3D can be of substantial help in establishing the credibility of...

We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W -construction of Boardman and Vogt, applied to the appropriate diagram category; we also show how some classical families of polyhedra (including simplices, cubes, associahedra, and pe...

A promising technique for the formal verification of embedded and cyber-physical systems is flow-pipe construction, which creates a sequence of regions covering all reachable states over time. Flow-pipe construction methods can check whether specifications are met for all states, rather than just testing using a finite and incomplete set of simulation traces. A fundamental challenge when using ...

– To analyze the failure risk of asynchronous digital circuits the time-parameter is introduced into the Boolean algebra replacing the arithmetic operations by logical operations. There considered an example of construction of signals passing through the logical elements, using the described below mathematical apparatus.

We construct Adams operations on higher algebraic K-groups induced by operations such as symmetric powers on any suitable exact category, by constructing an explicit map of spaces, combinatorially defined. The map uses the S-construction of Waldhausen, and deloops (once) earlier constructions of the map.