Performance regression refers to the phenomena where the application performance degrades compared to prior releases. Performance regressions are unwanted side-effects caused by changes to application or its execution environment. Previous research shows that most problems experienced by customers in the field are related to application performance. To reduce the likelihood of performance regressions slipping into production, software vendors must verify the performance of an application before its release. The current practice of performance verification is carried out only at the implementation level through performance tests. In a performance test, service requests with intensity similar to the production environment are pushed to the applications under test; various performance counters (e.g., CPU utilization) are recorded. Analysis of the results of performance verification is both time-consuming and error-prone due to the large volume of collected data, the absence of formal objectives and the subjectivity of performance analysts. Furthermore, since performance verification is done just before release, evaluation of high impact design changes is delayed until the end of the development lifecycle. In this thesis, we seek to improve the effectiveness of performance verification. First, we propose an approach to construct layered simulation models to support performance verification at the design level. Performance analysts can leverage our layered simulation models to evaluate the impact of a proposed design change before any development effort is committed. Second, we present an automated approach to detect performance regressions from results of performance tests conducted on the implementation of an application. Our approach compares the results of new tests against counter correlations extracted from performance testing repositories. Finally, we refine our automated analysis approach with ensemble-learning algorithms to evaluate performance tests conducted in heterogeneous software and hardware environments. / Thesis (Master, Electrical & Computer Engineering) -- Queen's University, 2011-01-31 15:53:02.732

abstract: Characterization of standard cells is one of the crucial steps in the IC design. Scaling of CMOS technology has lead to timing un-certainties such as that of cross coupling noise due to interconnect parasitic, skew variation due to voltage jitter and proximity effect of multiple inputs switching (MIS). Due to increased operating frequency and process variation, the probability of MIS occurrence and setup / hold failure within a clock cycle is high. The delay variation due to temporal proximity of MIS is significant for multiple input gates in the standard cell library. The shortest paths are affected by MIS due to the lack of averaging effect. Thus, sensitive designs such as that of SRAM row and column decoder circuits have high probability for MIS impact. The traditional static timing analysis (STA) assumes single input switching (SIS) scenario which is not adequate enough to capture gate delay accurately, as the delay variation due to temporal proximity of the MIS is ~15%-45%. Whereas, considering all possible scenarios of MIS for characterization is computationally intensive with huge data volume. Various modeling techniques are developed for the characterization of MIS effect. Some techniques require coefficient extraction through multiple spice simulation, and do not discuss speed up approach or apply models with complicated algorithms to account for MIS effect. The STA flow accounts for process variation through uncertainty parameter to improve product yield. Some of the MIS delay variability models account for MIS variation through table look up approach, resulting in huge data volume or do not consider propagation of RAT in the design flow. Thus, there is a need for a methodology to model MIS effect with less computational resource, and integration of such effect into design flow without trading off the accuracy. A finite-point based analytical model for MIS effect is proposed for multiple input logic gates and similar approach is extended for setup/hold characterization of sequential elements. Integration of MIS variation into design flow is explored. The proposed methodology is validated using benchmark circuits at 45nm technology node under process variation. Experimental results show significant reduction in runtime and data volume with ~10% error compared to that of SPICE simulation. / Dissertation/Thesis / Ph.D. Electrical Engineering 2012

京都大学 / 新制・課程博士 / 博士(農学) / 甲第23239号 / 農博第2446号 / 新制||農||1083(附属図書館) / 学位論文||R3||N5329(農学部図書室) / 京都大学大学院農学研究科地域環境科学専攻 / (主査)教授 村上 章, 教授 藤原 正幸, 教授 渦岡 良介 / 学位規則第4条第1項該当 / Doctor of Agricultural Science / Kyoto University / DGAM

