953 resultados para correctness verification


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper investigates the interaction of solitary waves (representative of tsunamis) with idealized flat-topped conical islands. The investigation is based on simulations produced by a numerical model that solves the two-dimensional Boussinesq-type equations of Madsen and Sørensen using a total variation diminishing Lax-Wendroff scheme. After verification against published laboratory data on solitary wave run-up at a single island, the numerical model is applied to study the maximum run-up at a pair of identical conical islands located at different spacings apart for various angles of wave attack. The predicted results indicate that the maximum run-up can be attenuated or enhanced according to the position of the second island because of wave refraction, diffraction, and reflection. It is also observed that the local wave height and hence run-up can be amplified at certain gap spacing between the islands, owing to the interference between the incident waves and the reflected waves between islands. © 2012 American Society of Mechanical Engineers.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bifurcation of an elastic structure crucially depends on the curvature of the constraints against which the ends of the structure are prescribed to move, an effect which deserves more attention than it has received so far. In fact, we show theoretically and we provide definitive experimental verification that an appropriate curvature of the constraint over which the end of a structure has to slide strongly affects buckling loads and can induce: (i.) tensile buckling; (ii.) decreasing- (softening), increasing- (hardening), or constant-load (null stiffness) postcritical behaviour; (iii.) multiple bifurcations, determining for instance two bifurcation loads (one tensile and one compressive) in a single-degree-of-freedom elastic system. We show how to design a constraint profile to obtain a desired postcritical behaviour and we provide the solution for the elastica constrained to slide along a circle on one end, representing the first example of an inflexional elastica developed from a buckling in tension. These results have important practical implications in the design of compliant mechanisms and may find applications in devices operating in quasi-static or dynamic conditions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Model tests for global design verification of deepwater floating structures cannot be made at reasonable scales. An overview of recent research efforts to tackle this challenge is given first, introducing the concept of line truncation techniques. In such a method the upper sections of each line are modelled in detail, capturing the wave action zone and all coupling effects with the vessel. These terminate to an approximate analytical model, that aims to simulate the remainder of the line. The rationale for this is that in deep water the transverse elastic waves of a line are likely to decay before they are reflected at the seabed. The focus of this paper is the verification of this rationale and the ongoing work, which is considering ways to produce a truncation model. Transverse dynamics of a mooring line are modelled using the equations of motion of an inextensible taut string, submerged in still water, one end fixed at the bottom the other assumed to follow the vessel response, which can be harmonic or random. Nonlinear hydrodynamic damping is included; bending and VIV effects are neglected. A dimensional analysis, supported by exact benchmark numerical solutions, has shown that it is possible to produce a universal curve for the decay of transverse vibrations along the line, which is suitable for any kind of line with any top motion. This has a significant engineering benefit, allowing for a rapid assessment of line dynamics - it is very useful in deciding whether a truncated line model is appropriate, and if so, at which point truncation might be applied. Initial efforts in developing a truncated model show that a linearized numerical solution in the frequency domain matches very closely the exact benchmark. Copyright © 2011 by ASME.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper proposed a novel control scheme for operating the Single Phase Brushless Doubly-Fed Machine (SPB) based on Stator-Flux-Oriented control algorithm. The SPB is a new type of Brushless Doubly-Fed Machine (BDFM) which shows a potential in applications which require adjustable speed such as Wind Power generation and speed adjustable Drive. The SPB can be applied to single-phase power system and the lower cost of the SPB makes the SPB suitable for low-rated power conversion applications. This paper develops the control scheme of the SPB with explicit mathematical analysis and block diagram of the controller. Experimental verification is also given. © 2011 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Dependency Structure Matrix (DSM) has proved to be a useful tool for system structure elicitation and analysis. However, as with any modelling approach, the insights gained from analysis are limited by the quality and correctness of input information. This paper explores how the quality of data in a DSM can be enhanced by elicitation methods which include comparison of information acquired from different perspectives and levels of abstraction. The approach is based on comparison of dependencies according to their structural importance. It is illustrated through two case studies: creation of a DSM showing the spatial connections between elements in a product, and a DSM capturing information flows in an organisation. We conclude that considering structural criteria can lead to improved data quality in DSM models, although further research is required to fully explore the benefits and limitations of our proposed approach.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Compact fluorescent lamps (CFLs) incorporating electronic ballasts are widely used in lighting. In many cases, the ability to dim the lamp is a requirement. Dimming can be achieved by varying the switching frequency of the inverter or by changing the voltage supplied to the inverter. The effect of dimming by both approaches on the power losses in the inverter is studied in this work. The lamp and associated inverter has been modeled in Pspice, using a behavioral model for the CFL. Predicted losses are in good agreement with experimental data obtained from calorimetry. After verification, the model was then used to determine the distribution of losses within the inverter, enabling a comparison of the effects of the two dimming methods to be made. © 2011 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents the development and the application of a multi-objective optimization framework for the design of two-dimensional multi-element high-lift airfoils. An innovative and efficient optimization algorithm, namely Multi-Objective Tabu Search (MOTS), has been selected as core of the framework. The flow-field around the multi-element configuration is simulated using the commercial computational fluid dynamics (cfd) suite Ansys cfx. Elements shape and deployment settings have been considered as design variables in the optimization of the Garteur A310 airfoil, as presented here. A validation and verification process of the cfd simulation for the Garteur airfoil is performed using available wind tunnel data. Two design examples are presented in this study: a single-point optimization aiming at concurrently increasing the lift and drag performance of the test case at a fixed angle of attack and a multi-point optimization. The latter aims at introducing operational robustness and off-design performance into the design process. Finally, the performance of the MOTS algorithm is assessed by comparison with the leading NSGA-II (Non-dominated Sorting Genetic Algorithm) optimization strategy. An equivalent framework developed by the authors within the industrial sponsor environment is used for the comparison. To eliminate cfd solver dependencies three optimum solutions from the Pareto optimal set have been cross-validated. As a result of this study MOTS has been demonstrated to be an efficient and effective algorithm for aerodynamic optimizations. Copyright © 2012 Tech Science Press.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Time-resolved particle image velocimetry (PIV) has been performed inside the nozzle of a commercially available inkjet print-head to obtain the time-dependent velocity waveform. A printhead with a single transparent nozzle 80 μm in orifice diameter was used to eject single droplets at a speed of 5 m/s. An optical microscope was used with an ultra-high-speed camera to capture the motion of particles suspended in a transparent liquid at the center of the nozzle and above the fluid meniscus at a rate of half a million frames per second. Time-resolved velocity fields were obtained from a fluid layer approximately 200 μm thick within the nozzle for a complete jetting cycle. A Lagrangian finite-element numerical model with experimental measurements as inputs was used to predict the meniscus movement. The model predictions showed good agreement with the experimental results. This work provides the first experimental verification of physical models and numerical simulations of flows within a drop-on-demand nozzle. © 2012 Society for Imaging Science and Technology.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Two adaptive numerical modelling techniques have been applied to prediction of fatigue thresholds in Ni-base superalloys. A Bayesian neural network and a neurofuzzy network have been compared, both of which have the ability to automatically adjust the network's complexity to the current dataset. In both cases, despite inevitable data restrictions, threshold values have been modelled with some degree of success. However, it is argued in this paper that the neurofuzzy modelling approach offers real benefits over the use of a classical neural network as the mathematical complexity of the relationships can be restricted to allow for the paucity of data, and the linguistic fuzzy rules produced allow assessment of the model without extensive interrogation and examination using a hypothetical dataset. The additive neurofuzzy network structure means that redundant inputs can be excluded from the model and simple sub-networks produced which represent global output trends. Both of these aspects are important for final verification and validation of the information extracted from the numerical data. In some situations neurofuzzy networks may require less data to produce a stable solution, and may be easier to verify in the light of existing physical understanding because of the production of transparent linguistic rules. © 1999 Elsevier Science S.A.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

