Substitution-Newton-Raphson method applied to the modeling of a vapour compression refrigeration system using different representations of the thermodynamic properties of R-134a

This paper gives a detailed presentation of the Substitution-Newton-Raphson method, suitable for large sparse non-linear systems. It combines the Successive Substitution method and the Newton-Raphson method in such way as to take the best advantages of both, keeping the convergence features of the Newton-Raphson with the low requirements of memory and time of the Successive Substitution schemes. The large system is solved employing few effective variables, using the greatest possible part of the model equations in substitution fashion to fix the remaining variables, but maintaining the convergence characteristics of the Newton-Raphson. The methodology is exemplified through a simple algebraic system, and applied to a simple thermodynamic, mechanical and heat transfer modeling of a single-stage vapor compression refrigeration system. Three distinct approaches for reproducing the thermodynamic properties of the refrigerant R-134a are compared: the linear interpolation from tabulated data, the use of polynomial fitted curves and the use of functions derived from the Helmholtz free energy.

Real-time Image-based RGB-D Camera Motion Tracking and Environment Mapping

In this work, image based estimation methods, also known as direct methods, are studied which avoid feature extraction and matching completely. Cost functions use raw pixels as measurements and the goal is to produce precise 3D pose and structure estimates. The cost functions presented minimize the sensor error, because measurements are not transformed or modified. In photometric camera pose estimation, 3D rotation and translation parameters are estimated by minimizing a sequence of image based cost functions, which are non-linear due to perspective projection and lens distortion. In image based structure refinement, on the other hand, 3D structure is refined using a number of additional views and an image based cost metric. Image based estimation methods are particularly useful in conditions where the Lambertian assumption holds, and the 3D points have constant color despite viewing angle. The goal is to improve image based estimation methods, and to produce computationally efficient methods which can be accomodated into real-time applications. The developed image-based 3D pose and structure estimation methods are finally demonstrated in practise in indoor 3D reconstruction use, and in a live augmented reality application.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

INTERCROPPING CORN WITH A COMBINATION OF TREE SPECIES TO CONTROL WEEDS

ABSTRACT The combination of crop residues or crop extracts is often more advantageous in controlling weeds, than the application of each residue or extract singly. This suggests that in intercropping with maize, the combination of tree species can be more advantageous than species isolated in weed control. The objective of this study was to evaluate the effects of intercropping with a combination of leguminous on the weed growth and corn yield. A randomized-block design with split plots (cultivars in plots) and five replicates was established. The cultivars BR 205 and AG 1041 were subject to the following treatments: two weedings (A), intercropping with sabiá (B), gliricidia (C), gliricidia + sabiá (D) and no weeding (E). In the B and C, 30 viable seeds m-2 of the leguminous were sown. In the D, 15 seeds of each species were sown m-2. The legumes were sown by random casting during corn planting. The sequence of the best treatments in reducing the growth of weeds is A > B = C = D = E. The sequence of the best treatments when are considered the yields of baby corn, green corn and grain is A > B > C > D > E. The cultivars do not differ in regards to the reduction in weed growth. In terms of corn yield cultivar BR 205 is the best.

Occurrence of xyloglucan containing protuberances in the storage cell walls of cotyledons of Hymenaea courbaril L.

Despite the suggestions of its pectic composition, no clear evidence for this has been presented. Here we show the occurrence of such a structure in walls of cells from cotyledons of Hymenaea courbariI L. These cells are known to accumulate large amounts of storage xyloglucan in the wall and, in this case, the protuberances seem to contain this storage polysaccharide rather than pectin. A hypothetical sequence of events leading from wall strands to protuberances was assembled based on scanning electron microscopy observations. On this basis, a tentative model for how polysaccharides are distributed into the wall, near the regions where protuberances are found, is proposed to explain the presence of storage xyloglucan in their composition.

The succession dynamics of a macroalgal community after a flood disturbance in a tropical stream from São Paulo State, southeastern Brazil

