A stochastic optimization model for real-time ambulance redeployment

When ambulances are engaged in responding to emergency calls, the ability to respond quickly to future calls is considerably compromised. The available ambulances are typically relocated to reestablish maximal coverage. We present a two-stage stochastic optimization model for the ambulance redeployment problem that minimizes the number of relocations over a planning horizon while maintaining an acceptable service level. We conduct computational testing based on the real historical data from the Region of Waterloo Emergency Medical Services. The results show that the optimal relocation strategies can be computed within 40 s of computational time for a desired service level of 90%.     

Distributed Bayesian diagnosis for modular assembly systems—A case study

The growing interest in modular and distributed approaches for the design and control of intelligent manufacturing systems gives rise to new challenges. One of the major challenges that have not yet been well addressed is monitoring and diagnosis in distributed manufacturing systems. In this paper we propose the use of a multi-agent Bayesian framework known as Multiply Sectioned Bayesian Networks (MSBNs) as the basis for multi-agent distributed diagnosis in modular assembly systems. We use a close-to-industry case study to demonstrate how MSBNs can be used to build component-based Bayesian sub-models, how to verify the resultant models, and how to compile the multi-agent models into runtime structures to allow consistent multi-agent belief update and inference.     

Efficiently solving quantified bit-vector formulas

In recent years, bit-precise reasoning has gained importance in hardware and software verification. Of renewed interest is the use of symbolic reasoning for synthesising loop invariants, ranking functions, or whole program fragments and hardware circuits. Solvers for the quantifier-free fragment of bit-vector logic exist and often rely on SAT solvers for efficiency. However, many techniques require quantifiers in bit-vector formulas to avoid an exponential blow-up during construction. Solvers for quantified formulas usually flatten the input to obtain a quantified Boolean formula, losing much of the word-level information in the formula. We present a new approach based on a set of effective word-level simplifications that are traditionally employed in automated theorem proving, heuristic quantifier instantiation methods used in SMT solvers, and model finding techniques based on skeletons/templates. Experimental results on two different types of benchmarks indicate that our method outperforms the traditional flattening approach by multiple orders of magnitude of runtime.     

Optimal coverage of an infrastructure network using sensors with distance-decaying sensing quality

Motivated by recent applications of wireless sensor networks in monitoring infrastructure networks, we address the problem of optimal coverage of infrastructure networks using sensors whose sensing performance decays with distance. We show that this problem can be formulated as a continuous p-median problem on networks. The literature has addressed the discrete p-median problem   on networks and in continuum domains, and the continuous p$p$-median problem in continuum domains extensively. However, in-depth analysis of the continuous p$p$-median problem on networks has been lacking. With the sensing performance model that decays with distance, each sensor covers a region equivalent to its Voronoi partition on the network in terms of the shortest path distance metric. Using Voronoi partitions, we define a directional partial derivative of the coverage metric with respect to a sensor’s location. We then propose a gradient descent algorithm to obtain a locally optimal solution with guaranteed convergence. The quality of an optimal solution depends on the choice of the initial configuration of sensors. We obtain an initial configuration using two approaches: by solving the discrete p$p$-median problem on a lumped   network and by random sampling. We consider two methods of random sampling: uniform sampling and D²$D^2$-sampling. The first approach with the initial solution of the discrete p$p$-median problem leads to the best coverage performance for large networks, but at the cost of high running time. We also observe that the gradient descent on the initial solution with the D²$D^2$-sampling method yields a solution that is within at most 7% of the previous solution and with much shorter running time.     

Improved Incompressible Smoothed Particle Hydrodynamics method for simulating flow around bluff bodies

