957 resultados para first order modal logic


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Vaihtosuuntaajan IGBT-moduulin liitosten lämpötiloja ei voida suoraan mitata, joten niiden arviointiin tarvitaan reaaliaikainen lämpömalli. Tässä työssä on tavoitteena kehittää tähän tarkoitukseen C-kielellä implementoitu ratkaisu, joka on riittävän tarkka ja samalla mahdollisimman laskennallisesti tehokas. Ohjelmallisen toteutuksen täytyy myös sopia erilaisille moduulityypeille ja sen on tarvittaessa otettava huomioon saman moduulin muiden sirujen lämmittävä vaikutus toisiinsa. Kirjallisuuskatsauksen perusteella valitaan olemassa olevista lämpömalleista käytännön toteutuksen pohjaksi lämpöimpedanssimatriisiin perustuva malli. Lämpöimpedanssimatriisista tehdään Simulink-ohjelmalla s-tason simulointimalli, jota käytetään referenssinä muun muassa implementoinnin tarkkuuden verifiointiin. Lämpömalli tarvitsee tiedon vaihtosuuntaajan häviöistä, joten työssä on selvitetty eri vaihtoehtoja häviölaskentaan. Lämpömallin kehittäminen s-tason mallista valmiiksi C-kieliseksi koodiksi on kuvattu tarkasti. Ensin s-tason malli diskretoidaan z-tasoon. Z-tason siirtofunktiot muutetaan puolestaan ensimmäisen kertaluvun differenssiyhtälöiksi. Työssä kehitetty monen aikatason lämpömalli saadaan jakamalla ensimmäisen kertaluvun differenssiyhtälöt eri aikatasoille suoritettavaksi sen mukaan, mikä niiden kuvaileman termin vaatima päivitysnopeus on. Tällainen toteutus voi parhaimmillaan kuluttaa alle viidesosan kellojaksoja verrattuna suoraviivaiseen yhden aikatason toteutukseen. Implementoinnin tarkkuus on hyvä. Implementoinnin vaatimia suoritusaikoja testattiin Texas Instrumentsin TMS320C6727- prosessorilla (300 MHz). Esimerkkimallin laskemisen määritettiin kuluttavan vaihtosuuntaajan toimiessa 5 kHz kytkentätaajuudella vain 0,4 % prosessorin kellojaksoista. Toteutuksen tarkkuus ja laskentakapasiteetin vähäinen vaatimus mahdollistavat lämpömallin käyttämisen lämpösuojaukseen ja lisäämisen osaksi muuta jo prosessorilla olemassa olevaa systeemiä.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whenever the circumscription of a first-order sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of models of circumscribed theories are either elementary or not Δ-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a first-order sentence Φ and whenever such class of P; Z-minimal models is Δ-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of Φ is the class of models of Φ ∧ ψ. In order words, the circumscription of P in Φ with Z varied can be replaced by Φ plus this explicit definition ψ for Pi.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

