A fuzzy max-flow min-cut theorem

Interval-valued versions of the max-flow min-cut theorem and Karp-Edmonds algorithm are developed and provide robustness estimates for flows in networks in an imprecise or uncertain environment. These results are extended to networks with fuzzy capacities and flows. (C) 2001 Elsevier Science B.V. All rights reserved.

Implicit Taylor methods for stiff stochastic differential equations

In this paper we discuss implicit Taylor methods for stiff Ito stochastic differential equations. Based on the relationship between Ito stochastic integrals and backward stochastic integrals, we introduce three implicit Taylor methods: the implicit Euler-Taylor method with strong order 0.5, the implicit Milstein-Taylor method with strong order 1.0 and the implicit Taylor method with strong order 1.5. The mean-square stability properties of the implicit Euler-Taylor and Milstein-Taylor methods are much better than those of the corresponding semi-implicit Euler and Milstein methods and these two implicit methods can be used to solve stochastic differential equations which are stiff in both the deterministic and the stochastic components. Numerical results are reported to show the convergence properties and the stability properties of these three implicit Taylor methods. The stability analysis and numerical results show that the implicit Euler-Taylor and Milstein-Taylor methods are very promising methods for stiff stochastic differential equations.

Monolithic CAD/CAM Lithium Disilicate Versus Veneered Y-TZP Crowns: Comparison of Failure Modes and Reliability After Fatigue

Purpose: The aim of this research was to evaluate the fatigue behavior and reliability of monolithic computer-aided design/computer-assisted manufacture (CAD/CAM) lithium disilicate and hand-layer-veneered zirconia all-ceramic crowns. Materials and Methods: A CAD-based mandibular molar crown preparation, fabricated using rapid prototyping, served as the master die. Fully anatomically shaped monolithic lithium disilicate crowns (IPS e.max CAD, n = 19) and hand-layer-veneered zirconia-based crowns (IPS e.max ZirCAD/Ceram, n = 21) were designed and milled using a CAD/CAM system. Crowns were cemented on aged dentinlike composite dies with resin cement. Crowns were exposed to mouth-motion fatigue by sliding a WC-indenter (r = 3.18 mm) 0.7 mm lingually down the distobuccal cusp using three different step-stress profiles until failure occurred. Failure was designated as a large chip or fracture through the crown. If no failures occurred at high loads (> 900 N), the test method was changed to staircase r ratio fatigue. Stress level probability curves and reliability were calculated. Results: Hand-layer-veneered zirconia crowns revealed veneer chipping and had a reliability of < 0.01 (0.03 to 0.00, two-sided 90% confidence bounds) for a mission of 100,000 cycles and a 200-N load. None of the fully anatomically shaped CAD/CAM-fabricated monolithic lithium disilicate crowns failed during step-stress mouth-motion fatigue (180,000 cycles, 900 N). CAD/CAM lithium disilicate crowns also survived r ratio fatigue (1,000,000 cycles, 100 to 1,000 N). There appears to be a threshold for damage/bulk fracture for the lithium disilicate ceramic in the range of 1,100 to 1,200 N. Conclusion: Based on present fatigue findings, the application of CAD/CAM lithium disilicate ceramic in a monolithic/fully anatomical configuration resulted in fatigue-resistant crowns, whereas hand-layer-veneered zirconia crowns revealed a high susceptibility to mouth-motion cyclic loading with early veneer failures. Int J Prosthodont 2010; 23: 434-442.

Differential inclusions and robust control theory

Uncontrolled systems (x) over dot is an element of Ax, where A is a non-empty compact set of matrices, and controlled systems (x) over dot is an element of Ax + Bu are considered. Higher-order systems 0 is an element of Px - Du, where and are sets of differential polynomials, are also studied. It is shown that, under natural conditions commonly occurring in robust control theory, with some mild additional restrictions, asymptotic stability of differential inclusions is guaranteed. The main results are variants of small-gain theorems and the principal technique used is the Krasnosel'skii-Pokrovskii principle of absence of bounded solutions.

Evaluation of distances between the mandibular teeth and the alveolar process in Brazilians with normal occlusion

Introduction: The aims of this study were to evaluate the distances between the mandibular permanent teeth and the alveolar process in Brazilians with normal occlusion and to compare them with normal American values. Methods: We used 59 mandibular casts from untreated subjects who had permanent dentition and the 6 keys to normal occlusion. A computer program was used to calculate the distances between the dental reference points and the alveolar process for each tooth. The mean values were then compared to the normal values by applying the Student t test at a significance level of 0.05. Results: The results showed a progressive increase of these distances from the anterior region (incisors) to the posterior region (molars), from 0.00 to 2.49 mm. All measurements had statistically significant differences from the American sample, except for the values for canines and first premolars. Conclusions: Brazilians with normal occlusion have more lingual crown positions for the incisors, second premolars, and molars compared with Americans with normal occlusion. Although these findings were statistically significant, they are unlikely to be clinically significant. (Am J Orthod Dentofacial Orthop 2010; 137: 308.e1-308.e4)

Lattice-dome design using a knowledge-based system approach

