The Interval Constructor on classes of ML-algebras

Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On the other hand, in order to deal with imprecision in the computational representation of real numbers, the use of intervals have been proposed, as it can guarantee that the results of numerical computation are in a bounded interval, controlling, in this way, the numerical errors produced by successive roundings. There are several ways to connect both areas; the most usual one is to consider interval membership degrees. The algebraic counterpart of ML is ML-algebra, an interesting structure due to the fact that by adding some properties it is possible to reach different classes of residuated lattices. We propose to apply an interval constructor to ML-algebras and some of their subclasses, to verify some properties within these algebras, in addition to the analysis of the algebraic aspects of them

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Time interval from ovulation to extrusion in female bullfrog in different photoperiods

It was analyzed in this work the influence of photoperiod on time interval from ovulation induction period to extrusion of ovocits in female bullfrogs (Lithobates catesbeianus). It was used 54 females reared from metamorphosis to 9 months of age under three photoperiods: dark time (DL 0:24), 16 hours of daylight (DL 16:8) and 12 hours of daylight (DL 12:12). Ovulation was induced by intramuscular application of two doses of LHRHa with 12 hours of interval between the injections. After 10, 25, 28, 31, 34 and 37 hours from the first hormone injection, 10-gram samples (3,000 eggs) were extracted from each female at each time interval and fertilized. Egg hatching rate was checked in each sample 72 hours after fertilization. Analysis of variance showed a significant effect of extrusion delay and the interaction between photoperiod and this delay. Extrusion should be carried out 33, 24 and 26 hours after the first hormone dosage in females reared in environments without light, with 12 hours of daylight and with 16 hours of daylight, respectively, to obtain the maximum fertilization rate.

Prolonged interval between parturition of normal live pups in a bitch

On day 64 after artificial insemination, a six-year-old primiparous briard bitch whelped three live pups between 05.00 and 08.00. It was presented at 11.00 on the same day with failure to complete parturition. on ultrasound examination, a normal live fetus was observed and the bitch was treated with oxytocin three times during the day (1(.)0, 2(.)0 and 2(.)0 iu intramuscularly), with no effect. The following day, a higher dose of oxytocin (5(.)0 iu) was administered intramuscularly at 11.00, after a uterine ultrasound examination confirmed viability of the fetus. At 18.00 of the same day, the bitch whelped the fourth normal live pup, 37 hours after initiation of parturition and 34 hours after expulsion of the last fetus. Effectiveness of oxytocin and normal versus prolonged parturition due to uterine inertia are discussed.

The influence of time interval between bleaching and enamel bonding

Objectives: the purpose of this study was to investigate the penetration of a conventional adhesive material into enamel bleached with 16% carbamide peroxide and 38% hydrogen peroxide using optical light microscopy.Methods: Extracted human teeth were randomly divided into eight experimental groups with six specimens each, according to the bleaching material and time interval after bleaching and before the bonding procedure. Groups were designated as follows: control group, restorations in unbleached teeth; restorations performed immediately after bleaching; restorations performed 7 days after bleaching; restorations performed 14 days after bleaching; and restorations performed 30 days after bleaching. The length of resin tags was measured with an Axiophot photomicroscope at 400x magnification for the calculation of the proportion of tags of study groups compared to the respective control groups. Analysis of variance was applied for comparison between groups; data were transformed into arcsine (p < 0.05).Results: the specimens of experimental groups, in which restorations were performed 7, 14, and 30 days after bleaching, showed better penetration of adhesive material into enamel than specimens restored immediately after bleaching. There was no statistically significant difference between the bleaching materials employed or in the interaction between bleaching agent and time interval.Conclusions: This suggests that a time interval of at least 7 days should be allowed between enamel bleaching and placement of adhesive bonding agents for accomplishment of composite resin restorations.

Choosing between Cox proportional hazards and logistic models for interval-censored data via bootstrap

This work develops a new methodology in order to discriminate models for interval-censored data based on bootstrap residual simulation by observing the deviance difference from one model in relation to another, according to Hinde (1992). Generally, this sort of data can generate a large number of tied observations and, in this case, survival time can be regarded as discrete. Therefore, the Cox proportional hazards model for grouped data (Prentice & Gloeckler, 1978) and the logistic model (Lawless, 1982) can befitted by means of generalized linear models. Whitehead (1989) considered censoring to be an indicative variable with a binomial distribution and fitted the Cox proportional hazards model using complementary log-log as a link function. In addition, a logistic model can be fitted using logit as a link function. The proposed methodology arises as an alternative to the score tests developed by Colosimo et al. (2000), where such models can be obtained for discrete binary data as particular cases from the Aranda-Ordaz distribution asymmetric family. These tests are thus developed with a basis on link functions to generate such a fit. The example that motivates this study was the dataset from an experiment carried out on a flax cultivar planted on four substrata susceptible to the pathogen Fusarium oxysoprum. The response variable, which is the time until blighting, was observed in intervals during 52 days. The results were compared with the model fit and the AIC values.

Estrous behavior and the estrus-to-ovulation interval in Nelore cattle (Bos indicus) with natural estrus or estrus induced with prostaglandin F2 alpha or norgestomet and estradiol valerate

