73 resultados para Homomorphic e-Auction, Bid Validity Check, Batch Verification, Oblivious Transfer
Resumo:
The objective of this study was to estimate the first-order intrinsic kinetic constant (k(1)) and the liquid-phase mass transfer coefficient (k(c)) in a bench-scale anaerobic sequencing batch biofilm reactor (ASBBR) fed with glucose. A dynamic heterogeneous mathematical model, considering two phases (liquid and solid), was developed through mass balances in the liquid and solid phases. The model was adjusted to experimental data obtained from the ASBBR applied for the treatment of glucose-based synthetic wastewater with approximately 500 mg L-1 of glucose, operating in 8 h batch cycles, at 30 degrees C and 300 rpm. The values of the parameters obtained were 0.8911 min(-1) for k(1) and 0.7644 cm min(-1) for kc. The model was validated utilizing the estimated parameters with data obtained from the ASBBR operating in 3 h batch cycles, with a good representation of the experimental behavior. The solid-phase mass transfer flux was found to be the limiting step of the overall glucose conversion rate.
Resumo:
This paper presents results on a verification test of a Direct Numerical Simulation code of mixed high-order of accuracy using the method of manufactured solutions (MMS). This test is based on the formulation of an analytical solution for the Navier-Stokes equations modified by the addition of a source term. The present numerical code was aimed at simulating the temporal evolution of instability waves in a plane Poiseuille flow. The governing equations were solved in a vorticity-velocity formulation for a two-dimensional incompressible flow. The code employed two different numerical schemes. One used mixed high-order compact and non-compact finite-differences from fourth-order to sixth-order of accuracy. The other scheme used spectral methods instead of finite-difference methods for the streamwise direction, which was periodic. In the present test, particular attention was paid to the boundary conditions of the physical problem of interest. Indeed, the verification procedure using MMS can be more demanding than the often used comparison with Linear Stability Theory. That is particularly because in the latter test no attention is paid to the nonlinear terms. For the present verification test, it was possible to manufacture an analytical solution that reproduced some aspects of an instability wave in a nonlinear stage. Although the results of the verification by MMS for this mixed-order numerical scheme had to be interpreted with care, the test was very useful as it gave confidence that the code was free of programming errors. Copyright (C) 2009 John Wiley & Sons, Ltd.
Resumo:
This study aimed to determine the efficiency of an anaerobic stirred sequencing-batch reactor containing granular biomass for the degradation of linear alkylbenzene sulfonate (LAS), a surfactant present in household detergent. The bioreactor was monitored for LAS concentrations in the influent, effluent and sludge, pH, chemical oxygen demand, bicarbonate alkalinity, total solids, and volatile solids. The degradation of LAS was found to be higher in the absence of co-substrates (53%) than in their presence (24-37%). Using the polymerase chain reaction and denaturing gradient gel electrophoresis (PCR/DGGE), we identified populations of microorganisms from the Bacteria and Archaea domains. Among the bacteria, we identified uncultivated populations of Arcanobacterium spp. (94%) and Opitutus spp. (96%). Among the Archaea, we identified Methanospirillum spp. (90%), Methanosaeta spp. (98%), and Methanobacterium spp. (96%). The presence of methanogenic microorganisms shows that LAS did not inhibit anaerobic digestion. Sampling at the last stage of reactor operation recovered 61 clones belonging to the domain bacteria. These represented a variety of phyla: 34% shared significant homology with Bacteroidetes, 18% with Proteobacteria, 11% with Verrucomicrobia, 8% with Fibrobacteres, 2% with Acidobacteria, 3% with Chlorobi and Firmicutes, and 1% with Acidobacteres and Chloroflexi. A small fraction of the clones (13%) were not related to any phylum. Published by Elsevier Ltd.
Resumo:
Chloride attack in marine environments or in structures where deicing salts are used will not always show profiles with concentrations that decrease from the external surface to the interior of the concrete. Some profiles show an increase in chloride concentrations from when a peak is formed. This type of profile must be analyzed in a different way from the traditional model of Fick`s second law to generate more precise service life models. A model for forecasting the penetration of chloride ions as a function of time for profiles having formed a peak. To confirm the efficiency of this model, it is necessary to observe the behavior of a chloride profile with peak in a specific structure over a period of time. To achieve this, two chloride profiles with different ages (22 and 27 years) were extracted from the same structure. The profile obtained from the 22-year sample was used to estimate the chloride profile at 27 years using three models: a) the traditional model using Fick`s second law and extrapolating the value of C(S)-external surface chloride concentration; b) the traditional model using Fick`s second law and shifting the x-axis to the peak depth; c) the previously proposed model. The results from these models were compared with the actual profile measured in the 27-year sample and the results were analyzed. The model was presented with good precision for this study of case, requiring to be tested with other structures in use.
Resumo:
A large percentage of pile caps support only one column, and the pile caps in turn are supported by only a few piles. These are typically short and deep members with overall span-depth ratios of less than 1.5. Codes of practice do not provide uniform treatment for the design of these types of pile caps. These members have traditionally been designed as beams spanning between piles with the depth selected to avoid shear failures and the amount of longitudinal reinforcement selected to provide sufficient flexural capacity as calculated by the engineering beam theory. More recently, the strut-and-tie method has been used for the design of pile caps (disturbed or D-region) in which the load path is envisaged to be a three-dimensional truss, with compressive forces being supported by concrete compressive struts between the column and piles and tensile forces being carried by reinforcing steel located between piles. Both of these models have not provided uniform factors of safety against failure or been able to predict whether failure will occur by flexure (ductile mode) or shear (fragile mode). In this paper, an analytical model based on the strut-and-tie approach is presented. The proposed model has been calibrated using an extensive experimental database of pile caps subjected to compression and evaluated analytically for more complex loading conditions. It has been proven to be applicable across a broad range of test data and can predict the failures modes, cracking, yielding, and failure loads of four-pile caps with reasonable accuracy.
Resumo:
This paper presents new experimental results of Vortex-Induced Vibration (VIV) on inclined cylinders. Models are mounted on a low damping air-bearing elastic base with one degree-of-freedom, constrained to oscillate only in the transverse direction to a free stream. The Reynolds number varied in the range 2000 less than or similar to Re less than or similar to 8000. New measurements on the dynamic response oscillations of inclined cylinders, due to VIV, are compared with previous experiments of a vertical cylinder. Models with circular and elliptical cross sections have been tested. The purpose of this work is to check the validity of the normal velocity correction of VIV studies of inclined structures. The results show that the reduced velocity range, in which the upper and lower branches of VIV occurs, is similar to the vertical cylinder case if the proper projected velocity is considered. Tests have been conducted to support this observation with inclinations up to 45 degrees. We have also observed that the amplitudes of oscillation of the inclined circular cylinder are comparable, but slightly lower than, to the amplitudes observed in the vertical cylinder experiments. Measured forces and added mass also show similar behaviour. However, for cases with an elliptical cylinder, the amplitudes of oscillation are considerably lower than those observed for a circular cylinder. This difference is explained by the higher added mass of the elliptical cylinder. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
Conventional procedures used to assess the integrity of corroded piping systems with axial defects generally employ simplified failure criteria based upon a plastic collapse failure mechanism incorporating the tensile properties of the pipe material. These methods establish acceptance criteria for defects based on limited experimental data for low strength structural steels which do not necessarily address specific requirements for the high grade steels currently used. For these cases, failure assessments may be overly conservative or provide significant scatter in their predictions, which lead to unnecessary repair or replacement of in-service pipelines. Motivated by these observations, this study examines the applicability of a stress-based criterion based upon plastic instability analysis to predict the failure pressure of corroded pipelines with axial defects. A central focus is to gain additional insight into effects of defect geometry and material properties on the attainment of a local limit load to support the development of stress-based burst strength criteria. The work provides an extensive body of results which lend further support to adopt failure criteria for corroded pipelines based upon ligament instability analyses. A verification study conducted on burst testing of large-diameter pipe specimens with different defect length shows the effectiveness of a stress-based criterion using local ligament instability in burst pressure predictions, even though the adopted burst criterion exhibits a potential dependence on defect geometry and possibly on material`s strain hardening capacity. Overall, the results presented here suggests that use of stress-based criteria based upon plastic instability analysis of the defect ligament is a valid engineering tool for integrity assessments of pipelines with axial corroded defects. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
Due to its outstanding flexibility, batch distillation is still widely used in many separation processes. In the present work, a comparison between constant and variable reflux operations is studied. Firstly, a mathematical model is developed and then validated through comparison between predicted and experimental results accomplished in a lab-scale apparatus. Therefore, case studies are performed through mathematical simulations. It is noted that the most economical form of batch distillation is at constant overhead product composition, keeping the flow rate of vapor from the top of the column constant. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
The aim of this work is the study of batch liquid-liquid extraction of phenol from aqueous solutions in a bench-scale well-mixed reactor. The influence of the ratio of phase volumes, temperature, and rotational speed on phenol removal (0.72-1.1% w/w) was investigated using methyl isobutyl ketone as an extracting solvent. For this purpose, the ratio of phase volumes were set at 0.1 and 0.2, the temperature at 10, 20, and 30 degrees C, and the rotational speed at 300, 400, and 500 rpm. A physical model based on the material balance of the phases as well as the equation of mass flux between the phases allowed the estimation of the overall coefficient of mass transfer coupled with the superficial area. Moreover, it proved to fit, satisfactorily well, the experimental data of residual phenol concentration in the organic phase versus time under all the conditions investigated.
Resumo:
Repeated-batch cultures of Ca-alginate immobilized cells of Streptomyces olindensis ICB20 for retamycin production were carried out in two different bioreactors: a basket-type stirred tank reactor (BSTR) and a bubble column reactor (BCR). Higher average values of retamycin content (R) and productivity (P-R) were achieved in the BSTR cultures (about 1.7 AU and 0.031 AU h(-1), respectively) compared to those obtained in the BCR cultures (about 0.6 AU and 0.012 AU h(-1), respectively). The BCR, on the other hand, presented significantly better operation stability than the BSTR, which makes the former much more promising regarding future industrial applications. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.
Resumo:
Previous work demonstrated that a mixture of NH(4)Cl and KNO(3) as nitrogen source was beneficial to fed-batch Arthrospira (Spirulina) platensis cultivation, in terms of either lower costs or higher cell concentration. On the basis of those results, this study focused on the use of a cheaper nitrogen source mixture, namely (NH(4))(2)SO(4) plus NaNO(3), varying the ammonium feeding time (T = 7-15 days), either controlling the pH by CO(2) addition or not. A. platensis was cultivated in mini-tanks at 30 degrees C, 156 mu mol photons m(-2) s(-1), and starting cell concentration of 400 mg L(-1), on a modified Schlosser medium. T = 13 days under pH control were selected as optimum conditions, ensuring the best results in terms of biomass production (maximum cell concentration of 2911 mg L(-1), cell productivity of 179 mg L(-1) d(-1) and specific growth rate of 0.77 d(-1)) and satisfactory protein and lipid contents (around 30% each). (C) 2011 Elsevier Ltd. All rights reserved.
Resumo:
Arthrospira platensis was cultivated in tubular photobioreactor using different photosynthetic photon flux densities (PPFD) and protocols of (NH(4))(2)SO(4) fed-hatch supply. Results were evaluated by variance analysis selecting maximum cell concentration (X(m)), cell productivity (P(x)), nitrogen-to-cell conversion factor (Y(X/N)) and biomass, protein and lipid contents as responses. At PPFD of 120 and 240 mu mol-photons/m(2) s, a parabolic profile of (NH(4))(2)SO(4) addition aiming at producing biomass with 7% nitrogen content ensured X(m) values (14.1 and 12.2 g/L, respectively) comparable to those obtained with NaNO(3). At PPFD of 240 mu mol-photons/m(2) s, P(x) (1.69 g/Ld) was 36% higher, although the photosynthetic efficiency (3.0%) was less than one-half that at PPFD of 120 mu mol-photons/m(2) s. Biomass was shown to be constituted by about 35% proteins and 10% lipids, without any dependence on PPFD or kind of nitrogen source. These results highlight the possible use of (NH(4))(2)SO(4) as alternative, cheap nitrogen source for A. platensis cultivation in tubular photobioreactors. (C) 2010 American Institute of Chemical Engineers Biotechnol. Prog., 26: 1271-1277, 2010
Resumo:
Arthrospira platensis was cultivated in minitanks at 13 klux, using a mixture of KNO(3) and NH(4)Cl as nitrogen source. Fed-batch daily supply of NH(4)Cl at exponentially-increasing feeding rate allowed preventing ammonia toxicity and nitrogen deficiency, providing high maximum cell concentration (X(m)) and high-quality biomass (21.85 mg chlorophyll g cells(-1); 20.5% lipids; 49.8% proteins). A central composite design combined to response surface methodology was utilized to determine the relationships between responses (X(m), cell productivity and nitrogen-to-cell conversion factor) and independent variables (KNO(3) and NH(4)Cl concentrations). Under optimum conditions (15.5 mM KNO3; 14.1 mM NH(4)Cl), X(m) was 4327 mg L(-1), a value almost coincident with that obtained with only 25.4 mM KNO(3), but more than twice that obtained with 21.5 mM NH(4)Cl. A 30%-reduction of culture medium cost can be estimated when compared to KNO(3)-batch runs, thus behaving as a cheap alternative for the commercial production of this cyanobacterium. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
PEGylation is one of the most promising and extensively studied strategies for improving the pharmacological properties of proteins as well as their physical and thermal stability. Purified lysozyme obtained from hen egg white by batch mode was modified by PEGylation with methoxypolyethyleneglycol succinimidyl succinato (mPEG-SS, MW 5000). The conjugates produced retained full enzyme activity with the substrate glycol chitosan, independent of degree of enzyme modification, although lysozyme activity with the substrate Micrococcus lysodeikticus was altered according to the degree of modification. The conjugate with a low degree of modification by mPEG-SS retained 67% of its enzyme activity with the M. lysodeikticus substrate. The mPEG-SS was also shown to be a highly reactive polymer. The effects of pH and temperature on PEGylated lysozymes indicated that the conjugate was active over a wide pH range and was stable up to 50 degrees C. This conjugate also showed resistance to proteolytic degradation, remained stable in human serum, and displayed greater antimicrobial activity than native lysozyme against Gram-negative bacteria.