1-D engine simulation models are widely used for the analysis and verification of air-path design concepts and prediction of the resulting engine transient response. The latter often requires closed loop control over the model to ensure operation within physical limits and tracking of reference signals. For this purpose, a particular implementation of Model Predictive Control (MPC) based on a corresponding Mean Value Engine Model (MVEM) is reported here. The MVEM is linearised on-line at each operating point to allow for the formulation of quadratic programming (QP) problems, which are solved as the part of the proposed MPC algorithm. The MPC output is used to control a 1-D engine model. The closed loop performance of such a system is benchmarked against the solution of a related optimal control problem (OCP). As an example this study is focused on the transient response of a light-duty car Diesel engine. For the cases examined the proposed controller implementation gives a more systematic procedure than other ad-hoc approaches that require considerable tuning effort. © 2012 IFAC.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A separated oblique shock reflection on the floor of a rectangular cross-section wind tunnel has been investigated at M=2.5. The study aims to determine if and how separations occurring in the corners influence the main interaction as observed around the centreline of the floor. By changing the size of the corner separations through localised suction and small corner obstructions it was shown that the shape of the separated region in the centre was altered considerably. The separation length along the floor centreline was also modified by changes to the corner separation. A simple physical model has been proposed to explain the coupling between these separated regions based on the existence of compression or shock waves caused by the displacement effect of corner separation. These corner shocks alter the adverse pressure gradient imposed on the boundary-layer elsewhere which can lead to local reductions or increases of separation length. It is suggested that a typical oblique shock wave/boundary-layer interaction in rectangular channels features several zones depending on the relative position of the corner shocks and the main incident shock wave. Based on these findings the dependence of centre-line separation length on effective wind tunnel width is hypothesised. This requires further verification through experiments or computation. © 2013 by H. Babinsky.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present a fixed-grid finite element technique for fluid-structure interaction problems involving incompressible viscous flows and thin structures. The flow equations are discretised with isoparametric b-spline basis functions defined on a logically Cartesian grid. In addition, the previously proposed subdivision-stabilisation technique is used to ensure inf-sup stability. The beam equations are discretised with b-splines and the shell equations with subdivision basis functions, both leading to a rotation-free formulation. The interface conditions between the fluid and the structure are enforced with the Nitsche technique. The resulting coupled system of equations is solved with a Dirichlet-Robin partitioning scheme, and the fluid equations are solved with a pressure-correction method. Auxiliary techniques employed for improving numerical robustness include the level-set based implicit representation of the structure interface on the fluid grid, a cut-cell integration algorithm based on marching tetrahedra and the conservative data transfer between the fluid and structure discretisations. A number of verification and validation examples, primarily motivated by animal locomotion in air or water, demonstrate the robustness and efficiency of our approach. © 2013 John Wiley & Sons, Ltd.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aeromonas hydrophila and Vibrio fluvialis are the causative agents of a serious haemorrhagic septicaemia that affects a wide range of freshwater fish in China. In order to develop a bivalent anti-A. hydrophila and anti-V. fluvialis formalin-killed vaccine to prevent this disease, an orthogonal array design (OAD) method was used to optimize the production conditions, using three factors, each having three levels. The effects of these factors and levels on the relative per cent survival for crucian carp were quantitatively evaluated by analysis of variance. The final optimized formulation was established. The data showed that inactivation temperature had a significant effect on the potency of vaccine, but formalin concentration did not. The bivalent vaccine could elicit a strong humoral response in crucian carp (Carassius auratus L.) against both A. hydrophila and V. fluvialis simultaneously, which peaked at 3 or 5 weeks respectively. Antibody titres remained high until week 12, the end of the experiment, after a single intraperitoneal injection. The verification experiment confirmed that an optimized preparation could provide protection for fish at least against A. hydrophila infection, and did perform better than the non-optimized vaccine judged by the antibody levels and protection rate, suggesting that OAD is of value in the development of improved vaccine formulations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The gene targeting technique is a powerful tool for analyzing functions of cloned genes and for generating transgenic animals with site-directed integration of foreign genes. In order to develop this technique in fish, positive-negative selection (PNS) and homologous recombination vectors were constructed, and their expression was examined in fish cells. A vector (pNK) for PNS consists of the neomycin resistance gene (neo) as a positive selectable marker gene and the herpes simplex virus (HSV) thymidine kinase (tk) gene as a negative selectable marker gene. Positive selection with geneticin (G418) of epithelioma papulosum of carp (EPC) cells transfected with linearized pNK vector yielded 350 colonies, while double selection of transfected EPC cells with G418 and gancyclovir (Gc) resulted in nearly complete cell death, demonstrating that the PNS procedure is effective in fish cells. Homologous recombination vectors consist of the Xiphophorus melanoma receptor kinase (X mrk(Y)) gene as homologous sequence in addition to the neo and tk genes. Conditions for homologous recombination vector transfection and drug selection were established. After verification of the feasibility of expression of homologous recombination vectors in EPC cells, the first gene targeting experiments were attempted in the Xiphophorus melanoma cell line, PSM. Positive-negative selection of the targeting vector-transfectants led to a low enrichment in this particular cell line. The reasons for the low enrichment in PSM cells were discussed. (C) 2002 Elsevier Science B.V. All rights reserved.