986 resultados para source code querying
Resumo:
The usual high cost of commercial codes, and some technical limitations, clearly limits the employment of numerical modelling tools in both industry and academia. Consequently, the number of companies that use numerical code is limited and there a lot of effort put on the development and maintenance of in-house academic based codes . Having in mind the potential of using numerical modelling tools as a design aid, of both products and processes, different research teams have been contributing to the development of open source codes/libraries. In this framework, any individual can take advantage of the available code capabilities and/or implement additional features based on his specific needs. These type of codes are usually developed by large communities, which provide improvements and new features in their specific fields of research, thus increasing significantly the code development process. Among others, OpenFOAM® multi-physics computational library, developed by a very large and dynamic community, nowadays comprises several features usually only available in their commercial counterparts; e.g. dynamic meshes, large diversity of complex physical models, parallelization, multiphase models, to name just a few. This computational library is developed in C++ and makes use of most of all language capabilities to facilitate the implementation of new functionalities. Concerning the field of computational rheology, OpenFOAM® solvers were recently developed to deal with the most relevant differential viscoelastic rheological models, and stabilization techniques are currently being verified. This work describes the implementation of a new solver in OpenFOAM® library, able to cope with integral viscoelastic models based on the deformation field method. The implemented solver is verified through the comparison of the predicted results with analytical solutions, results published in the literature and by using the Method of Manufactured Solutions
Resumo:
Our objective was to validate a new device dedicated to measure the light disturbances surrounding bright sources of light under different sources of potential variability. Twenty subjects were involved in the study. Light distortion was measured using an experimental prototype (light distortion analyzer, CEORLab, University of Minho, Portugal) comprising twenty-four LED arrays panel at 2 m. Sources of variability included: intrasession and intersession repeated measures, pupil size (3 versus 6 mm), defocus (þ0.50) correction for the working distance, angular resolution (15 deg versus 30 deg), temporal stimuli presentation, and pupil size. Size, shape, location, and irregularity parameters have been obtained. At a low speed of presentation of the stimuli, changes in angular resolution did not have an effect on the results of the parameters measured. Results did not change with pupil size. Intensity of the central glare source significantly influenced the outcomes. Examination time was reduced by 30% when a 30 deg angular resolution was explored instead of 15 deg. Measurements were fast and repeatable under the same experimental conditions. Size and shape parameters showed the highest consistency, whereas location and irregularity parameters showed lower consistency. The system was sensitive to changes in the intensity of the central glare source but not to pupil changes in this sample of healthy subjects.
Resumo:
Dissertação de mestrado em Genética Molecular
Resumo:
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.
Resumo:
Supplementary data associated with this article can be found, in the online version, at: http://dx.doi.org/10.1016/j.cej.2016.03.148.
Resumo:
The occurrence of anaerobic oxidation of methane (AOM) and trace methane oxidation (TMO) was investigated in a freshwater natural gas source. Sediment samples were taken and analyzed for potential electron acceptors coupled to AOM. Long-term incubations with 13C-labeled CH4 (13CH4) and different electron acceptors showed that both AOM and TMO occurred. In most conditions, 13C-labeled CO2 (13CO2) simultaneously increased with methane formation, which is typical for TMO. In the presence of nitrate, neither methane formation nor methane oxidation occurred. Net AOM was measured only with sulfate as electron acceptor. Here, sulfide production occurred simultaneously with 13CO2 production and no methanogenesis occurred, excluding TMO as a possible source for 13CO2 production from 13CH4. Archaeal 16S rRNA gene analysis showed the highest presence of ANME-2a/b (ANaerobic MEthane oxidizing archaea) and AAA (AOM Associated Archaea) sequences in the incubations with methane and sulfate as compared with only methane addition. Higher abundance of ANME-2a/b in incubations with methane and sulfate as compared with only sulfate addition was shown by qPCR analysis. Bacterial 16S rRNA gene analysis showed the presence of sulfate-reducing bacteria belonging to SEEP-SRB1. This is the first report that explicitly shows that AOM is associated with sulfate reduction in an enrichment culture of ANME-2a/b and AAA methanotrophs and SEEP-SRB1 sulfate reducers from a low-saline environment.
Resumo:
This study utilised recent developments in forensic aromatic hydrocarbon fingerprint analysis to characterise and identify specific biogenic, pyrogenic and petrogenic contamination. The fingerprinting and data interpretation techniques discussed include the recognition of: The distribution patterns of hydrocarbons (alkylated naphthalene, phenanthrene, dibenzothiophene, fluorene, chrysene and phenol isomers), • Analysis of “source-specific marker” compounds (individual saturated hydrocarbons, including n-alkanes (n-C5 through 0-C40) • Selected benzene, toluene, ethylbenzene and xylene isomers (BTEX), • The recalcitrant isoprenoids; pristane and phytane and • The determination of diagnostic ratios of specific petroleum / non-petroleum constituents, and the application of various statistical and numerical analysis tools. An unknown sample from the Irish Environmental Protection Agency (EPA) for origin characterisation was subjected to analysis by gas chromatography utilising both flame ionisation and mass spectral detection techniques in comparison to known reference materials. The percentage of the individual Polycyclic Aromatic Hydrocarbons (PAIIs) and biomarker concentrations in the unknown sample were normalised to the sum of the analytes and the results were compared with the corresponding results with a range of reference materials. In addition, to the determination of conventional diagnostic PAH and biomarker ratios, a number of “source-specific markers” isomeric PAHs within the same alkylation levels were determined, and their relative abundance ratios were computed in order to definitively identify and differentiate the various sources. Statistical logarithmic star plots were generated from both sets of data to give a pictorial representation of the comparison between the unknown sample and reference products. The study successfully characterised the unknown sample as being contaminated with a “coal tar” and clearly demonstrates the future role of compound ratio analysis (CORAT) in the identification of possible source contaminants.
Resumo:
1912:May
Resumo:
Magdeburg, Univ., Fak. für Informatik, Diss., 2013
Resumo:
In this paper the construction of Reed-Solomon RS(255,239) codeword is described and the process of coding and decoding a message is simulated and verified. RS(255,239), or its shortened version RS(224,208) is used as a coding technique in Low-Power Single Carrier (LPSC) physical layer, as described in IEEE 802.11ad standard. The encoder takes 239 8-bit information symbols, adds 16 parity symbols and constructs 255-byte codeword to be transmitted through wireless communication channel. RS(255,239) codeword is defined over Galois Field GF and is used for correcting upto 8 symbol errors. RS(255,239) code construction is fully implemented and Simulink test project is constructed for testing and analyzing purposes.
Resumo:
The aim of the present study was to determine whether wild adult Anastrepha obliqua (Macquart, 1835) females are able to associate a compound (quinine sulphate - QS) not related to their habitual diet with a protein-enriched food. Females were first fed on diets based on brewer yeast and sucrose containing or not QS. The groups were then allowed to choose between their original diets and a diet with or without QS, depending on the previous treatment, and between a diet based on agar and a diet containing agar and QS. When the nutritional value of the diets was adequate, the females did not show any preference for the diet with or without QS. With respect to the agar diet and the agar + QS diet, females previously fed on a nutritive diet containing QS preferred the diet containing QS, indicating an association between the compound and the nutritional value of the diet. The importance of this behavioral strategy is discussed.