892 resultados para B formal method


Relevância:

30.00% 30.00%

Publicador:

Resumo:

An immersed finite element method is presented to compute flows with complex moving boundaries on a fixed Cartesian grid. The viscous, incompressible fluid flow equations are discretized with b-spline basis functions. The two-scale relation for b-splines is used to implement an elegant and efficient technique to satisfy the LBB condition. On non-grid-aligned fluid domains and at moving boundaries, the boundary conditions are enforced with a consistent penalty method as originally proposed by Nitsche. In addition, a special extrapolation technique is employed to prevent the loss of numerical stability in presence of arbitrarily small cut-cells. The versatility and accuracy of the proposed approach is demonstrated by means of convergence studies and comparisons with previous experimental and computational investigations.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Recent developments in modeling driver steering control with preview are reviewed. While some validation with experimental data has been presented, the rigorous application of formal system identification methods has not yet been attempted. This paper describes a steering controller based on linear model-predictive control. An indirect identification method that minimizes steering angle prediction error is developed. Special attention is given to filtering the prediction error so as to avoid identification bias that arises from the closed-loop operation of the driver-vehicle system. The identification procedure is applied to data collected from 14 test drivers performing double lane change maneuvers in an instrumented vehicle. It is found that the identification procedure successfully finds parameter values for the model that give small prediction errors. The procedure is also able to distinguish between the different steering strategies adopted by the test drivers. © 2006 IEEE.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A method to measure the optical response across the surface of a phase-only liquid crystal on silicon device using binary phase gratings is described together with a procedure to compensate its spatial optical phase variation. As a result, the residual power between zero and the minima of the first diffraction order for a binary grating can be reduced by more than 10 dB, from -15.98 dB to -26.29 dB. This phase compensation method is also shown to be useful in nonbinary cases. A reduction in the worst crosstalk by 5.32 dB can be achieved when quantized blazed gratings are used.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: There is an increasing recognition that modelling and simulation can assist in the process of designing health care policies, strategies and operations. However, the current use is limited and answers to questions such as what methods to use and when remain somewhat underdeveloped. Aim. The aim of this study is to provide a mechanism for decision makers in health services planning and management to compare a broad range of modelling and simulation methods so that they can better select and use them or better commission relevant modelling and simulation work. Methods. This paper proposes a modelling and simulation method comparison and selection tool developed from a comprehensive literature review, the research team's extensive expertise and inputs from potential users. Twenty-eight different methods were identified, characterised by their relevance to different application areas, project life cycle stages, types of output and levels of insight, and four input resources required (time, money, knowledge and data). Results: The characterisation is presented in matrix forms to allow quick comparison and selection. This paper also highlights significant knowledge gaps in the existing literature when assessing the applicability of particular approaches to health services management, where modelling and simulation skills are scarce let alone money and time. Conclusions: A modelling and simulation method comparison and selection tool is developed to assist with the selection of methods appropriate to supporting specific decision making processes. In particular it addresses the issue of which method is most appropriate to which specific health services management problem, what the user might expect to be obtained from the method, and what is required to use the method. In summary, we believe the tool adds value to the scarce existing literature on methods comparison and selection. © 2011 Jun et al.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Preliminary lifetime values have been measured for a number of near-yrast states in the odd-A transitional nuclei 107Cd and 103Pd. The reaction used to populate the nuclei of interest was 98Mo( 12C,3nxα)107Cd, 103Pd, with the beam delivered by the tandem accelerator of the Wright Nuclear Structure Laboratory at an incident beam energy of 60 MeV. Our experiment was aimed at the investigation of collective excitations built on the unnatural parity, ν h11/2 orbital, specifically by measuring the B(E2) values of decays from the excited levels built on this intrinsic structure, using the Doppler Recoil Distance Method. We report lifetimes and associated transition probabilities for decays from the 15/2- and the 19/2- states in 107Cd and the first measurement of the 15/2- state in 103Pd. These results suggest that neither a simple rotational or vibrational interpretation is sufficient to explain the observed structures. © 2006 American Institute of Physics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A method for VVER-1000 fuel rearrangement optimization that takes into account both cladding durability and fuel burnup and which is suitable for any regime of normal reactor operation has been established. The main stages involved in solving the problem of fuel rearrangement optimization are discussed in detail. Using the proposed fuel rearrangement efficiency criterion, a simple example VVER-1000 fuel rearrangement optimization problem is solved under deterministic and uncertain conditions. It is shown that the deterministic and robust (in the face of uncertainty) solutions of the rearrangement optimization problem are similar in principle, but the robust solution is, as might be anticipated, more conservative. © 2013 Elsevier B.V.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

As operational impacts from buildings are reduced, embodied impacts are increasing. However, the latter are seldom calculated in the UK; when they are, they tend to be calculated after the building has been constructed, or are underestimated by considering only the initial materials stage. In 2010, the UK Government recommended that a standard methodology for calculating embodied impacts of buildings be developed for early stage design decisions. This was followed in 2011-12 by the publication of the European TC350 standards defining the 'cradle to grave' impact of buildings and products through a process Life Cycle Analysis. This paper describes a new whole life embodied carbon and energy of buildings (ECEB) tool, designed as a usable empirical-based approach for early stage design decisions for UK buildings. The tool complies where possible with the TC350 standards. Initial results for a simple masonry construction dwelling are given in terms of the percentage contribution of each life cycle stage. The main difficulty in obtaining these results is found to be the lack of data, and the paper suggests that the construction and manufacturing industries now have a responsibility to develop new data in order to support this task. © 2013 The Authors. Published by Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper proposed a non-intrusive method of measuring the optical beam profile at the surface of the liquid crystal on silicon (LCOS) device in an optical fiber switch. This method is based on blazed grating and can be employed in situ (on-line) for two-dimensional beam profiling in the LCOS-based optical fiber switches without introducing additional components or rearranging the system. The measured beam radius was in excellent agreement with that measured by the knife-edge technique. © 2013 Elsevier Ltd.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Synthesis of polycationic compounds by the spray-drying technique is an interesting alternative in the domain of aqueous precursor synthesis methods. Spray drying yields high quality samples with good reproducibility. The possibility of scaling up for production of large quantities with fast processing time is well established by the commercial availability of powders of various compositions. In this paper, we have discussed the advantages and limitations of this method and demonstrated its interest by synthesizing a few polycationic compounds selected for their attractive properties of thermoelectricity [Bi1.68Ca2Co1.69O 8, La0.95A0.05CoO3 (A=Ca, Sr, Ba)] or magnetoresistance [La0.70A0.30MnO3 (A=Sr, Ba)]. We have confirmed the quality of these samples by reporting their structure, magnetic and transport properties. © 2010 Elsevier Ltd All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work is concerned with the structural behaviour and the integrity of parallel plate-type nuclear fuel assemblies. A plate-type assembly consists of several thin plates mounted in a box-like structure and is subjected to a coolant flow that can result in a considerable drag force. A finite element model of an assembly is presented to study the sensitivity of the natural frequencies to the stiffness of the plates' junctions. It is shown that the shift in the natural frequencies of the torsional modes can be used to check the global integrity of the fuel assembly while the local natural frequencies of the inner plates can be used to estimate the maximum drag force they can resist. Finally a non-destructive method is developed to assess the resistance of the inner plates to bear an applied load. Extensive computational and experimental results are presented to prove the applicability of the method presented. © 2013 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The origin of the transient crosstalk (TC) in a phase-only LCOS based WSS using a Fourier transform setup was investigated and identified. Two methods were proposed to reduce the TC by at least 5dB without the need to modify the optics or electronics in use. © 2013 OSA.