In this article, we present numerical solutions for flow over an airfoil and a square obstacle using Incompressible Smoothed Particle Hydrodynamics (ISPH) method with an improved solid boundary treatment approach, referred to as the Multiple Boundary Tangents (MBT) method. It was shown that the MBT boundary treatment technique is very effective for tackling boundaries of complex shapes. Also, we have proposed the usage of the repulsive component of the Lennard-Jones Potential (LJP) in the advection equation to repair particle fractures occurring in the SPH method due to the tendency of SPH particles to follow the stream line trajectory. This approach is named as the artificial particle displacement method. Numerical results suggest that the improved ISPH method which is consisting of the MBT method, artificial particle displacement and the corrective SPH discretization scheme enables one to obtain very stable and robust SPH simulations. The square obstacle and NACA airfoil geometry with the angle of attacks between 0° and 15° were simulated in a laminar flow field with relatively high Reynolds numbers. We illustrated that the improved ISPH method is able to capture the complex physics of bluff-body flows naturally such as the flow separation, wake formation at the trailing edge, and the vortex shedding. The SPH results are validated with a mesh-dependent Finite Element Method (FEM) and excellent agreements among the results were observed.     

Modelling of flame temperature of solution combustion synthesis of nanocrystalline calcium hydroxyapatite material and its parametric optimization

Hydroxyapatite (HAp), an important bio-ceramic was successfully synthesized by combustion in the aqueous system containing calcium nitrate-di-ammonium hydrogen orthophosphate-urea. The combustion flame temperature of solution combustion reaction depends on various process parameters, and it plays a significant role in the phase formation, phase stability and physical characteristics of calcium hydroxyapatite powder. In this work, an attempt has been made to evaluate the influence of each selected process parameters on the flame temperature as well as physical characteristics of powder, and to select an optimal parameters setting using Taguchi method. A regression model has also been developed to correlate the input parameters, viz. batch size, diluents, fuel to oxidizer ratio and initial furnace temperature, with flame temperature of the solution combustion reaction. The adequacy of the developed model has been checked using analysis of variance technique.     

The effect of copolymer composition on the surface properties of perfluoroalkylethyl acrylates

The surface properties of two perfluoroalkylethyl acrylic copolymers—aqueous, Zonyl^®329 and solvent‐based, Zonyl^®225—were studied. Zonyl^®329 is a water‐based dispersion and Zonyl^®225 a solvent‐based copolymer solution; both polymers have the same perfluoroalkyethyl side chains [F(CF₂)_nCH₂CH₂? ] but have different comonomer compositions. Thin films, prepared by dip coating onto mica and quartz, with and without annealing, were characterized by contact angle and by X‐ray photoelectron spectroscopy (XPS). The contact angle measurements showed little variation with polymer and with substrate, consistent with the supposition that the perfluoroalkylethyl chains aggregate on the surface and thus dominate surface properties, irrespective of the composition of the rest of the polymer. XPS revealed only small variations in surface chemistry for studied films. Annealed films showed improved segregation for solvent‐based Zonyl^®225, which has both hydrocarbon alkyl and perfluoroalkylethyl side chains; the presence of hydrocarbon alkyl chains enables the perfluoroalkylethyl chains to reorganize after annealing. Depending on the external conditions, this thermal treatment can enable more perfluoroalkylethyl chains to reach the film surface (solid/air interface), leading to a reduction in the dispersive‐dominant surface and enhancement in perfluoroalkylethyl segregation. This suggested that perfluoroalkylethyl side chains dominate the surface properties, which are thus not dependent on substrate, backbone composition, or formulation. © 2009 Wiley Periodicals, Inc. J Appl Polym Sci, 2009     

An experimental analysis of subcooled leakage flow through slits from high pressure high temperature pipelines

The work presented here is an experimental investigation of the critical flashing flow of initially subcooled water through circumferential slits in pipes. The study provides first hand information about the prediction of leak flow rates in piping and pressure vessels retaining high temperature and high pressure. The dedicated experimental facility loop simulates the thermal hydraulic condition of Pressurized Heavy Water Reactors (PHWR). The critical flow characteristics found for varying leakage cross sections at different stagnation pressure and different degree of subcooling has been demonstrated in this paper. A marked decrease in mass flux has been found as subcooling decreases for a fixed stagnation pressure. More observation has revealed that the tighter slits or openings with very short duct as small as 0.8 cm flow length have different flow behavior than greater opening dimensions or with longer flow channels or that for nozzles. The critical flow has been seen to occur at higher pressure differentials along the flaws and prominent changes in the flow rate is reported to occur with varying dimensional parameters of the slit or cracks.