Bed morphology, flow structure, and sediment transport at the outlet of Lake Huron and in the upper St. Clair River

An integrated multibeam echo sounder and acoustic Doppler current profiler field survey was conducted in July 2008 to investigate the morphodynamics of the St. Clair River at the outlet of Lake Huron. The principal morphological features of the upper St. Clair River included flow-transverse bedforms that appear weakly mobile, erosive bedforms in cohesive muds, thin non-cohesive veneers of weakly mobile sediment that cover an underlying cohesive (till or glacio-lacustrine) surface, and vegetation that covers the bed. The flow was characterized by acceleration as the banks constrict from Lake Huron into the St. Clair River, an approximately 1500-m long region of flow separation downstream from the Blue Water Bridge, and secondary flow connected to: i) channel curvature; ii) forcing of the flow by local bed topography, and iii) flow wakes in the lee side of ship wrecks. Nearshore, sand-sized, sediment from Lake Huron was capable of being transported into, and principally along, the banks of the upper St. Clair River by the measured flow. A comparison of bathymetric surveys conducted in 2007 and 2008 identifies that the gravel bed does undergo slow downstream movement, but that this movement does not appear to be generated by the mean flow, and could possibly be caused by ship-propeller-induced turbulence. The study results suggest that the measured mean flow and dredging within the channel have not produced major scour of the upper St. Clair River and that the recent fall in the level of Lake Huron is unlikely to have been caused by these mechanisms.     

Maximal versus strong solution to algebraic Riccati equations arising in infinite Markov jump linear systems

We deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space which appears, for instance, in the optimal control problem for infinite Markov jump linear systems (from now on iMJLS). Infinite or finite here has to do with the state space of the Markov chain being infinite countable or finite (see, e.g., [M.D. Fragoso, J. Baczynski, Optimal control for continuous time LQ—problems with infinite Markov jump parameters, SIAM J. Control Optim. 40(1) (2001) 270–297]). By using a certain concept of stochastic stability (a sort of L₂-stability), we have proved in [J. Baczynski, M.D. Fragoso, Maximal solution to algebraic Riccati equations linked to infinite Markov jump linear systems, Internal Report LNCC, no. 6, 2006] existence (and uniqueness) of maximal solution for this class of equations. As it is noticed in this paper, unlike the finite case (including the linear case), we cannot guarantee anymore that maximal solution is a strong solution in this setting. Via a discussion on the main mathematical hindrance behind this issue, we devise some mild conditions for this implication to hold. Specifically, our main result here is that, under stochastic stability, along with a condition related with convergence in the infinite dimensional scenario, and another one related to spectrum—weaker than spectral continuity—we ensure the maximal solution to be also a strong solution. These conditions hold trivially in the finite case, allowing us to recover the result of strong solution of [C.E. de Souza, M.D. Fragoso, On the existence of maximal solution for generalized algebraic Riccati equations arising in stochastic control, Systems Control Lett. 14 (1990) 233–239] set for MJLS. The issue of whether the convergence condition is restrictive or not is brought to light and, together with some counterexamples, unveil further differences between the finite and the infinite countable case.     

GMAC: An overlay multicast network for mobile agent platforms

The lack of proper support for multicast services in the Internet has hindered the widespread use of applications that rely on group communication services such as mobile software agents. Although they do not require high bandwidth or heavy traffic, these types of applications need to cooperate in a scalable, fair and decentralized way. This paper presents GMAC, an overlay network that implements all multicast related functionality–including membership management and packet forwarding–in the end systems. GMAC introduces a new approach for providing multicast services for mobile agent platforms in a decentralized way, where group members cooperate in a fair way, minimize the protocol overhead, thus achieving great scalability. Simulations comparing GMAC with other approaches, in aspects such as end-to-end group propagation delay, group latency, group bandwidth, protocol overhead, resource utilization and failure recovery, show that GMAC is a scalable and robust solution to provide multicast services in a decentralized way to mobile software agent platforms with requirements similar to MoviLog.     

Topological Repairing of 3D Digital Images

We present here a new randomized algorithm for repairing the topology of objects represented by 3D binary digital images. By “repairing the topology”, we mean a systematic way of modifying a given binary image in order to produce a similar binary image which is guaranteed to be well-composed. A 3D binary digital image is said to be well-composed if, and only if, the square faces shared by background and foreground voxels form a 2D manifold. Well-composed images enjoy some special properties which can make such images very desirable in practical applications. For instance, well-known algorithms for extracting surfaces from and thinning binary images can be simplified and optimized for speed if the input image is assumed to be well-composed. Furthermore, some algorithms for computing surface curvature and extracting adaptive triangulated surfaces, directly from the binary data, can only be applied to well-composed images. Finally, we introduce an extension of the aforementioned algorithm to repairing 3D digital multivalued images. Such an algorithm finds application in repairing segmented images resulting from multi-object segmentations of other 3D digital multivalued images.

1996 International Test Conference

Call for Papers

1996 International Test Conference     

Revisiting Zhang's 1D calibration algorithm

In recent years, the camera calibration using 1D patterns has been studied and improved by researchers all over the world. However, the progress in that area has been mainly in the sense of reducing the restrictions to the 1D pattern movement. On the other hand, the method's accuracy still demands improvements. In the present paper, the original technique proposed by Zhang is revisited and we demonstrate that the method's accuracy can be significantly improved, simply by analyzing and reformulating the problem. The numerical conditioning can be improved if a simple data normalization is performed. Furthermore, a non-linear solution based on the Partitioned Levenberg-Marquardt algorithm is proposed. That solution takes advantage of the problem's particular structure to reduce the computational complexity of the original method and to improve the accuracy. Tests using both synthetic and real images demonstrate that the calibration method using 1D patterns can be applied in practice, with accuracy comparable to other already traditional methods.