Advancements in pulmonary drug delivery technologies have improved the use of dry powder inhalation therapy to treat respiratory and systemic diseases. Despite remarkable improvements in the development of dry powder inhaler devices (DPIs) and formulations in the last few years, an optimized DPI system has yet to be developed. In this work, we hypothesize that Thin Film Freezing (TFF) is a suitable technology to improve inhalation therapies to treat lung and systemic malignancies due to its ability to produce brittle powder with optimal aerodynamic properties. Also, we developed a performance verification test (PVT) for the Next Generation Cascade Impactor (NGI), which is one of the most important in vitro characterization methods to test inhalation. In the first study, we used TFF technology to produce amorphous and brittle particles of rapamycin, and compared the in vivo behavior by the pharmacokinetic profiles, to its crystalline counterpart when delivered to the lungs of rats via inhalation. It was found that TFF rapamycin presented higher in vivo systemic bioavailability than the crystalline formulation. Subsequently, we investigated the use of TFF technology to produce triple fixed dose therapy using formoterol fumarate, tiotropium bromide and budesonide as therapeutic drugs. We investigated applications of this technology to powder properties and in vitro aerosol performance with respect to single and combination therapy. As a result, the brittle TFF powders presented superior properties than the physical mixture of micronized crystalline powders, such as excellent particle distribution homogeneity after in vitro aerosolization. Lastly, we developed a PVT for the NGI that may be applicable to other cascade impactors, by investigating the use of a standardized pressurized metered dose inhaler (pMDI) with the NGI. Two standardized formulations were developed. Formulations were analyzed for repeatability and robustness, and found not to demonstrate significant differences in plate deposition using a single NGI apparatus. Variable conditions were introduced to the NGI to mimic operator and equipment failure. Introduction of the variable conditions to the NGI was found to significantly adjust the deposition patterns of the standardized formulations, suggesting that their use as a PVT could be useful and that further investigation is warranted. / text

[pt] O medidor de vazão de fluido multifásico (MM) se desenvolveu impulsionado principalmente pela necessidade da indústria de óleo e gás em medir a vazão da produção dos poços que comumente é composta por petróleo, gás e água. Em outubro de 2015, a Agência Nacional de Petróleo, Gás Natural e Biocombustíveis (ANP) publicou o Regulamento Técnico de Medição de Fluido Multifásico para Apropriação de Petróleo, Gás Natural e Água que apresenta os requisitos através de planos que as empresas operadoras de óleo e gás precisam preparar e submeter para obter a autorização para aplicar o MM na medição para apropriação. Contudo, esse regulamento não especifica a metodologia que deve ser utilizada no denominado plano de verificação de desempenho para avaliar desempenho do MM no campo, cabendo a cada operadora desenvolver a sua metodologia para esse fim e apresentar a ANP. Este trabalho propõe e aplica uma metodologia para verificação de desempenho para MM com resultados de testes realizados em laboratório com fluidos reais e em campo de produção de petróleo e gás. É observado que testes com tempo curto de duração, inferior a 1000 segundos, tendem a gerar incertezas mais elevadas do que testes com longa duração, com mais de 1000 segundos, como os realizados na plataforma. Sendo assim, os resultados de incerteza de medição maiores gerados no laboratório com tempos de integração curtos podem ser considerados mais conservativos que os resultados dos testes realizados na plataforma. / [en] The multiphase flowrate (MM) was driven by the necessity of the oil and gas industry to measure the production flow of the wells that are commonly composed of oil, gas and water. In October 2015, the National Agency for Petroleum, Natural Gas and Biofuels (ANP) published the Technical Regulation for Measurement of Multiphase Fluid for Petroleum, Natural Gas and Water produced, which presents the requirements through plans that oil and gas companies need to prepare and submit for authorization to apply the MM in the measurement for allocation. However, this regulation does not specify the methodology that should be used in the so-called performance verification plan to evaluate the performance of the MM in the field, it being incumbent on each operator to develop its methodology for this purpose and present the ANP. This work proposes and applies a methodology for performance verification for MM with test results performed in the laboratory with real fluids and in oil and gas field. It was observed that short duration tests, below 1000 seconds, tend to generate higher uncertainties than long tests, higher than 1000 seconds, such as those performed on the platform. Thus, the higher measurement uncertainty results generated in the laboratory with short integration times can be considered more conservative than the results of the tests performed in the platform.

This paper addresses the issue of security and integration of UAVs in air traffic operations and analyses possible risks. This work defines methodology to demonstrate airworthiness of the parachute recovery system under extreme climatic conditions. The first part of the methodology deals with the compliance performance requirements in external environment and the second part verifies performance parachute canopy. Methodology developed herein is subsequently verified by practical tests on parachute recovery system Galaxy GBS 10.