Hybrid Simulation of Miscible Mixing with Viscous Fingering

By modeling mass transfer phenomena, we simulate solids and liquids dissolving or changing to other substances. We also deal with the very small‐scale phenomena that occur when a fluid spreads out at the interface of another fluid. We model the pressure at the interfaces between fluids with Darcy's Law and represent the viscous fingering phenomenon in which a fluid interface spreads out with a fractal‐like shape. We use hybrid grid‐based simulation and smoothed particle hydrodynamics (SPH) to simulate intermolecular diffusion and attraction using particles at a computable scale. We have produced animations showing fluids mixing and objects dissolving.     

Deciding k-Colorability of P 5-Free Graphs in Polynomial Time

The problem of computing the chromatic number of a P ₅-free graph (a graph which contains no path on 5 vertices as an induced subgraph) is known to be NP-hard. However, we show that for every fixed integer k, there exists a polynomial-time algorithm determining whether or not a P ₅-free graph admits a k-coloring, and finding one, if it does.     

A SIMD-efficient 14 instruction shader program for high-throughput microtriangle rasterization

This paper shows that breaking the barrier of 1 triangle/clock rasterization rate for microtriangles in modern GPU architectures in an efficient way is possible. The fixed throughput of the special purpose culling and triangle setup stages of the classic pipeline limits the GPU scalability to rasterize many triangles in parallel when these cover very few pixels. In contrast, the shader core counts and increasing GFLOPs in modern GPUs clearly suggests parallelizing this computation entirely across multiple shader threads, making use of the powerful wide-ALU instructions. In this paper, we present a very efficient SIMD-like rasterization code targeted at very small triangles that scales very well with the number of shader cores and has higher performance than traditional edge equation based algorithms. We have extended the ATTILA GPU shader ISA (del Barrioet al. in IEEE International Symposium on Performance Analysis of Systems and Software, pp. 231–241, 2006) with two fixed point instructions to meet the rasterization precision requirement. This paper also introduces a novel subpixel Bounding Box size optimization that adjusts the bounds much more finely, which is critical for small triangles, and doubles the 2×2-pixel stamp test efficiency. The proposed shader rasterization program can run on top of the original pixel shader program in such a way that selected fragments are rasterized, attribute interpolated and pixel shaded in the same pass. Our results show that our technique yields better performance than a classic rasterizer at 8 or more shader cores, with speedups as high as 4× for 16 shader cores.     

Construction safety training via e-Learning: Learning effectiveness and user satisfaction

In Taiwan, promoting knowledge of “Labor Safety” which relates to life and work right is very important. Safety training and learning effectiveness become essential issues of adult learning. To reduce the costs of educational training, enterprises have also started to aggressively introduce e-learning education training. Unlike the construction industry, few studies have investigated the effectiveness of e-learning and conventional learning. This study tested the effectiveness of the safety education to prevent falls by different learning modes used to assess safety behavior and learning effectiveness during the education training period. According to the average pass rate, satisfaction degree of course and total number of unsafe behavior, the e-learning mode improves learning effectiveness. Additionally, when the e-learning mode is introduced in the construction safety education training, the labor can use the teaching material more independently and multimedia system, such as animated teaching materials, case teaching, and repeated course learning, to reduce the error rate of operation, property loss rate, and light (heavy) injury. Under this condition, the e-learning mode is positively associated with the learning effectiveness of construction safety education training. High learning effectiveness promotes safe behavior during construction operations.     

Development of a mobile robotic system for working in the double-hulled structure of a ship

Shipbuilding processes involve highly dangerous manual welding operations. Welding ship walls inside double-hulled structures presents a particularly hazardous environment for workers. This paper describes the “Rail Runner X” (RRX), a new robotic system that can move autonomously inside the walls of a double-hulled ship and automatically execute the required welding processes. The RRX robotic system is composed of a mobile platform and a welding robot consisting of a 3P3R serial manipulator. The robot is used to weld U-shaped trajectories located between two longitudinal stiffeners. The mobile platform enables traverse movements onto neighboring longitudinal stiffeners. The entire cross section of the robotic system is small enough to be placed inside the double-hulled structure via a conventional access hole from the outside shipyard floor. The overall engineering design process that led to the final robot solution developed is presented in this paper, including kinematic analysis data and experimental results for verifying the autonomous movement and welding performance.     

A parallel direct solver for the self-adaptive hp Finite Element Method

