Remarks on an algebraic semantics for paraconsistent Nelson's logic

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.

Selection of Trypanosoma cruzi clonal genotypes (clonet 20 and 39) isolated from Bolivian triatomines following subculture in liquid medium

Previous studies showed that two groups of Trypanosoma cruzi clonal genotypes named clonet 20 and clonet 39 were predominant in Triatoma infestans, the unique vector of Chagas disease in Bolivia. These groups of clones correspond to distinct genetic clusters. These clonets were detected in T. infestans and Rhodnius pictipes fecal samples before isolation and after culture by kDNA PCR (polymerase chain rreaction) and hybridization of the amplified products with clonet specific kDNA probes named 20 and 39 as previously reported. Forty eight T. infestans and three R. pictipes infected insects captured at random in different Bolivian departments were proceeded. As previously reported the direct identification of the two major clonets in fecal samples allowed the detection of abundant mixed infections: 41% in the original sample, however after culture, only 6% of mixed infections were detected. Among the 21 parasite stocks isolated from digestive tracts where mixed infections were initially detected (clonet 20 + 39) clonet 20 alone was detected in 81% of them. This result clearly showed that the culture step selected clonet 20 parasites over those belonging to clonet 39. The taxonomic status of the isolated stocks was also confirmed by isoenzyme typing, and correlation was observed between clustering topology and hybridization patterns with the probes 20 and 39.

Isoenzyme profiles of Trypanosoma cruzi stocks from different areas of Paraguay

Twenty one Trypanosoma cruzi stocks from humans, domiciliary triatomines and one sylvatic animal of different areas of Paraguay were subjected to isoenzyme analysis. Thirteen enzyme systems (15 loci in total) were studied. MN cl2 (clonets 39) and SO34 cl4 (clonets 20) were used as references. Relationships between stocks were depicted by an UPGMA dendrogram constructed using the Jaccard´s distances matrix. Among the Paraguayan stocks 14 zymodemes were identified (Par1 to Par14), Par 5 being the most frequent. Polymorphism rate and clonal diversity were 0.73 and 0.93, respectively. Average number of alleles per polymorphic locus was 2.5 (range 2-4). These measurements show a high diversity, which is confirmed by the dendrogram topology. All stocks belong to the same lineage, as MN cl2 reference strain (T. cruzi II). Moreover three distinct subgroups were identified and two of them correspond to Brazilian and Bolivian zymodemes, respectively. The third subgroup, the most common in Paraguay, is related to Tulahuen stock. The large geographical distribution of some zymodemes agrees with the hypothesis of clonality for T. cruzi populations. However sample size was not adequate to detect genetic recombination in any single locality.

Four whole-istic aspects of schistosome granuloma biology: fractal arrangement, internal regulation, autopoietic component and closure

This paper centers on some whole-istic organizational and functional aspects of hepatic Schistosoma mansoni granuloma, which is an extremely complex system. First, it structurally develops a collagenic topology, originated bidirectionally from an inward and outward assembly of growth units. Inward growth appears to be originated from myofibroblasts derived from small portal vessel around intravascular entrapped eggs, while outward growth arises from hepatic stellate cells. The auto-assembly of the growth units defines the three-dimensional scaffold of the schistosome granulomas. The granuloma surface irregularity and its border presented fractal dimension equal to 1.58. Second, it is internally regulated by intricate networks of immuneneuroendocrine stimuli orchestrated by leptin and leptin receptors, substance P and Vasoactive intestinal peptide. Third, it can reach the population of ± 40,000 cells and presents an autopoietic component evidenced by internal proliferation (Ki-67+ Cells), and by expression of c-Kit+ Cells, leptin and leptin receptor (Ob-R), granulocyte-colony stimulating factor (G-CSF-R), and erythropoietin (Epo-R) receptors. Fourth, the granulomas cells are intimately connected by pan-cadherins, occludin and connexin-43, building a state of closing (granuloma closure). In conclusion, the granuloma is characterized by transitory stages in such a way that its organized structure emerges as a global property which is greater than the sum of actions of its individual cells and extracellular matrix components.

Intragenomic variation in the second internal transcribed spacer of the ribosomal DNA of species of the genera Culex and Lutzia (Diptera: Culicidae)

Culex is the largest genus of Culicini and includes vectors of several arboviruses and filarial worms. Many species of Culex are morphologically similar, which makes their identification difficult, particularly when using female specimens. To aid evolutionary studies and species distinction, molecular techniques are often used. Sequences of the second internal transcribed spacer (ITS2) of ribosomal DNA (rDNA) from 16 species of the genus Culex and one of Lutzia were used to assess their genomic variability and to verify their applicability in the phylogenetic analysis of the group. The distance matrix (uncorrected p-distance) that was obtained revealed intragenomic and intraspecific variation. Because of the intragenomic variability, we selected ITS2 copies for use in distance analyses based on their secondary structures. Neighbour-joining topology was obtained with an uncorrected p-distance. Despite the heterogeneity observed, individuals of the same species were grouped together and correlated with the current, morphology-based classification, thereby showing that ITS2 is an appropriate marker to be used in the taxonomy of Culex.

