910 resultados para Batch Proof, Verification of Re-encryption, Verification of Decryption, Mix Network
Resumo:
Viime vuosikymmenien aikana kommunikaatioteknologiat ovat kehittyneet erittäin paljon. Uusia verkkoja, liityntätekniikoita, protokollia ja päätelaitteita on luotu alati kehittyvällä vauhdilla, eikä hidastumisen merkkejä ole näkyvissä. Varsinkin mobiilisovellukset ovat kasvattaneet markkinaosuuksiaan viime aikoina. Unlicensed MobileAccess (UMA) on uusi liityntätekniikka mobiilipäätelaitteille, joka mahdollistaa liitynnän GSM- runkoverkkoon WLAN- tai Bluetooth - tekniikoiden avulla. Tämä diplomityö keskittyy UMAan liittyviin teknologioihin, joita tarkastellaan lähemmin ensimmäisissä kappaleissa. Tavoitteena on esitellä, mitä UMA merkitsee, ja kuinka eri tekniikoita voidaan soveltaa sen toteutuksissa. Ennenkuin uusia teknologioita voidaan soveltaa kaupallisesti, täytyy niiden olla kokonaisvaltaisesti testattuja. Erilaisia testausmenetelmiä sovelletaan laitteistonja ohjelmiston testaukseen, mutta tavoite on kuitenkin sama, eli vähentää testattavan tuotteen epäluotettavuutta ja lisätä sen laatua. Vaikka UMA käsittääkin pääasiassa jo olemassa olevia tekniikoita, tuo se silti mukanaan uuden verkkoelementin ja kaksi uutta kommunikaatioprotokollaa. Ennen kuin mitään UMAa tukevia ratkaisuja voidaan tuoda markkinoille, monia erilaisia testausmenetelmiä on suoritettava, jotta varmistutaan uuden tuotteen oikeasta toiminnallisuudesta. Koska tämä diplomityö käsittelee uutta tekniikkaa, on myös testausmenetelmien yleisen testausteorian käsittelemiselle varattu oma kappale. Kappale esittelee erilaisia testauksen näkökulmia ja niihin perustuen rakennetaan myös testausohjelmisto. Tavoitteena on luoda ohjelmisto, jota voidaan käyttää UMA-RR protokollan toiminnan varmentamiseen kohdeympäristössä.
Resumo:
The objective of industrial crystallization is to obtain a crystalline product which has the desired crystal size distribution, mean crystal size, crystal shape, purity, polymorphic and pseudopolymorphic form. Effective control of the product quality requires an understanding of the thermodynamics of the crystallizing system and the effects of operation parameters on the crystalline product properties. Therefore, obtaining reliable in-line information about crystal properties and supersaturation, which is the driving force of crystallization, would be very advantageous. Advanced techniques, such asRaman spectroscopy, attenuated total reflection Fourier transform infrared (ATR FTIR) spectroscopy, and in-line imaging techniques, offer great potential for obtaining reliable information during crystallization, and thus giving a better understanding of the fundamental mechanisms (nucleation and crystal growth) involved. In the present work, the relative stability of anhydrate and dihydrate carbamazepine in mixed solvents containing water and ethanol were investigated. The kinetics of the solvent mediated phase transformation of the anhydrate to hydrate in the mixed solvents was studied using an in-line Raman immersion probe. The effects of the operation parameters in terms of solvent composition, temperature and the use of certain additives on the phase transformation kineticswere explored. Comparison of the off-line measured solute concentration and the solid-phase composition measured by in-line Raman spectroscopy allowedthe identification of the fundamental processes during the phase transformation. The effects of thermodynamic and kinetic factors on the anhydrate/hydrate phase of carbamazepine crystals during cooling crystallization were also investigated. The effect of certain additives on the batch cooling crystallization of potassium dihydrogen phosphate (KDP) wasinvestigated. The crystal growth rate of a certain crystal face was determined from images taken with an in-line video microscope. An in-line image processing method was developed to characterize the size and shape of thecrystals. An ATR FTIR and a laser reflection particle size analyzer were used to study the effects of cooling modes and seeding parameters onthe final crystal size distribution of an organic compound C15. Based on the obtained results, an operation condition was proposed which gives improved product property in terms of increased mean crystal size and narrowersize distribution.
Resumo:
The application of multivariate calibration techniques to multicomponent analysis by UV-VIS molecular absorption spectrometry is a powerful tool for simultaneous determination of several chemical species. However, when this methodology is accomplished manually, it is slow and laborious, consumes high amounts of reagents and samples, is susceptible to contaminations and presents a high operational cost. To overcome these drawbacks, a flow-batch analyser is proposed in this work. This analyser was developed for automatic preparation of standard calibration and test (or validation) mixtures. It was applied to the simultaneous determination of Cu2+, Mn2+ and Zn2+ in polyvitaminic and polymineral pharmaceutical formulations, using 4-(2-piridilazo) resorcinol as reagent and a UV-VIS spectrophotometer with a photodiode array detector. The results obtained with the proposed system are in good agreement with those obtained by flame atomic absorption spectrometry, which was employed as reference method. With the proposed analyser, the preparation of calibration and test mixtures can be accomplished about four hours, while the manual procedure requires at least two days. Moreover, it consumes smaller amounts of reagents and samples than the manual procedure. After the preparation of calibration and test mixtures, 60 samples h-1 can be carried out with the proposed flow-batch analyser.
Resumo:
In this master’s thesis, wind speeds and directions were modeled with the aim of developing suitable models for hourly, daily, weekly and monthly forecasting. Artificial Neural Networks implemented in MATLAB software were used to perform the forecasts. Three main types of artificial neural network were built, namely: Feed forward neural networks, Jordan Elman neural networks and Cascade forward neural networks. Four sub models of each of these neural networks were also built, corresponding to the four forecast horizons, for both wind speeds and directions. A single neural network topology was used for each of the forecast horizons, regardless of the model type. All the models were then trained with real data of wind speeds and directions collected over a period of two years in the municipal region of Puumala in Finland. Only 70% of the data was used for training, validation and testing of the models, while the second last 15% of the data was presented to the trained models for verification. The model outputs were then compared to the last 15% of the original data, by measuring the mean square errors and sum square errors between them. Based on the results, the feed forward networks returned the lowest generalization errors for hourly, weekly and monthly forecasts of wind speeds; Jordan Elman networks returned the lowest errors when used for forecasting of daily wind speeds. Cascade forward networks gave the lowest errors when used for forecasting daily, weekly and monthly wind directions; Jordan Elman networks returned the lowest errors when used for hourly forecasting. The errors were relatively low during training of the models, but shot up upon simulation with new inputs. In addition, a combination of hyperbolic tangent transfer functions for both hidden and output layers returned better results compared to other combinations of transfer functions. In general, wind speeds were more predictable as compared to wind directions, opening up opportunities for further research into building better models for wind direction forecasting.
Resumo:
This paper presents a study on wavelets and their characteristics for the specific purpose of serving as a feature extraction tool for speaker verification (SV), considering a Radial Basis Function (RBF) classifier, which is a particular type of Artificial Neural Network (ANN). Examining characteristics such as support-size, frequency and phase responses, amongst others, we show how Discrete Wavelet Transforms (DWTs), particularly the ones which derive from Finite Impulse Response (FIR) filters, can be used to extract important features from a speech signal which are useful for SV. Lastly, an SV algorithm based on the concepts presented is described.
Resumo:
This work studied the influence of nitrogen source and sucrose concentration in the feeding medium for biomass and inulinase production by Kluyveromyces marxianus var. bulgaricus. The results show that the best nitrogen source was a combination of 5 g/L of yeast extract and 10 g/L of peptone. Both cellular growth and enzymatic activity increased with sucrose concentration in the feeding medium (from 200 to 500 g/L). When the sucrose concentration reached 600 g/L, both cellular growth and enzymatic activity decreased.
Resumo:
[EN]The re-identification problem has been commonly accomplished using appearance features based on salient points and color information. In this paper, we focus on the possibilities that simple geometric features obtained from depth images captured with RGB-D cameras may offer for the task, particularly working under severe illumination conditions. The results achieved for different sets of simple geometric features extracted in a top-view setup seem to provide useful descriptors for the re-identification task, which can be integrated in an ambient intelligent environment as part of a sensor network.
Resumo:
The objective of the current study was to assess how closely batch cultures (BC) of rumen microorganisms can mimic the dietary differences in fermentation characteristics found in the rumen, and to analyse changes in bacterial diversity over the in vitro incubation period. Four ruminally and duodenally cannulated sheep were fed four diets having forage : concentrate ratios (FCR) of 70 : 30 or 30 : 70, with either alfalfa hay or grass hay as forage. Rumen fluid from each sheep was used to inoculate BC containing the same diet fed to the donor sheep, and the main rumen fermentation parameters were determined after 24 h of incubation. There were differences between BC and sheep in the magnitude of most measured parameters, but BC detected differences among diets due to forage type similar to those found in sheep. In contrast, BC did not reproduce the dietary differences due to FCR found in sheep for pH, degradability of neutral detergent fibre and total volatile fatty acid (VFA) concentrations. There were differences between systems in the magnitude of most determined parameters and BC showed higher pH values and NH3–N concentrations, but lower fibre degradability and VFA and lactate concentrations compared with sheep. There were significant relationships between in vivo and in vitro values for molar proportions of acetate, propionate and butyrate, and the acetate : propionate ratio. The automated ribosomal intergenic spacer analysis (ARISA) of 16S ribosomal deoxyribonucleic acid showed that FCR had no effect on bacterial diversity either in the sheep rumen fluid used as inoculum (IN) or in BC samples. In contrast, bacterial diversity was greater with alfalfa hay diets than those with grass hay in the IN, but was unaffected by forage type in the BC. Similarity index between the bacterial communities in the inocula and those in the BC ranged from 67·2 to 74·7%, and was unaffected by diet characteristics. Bacterial diversity was lower in BC than in the inocula with 14 peaks out of a total of 181 detected in the ARISA electropherograms never appearing in BC samples, which suggests that incubation conditions in the BC may have caused a selection of some bacterial strains. However, each BC sample showed the highest similarity index with its corresponding rumen IN, which highlights the importance of using rumen fluid from donors fed a diet similar to that being incubated in BC when conducting in vitro experiments.
Resumo:
Person re-identification involves recognizing a person across non-overlapping camera views, with different pose, illumination, and camera characteristics. We propose to tackle this problem by training a deep convolutional network to represent a person’s appearance as a low-dimensional feature vector that is invariant to common appearance variations encountered in the re-identification problem. Specifically, a Siamese-network architecture is used to train a feature extraction network using pairs of similar and dissimilar images. We show that use of a novel multi-task learning objective is crucial for regularizing the network parameters in order to prevent over-fitting due to the small size the training dataset. We complement the verification task, which is at the heart of re-identification, by training the network to jointly perform verification, identification, and to recognise attributes related to the clothing and pose of the person in each image. Additionally, we show that our proposed approach performs well even in the challenging cross-dataset scenario, which may better reflect real-world expected performance.
Resumo:
The influence of impeller type and stirring frequency on the performance of a mechanically stirred anaerobic sequencing batch reactor containing immobilized biomass on an inert support (AnSBBR - Anaerobic Sequencing Batch Biofilm Reactor) was evaluated. The biomass was immobilized on polyurethane foam cubes placed in a stainless-steel basket inside a glass cylinder. Each 8-h batch run consisted of three stages: feed (10 min), reaction (460 min) and discharge (10 min) at 30 degrees C. Experiments were performed with four impeller types, i.e., helical, flat-blade, inclined-blade and curved-blade turbines, at stirring frequencies ranging from 100 to 1100 rpm. Synthetic wastewater was used in all experiments with an organic-matter concentration of 530 +/- 37 mg/L measured as chemical oxygen demand (COD). The reactor achieved an organic-matter removal efficiency of around 87% under all investigated conditions. Analysis of the four impeller types and the investigated stirring frequencies showed that mass transfer in the liquid phase was affected not only by the applied stirring frequency but also by the agitation mode imposed by each impeller type. The best reactor performance at all stirring frequencies was obtained when agitation was provided by the flat-blade turbine impeller. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
Modulation of salt appetite involves interactions between the circumventricular organs (CVOs) receptive areas and inhibitory hindbrain serotonergic circuits. Recent studies provide support to the idea that the serotonin action in the lateral parabrachial nucleus (LPBN) plays an important inhibitory role in the modulation of sodium appetite. The aim of the present work was to identify the specific groups of neurons projecting to the LPBN that are activated in the course of sodium appetite regulation, and to analyze the associated endocrine response, specifically oxytocin (OT) and atrial natriuretic peptide (ANP) plasma release, since both hormones have been implicated in the regulatory response to fluid reestablishment. For this purpose we combined the detection of a retrograde transported dye, Fluorogold (FG) injected into the LPBN with the analysis of the Fos immunocytochemistry brain pattern after sodium intake induced by sodium depletion. We analyzed the Fos-FG immunoreactivity after sodium ingestion induced by peritoneal dialysis (PD). We also determined OT and ANP plasma concentration by radioimmunoassay (RIE) before and after sodium intake stimulated by PD. The present study identifies specific groups of neurons along the paraventricular nucleus, central extended amygdala, insular cortex, dorsal raphe nucleus, nucleus of the solitary tract and the CVOs that are activated during the modulation of sodium appetite and have direct connections with the LPBN. It also shows that OT and ANP are released during the course of sodium satiety and fluid reestablishment. The result of this brain network activity may enable appropriate responses that re-establish the body fluid balance after induced sodium consumption. (C) 2009 Elsevier Inc. All rights reserved.
Resumo:
Background: Mushroom polysaccharides play an important role in functional foods because they exhibit biological modulator properties such as antitumour, antiviral and antibacterial activities. The present study involved the production, purification and characterisation of intracellular and extracellular free and protein-bound polysaccharides from Pleurotus ostreatus and the investigation of their growth-inhibitory effect on human carcinoma cell lines. Results: Several fermentation parameters were obtained: batch polysaccharide productivities of 0.013 +/- 8.12 x 10-5 and 0.037 +/- 0.0005 g L-1 day-1 for intracellular and extracellular polysaccharides respectively, a maximum biomass concentration of 9.35 +/- 0.18 g L-1, Pmax = 0.935 +/- 0.018 g L-1 day-1, µmax = 0.218 +/- 0.02 day-1, YEP/X = 0.040 +/- 0.0015 g g-1 and YIP/X = 0.014 +/- 0.0003 g g-1. Some polysaccharides exhibited superoxide dismutase (SOD)-like activity of 50-200 units. Fourier transform infrared analysis of the polysaccharides revealed absorption bands characteristic of such biological macromolecules. Cytotoxicity assays showed that both intracellular and extracellular polysaccharides exhibited antitumour activity towards several tested human carcinoma cell lines in a dose-dependent manner. Conclusion - The polysaccharides of P. ostreatus exhibited high SOD-like activity, which strongly supports their biological effect on tumour cell lines. The extracellular polysaccharides presented the highest antitumour activity towards the RL95 carcinoma cell line and should be further investigated as an antitumour agent.
Resumo:
Saccharomyces cerevisiae as well as other microorganisms are frequently used in industry with the purpose of obtain different kind of products that can be applied in several areas (research investigation, pharmaceutical compounds, etc.). In order to obtain high yields for the desired product, it is necessary to make an adequate medium supplementation during the growth of the microorganisms. The higher yields are typically reached by using complex media, however the exact formulation of these media is not known. Moreover, it is difficult to control the exact composition of complex media, leading to batch-to-batch variations. So, to overcome this problem, some industries choose to use defined media, with a defined and known chemical composition. However these kind of media, many times, do not reach the same high yields that are obtained by using complex media. In order to obtain similar yield with defined media the addition of many different compounds has to be tested experimentally. Therefore, the industries use a set of empirical methods with which it is tried to formulate defined media that can reach the same high yields as complex media. In this thesis, a defined medium for Saccharomyces cerevisiae was developed using a rational design approach. In this approach a given metabolic network of Saccharomyces cerevisiae is divided into a several unique and not further decomposable sub networks of metabolic reactions that work coherently in steady state, so called elementary flux modes. The EFMtool algorithm was used in order to calculate the EFM’s for two Saccharomyces cerevisiae metabolic networks (amino acids supplemented metabolic network; amino acids non-supplemented metabolic network). For the supplemented metabolic network 1352172 EFM’s were calculated and then divided into: 1306854 EFM’s producing biomass, and 18582 EFM’s exclusively producing CO2 (cellular respiration). For the non-supplemented network 635 EFM’s were calculated and then divided into: 215 EFM’s producing biomass; 420 EFM’s producing exclusively CO2. The EFM’s of each group were normalized by the respective glucose consumption value. After that, the EFMs’ of the supplemented network were grouped again into: 30 clusters for the 1306854 EFMs producing biomass and, 20 clusters for the 18582 EFM’s producing CO2. For the non-supplemented metabolic network the respective EFM’s of each metabolic function were grouped into 10 clusters. After the clustering step, the concentrations of the other medium compounds were calculated by considering a reasonable glucose amount and by accounting for the proportionality between the compounds concentrations and the glucose ratios. The approach adopted/developed in this thesis may allow a faster and more economical way for media development.
Resumo:
Plasma cells represent the end stage of B-cell development and play a key role in providing an efficient antibody response, but they are also involved in numerous pathologies. Here we show that CD93, a receptor expressed during early B-cell development, is reinduced during plasma-cell differentiation. High CD93/CD138 expression was restricted to antibody-secreting cells both in T-dependent and T-independent responses as naive, memory, and germinal-center B cells remained CD93-negative. CD93 was expressed on (pre)plasmablasts/plasma cells, including long-lived plasma cells that showed decreased cell cycle activity, high levels of isotype-switched Ig secretion, and modification of the transcriptional network. T-independent and T-dependent stimuli led to re-expression of CD93 via 2 pathways, either before or after CD138 or Blimp-1 expression. Strikingly, while humoral immune responses initially proceeded normally, CD93-deficient mice were unable to maintain antibody secretion and bone-marrow plasma-cell numbers, demonstrating that CD93 is important for the maintenance of plasma cells in bone marrow niches.
Resumo:
The objective of this research was to evaluate the parasitism behavior of Telenomus podisi Ashmead, Trissolcus basalis (Wollaston) e Trissolcus urichi Crawford (Hymenoptera: Scelionidae) on eggs of Nezara viridula L., Euschistus heros F., Piezodorus guildinii Westwood and Acrosternum aseadum Rolston (Heteroptera: Pentatomidae), in no choice and multiple choice experiments. For all parasitoid species, the results demonstrated the existence of a main host species that maximizes the reproductive success. The competitive interactions among the parasitoid species were investigated in experiments of sequential and simultaneous release of different combinations of parasitoid pairs on the hosts N. viridula, E. heros and A. aseadum. Exploitative competition was observed for egg batches at the genus level (Telenomus vs. Trissolcus) and interference competition at the species level (T. basalis vs. T. urichi). Trissolcus urichi was the most aggressive species, interfering with the parasitism of T. basalis. Generally, T. basalis showed an opportunistic behavior trying to parasitise eggs after T. urichi had abandoned the egg batch. The selection of parasitoid species for use in augmentative biological control programs should take into account the diversity of pentatomids present in soybean in addition to the interactions among the different species of parasitoids.