The succession dynamics of a macroalgal community in a tropical stream (20º58' S and 49º25' W) was investigated after disturbance by a sequence of intensive rains. High precipitation levels caused almost complete loss of the macroalgal community attached to the substratum and provided a strong pressure against its immediate re-establishment. After this disturbance, a weekly sampling program from May 1999 to January 2000 was established to investigate macroalgal recolonization. The community changed greatly throughout the succession process. The number of species varied from one to seven per sampling. Global abundance of macroalgal community did not reveal a consistent temporal pattern of variation. In early succession stages, the morphological form of tufts dominated, followed by unbranched filaments. Latter succession stages showed the almost exclusive occurrence of gelatinous forms, including filaments and colonies. The succession trajectory was mediated by phosphorus availability in which community composition followed a scheme of changes in growth forms. However, we believe that deterministic and stochastic processes occur in lotic ecosystems, but they are dependent on the length of time considered in the succession analyses.

Flowering and fruiting of Aulonemia aristulata: a gynomonoecious woody bamboo species from Atlantic Forest in Brazil

Aulonemia aristulata (Döll) McClure is a lignified bamboo species endemic to Brazil. This species occurs in southeastern forests and can reach high density at forest edges, dominating the understory of canopy-disturbed forest patches. The goal of this study was to describe the flowering period, floral biology, fruiting and seedling recruitment of A. aristulata in natural conditions in two areas located in a segment of the Atlantic Forest. Data on the morphology of the synflorescences and florets, timing and sequence of the anthesis events and floral visitors were recorded. Natural pollinators (open pollination or control) as well as spontaneous self-pollination were also checked. Pollen viability was estimated using the acetocarmine technique. Aulonemia aristulata is monocarpic (semelparous) with gregarious flowering. All culms in both studied areas blossomed and fruited between August and November 2007, dying subsequently between December 2007 and April 2008. Two types of synflorescences and flowers were observed: terminal with bisexual and protandric florets, with the anthesis lasting for 3-4 days; and axillary, with morphologically bisexual, but functionally female, florets and anthesis lasting for 3-4 days. The latter were also observed in the rhizome of plants whose aerial portion had been removed. The presence of axillary synflorescences with pistillate flowers is described here for the first time in Aulonemia species. Moreover, this is the first report of gynomonoecy in woody bamboo. Fruiting from bisexual florets under natural conditions (35%) was superior to that obtained from bagged synflorescences (11.5%). Fruiting from functional female florets was around 20%. Pollen viability was on the average of 90%. The results suggest that Aulonemia aristulata is anemophilous. The massive bamboo seedling recruitment observed after dieback with the ability to colonize open areas could promote the regeneration of Aulonemia aristulata.

Erythrocytes modulate cell cycle progression but not the baseline frequency of sister chromatid exchanges in pig lymphocytes

The effect of co-culturing varying concentrations of pig and human red blood cells (RBCs) on the baseline frequency of sister chromatid exchanges (SCEs) and cell-cycle progression in pig plasma (PLCs) and whole blood leukocyte cultures (WBCs) was studied. No variation in SCE frequency was observed between pig control WBC and PLC. Addition of pig and human RBCs to pig PLCs did not modify the baseline frequency of SCEs. On the other hand, cell proliferation was slower in PLCs than in WBCs. The addition of pig or human RBCs to PLCs accelerated the cell-cycle progression of pig lymphocytes. When RBCs were added to PLCs the concentration and time sequence of RBC incorporation affected the cell-cycle progression of swine lymphocytes. When doses of pig or human RBCs equivalent to those present in WBCs were added immediately after PLC stimulation, the cell-cycle kinetics were similar to those of WBCs. Shorter co-incubation periods or a reduction in the dose of RBCs made cell-cycle progression intermediate between PLC and WBC values. Thus, pig and human RBCs modulated the in vitro cell-cycle progression of pig lymphocytes in a time- and dose-dependent manner, and the low baseline frequency of SCEs of pig lymphocytes is independent of the presence or absence of erythrocytes in culture

Molecular cloning of exons II and III of the a-globin major gene from Odontophrynus americanus 2n and 4n (Amphibia, Anura)