ABSTRACT Considering the importance of the riparian vegetation leaves as an energetic source to first order streams, the aim of the present study was to evaluate the leaf biomass contribution to the system and its temporal dynamics. With this purpose, monthly samples from July 2008 to June 2009 were collected using four sampling devices installed in three streams, in order to collect the vertical, lateral and terrestrial loads, and the benthic stock. We tested the following hypothesis: (1) leaf biomass input is higher after hydric stress periods; and (2) benthic stock biomass increase with higher loads from vertical and lateral entrances. Leaves represented 71.9% (on average) of all sampled allochthonous matter, with seasonal significant variation along the studied year. Peaks of leaf input were registered in September-October, after an increase in rainfall, and also in January, after a decrease in rainfall. Leaf input was higher in the lateral load.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Traditionally limestone has been used for the flue gas desulfurization in fluidized bed combustion. Recently, several studies have been carried out to examine the use of limestone in applications which enable the removal of carbon dioxide from the combustion gases, such as calcium looping technology and oxy-fuel combustion. In these processes interlinked limestone reactions occur but the reaction mechanisms and kinetics are not yet fully understood. To examine these phenomena, analytical and numerical models have been created. In this work, the limestone reactions were studied with aid of one-dimensional numerical particle model. The model describes a single limestone particle in the process as a function of time, the progress of the reactions and the mass and energy transfer in the particle. The model-based results were compared with experimental laboratory scale BFB results. It was observed that by increasing the temperature from 850 °C to 950 °C the calcination was enhanced but the sulfate conversion was no more improved. A higher sulfur dioxide concentration accelerated the sulfation reaction and based on the modeling, the sulfation is first order with respect to SO2. The reaction order of O2 seems to become zero at high oxygen concentrations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper sought to evaluate the behavior of an upflow Anaerobic-Aerobic Fixed Bed Reactor (AAFBR) in the treatment of cattle slaughterhouse effluent and determine apparent kinetic constants of the organic matter removal. The AAFBR was operated with no recirculation (Phase I) and with 50% of effluent recirculation (Phase II), with θ of 11h and 8h. In terms of pH, bicarbonate alkalinity and volatile acids, the results indicated the reactor ability to maintain favorable conditions for the biological processes involved in the organic matter removal in both operational phases. The average removal efficiencies of organic matter along the reactor height, expressed in terms of raw COD, were 49% and 68% in Phase I and 54% and 86% in Phase II for θ of 11h and 8h, respectively. The results of the filtered COD indicated removal efficiency of 52% and k = 0.0857h-1 to θ of 11h and 42% and k = 0.0880h-1 to θ of 8h in the Phase I. In Phase II, the removal efficiencies were 59% and 51% to θ of 11h and 8h, with k = 0.1238h-1 and k = 0.1075 h-1, respectively. The first order kinetic model showed good adjustment and described adequately the kinetics of organic matter removal for θ of 11h, with r² equal to 0.9734 and 0.9591 to the Phases I and II, respectively.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Usage of batteries as energy storage is emerging in automotive and mobile working machine applications in future. When battery systems become larger, battery management becomes an essential part of the application concerning fault situations of the battery and safety of the user. A properly designed battery management system extends one charge cycle of battery pack and the whole life time of the battery pack. In this thesis main objectives and principles of BMS are studied and first order Thevenin’s model of the lithium-titanate battery cell is built based on laboratory measurements. The battery cell model is then verified by comparing the battery cell model and the actual battery cell and its suitability for use in BMS is studied.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A non isotropic turbulence model is extended and applied to three dimensional stably stratified flows and dispersion calculations. The model is derived from the algebraic stress model (including wall proximity effects), but it retains the simplicity of the "eddy viscosity" concept of first order models. The "modified k-epsilon" is implemented in a three dimensional numerical code. Once the flow is resolved, the predicted velocity and turbulence fields are interpolated into a second grid and used to solve the concentration equation. To evaluate the model, various steady state numerical solutions are compared with small scale dispersion experiments which were conducted at the wind tunnel of Mitsubishi Heavy Industries, in Japan. Stably stratified flows and plume dispersion over three distinct idealized complex topographies (flat and hilly terrain) are studied. Vertical profiles of velocity and pollutant concentration are shown and discussed. Also, comparisons are made against the results obtained with the standard k-epsilon model.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The acceleration of solar energetic particles (SEPs) by flares and coronal mass ejections (CMEs) has been a major topic of research for the solar-terrestrial physics and geophysics communities for decades. This thesis discusses theories describing first-order Fermi acceleration of SEPs through repeated crossings at a CME-driven shock. We propose that particle trapping occurs through self-generated Alfvén waves, leading to a turbulent trapping region in front of the shock. Decelerating coronal shocks are shown to be capable of efficient SEP acceleration, provided seed particle injection is sufficient. Quasi-parallel shocks are found to inject thermal particles with good efficiency. The roles of minimum injection velocities, cross-field diffusion, downstream scattering efficiency and cross-shock potential are investigated in detail, with downstream isotropisation timescales having a major effect on injection efficiency. Accelerated spectra of heavier elements up to iron are found to exhibit significantly harder spectra than protons. Accelerated spectra cut-off energies are found to scale proportional to (Q/A)1.5, which is explained through analysis of the spectral shape of amplified Alfvénic turbulence. Acceleration times to different threshold energies are found to be non-linear, indicating that self-consistent time-dependent simulations are required in order to expose the full extent of acceleration dynamics. The well-established quasilinear theory (QLT) of particle scattering is investigated by comparing QLT scattering coefficients with those found via full-orbit simulations. QLT is found to overemphasise resonance conditions. This finding supports the simplifications implemented in the presented coronal shock acceleration (CSA) simulation software. The CSA software package is used to simulate a range of acceleration scenarios. The results are found to be in agreement with well-established particle acceleration theory. At the same time, new spatial and temporal dynamics of particle population trapping and wave evolution are revealed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tämä työ tutkii ja tarkastelee transitio-kokeilua ravinnetaloudessa. Transitio-kokeilu on toimintatutkimusprojekti, joka toteutetaan systeemisen muutoksen ajattelun mukaisesti alhaalta ylöspäin. Ravinnetalous määritetään tarkemmin työn kautta sekä analysoidaan monitaso-perspektiivin näkökulmasta. Ravinnetalous on terminä varsin tuntematon ja tarvitsee enemmän tunnettavuutta laajemman yleisön edessä. Transitio-areenan ja transitio-visioiden kehittäminen ovat työn keskipisteessä, koska ne ovat tärkeimpiä vaiheita transition alkuvaiheessa. Joukko sidosryhmätoimijoita osallistuu transitio areenaan sekä visioiden jatkokehittelyyn. Visio(t) luodaan ensisijaisesti backcasting-menetelmällä, jota myös täydennetään tavanomaisella ennustamisella. Backcasting- menetelmä on osin osallistava ja siinä käytetään ravinteiden planeettarajoja kvantitatiivisina pääperiaatteina, minkä tuloksena myös visiot ovat osin kvantitatiivisia. Transitio areenan kokoaminen ja fasilitointi aiheuttavat hankalia kysymyksiä, jotka tarvitsevat jatko-tutkimusta. Alhaalta-ylöspäin organisoitu transitio-arena houkuttelee niche-toimijoita, mutta epäonnistuu sitouttamaan julkisen vallan toimijoita. Toimintamallin voimasuhteet, politiikka ja transition vakiinnuttaminen tulisivat olla jatko-toimenpiteinä niin tutkimuksessa kuin toiminnassakin.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Didanosine (ddI) is a component of highly active antiretroviral therapy drug combinations, used especially in resource-limited settings and in zidovudine-resistant patients. The population pharmacokinetics of ddI was evaluated in 48 healthy volunteers enrolled in two bioequivalence studies. These data, along with a set of co-variates, were the subject of a nonlinear mixed-effect modeling analysis using the NONMEM program. A two-compartment model with first order absorption (ADVAN3 TRANS3) was fitted to the serum ddI concentration data. Final pharmacokinetic parameters, expressed as functions of the co-variates gender and creatinine clearance (CL CR), were: oral clearance (CL = 55.1 + 240 x CL CR + 16.6 L/h for males and CL = 55.1 + 240 x CL CR for females), central volume (V2 = 9.8 L), intercompartmental clearance (Q = 40.9 L/h), peripheral volume (V3 = 62.7 + 22.9 L for males and V3 = 62.7 L for females), absorption rate constant (Ka = 1.51/h), and dissolution time of the tablet (D = 0.43 h). The intraindividual (residual) variability expressed as coefficient of variation was 13.0%, whereas the interindividual variability of CL, Q, V3, Ka, and D was 20.1, 75.8, 20.6, 18.9, and 38.2%, respectively. The relatively high (>30%) interindividual variability for some of these parameters, observed under the controlled experimental settings of bioequivalence trials in healthy volunteers, may result from genetic variability of the processes involved in ddI absorption and disposition.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Since the times preceding the Second World War the subject of aircraft tracking has been a core interest to both military and non-military aviation. During subsequent years both technology and configuration of the radars allowed the users to deploy it in numerous fields, such as over-the-horizon radar, ballistic missile early warning systems or forward scatter fences. The latter one was arranged in a bistatic configuration. The bistatic radar has continuously re-emerged over the last eighty years for its intriguing capabilities and challenging configuration and formulation. The bistatic radar arrangement is used as the basis of all the analyzes presented in this work. The aircraft tracking method of VHF Doppler-only information, developed in the first part of this study, is solely based on Doppler frequency readings in relation to time instances of their appearance. The corresponding inverse problem is solved by utilising a multistatic radar scenario with two receivers and one transmitter and using their frequency readings as a base for aircraft trajectory estimation. The quality of the resulting trajectory is then compared with ground-truth information based on ADS-B data. The second part of the study deals with the developement of a method for instantaneous Doppler curve extraction from within a VHF time-frequency representation of the transmitted signal, with a three receivers and one transmitter configuration, based on a priori knowledge of the probability density function of the first order derivative of the Doppler shift, and on a system of blocks for identifying, classifying and predicting the Doppler signal. The extraction capabilities of this set-up are tested with a recorded TV signal and simulated synthetic spectrograms. Further analyzes are devoted to more comprehensive testing of the capabilities of the extraction method. Besides testing the method, the classification of aircraft is performed on the extracted Bistatic Radar Cross Section profiles and the correlation between them for different types of aircraft. In order to properly estimate the profiles, the ADS-B aircraft location information is adjusted based on extracted Doppler frequency and then used for Bistatic Radar Cross Section estimation. The classification is based on seven types of aircraft grouped by their size into three classes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A novel, rapid and cost-effective trifluoperazine dihydrochloride (TFPH) decolorization assay is described for the screening of antioxidant activity. A chromogenic reaction between TFPH and potassium persulfate at low pH produces an orange-red radical cation with maximum absorption at 502 nm in its first-order derivative spectrum. TFPH was dissolved in distilled water to give a 100 mM solution. The TFPH radical cation solution was made by reacting 0.5 mL of the solution with K2S2O8 (final concentration: 0.1 mM) and diluting to 100 mL with 4 M H2SO4 solution. A linear inhibition of color production was observed with linearly increasing amounts of antioxidants, with correlation coefficients (R²) ranging from 0.999 to 0.983. The antioxidant capacity of standard solutions of an antioxidant was evaluated by comparing with the inhibition curve using Trolox as the standard. Comparison of antioxidant capacity determined with this newly developed TFPH assay and with the well-known 2,2'-azinobis-[3-ethylbenzthiazoline-6-sulfonic acid] (ABTS)-persulfate decolorization assay indicated the efficacy and sensitivity of the procedure. The proposed assay is less expensive (costs about US$4 per 100 assays) and requires only 20 min for preparation of radical cation solution in comparison with ABTS assay, in which almost 12-16 h are required for preparation of a stable ABTS radical cation solution. The present assay has the advantage over ABTS assay that it can be used to measure the antioxidant activity of the samples, which are naturally found at a pH as low as 1, because the radical cation itself has been stabilized at low pH.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Oscillatory contractile activity is an inherent property of blood vessels. Various cellular mechanisms have been proposed to contribute to oscillatory activity. Mouse small mesenteric arteries display a unique low frequency contractile oscillatory activity (1 cycle every 10-12 min) upon phenylephrine stimulation. Our objective was to identify mechanisms involved in this peculiar oscillatory activity. First-order mesenteric arteries were mounted in tissue baths for isometric force measurement. The oscillatory activity was observed only in vessels with endothelium, but it was not blocked by L-NAME (100 µM) or indomethacin (10 µM), ruling out the participation of nitric oxide and prostacyclin, respectively, in this phenomenon. Oscillatory activity was not observed in vessels contracted with K+ (90 mM) or after stimulation with phenylephrine plus 10 mM K+. Ouabain (1 to 10 µM, an Na+/K+-ATPase inhibitor), but not K+ channel antagonists [tetraethylammonium (100 µM, a nonselective K+ channel blocker), Tram-34 (10 µM, blocker of intermediate conductance K+ channels) or UCL-1684 (0.1 µM, a small conductance K+ channel blocker)], inhibited the oscillatory activity. The contractile activity was also abolished when experiments were performed at 20°C or in K+-free medium. Taken together, these results demonstrate that Na+/K+-ATPase is a potential source of these oscillations. The presence of α-1 and α-2 Na+/K+-ATPase isoforms was confirmed in murine mesenteric arteries by Western blot. Chronic infusion of mice with ouabain did not abolish oscillatory contraction, but up-regulated vascular Na+/K+-ATPase expression and increased blood pressure. Together, these observations suggest that the Na+/K+ pump plays a major role in the oscillatory activity of murine small mesenteric arteries.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Anthocyanins are the pigments responsible for the color of most red grapes and are easily degraded following various reaction mechanisms affected by oxygen, enzymes, pH, and temperature among other variables. In this study, a jam model system was developed using Merlot and Bordô grape extracts and polysaccharides (xanthan and locust bean gums) and different temperatures (45, 55 and 65 °C). The stability of the anthocyanin pigments and the rheological behavior of the jam model system were studied. For the determination of the stability, the half-life time and first-order reaction rate constants for the anthocyanin pigments were calculated. The rheological behavior was determined through the Power law model. The jam model system produced using a temperature of 45 °C showed the best results for the anthocyanin half-life time. The first-order reaction rate constants for the 45, 55, and 65 °C treatments were not significantly different among each other (p > 0.05). It was observed that with an increase in the jam model system temperature there was an increase in the index of consistency.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pectinases are enzymes that degrade pectic substances and are widely used in juice and fruit beverages to improve the quality of the process. The objective of this study was to determine the optimum pH and temperature of two samples of commercial pectinases and propose an alternative procedure to determine the residual activity comparing the data with those of the traditional procedure. The pectin methylesterase (PME) activity in Pectinex 100 L Plus and Panzyn Clears was determined by potentiometry. The reaction consisted of 5.00 mg.mL-1 apple pectin, 0.100 mol.L-1 NaCl, and 50 µL enzyme to a total volume of 30 mL. The pectin reaction in the presence of PME in all experiments revealed a first order kinetics. The PME in the two enzyme preparations showed higher activity at pH 4.0 to 4.5 and temperature of 45 ºC. From the results of both procedures ΔV NaOH/Δt and ΔpH/Δt, it was concluded that the inactivation of PME occurred at 75 ºC. The results obtained from the ratio ΔpH/Δt showed good correlation with those obtained from the ratio ΔV NaOH/Δt. In the reaction accompanied by the ratio ΔpH/Δt, the release of H3O+ occurred in the real time reaction.