Estrous behavior and the estrus-to-ovulation interval are essential for estimating the best time to artificially inseminate cattle. Because these parameters are not well characterized in the Nelore breed (Bos indicus), the main purpose of the this study was to determine the estrus-to-ovulation interval in Nelore heifers and cows with natural estrus or with estrus induced by treatments with PGF2 alpha or norgestomet and estradiol valerate (NEV). The cows and heifers were observed continuously (24 h a day) to determine the onset of estrus and to study estrous behavior in the cows. Ten hours after the start of estrus the ovaries were scanned every 2 h by ultrasonography to monitor the dominant follicle until ovulation. Blood samples were collected periodically to determine progesterone levels by RIA. Administration of PGF2 alpha (2 injections, 11 days apart) did not induce estrus in most Nelore females in spite of the presence of functional CL, indicated by progesterone concentrations above 6.0 ng/ml in 25 of 28 animals. Treatment with NEV induced high sexual receptivity in cows (10/11), but only 66% ovulated. Cows with natural or induced estrus exhibited behavioral estrus of 10.9 +/- 1.4 h, and ovulation occurred 26.6 +/- 0.44 h (n = 26) after the onset of estrus. In most of the cows (53.8%) estrus began at night (between 1801 and 600 h), and 34.6% it started and finished during the night. It is concluded that in Nelore females ovulation occurs approximately 26 h after the onset of estrus. Additionally, estrous behavior is shorter than in European breeds, and there is a high incidence of estrus at night, which makes it difficult to detect and, consequently, impairs Al in Nelore cattle. The observation that a high percentage of Nelore females with an active CL did not respond to usual dosages of PGF2 alpha warrants further investigation. (C) 1998 by Elsevier B.V.

Solitons from dressing in an algebraic approach to the constrained KP hierarchy

The algebraic matrix hierarchy approach based on affine Lie sl(n) algebras leads to a variety of 1 + 1 soliton equations. By varying the rank of the underlying sl(n) algebra as well as its gradation in the affine setting, one encompasses the set of the soliton equations of the constrained KP hierarchy.The soliton solutions are then obtained as elements of the orbits of the dressing transformations constructed in terms of representations of the vertex operators of the affine sl(n) algebras realized in the unconventional gradations. Such soliton solutions exhibit non-trivial dependence on the KdV (odd) time flows and KP (odd and even) time Bows which distinguishes them From the conventional structure of the Darboux-Backlund-Wronskian solutions of the constrained KP hierarchy.

Non-involutive constrained systems and Hamilton-Jacobi formalism

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Identification of the Mass and Stability Interval of Strong Potential in Heavy Mesons

In this paper, we have calculated the masses of mesons containing t-quark and their spins' coupling coefficients. This was achieved by solving Lippmann-Schwinger equation for the quark-antiquark bound state of heavy mesons in configuration space. Heavy meson masses submitted criteria for the strong nuclear interactive potential between two quarks. We investigated the stability of a few suitable potentials and offered the best of these potentials for heavy mesons.

Constrained BV description of string field theory

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

GENETIC-RELATIONSHIP, INBREEDING AND GENERATION INTERVAL IN REGISTERED GIR CATTLE IN BRAZIL

Two-hundred random pedigrees of cows and fifty of sires born in 1987 from the Gir herdbook of the Brazilian Association of Zebu Breeders were analized. The bull Chave de Ouro DGR no. 2851 was the most influential animal with a 7 % direct relationship to the breed. Total average inbreeding was 3.62 and 3.25 for the female and male sample, respectively. The subdivision of total inbreeding into current and non-current components resulted in values of 1.62, 1.25, 2.00 and 2.00 for the female and male sample, respectively. Long-term inbreeding was the principal component of non-current inbreeding, with values of 1.52 % and 1.26 %, respectively. Inbreeding due to strain formation strain due formation was less important (0.48 % and 0.74 %, respectively). The average generation interval was 8.02 years. The breed appears not yet to be subdivided into strains but this process may be starting. The average generation interval for the pedigree population was very high. Culling of old bulls could decrease this interval.

Genetic parameters for milk yield, age at first calving and interval between first and second calving in milk buffaloes

Genetic parameters for the relation between the traits of milk yield (MY), age at first calving (AFC) and interval between first and second calving (IBFSC) were estimated in milk buffaloes of the Murrah breed. In the study, data of 1578 buffaloes at first lactation, with calvings from 1974 to 2006 were analyzed. The MTDFREML system was used in the analyses with models for the MY, IBFSC traits which included the fixed effects of herd-year-season of calving, linear and quadratic terms of calving age as covariate and the random animal effects and error. The model for AFC consisted of the herd-year-season fixed effects of calving and the random effects of animal and error. Heritability estimates MY, AFC and IBFSC traits were 0.20, 0.07 and 0.14, respectively. Genetic and phenotypic correlations between the traits were: MY and AFC = -0.12 and -0.15, MY and IBFSC = 0.07 and 0.30, AFC and IBFSC = 0.35 and 0.37, respectively. Genetic correlation between MY and AFC traits showed desirable negative association, suggesting that the daughters of the bulls with high breeding value for MY could be physiological maturity to a precocious age. Genetic correlation between MY and IBFSC showed that the selection of the animals that increased milk yield is also those that tend to intervals of bigger calving.

A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.

VSSI (X)over-bar charts with sampling at fixed times

A standard (X) over bar chart for controlling the process mean takes samples of size no at specified, equally-spaced, fixed-time points. This article proposes a modification of the standard (X) over bar chart that allows one to take additional samples, bigger than no, between these fixed times. The additional samples are taken from the process when there is evidence that the process mean moved from target. Following the notation proposed by Reynolds (1996a) and Costs (1997) we shortly call the proposed (X) over bar chart as VSSIFT (X) over bar chart: where VSSIFT means variable sample size and sampling intervals with fixed times. The (X) over bar chart with the VSSIFT feature is easier to be administered than a standard VSSI (X) over bar chart that is not constrained to sample at the specified fixed times. The performances of the charts in detecting process mean shifts are comparable.