976 resultados para Validation par connaissance expert
Resumo:
Emissions, fuel burn, and noise are the main drivers for innovative aircraft design. Embedded propulsion systems, such as for example used in hybrid-wing body aircraft, can offer fuel burn and noise reduction benefits but the impact of inlet flow distortion on the generation and propagation of turbomachinery noise has yet to be assessed. A novel approach is used to quantify the effects of non-uniform flow on the creation and propagation of multiple pure tone (MPT) noise. The ultimate goal is to conduct a parametric study of S-duct inlets to quantify the effects of inlet design parameters on the acoustic signature. The key challenge is that the effects of distortion transfer, noise source generation and propagation through the non-uniform flow field are inherently coupled such that a simultaneous computation of the aerodynamics and acoustics is required to capture the mechanisms at play. The technical approach is based on a body force description of the fan blade row that is able to capture the distortion transfer and the blade-to-blade flow variations that cause the MPT noise while reducing computational cost. A single, 3-D full-wheel CFD simulation, in which the Euler equations are solved to second-order spatial and temporal accuracy, simultaneously computes the MPT noise generation and its propagation in distorted inlet flow. A new method of producing the blade-to-blade variations in the body force field for MPT noise generation has been developed and validated. The numerical dissipation inherent to the solver is quantified and used to correct for non-physical attenuation in the far-field noise spectra. Source generation, acoustic propagation and acoustic energy transfer between modes is examined in detail. The new method is validated on NASA's Source Diagnostic Test fan and inlet, showing good agreement with experimental data for aerodynamic performance, acoustic source generation, and far-field noise spectra. The next steps involve the assessment of MPT noise in serpentine inlet ducts and the development of a reduced order formulation suitable for incorporation into NASA's ANOPP framework. © 2010 by Jeff Defoe, Alex Narkaj & Zoltan Spakovszky.
Resumo:
The paper presents a multiscale procedure for the linear analysis of components made of lattice materials. The method allows the analysis of both pin-jointed and rigid-jointed microtruss materials with arbitrary topology of the unit cell. At the macroscopic level, the procedure enables to determine the lattice stiffness, while at the microscopic level the internal forces in the lattice elements are expressed in terms of the macroscopic strain applied to the lattice component. A numeric validation of the method is described. The procedure is completely automated and can be easily used within an optimization framework to find the optimal geometric parameters of a given lattice material. © 2011 Elsevier Ltd. All rights reserved.
Resumo:
In order to account for interfacial friction of composite materials, an analytical model based on contact geometry and local friction is proposed. A contact area includes several types of microcontacts depending on reinforcement materials and their shape. A proportion between these areas is defined by in-plane contact geometry. The model applied to a fibre-reinforced composite results in the dependence of friction on surface fibre fraction and local friction coefficients. To validate this analytical model, an experimental study on carbon fibrereinforced epoxy composites under low normal pressure was performed. The effects of fibre volume fraction and fibre orientation were studied, discussed and compared with analytical model results. © Springer Science+Business Media, LLC 2012.
Resumo:
A collection of 577 Coilia mystus was made during April 2006 and 2007 from China's Yangtze Estuary to estimate the age structure and growth patterns of the population. Examination of sectioned sagittal otoliths revealed a periodic straight/curved growth pattern. The straight zone was from April to November, and the curved zone from October to May, indicating annual periodicity. Annual periodicity was also verified by margin zone analysis. The shift from a curved-zone to the next straight-zone stanza was defined as an annulus. The fish from which the otoliths were taken were 0-5 years old. The von Bertalanffy growth function was fitted to standard length (LS)-at-age data as L-S = 215.16 (1 - e(-0.53(t+0.30))) (n = 577, r(2) = 0.81, p < 0.05). The mature females included five age classes, ages 1 and 2 accounting for 74.3% of the population. The mature males included fish aged 1 and 2, those at age 1 accounting for 86.4% of the population. Mean length was smaller, and annual growth less, for mature males than for females of comparable age. The study demonstrated that the Yangtze population of C. mystus consists of more age classes than previously thought and that the age structure of the population needs to be considered in management decisions.
Resumo:
Results of numerical investigations of the wet steam flow in a three stage low pressure steam turbine test rig are presented. The test rig is a scale model of a modern steam turbine design and provides flow measurements over a range of operating conditions which are used for detailed comparisons with the numerical results. For the numerical analysis a modern CFD code with user defined models for specific wet steam modelling is used. The effect of different theoretical models for nucleation and droplet growth are examined. It is shown that heterogeneous condensation is highly dependent on steam quality and, in this model turbine with high quality steam, a homogeneous theory appears to be the best choice. The homogeneous theory gives good agreement between the test rig traverse measurements and the numerical results. The differences in the droplet size distribution of the three stage turbine are shown for different loads and modelling assumptions. The different droplet growth models can influence the droplet size by a factor of two. An estimate of the influence of unsteady effects is made by means of an unsteady two-dimensional simulation. The unsteady modelling leads to a shift of nucleation into the next blade row. For the investigated three stage turbine the influence due to wake chopping on the condensation process is weak but to confirm this conclusion further investigations are needed in complete three dimensions and on turbines with more stages. Copyright © 2011 by ASME.
Resumo:
This study focuses on the modelling of turbulent lifted jet flames using flamelets and a presumed Probability Density Function (PDF) approach with interest in both flame lift-off height and flame brush structure. First, flamelet models used to capture contributions from premixed and non-premixed modes of the partially premixed combustion in the lifted jet flame are assessed using a Direct Numerical Simulation (DNS) data for a turbulent lifted hydrogen jet flame. The joint PDFs of mixture fraction Z and progress variable c, including their statistical correlation, are obtained using a copula method, which is also validated using the DNS data. The statistically independent PDFs are found to be generally inadequate to represent the joint PDFs from the DNS data. The effects of Z-c correlation and the contribution from the non-premixed combustion mode on the flame lift-off height are studied systematically by including one effect at a time in the simulations used for a posteriori validation. A simple model including the effects of chemical kinetics and scalar dissipation rate is suggested and used for non-premixed combustion contributions. The results clearly show that both Z-c correlation and non-premixed combustion effects are required in the premixed flamelets approach to get good agreement with the measured flame lift-off heights as a function of jet velocity. The flame brush structure reported in earlier experimental studies is also captured reasonably well for various axial positions. It seems that flame stabilisation is influenced by both premixed and non-premixed combustion modes, and their mutual influences. © 2014 Taylor & Francis.
Resumo:
Protozoans of Lake Donghu were collected from five stations using the PFU method. The sampling was conducted for one year and two times a month. The aim of this research was to test the applicability of a new protozoa biotic index, species pollution value (SPV) and community pollution value (CPV), established by the authors using data from the River Hanjiang. Each station's CPV was calculated from the SPV and the correlation analysis between the CPV and the comprehensive chemical index of stations I, II, III showed a significant correlation between them. The pollution status of the five stations was correctly evaluated by the CPV. These results suggested that the biotic index could be applied in water systems other than the River Hanjiang. The SPV of some protozoa species in Lake Donghu, not observed in the River Hanjiang were established. In order to further test the applicability of the biotic index, protozoan and chemistry data from the Rivers Torrente Stirone and Parma of Italy were used. The results showed that the CPV for the two rivers had a close relationship with the chemical water quality, which indicated that the biotic index could be applied in other parts of the world for the monitoring and estimating of water quality. Since the results of testing and verifying the biotic index in some other water systems in China were also satisfactory, this indicated that the biotic index has an extensive suitability for freshwater ecosystems. As long as more than 50% of the species in a sample have a SPV, the CPV calculated from the SPV is reliable for monitoring and evaluating water quality.
Resumo:
算法被誉为计算的“灵魂”(spirit of computing),算法程序的可靠性和正确性对软件系统的可信度起着至关重要的作用。动态规划、贪心、分支限界等传统的算法设计策略缺乏有效的选择标准,一些算法形式化开发方法和工具的应用水平和范围也很有限,因此算法的可靠性已成为高可信软件系统的一个主要瓶颈。 作为军事运筹学的一个重要分支,装备保障计算主要研究军事活动中装备领域的决策优化问题,保障计算软件特别是算法的可靠性在很大程度上决定了装备保障的效率乃至军事行动的成败。利用形式化软件工程的研究成果、特别是引入算法程序的形式化开发方法,对我军通用装备保障领域中的大量算法类问题进行有效求解,有利于优化保障结构、统筹保障资源、整合保障力量、提高保障时效,促进装备整体战斗力水平的提升。 本文以高可信软件开发方法PAR为基础,面向装备保障计算的领域需求,提出了一类离散最优化问题(discrete optimization problem, DOP)的结构模型和算法推演技术,并成功推演了一系列典型的装备保障算法。本论文的主要创新性贡献如下: (1)定义了DOP的结构模型,提出了基于单点结构(Singleton)的问题分划递推策略,进而通过PAR算法推演生成问题的高效求解算法,涵盖了多种传统算法设计策略,显著提高了算法程序设计的机械化水平。 (2)提出了描述DOP分划递推过程的问题简约图(problem reduction graph, PRG)模型,并针对典型DOP结构推演得到了一组PRG构造算法模式,其中每个算法模式都涵盖了满足特定代数结构性质的一大类具体问题。 (3)阐述了PAR算法推演的范畴模型,为算法设计和重用提供了抽象而有效的方法指导。 (4)对我军通用装备保障领域具有代表性的48个问题进行了形式化的算法推演,构建了领域算法库。 (5)在PAR平台的基础上设计了装备保障算法开发平台的原型COPALM,支持DOP算法推演和重用,进而提高了相关应用软件的开发效率。
Resumo:
形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.
Resumo:
范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程.