In this paper we present a new parallel multi-frontal direct solver, dedicated for the hp Finite Element Method (hp-FEM). The self-adaptive hp-FEM generates in a fully automatic mode, a sequence of hp-meshes delivering exponential convergence of the error with respect to the number of degrees of freedom (d.o.f.) as well as the CPU time, by performing a sequence of hp refinements starting from an arbitrary initial mesh. The solver constructs an initial elimination tree for an arbitrary initial mesh, and expands the elimination tree each time the mesh is refined. This allows us to keep track of the order of elimination for the solver. The solver also minimizes the memory usage, by de-allocating partial LU factorizations computed during the elimination stage of the solver, and recomputes them for the backward substitution stage, by utilizing only about 10% of the computational time necessary for the original computations. The solver has been tested on 3D Direct Current (DC) borehole resistivity measurement simulations problems. We measure the execution time and memory usage of the solver over a large regular mesh with 1.5 million degrees of freedom as well as on the highly non-regular mesh, generated by the self-adaptive hp$hp$-FEM, with finite elements of various sizes and polynomial orders of approximation varying from p=1$p=1$ to p=9$p=9$. From the presented experiments it follows that the parallel solver scales well up to the maximum number of utilized processors. The limit for the solver scalability is the maximum sequential part of the algorithm: the computations of the partial LU factorizations over the longest path, coming from the root of the elimination tree down to the deepest leaf.     

Industrial implementation of controller performance analysis technology

In this paper, a controller performance monitoring technology is introduced with a focus on its industrial implementation and applications. The technology to be introduced in this paper is known as Performance Analysis Toolbox and Solutions (PATS). The main components are discussed, which include data collection, closed-loop systems identification, control valve stiction monitoring, univariate control performance monitoring, multivariate control performance monitoring, model predictive control performance monitoring, etc. It is shown, through a thorough industry case study with various components of PATS, that the integration of the technology provides more convincing diagnosis results and facilitates identification of control improvement opportunities. Some components of the developed technology can be downloaded from the website http://www.ualberta.ca/～bhuang/research/research.htm.     

Energy- and Latency-Efficient Processing of Full-Text Searches on a Wireless Broadcast Stream

In wireless mobile computing environments, broadcasting is an effective and scalable technique to disseminate information to a massive number of clients, wherein the energy usage and latency are considered major concerns. This paper presents an indexing scheme for the energy- and latency-efficient processing of full-text searches over the wireless broadcast data stream. Although a lot of access methods and index structures have been proposed in the past for full-text searches, all of them are targeted for data in disk storage, not wireless broadcast channels. For full-text searches on a wireless broadcast stream, we firstly introduce a naive, inverted list-style indexing method, where inverted lists are placed in front of the data on the wireless channel. In order to reduce the latency overhead, we propose a two-level indexing method which adds another level of index structure to the basic inverted list-style index. In addition, we propose a replication strategy of the index list and index tree to further improve the latency performance. We analyze the performance of the proposed indexing scheme with respect to the latency and energy usage measures, and show the optimality of index replication. The correctness of the analysis is demonstrated through simulation experiments, and the effectiveness of the proposed scheme is shown by implementing a real wireless information delivery system.     

Schema mapping and query translation in heterogeneous P2P XML databases

Peers in a peer-to-peer data management system often have heterogeneous schemas and no mediated global schema. To translate queries across peers, we assume each peer provides correspondences between its schema and a small number of other peer schemas. We focus on query reformulation in the presence of heterogeneous XML schemas, including data–metadata conflicts. We develop an algorithm for inferring precise mapping rules from informal schema correspondences. We define the semantics of query answering in this setting and develop query translation algorithm. Our translation handles an expressive fragment of XQuery and works both along and against the direction of mapping rules. We describe the HePToX heterogeneous P2P XML data management system which incorporates our results. We report the results of extensive experiments on HePToX on both synthetic and real datasets. We demonstrate our system utility and scalability on different P2P distributions.     

Usability principles and best practices for the user interface design of complex 3D architectural design and engineering tools

This study proposes usability principles for the user interfaces (UI) design of complex 3D parametric architectural design and engineering tools. Numerous usability principles have been developed for generic desktop or web applications. The authors tried to apply existing usability principles as guidelines for evaluating complex 3D design and engineering applications. However, the principles were too generic and high-level to be useful as design or evaluation guidelines. The authors, all with more than 10 or 30 years of experience with various CAD systems, selected and reviewed 10 state-of-the-art 3D parametric design and engineering applications and captured what they thought were best practices, as screenshots and videos. The collected best practices were reviewed through a series of discussion sessions. During the discussion sessions, UI design principles underlying the collected best practices were characterized in the line of existing UI principles. Based on the best practices and the derived common UI principles, a new set of refined and detailed UI principles were proposed for improving and evaluating 3D parametric engineering design tools in the future.