The a-globin major genes from diploid and tetraploid Odontophrynus americanus were studied using PCR-based technology. The cloned and sequenced amplified fragments were shown to contain most of the exon II sequences as well as the whole exon III sequence of the a-globin gene. Unexpectedly, intron 2 was entirely absent in the amplified fragments of both 2n and 4n origin. High conservation was observed among the obtained sequences when compared to corresponding sequences from human and Xenopus laevis origin. The possibility that these sequences might be pseudogenes is raised

Genomic characterization of Brazilian hepatitis C virus genotypes 1a and 1b

Parts of 5' non-coding (5' NC) and of E1 envelope regions of the hepatitis C virus (HCV) genome were amplified from sera of 26 Brazilian anti-HCV antibody-positive patients using the reverse transcription-polymerase chain reaction (RT-PCR). Fourteen samples were PCR positive with primers from the 5' NC region and 8 of them were also positive with primers from the E1 region. A genomic segment of 176 bp from the E1 region of 7 isolates was directly sequenced from PCR products. The sequences were compared with those of HCV strains isolated in other countries and the Brazilian isolates were classified by phylogenetic analysis into genotypes 1a and 1b. This could have a clinical importance since it has been shown that individuals infected with type 1 viruses are less likely to respond to treatment with interferon than individuals infected with types 2 and 3 viruses. Two quasispecies isolated from the same patient with an interval of 13 months differed by two base substitutions (1.1%). The sequence of another isolate presented a three-nucleotide deletion at codon 329

Isolation and characterization of a reserve protein from the seeds of Opuntia ficus-indica (Cactaceae)

We describe here the isolation and characterization of a major albumin from the seeds of Opuntia ficus-indica (Cactaceae). This protein has a molecular mass of 6.5 kDa and was isolated by a combination of gel filtration chromatography and reverse-phase HPLC. The amino acid composition of this protein was determined and it was shown to have similarities with the amino acid composition of several proteins from the 2S albumin storage protein family. The N-terminal amino acid sequence of this protein is Asp-Pro-Tyr-Trp-Glu-Gln-Arg.

A single-step purification of bothropstoxin-1

Bothrops venoms are complex mixtures of components with a wide range of biological activities. Among these substances, myotoxins have been investigated by several groups. Bothropstoxin-1 (Bthtx-1) is a phospholipase A2-like basic myotoxin from Bothrops jararacussu. The purification of this component involves two chromatographic steps. Although providing a pure material, the association of these two steps is time consuming and a single-step method using high performance chromatography media would be useful. In the present study, we describe a single-step purification method for Bthtx-1. Bothrops jararacussu venom was dissolved in 1 ml buffer. After centrifugation, the supernatant was injected into a Resource-S cation exchange column connected to an FPLC system and eluted with a linear salt gradient. The complete procedure took 20 min, representing a considerable time gain when compared to a previously described method (Homsi-Brandenburgo MI et al. (1988) Toxicon, 26: 615-627). Bthtx-1 purity and identity, assessed by SDS-PAGE and N-terminal sequencing, resulted in a single band with a molecular mass of about 14 kDa and the expected sequence of the first 5 residues, S-L-F-E-L. Although the amount of protein purified after each run is lower than in the previously described method, we believe that this method may be useful for small-scale purifications.

Signal transduction induced in Trypanosoma cruzi metacyclic trypomastigotes during the invasion of mammalian cells

Penetration of Trypanosoma cruzi into mammalian cells depends on the activation of the parasite's protein tyrosine kinase and on the increase in cytosolic Ca2+ concentration. We used metacyclic trypomastigotes, the T. cruzi developmental forms that initiate infection in mammalian hosts, to investigate the association of these two events and to identify the various components of the parasite signal transduction pathway involved in host cell invasion. We have found that i) both the protein tyrosine kinase activation, as measured by phosphorylation of a 175-kDa protein (p175), and Ca2+ mobilization were induced in the metacyclic forms by the HeLa cell extract but not by the extract of T. cruzi-resistant K562 cells; ii) treatment of parasites with the tyrosine kinase inhibitor genistein blocked both p175 phosphorylation and the increase in cytosolic Ca2+ concentration; iii) the recombinant protein J18, which contains the full-length sequence of gp82, a metacyclic stage surface glycoprotein involved in target cell invasion, interfered with tyrosine kinase and Ca2+ responses, whereas the monoclonal antibody 3F6 directed at gp82 induced parasite p175 phosphorylation and Ca2+ mobilization; iv) treatment of metacyclic forms with phospholipase C inhibitor U73122 blocked Ca2+ signaling and impaired the ability of the parasites to enter HeLa cells, and v) drugs such as heparin, a competitive IP3-receptor blocker, caffeine, which affects Ca2+ release from IP3-sensitive stores, in addition to thapsigargin, which depletes intracellular Ca2+ compartments and lithium ion, reduced the parasite infectivity. Taken together, these data suggest that protein tyrosine kinase, phospholipase C and IP3 are involved in the signaling cascade that is initiated on the parasite cell surface by gp82 and leads to Ca2+ mobilization required for target cell invasion.

