12 resultados para Linear static analysis

em Instituto Politécnico do Porto, Portugal


Relevância:

90.00% 90.00%

Publicador:

Resumo:

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The mineral content (phosphorous (P), potassium (K), sodium (Na), calcium (Ca), magnesium (Mg), iron (Fe), manganese (Mn), zinc (Zn) and copper (Cu)) of eight ready-to-eat baby leaf vegetables was determined. The samples were subjected to microwave-assisted digestion and the minerals were quantified by High-Resolution Continuum Source Atomic Absorption Spectrometry (HR-CS-AAS) with flame and electrothermal atomisation. The methods were optimised and validated producing low LOQs, good repeatability and linearity, and recoveries, ranging from 91% to 110% for the minerals analysed. Phosphorous was determined by a standard colorimetric method. The accuracy of the method was checked by analysing a certified reference material; results were in agreement with the quantified value. The samples had a high content of potassium and calcium, but the principal mineral was iron. The mineral content was stable during storage and baby leaf vegetables could represent a good source of minerals in a balanced diet. A linear discriminant analysis was performed to compare the mineral profile obtained and showed, as expected, that the mineral content was similar between samples from the same family. The Linear Discriminant Analysis was able to discriminate different samples based on their mineral profile.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a two-part tariff. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results. We also do a direct comparison between our model and Cournot duopoly model.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Copper zinc tin sulfide (CZTS) is a promising Earthabundant thin-film solar cell material; it has an appropriate band gap of ~1.45 eV and a high absorption coefficient. The most efficient CZTS cells tend to be slightly Zn-rich and Cu-poor. However, growing Zn-rich CZTS films can sometimes result in phase decomposition of CZTS into ZnS and Cu2SnS3, which is generally deleterious to solar cell performance. Cubic ZnS is difficult to detect by XRD, due to a similar diffraction pattern. We hypothesize that synchrotron-based extended X-ray absorption fine structure (EXAFS), which is sensitive to local chemical environment, may be able to determine the quantity of ZnS phase in CZTS films by detecting differences in the second-nearest neighbor shell of the Zn atoms. Films of varying stoichiometries, from Zn-rich to Cu-rich (Zn-poor) were examined using the EXAFS technique. Differences in the spectra as a function of Cu/Zn ratio are detected. Linear combination analysis suggests increasing ZnS signal as the CZTS films become more Zn-rich. We demonstrate that the sensitive technique of EXAFS could be used to quantify the amount of ZnS present and provide a guide to crystal growth of highly phase pure films.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A new method, based on linear correlation and phase diagrams was successfully developed for processes like the sedimentary process, where the deposition phase can have different time duration - represented by repeated values in a series - and where the erosion can play an important rule deleting values of a series. The sampling process itself can be the cause of repeated values - large strata twice sampled - or deleted values: tiny strata fitted between two consecutive samples. What we developed was a mathematical procedure which, based upon the depth chemical composition evolution, allows the establishment of frontiers as well as the periodicity of different sedimentary environments. The basic tool isn't more than a linear correlation analysis which allow us to detect the existence of eventual evolution rules, connected with cyclical phenomena within time series (considering the space assimilated to time), with the final objective of prevision. A very interesting discovery was the phenomenon of repeated sliding windows that represent quasi-cycles of a series of quasi-periods. An accurate forecast can be obtained if we are inside a quasi-cycle (it is possible to predict the other elements of the cycle with the probability related with the number of repeated and deleted points). We deal with an innovator methodology, reason why it's efficiency is being tested in some case studies, with remarkable results that shows it's efficacy. Keywords: sedimentary environments, sequence stratigraphy, data analysis, time-series, conditional probability.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Dairy foods comprise a range of products with varying nutritional content. The intake of dairy products (DPs) has been shown to have beneficial effects on body weight and body fat. This study aimed to examine the independent association between DP intake, body mass index (BMI), and percentage body fat (%BF) in adolescents. A cross-sectional, school-based study was conducted with 1,001 adolescents (418 boys), ages 15–18 years, from the Azorean Archipelago, Portugal. Anthropometric measurements were recorded (weight and height), and %BF was assessed using bioelectric impedance analysis. Adolescent food intake was measured using a self-administered, semiquantitative food frequency questionnaire. Data were analyzed separately for girls and boys, and separate multiple linear regression analysis was used to estimate the association between total DP, milk, yogurt, and cheese intake, BMI, and %BF, adjusting for potential confounders. For boys and girls, respectively, total DP consumption was 2.6 ± 1.9 and 2.9 ± 2.5 servings/day (P = 0.004), while milk consumption was 1.7 ± 1.4 and 2.0 ± 1.7 servings/day (P = 0.001), yogurt consumption was 0.5 ± 0.6 and 0.4 ± 0.7 servings/day (P = 0.247), and cheese consumption was 0.4 ± 0.6 and 0.5 ± 0.8 servings/day (P = 0.081). After adjusting for age, birth weight, energy intake, protein, total fat, sugar, dietary fiber, total calcium intake, low-energy reporters, parental education, pubertal stage, and physical activity, only milk intake was negatively associated with BMI and %BF in girls (respectively, girls: β = −0.167, P = 0.013; boys: β = −0.019, P = 0.824 and girls: β = −0.143, P = 0.030; boys: β = −0.051, P = 0.548). Conclusion: We found an inverse association between milk intake and both BMI and %BF only in girls.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Com o atual estado da construção em Portugal, a reabilitação urbana é uma realidade. Com muitos dos edifícios a necessitarem de reforço, procurou-se abordar o comportamento real das estruturas, indo além da típica análise linear elástica. Desta forma, pretendeu-se aumentar o conhecimento acerca da modelação numérica não-linear de estruturas de betão armado, expondo modelos de cálculo relativamente simples e de fácil compreensão, com o objetivo de servir de base a uma avaliação da capacidade de carga de um elemento estrutural. O modelo de cálculo foi validado com recurso ao trabalho experimental de Bresler e Scordelis (1963). Analisou-se o comportamento até à rotura de três vigas ensaiadas à flexão. Posteriormente, foi realizado um estudo paramétrico de algumas propriedades do betão com vista à discussão do melhor de ajuste. Em seguida, já no campo do reforço estrutural, simulou-se numericamente vigas reforçadas com CFRP, com recurso à técnica EBR e NSM. Comparam-se os resultados numéricos com os ensaios experimentais de Cruz et al. (2011a). Avaliou-se ainda o desempenho de soluções alternativas com variações na área e comprimento dos laminados. Para finalizar, foi desenvolvida uma campanha experimental com diferentes áreas de reforço. Conceberam-se e executaram-se três vigas de betão armado sobre as quais se instalaram laminados de CFRP. Os resultados experimentais são apresentados e discutidos à luz dos resultados do respetivo modelo numérico. No cômputo geral, o presente trabalho permitiu aferir a validade de modelos não-lineares na previsão do comportamento efetivo das estruturas até à rotura. Assinala-se a concordância em vários resultados experimentais analisados. Ficaram também patentes os principais fenómenos ligados ao reforço de vigas com CFRP, focados nos respetivos modelos de cálculo e nos resultados experimentais apresentados.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Accepted in 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015), Amsterdam, Netherlands.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The electrooxidative behavior of citalopram (CTL) in aqueous media was studied by cyclic voltammetry (CV) and square-wave voltammetry (SWV) at a glassy-carbon electrode. The electrochemical behaviour of CTL involves two electrons and two protons in the irreversible and diffusion controlled oxidation of the tertiary amine group. The maximum analytical signal was obtained in a phosphate buffer (pH ¼ 8.2). For analytical purposes, an SWV method and a flow-injection analysis (FIA) system with amperometric detection were developed. The optimised SWV method showed a linear range between 1.10 10 5–1.20 10 4 molL 1, with a limit of detection (LOD) of 9.5 10 6 molL 1. Using the FIA method, a linear range between 2.00 10 6–9.00 10 5 molL 1 and an LODof 1.9 10 6 molL 1 were obtained. The validation of both methods revealed good performance characteristics confirming applicability for the quantification of CTL in several pharmaceutical products.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can be preempted but they cannot migrate between processors. On each processor, tasks are scheduled according to rate-monotonic. We propose an algorithm that can schedule all task sets that any other possible algorithm can schedule assuming that our algorithm is given processors that are √2 / √2−1 ≈ 3.41 times faster. No such guarantees are previously known for partitioned static-priority scheduling on uniform multiprocessors.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

New arguments proving that successive (repeated) measurements have a memory and actually remember each other are presented. The recognition of this peculiarity can change essentially the existing paradigm associated with conventional observation in behavior of different complex systems and lead towards the application of an intermediate model (IM). This IM can provide a very accurate fit of the measured data in terms of the Prony's decomposition. This decomposition, in turn, contains a small set of the fitting parameters relatively to the number of initial data points and allows comparing the measured data in cases where the “best fit” model based on some specific physical principles is absent. As an example, we consider two X-ray diffractometers (defined in paper as A- (“cheap”) and B- (“expensive”) that are used after their proper calibration for the measuring of the same substance (corundum a-Al2O3). The amplitude-frequency response (AFR) obtained in the frame of the Prony's decomposition can be used for comparison of the spectra recorded from (A) and (B) - X-ray diffractometers (XRDs) for calibration and other practical purposes. We prove also that the Fourier decomposition can be adapted to “ideal” experiment without memory while the Prony's decomposition corresponds to real measurement and can be fitted in the frame of the IM in this case. New statistical parameters describing the properties of experimental equipment (irrespective to their internal “filling”) are found. The suggested approach is rather general and can be used for calibration and comparison of different complex dynamical systems in practical purposes.