COI barcode versus morphological identification of Culex ( Culex ) (Diptera: Culicidae) species: a case study using samples from Argentina and Brazil

Sequences of the cytochrome c oxidase subunit I (COI) mitochondrial gene from adults of 22 Culex ( Culex ) species from Argentina and Brazil were employed to assess species identification and to test the usefulness of COI for barcoding using the best close match (BCM) algorithm. A pairwise Kimura two-parameter distance matrix including the mean intra and interspecific distances for 71 COI barcode sequences was constructed. Of the 12 COI lineages recovered in the Neighbour-joining topology, five confirmed recognised morphological species ( Cx. acharistus , Cx. chidesteri , Cx. dolosus , Cx. lygrus and Cx. saltanensis ) with intraspecific divergences lower than 1.75%. Cx. bilineatus is formally resurrected from the synonymy of Cx. dolosus . Cx. maxi , Cx. surinamensis and the Coronator group species included were clustered into an unresolved lineage. The intraspecific distance of Cx. pipiens (3%) was almost twice the interspecific between it and Cx. quinquefasciatus (1.6%). Regarding the BCM criteria, the COI barcode successfully identified 69% of all species. The rest of the sequences, approximately 10%, 18% and 3%, remained as ambiguously, mis and unidentified, respectively. The COI barcode does not contain enough information to distinguish Culex ( Cux. ) species.

Influência da espessura nas propriedades de absorção e emissão e na morfologia de filmes automontados de poli(p-fenileno vinileno)

In this report, we studied the thickness effect on the optical and morphological properties of self-assembled (SA) poly(p-phenylenevinylene) (PPV) films, wich were processed with 5 and 75 layers from a PPV precursor polymer and dodecylbenzenesulfonate, and then, thermally converted at 230 °C. The increase of the film thickness yielded more intense peaks in the vibrational spectral range. The electron-phonon coupling was quantified by the Huang - Rhys factor, that shows the effects on the polymer chain mobility in the interface substrate/polymer. A strong emission anisotropy r=0.57 was observed for the film with 5 layers of thickness decreasing to 0.34 for the film with 75 layers. Finally, the surface topology of the films was measured using Atomic Force Microscopy.

Phylogenetic analysis of Tomato mosaic virus from Hemerocallis sp. and Impatiens hawkeri

The culture and commercialization of ornamental plants have considerably increased in the last years. To supply the commercial demand, several Hemerocallis and Impatiens varieties have been bred for appreciated qualities such as flowers with a diversity of shapes and colors. With the aim of characterizing the tobamovirus isolated from Hemerocallis sp. (tobamo-H) and Impatiens hawkeri (tobamo-I) from the USA and São Paulo, respectively, as well as to establish phylogenetic relationships between them and other Tobamovirus species, the viruses were submitted to RNA extraction, RT-PCR amplification, coat-protein gene sequencing and phylogenetic analyses. Comparison of tobamovirus homologous sequences yielded values superior to 98.5% of identity with Tomato mosaic virus (ToMV) isolates at the nucleotide level. In relation to tobamo-H, 100% of identity with ToMV from tomatoes from Australia and Peru was found. Based on maximum likelihood (ML) analysis it was suggested that tobamo-H and tobamo-I share a common ancestor with ToMV, Tobacco mosaic virus, Odontoglossum ringspot virus and Pepper mild mottle virus. The tree topology reconstructed under ML methodology shows a monophyletic group, supported by 100% of bootstrap, consisting of various ToMV isolates from different hosts, including some ornamentals, from different geographical locations. The results indicate that Hemerocallis sp. and I. hawkeri are infected by ToMV. This is the first report of the occurrence of this virus in ornamental species in Brazil.

BEM/FEM non-linear model applied to transient analysis with viscous damping

In this article a two-dimensional transient boundary element formulation based on the mass matrix approach is discussed. The implicit formulation of the method to deal with elastoplastic analysis is considered, as well as the way to deal with viscous damping effects. The time integration processes are based on the Newmark rhoand Houbolt methods, while the domain integrals for mass, elastoplastic and damping effects are carried out by the well known cell approximation technique. The boundary element algebraic relations are also coupled with finite element frame relations to solve stiffened domains. Some examples to illustrate the accuracy and efficiency of the proposed formulation are also presented.