In the design of lattice domes, design engineers need expertise in areas such as configuration processing, nonlinear analysis, and optimization. These are extensive numerical, iterative, and lime-consuming processes that are prone to error without an integrated design tool. This article presents the application of a knowledge-based system in solving lattice-dome design problems. An operational prototype knowledge-based system, LADOME, has been developed by employing the combined knowledge representation approach, which uses rules, procedural methods, and an object-oriented blackboard concept. The system's objective is to assist engineers in lattice-dome design by integrating all design tasks into a single computer-aided environment with implementation of the knowledge-based system approach. For system verification, results from design examples are presented.

Matrix-product codes over Fq

Codes C-1,...,C-M of length it over F-q and an M x N matrix A over F-q define a matrix-product code C = [C-1 (...) C-M] (.) A consisting of all matrix products [c(1) (...) c(M)] (.) A. This generalizes the (u/u + v)-, (u + v + w/2u + v/u)-, (a + x/b + x/a + b + x)-, (u + v/u - v)- etc. constructions. We study matrix-product codes using Linear Algebra. This provides a basis for a unified analysis of /C/, d(C), the minimum Hamming distance of C, and C-perpendicular to. It also reveals an interesting connection with MDS codes. We determine /C/ when A is non-singular. To underbound d(C), we need A to be 'non-singular by columns (NSC)'. We investigate NSC matrices. We show that Generalized Reed-Muller codes are iterative NSC matrix-product codes, generalizing the construction of Reed-Muller codes, as are the ternary 'Main Sequence codes'. We obtain a simpler proof of the minimum Hamming distance of such families of codes. If A is square and NSC, C-perpendicular to can be described using C-1(perpendicular to),...,C-M(perpendicular to) and a transformation of A. This yields d(C-perpendicular to). Finally we show that an NSC matrix-product code is a generalized concatenated code.

An in vitro study of non-axial forces upon the retention of an O-ring attachment

Objective The purpose of this study was to evaluate the retention force of an O-ring attachment system in different inclinations to the ideal path of insertion, using devices to compensate angulations. Material and methods Two implants were inserted into an aluminum base, and ball attachments were screwed to implants. Cylinders with O-rings were placed on ball attachments and connected to the test device using positioners to compensate implant angulations (0 degrees, 7 degrees, and 14 degrees). Plexiglass bases were used to simulate implant angulations. The base and the test device were positioned in a testing apparatus, which simulated insertion/removal of an overdenture. A total of 2900 cycles, simulating 2 years of overdenture use, were performed and 36 O-rings were tested. The force required for each cycle was recorded with computer software. Longitudinal sections of ball attachment-positioner-cylinder with O-rings of each angulation were obtained to analyze the relationship among them, and O-ring sections tested in each angulation were compared with an unused counterpart. A mixed linear model was used to analyze the data, and the comparison was performed by orthogonal contrasts (alpha=0.05). Results At 0 degrees, the retention force decreased significantly over time, and the retention force was significantly different in all comparisons, except from 12 to 18 months. When the implants were positioned at 7 degrees, the retention force was statistically different at 0 and 24 months. At 14 degrees, significant differences were found from 6 and 12 to 24 months. Conclusions Within the limitations of this study, it was concluded that O-rings for implant/attachments perpendicular to the occlusal plane were adequately retentive over the first year and that the retentive capacity of O-ring was affected by implant inclinations despite the proposed positioners. To cite this article:Rodrigues RCS, Faria ACL, Macedo AP, Sartori IAM, de Mattos MGC, Ribeiro RF. An in vitro study of non-axial forces upon the retention of an O-ring attachment.Clin. Oral Impl. Res. 20, 2009; 1314-1319.doi: 10.1111/j.1600-0501.2009.01742.x.

Quantitative analysis of the time courses of enzyme-catalyzed reactions

The catalytic properties of enzymes are usually evaluated by measuring and analyzing reaction rates. However, analyzing the complete time course can be advantageous because it contains additional information about the properties of the enzyme. Moreover, for systems that are not at steady state, the analysis of time courses is the preferred method. One of the major barriers to the wide application of time courses is that it may be computationally more difficult to extract information from these experiments. Here the basic approach to analyzing time courses is described, together with some examples of the essential computer code to implement these analyses. A general method that can be applied to both steady state and non-steady-state systems is recommended. (C) 2001 academic Press.

A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Model based procedure for scale-up of wet overflow ball mills Part 1: Outline of the methodology

Bond's method for ball mill scale-up only gives the mill power draw for a given duty. This method is incompatible with computer modelling and simulation techniques. It might not be applicable for the design of fine grinding ball mills and ball mills preceded by autogenous and semi-autogenous grinding mills. Model-based ball mill scale-up methods have not been validated using a wide range of full-scale circuit data. Their accuracy is therefore questionable. Some of these methods also need expensive pilot testing. A new ball mill scale-up procedure is developed which does not have these limitations. This procedure uses data from two laboratory tests to determine the parameters of a ball mill model. A set of scale-up criteria then scales-up these parameters. The procedure uses the scaled-up parameters to simulate the steady state performance of full-scale mill circuits. At the end of the simulation, the scale-up procedure gives the size distribution, the volumetric flowrate and the mass flowrate of all the streams in the circuit, and the mill power draw.