N-terminal amino acids of bovine alpha interferons are relevant for the neutralization of their antiviral activity

The structure-function relationship of interferons (IFNs) has been studied by epitope mapping. Epitopes of bovine IFNs, however, are practically unknown, despite their importance in virus infections and in the maternal recognition of pregnancy. It has been shown that recombinant bovine (rBo)IFN-alphaC and rBoIFN-alpha1 differ only in 12 amino acids and that the F12 monoclonal antibody (mAb) binds to a linear sequence of residues 10 to 34. We show here that the antiviral activities of these two IFNs were neutralized by the F12 mAb to different extents using two tests. In residual activity tests the antiviral activity dropped by more than 99% with rBoIFN-alphaC and by 84% with rBoIFN-alpha1. In checkerboard antibody titrations, the F12 mAb titer was 12,000 with rBoIFN-alphaC and only 600 with rBoIFN-alpha1. Since these IFNs differ in their amino acid sequence at positions 11, 16 and 19 of the amino terminus, only these amino acids could account for the different neutralization titers, and they should participate in antibody binding. According to the three-dimensional structure described for human and murine IFNs, these amino acids are located in the alpha helix A; amino acids 16 and 19 of the bovine IFNs would be expected to be exposed and could bind to the antibody directly. The amino acid at position 11 forms a hydrogen bond in human IFNs-alpha and it is possible that, in bovine IFNs-alpha, the F12 mAb, binding near position 11, would disturb this hydrogen bond, resulting in the difference in the extent of neutralization observed.

Lack of mutations of exon 2 of the MEN1 gene in endocrine and nonendocrine sporadic tumors

In addition to the mutations that underlie most cases of the multiple endocrine neoplasia type 1 (MEN1) syndrome, somatic mutations of the MEN1 gene have also been described in sporadic tumors like gastrinomas, insulinomas and bronchial carcinoid neoplasm. We examined exon 2 of this gene, where most of the mutations have been described, in 148 endocrine and nonendocrine sporadic tumors. DNA was obtained by phenol/chloroform extraction and ethanol precipitation from 92 formalin-fixed, paraffin-embedded samples, and from 40 fresh tumor tissue samples. We used 5 pairs of primers to encompass the complete coding sequence of exon 2 of the MEN1 gene that was screened by the polymerase chain reaction-single-stranded conformation polymorphism (PCR-SSCP) technique in 78 sporadic thyroid cancers: 28 follicular adenomas, 35 papillary carcinomas, 14 follicular carcinomas, and 1 anaplastic thyroid carcinoma. We also examined 46 adrenal lesions (3 hyperplasias, 3 adenomas and 35 adrenocortical carcinomas, 2 pheochromocytomas, 2 ganglioneuroblastomas, and 1 lymphoma) and 24 breast cancers (6 noninvasive, 16 infiltrating ductal, and 2 invasive lobular tumors). The PCR product of 5 tumors suspected to present band shifts by SSCP was cloned. Direct sense and antisense sequencing did not identify mutations. These results suggest that the MEN1 gene is not important in breast, thyroid or adrenal sporadic tumorigenesis. Because the frequency of mutations varies significantly among tumor subgroups and allelic deletions are frequently observed at 11q13 in thyroid and adrenal cancers, another tumor suppressor gene residing in this region is likely to be involved in the tumorigenesis of these neoplasms.