Surgical anatomy for endoscopic subfascial division of perforating veins

PURPOSE: This study was undertaken to define the surgical anatomy of the medial perforating veins (PVs) of the leg and to provide information on how to gain access to all medial PVs from the superficial posterior compartment during a subfascial endoscopic procedure. METHODS: The venous anatomy of 40 limbs (from 23 cadavers) were studied. Medial PVs located between the ankle and the tibial tuberosity were dissected. None of the subjects had pathologic evidence of venous disease. Each PV's type (direct or indirect), size (< 1 mm, 1 to 2 mm, > 2 mm), location (distances from ankle [D1], and tibia [D2]), and accessibility from the superficial posterior compartment were recorded. RESULTS: Five hundred fifty-two PVs were identified (mean, 13.8; range, 7 to 22). Two hundred eighty-seven PVs (52%) directly connected the superficial with the deep systems, 228 (41%) were indirect muscle perforators, and 37 PVs (7%) were undetermined. One hundred thirty-seven PVs (25%) were > 2 mm. Sixty-three percent of PVs were accessible from the superficial posterior compartment. In the distal half of the leg, two groups of direct PVs could be identified (Cockett II: D1, 7 to 9 cm; Cockett III: D1, 10 to 12 cm). In the proximal half of the leg, paratibial direct PVs (D2 < or = 1 cm) were found clustered in three groups (D1, 18 to 22 cm; D1, 23 to 27 cm; D1, 28 to 32 cm). CONCLUSIONS: Our study confirmed the presence of the Cockett II and III PVs and three groups of proximal paratibial PVs, including the "24-cm" perforators. Two thirds of the medial direct PVs are accessible for endoscopic division from the superficial posterior compartment. To divide paratibial PVs, however, incision of the paratibial deep fascia is frequently required.     

Pseudo Bond Graph modelling and on-line estimation of unknown kinetics for a wastewater biodegradation process

This paper deals with the problem of modelling and on-line estimation of kinetics for a biomethanation process. This bioprocess is in fact a wastewater biodegradation process with production of methane gas, which takes place inside a Continuous Stirred Tank Bioreactor. The reaction scheme and the analysis of biochemical phenomena inside the bioreactor are used in order to obtain a nonlinear dynamic model of the bioprocess, by means of the pseudo Bond Graph method. Two nonlinear estimation strategies are developed for the identification of unknown kinetics of the bioprocess. First, an estimator is developed by using a state observer based technique. Second, an observer based on high-gain approach is designed and implemented. Several numerical simulations are performed in order to analyse and compare the behaviour and the performance of the proposed estimators.     

The labeled maximum matching problem

Given a graph G where a label is associated with each edge, we address the problem of looking for a maximum matching of G using the minimum number of different labels, namely the labeled maximum matching problem. It is a relatively new problem whose application is related to the timetabling problem. We prove it is NP-complete and present four different mathematical formulations. Moreover, we propose an exact algorithm based on a branch-and-bound approach to solve it. We evaluate the performance of our algorithm on a wide set of instances and compare our computational times with the ones required by CPLEX to solve the proposed mathematical formulations. Test results show the effectiveness of our procedure, that hugely outperforms the solver.     

An haptic-based immersive environment for shape analysis and modelling

Currently, the design of aesthetic products is a process that requires a set of activities where digital models and physical mockups play a key role. Typically, these are modified (and built) several times before reaching the desired design, increasing the development time and, consequently, the final product cost. In this paper, we present an innovative design environment for computer-aided design (CAD) surface analysis. Our system relies on a direct visuo-haptic display system, which enables users to visualize models using a stereoscopic view, and allows the evaluation of sectional curves using touch. Profile curves are rendered using an haptic device that deforms a plastic strip, thanks to a set of actuators, to reproduce the curvature of the shape co-located with the virtual model. By touching the strip, users are able to evaluate shape characteristics, such as curvature or discontinuities (rendered using sound), and to assess the surface quality. We believe that future computer-aided systems (CAS)/CAD systems based on our approach will contribute in improving the design process at industrial level. Moreover, these will allow companies to reduce the product development time by reducing the number of physical mockups necessary for the product design evaluation and by increasing the quality of the final product, allowing a wider exploration and comparative evaluation of alternatives in the given time.     

The feasibility of general task systems with precedence constraints on multiprocessor platforms

Feasibility analysis determines (prior to system execution-time) whether a specified collection of hard-real-time jobs executed on a processing platform can meet all deadlines. In this paper, we derive near-optimal sufficient tests for determining whether a given collection of jobs can feasibly meet all deadlines upon a specified multiprocessor platform assuming job migration is permitted. The collection of jobs may contain precedence constraints upon the order of execution of these jobs. The derived tests are general enough to be applied even when the collection of jobs is incompletely specified. We discuss the applicability of these tests to the scheduling of collections of jobs that are generated by systems of recurrent real-time tasks. We also show that our feasibility conditions may be used to obtain global-EDF schedulability conditions.

Thermal assisted direct bonding between structured glasses for lab-on-chip technology

A thermal assisted direct bonding (TADB) technique between structured glasses is proposed for micro-fluidic device fabrication. The bonded glass pairs were characterized by optical microscopy, scanning electron microscopy (SEM), apparent shear strength tests and Vickers hardness measurements across the bonded interface. The optimisation of TADB parameters on flat glasses and on structured glasses was analysed. This technique is user-friendly and low cost, and can be considered for mass production of glass-based micro-fluidic devices.     

Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form

This paper describes an algorithm to enforce hyper-arc consistency of polynomial constraints defined over finite domains. First, the paper describes the language of so called polynomial constraints over finite domains, and it introduces a canonical form for such constraints. Then, the canonical form is used to transform the problem of testing the satisfiability of a constraint in a box into the problem of studying the sign of a related polynomial function in the same box, a problem which is effectively solved by using the modified Bernstein form of polynomials. The modified Bernstein form of polynomials is briefly discussed, and the proposed hyper-arc consistency algorithm is finally detailed. The proposed algorithm is a subdivision procedure which, starting from an initial approximation of the domains of variables, removes values from domains to enforce hyper-arc consistency.     

Supporting Different Dimensions of Adaptability in Workflow Modeling

This paper discusses the theme of workflow systemadaptability in relation to process modeling. Startingfrom a discussion on the role of formal constructs incooperation, the main claim is that adaptabilityinvolves different dimensions of process modeling.These dimensions concern the possibility to flexiblycombine a rich set of basic categories in order toobtain the most suitable language for modeling thetarget business process and the work practices aroundit; to take into account various levels of visibilityof the contexts of definition and use of a processmodel; and finally to allow for temporary as well aspermanent modifications of the process itself.Ariadne, a notation conceived for the above purpose,is illustrated by means of a working example.Moreover, the paper presents the main designprinciples governing Ariadne's implementation.