An experimental/numerical study of the turbulent boundary layer development along a surface with a sudden change in roughness

A theory for the description of turbulent boundary layer flows over surfaces with a sudden change in roughness is considered. The theory resorts to the concept of displacement in origin to specify a wall function boundary condition for a kappa-epsilon model. An approximate algebraic expression for the displacement in origin is obtained from the experimental data by using the chart method of Perry and Joubert(J.F.M., vol. 17, pp. 193-122, 1963). This expression is subsequently included in the near wall logarithmic velocity profile, which is then adopted as a boundary condition for a kappa-epsilon modelling of the external flow. The results are compared with the lower atmospheric observations made by Bradley(Q. J. Roy. Meteo. Soc., vol. 94, pp. 361-379, 1968) as well as with velocity profiles extracted from a set of wind tunnel experiments carried out by Avelino et al.( 7th ENCIT, 1998). The measurements are found to be in good agreement with the theoretical computations. The skin-friction coefficient was calculated according to the chart method of Perry and Joubert(J.F.M., vol. 17, pp. 193-122, 1963) and to a balance of the integral momentum equation. In particular, the growth of the internal boundary layer thickness obtained from the numerical simulation is compared with predictions of the experimental data calculated by two methods, the "knee" point method and the "merge" point method.

Application of a non isotropic turbulence model to stable atmospheric flows and dispersion over 3D topography

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.

On the numerical integration of rigid body nonlinear dynamics in presence of parameters singularities

One of the main complexities in the simulation of the nonlinear dynamics of rigid bodies consists in describing properly the finite rotations that they may undergo. It is well known that, to avoid singularities in the representation of the SO(3) rotation group, at least four parameters must be used. However, it is computationally expensive to use a four-parameters representation since, as only three of the parameters are independent, one needs to introduce constraint equations in the model, leading to differential-algebraic equations instead of ordinary differential ones. Three-parameter representations are numerically more efficient. Therefore, the objective of this paper is to evaluate numerically the influence of the parametrization and its singularities on the simulation of the dynamics of a rigid body. This is done through the analysis of a heavy top with a fixed point, using two three-parameter systems, Euler's angles and rotation vector. Theoretical results were used to guide the numerical simulation and to assure that all possible cases were analyzed. The two parametrizations were compared using several integrators. The results show that Euler's angles lead to faster integration compared to the rotation vector. An Euler's angles singular case, where representation approaches a theoretical singular point, was analyzed in detail. It is shown that on the contrary of what may be expected, 1) the numerical integration is very efficient, even more than for any other case, and 2) in spite of the uncertainty on the Euler's angles themselves, the body motion is well represented.

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.

Optimal design of 3R manipulators by using classical techniques and simulated annealin

In this paper, the optimum design of 3R manipulators is formulated and solved by using an algebraic formulation of workspace boundary. A manipulator design can be approached as a problem of optimization, in which the objective functions are the size of the manipulator and workspace volume; and the constrains can be given as a prescribed workspace volume. The numerical solution of the optimization problem is investigated by using two different numerical techniques, namely, sequential quadratic programming and simulated annealing. Numerical examples illustrate a design procedure and show the efficiency of the proposed algorithms.

Alternative oxidase in the branched mitochondrial respiratory network: an overview on structure, function, regulation, and role

Plants and some other organisms including protists possess a complex branched respiratory network in their mitochondria. Some pathways of this network are not energy-conserving and allow sites of energy conservation to be bypassed, leading to a decrease of the energy yield in the cells. It is a challenge to understand the regulation of the partitioning of electrons between the various energy-dissipating and -conserving pathways. This review is focused on the oxidase side of the respiratory chain that presents a cyanide-resistant energy-dissipating alternative oxidase (AOX) besides the cytochrome pathway. The known structural properties of AOX are described including transmembrane topology, dimerization, and active sites. Regulation of the alternative oxidase activity is presented in detail because of its complexity. The alternative oxidase activity is dependent on substrate availability: total ubiquinone concentration and its redox state in the membrane and O2 concentration in the cell. The alternative oxidase activity can be long-term regulated (gene expression) or short-term (post-translational modification, allosteric activation) regulated. Electron distribution (partitioning) between the alternative and cytochrome pathways during steady-state respiration is a crucial measurement to quantitatively analyze the effects of the various levels of regulation of the alternative oxidase. Three approaches are described with their specific domain of application and limitations: kinetic approach, oxygen isotope differential discrimination, and ADP/O method (thermokinetic approach). Lastly, the role of the alternative oxidase in non-thermogenic tissues is discussed in relation to the energy metabolism balance of the cell (supply in reducing equivalents/demand in energy and carbon) and with harmful reactive oxygen species formation.