As mining and civil tunneling progresses to depth, excavation-induced seismicity and rockburst problems increase and cannot be prevented. As an important line of defense, ground control measures and burst-resistant rock support are used to prevent or minimize damage to excavations and thus to enhance workplace safety. Rock support in burst-prone ground differs from conventional rock support whe...

The Linear-Quadratic Gaussian (LQG) design is the most efficient and widely used design approach in the field of linear stochastic control systems. From theoretical point of view this approach is reduced to the synthesis of a LQ state regulator and of a Kalman filter for the controlled system. From computational point of view the LQG design consists of solving a pair of matrix Riccati equations...

Reducing the cost of construction is a primary concern for owners, designers, and builders of facilities. Today, project teams often perform constructability reviews during the design phase to identify design constraints that limit a constructor’s ability to perform construction operations effectively and increase construction cost. However, the current manual process is timeconsuming and prone...

In aviation, there is currently a lack of accurate and timely situational information, specifically weather data, which is essential when dealing with the unpredictable complexities that can arise while flying. For example, weather conditions that require immediate evasive action by the flight crew, such as isolated heavy rain, micro bursts, and atmospheric turbulence, require that the flight c...

Significant developments have been seen over the last few years in the robot soccer domain. Considerable improvements have been made in the areas of robot control, strategy generation, vision processing, etc. In particular, in the vision area, there have been many researches aimed at decreasing processing time. However, many other issues remain in the development of ideal vision system. Despite...

This dissertation discusses several problems loosely related, because they all involve a verification condition generator. The Boogie language is introduced; the architecture of a verification-generator is described. Then come more interesting parts. (1) Moving to a passive form representation can be seen as an automatic transformation into a pure functional language. How to formalize this tran...

Using a coarse-and-fine actuator combination (dual stage system), a new design of the three degree-of-freedom (DOF) micro parallel positioning platform with high mobility, high accuracy, and a large working space is proposed. To achieve these three DOFs and implement the dual stage system, there are six possible architectures for the coarse and fine actuators, respectively. This paper is organi...

In this work, we develop a computational framework for optimal design of experiment in parametric signal reconstruction. We apply this to the optimal design of one dimensional q-space, q-ball imaging and multiple q-shell experimental design. We present how to construct sampling scheme leading to minimal condition number, and compare to state-of-the-art sampling methods. We show in particular a ...

salinity is one of the abiotic stresses and exploitation of heterosis could increase the crop yield and extend the stress tolerance, especially in salinity stress. in this research, a set of full diallel design involving 7×7 crosses from cultivars including flat, bam, ghods, roshan, arg, kavir and pishtaz were conducted in a randomized complete block design with three replications under both no...