The Conway-Maxwell-Poisson-generalized gamma regression model with long-term survivors

In this paper, we proposed a flexible cure rate survival model by assuming the number of competing causes of the event of interest following the Conway-Maxwell distribution and the time for the event to follow the generalized gamma distribution. This distribution can be used to model survival data when the hazard rate function is increasing, decreasing, bathtub and unimodal-shaped including some distributions commonly used in lifetime analysis as particular cases. Some appropriate matrices are derived in order to evaluate local influence on the estimates of the parameters by considering different perturbations, and some global influence measurements are also investigated. Finally, data set from the medical area is analysed.

Centros subcorticais dos sistemas visual primário e óptico acessório no mocó (kerodon rupestris): caracterização pela projeção retiniana e citoarquitetura.

The primary and accessory optic systems comprise two set of retinorecipient neural clusters. In this study, these visual related centers in the rock cavy were evaluated by using the retinal innervations pattern and Nissl staining cytoarchigtecture. After unilateral intraocular injection of cholera toxin B subunit and immunohistochemical reaction of coronal and sagittal sections from the diencephalon and midbrain region of rock cavy. Three subcortical centres of primary visual system were identified, superior colliculus, lateral geniculate complex and pretectal complex. The lateral geniculate complex is formed by a series of nuclei receiving direct visual information from the retina, dorsal lateral geniculate nucleus, intergeniculate leaflet and ventral lateral geniculate nucleus. The pretectal complex is formed by series of pretectal nuclei, medial pretectal nucleus, olivary pretectal nucleus, posterior pretectal nucleus, nucleus of the optic tract and anterior pretectal nucleus. In the accessory optic system, retinal terminals were observed in the dorsal terminal, lateral terminal and medial terminal nuclei as well as in the interstitial nucleus of the superior fasciculus, posterior fibres. All retinorecipient nuclei received bilateral input, with a contralateral predominance. This is the first study of this nature in the rock cavy and the results are compared with the data obtained for other species. The investigation represents a contribution to the knowledge regarding the organization of visual optic systems in relation to the biology of species.

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

O efeito da autocorrelação no desempenho do gráfico T2 de hotelling: caso bivariado

The chart of control of Hotelling T2 has been the main statistical device used in monitoring multivariate processes. Currently the technological development of control systems and automation enabled a high rate of collection of information of the production systems in very short time intervals, causing a dependency between the results of observations. This phenomenon known as auto correlation causes in the statistical control of the multivariate processes a high rate of false alarms, prejudicing in the chart performance. This entails the violation of the assumption of independence and normality of the distribution. In this thesis we considered not only the correlation between two variables, but also the dependence between observations of the same variable, that is, auto correlation. It was studied by simulation, the bi variate case and the effect of auto correlation on the performance of the T2 chart of Hotelling.

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Cytogenetic characterization of six species of flatfishes with comments to karyotype differentiation patterns in Pleuronectiformes (Teleostei)

The karyotypes and cytogenetic characteristics of flatfishes species Paralichthys orbignyanus, Paralichthys patagonicus, Citarichthys spilopterus and Etropus crossotus (Paralichthyidae), Bothus ocellatus (Bothidae) and Symphurus tessellatus (Cynoglossidae) were investigated by conventional [Giemsa staining, C-banding, Ag- and chromomycin (CMA(3))-stainings] and molecular [in situ hybridization (ISH)] cytogenetic techniques. The results showed 2n = 46 and FN = 48 (2msm + 46sta) in P. orbignyanus, 2n = 46 and FN = 46 (46sta) in P. patagonicus, 2n = 26 and FN = 44 (18msm + 8sta) in C. spilopterus, 2n = 38 and FN = 64 (26msm + 12sta) in E. crossotus, 2n = 32 and FN = 50 (18msm + 14sta) in B. ocellatus, and 2n = 46 and FN = 62 (46msm + 62sta) in S. tessellatus. All species exhibited weak C-band positive segments in terminal and centromeric positions of some chromosome pairs. Silver staining of the nucleolus organizer regions (Ag-NOR) technique showed a single Ag-NOR-bearing chromosome pair in all species except E. crossotus. All these sites were CMA(3) positive and showed clear ISH signals after probing with a 18S rRNA probe. Etropus crossotus presented until seven chromosomes with Ag-NORs and CMA(3) positively stained segments in five chromosome pairs. Conversely only one chromosome pair was identified with the ISH experiments in this species. The available results show that the fishes of the order Pleuronectiformes experienced a marked chromosome evolution that included reduction in diploid number, mainly due to Robertsonian rearrangements, and several chromosome inversions. (c) 2007 the Authors Journal compilation (c) 2007 the Fisheries Society of the British Isles.

Is The amphibian tree of life really fatally flawed?

Wiens (2007, Q. Rev. Biol. 82, 55-56) recently published a severe critique of Frost et al.'s (2006, Bull. Am. Mus. Nat. Hist. 297, 1-370) monographic study of amphibian systematics, concluding that it is a disaster and recommending that readers simply ignore this study. Beyond the hyperbole, Wiens raised four general objections that he regarded as fatal flaws: (1) the sampling design was insufficient for the generic changes made and taxonomic changes were made without including all type species; (2) the nuclear gene most commonly used in amphibian phylogenetics, RAG-1, was not included, nor were the morphological characters that had justified the older taxonomy; (3) the analytical method employed is questionable because equally weighted parsimony assumes that all characters are evolving at equal rates; and (4) the results were at times clearly erroneous, as evidenced by the inferred non-monophyly of marsupial frogs. In this paper we respond to these criticisms. In brief: (1) the study of Frost et al. did not exist in a vacuum and we discussed our evidence and evidence previously obtained by others that documented the non-monophyletic taxa that we corrected. Beyond that, we agree that all type species should ideally be included, but inclusion of all potentially relevant type species is not feasible in a study of the magnitude of Frost et al. and we contend that this should not prevent progress in the formulation of phylogenetic hypotheses or their application outside of systematics. (2) Rhodopsin, a gene included by Frost et al. is the nuclear gene that is most commonly used in amphibian systematics, not RAG-1. Regardless, ignoring a study because of the absence of a single locus strikes us as unsound practice. With respect to previously hypothesized morphological synapomorphies, Frost et al. provided a lengthy review of the published evidence for all groups, and this was used to inform taxonomic decisions. We noted that confirming and reconciling all morphological transformation series published among previous studies needed to be done, and we included evidence from the only published data set at that time to explicitly code morphological characters (including a number of traditionally applied synapomorphies from adult morphology) across the bulk of the diversity of amphibians (Haas, 2003, Cladistics 19, 23-90). Moreover, the phylogenetic results of the Frost et al. study were largely consistent with previous morphological and molecular studies and where they differed, this was discussed with reference to the weight of evidence. (3) The claim that equally weighted parsimony assumes that all characters are evolving at equal rates has been shown to be false in both analytical and simulation studies. (4) The claimed strong support for marsupial frog monophyly is questionable. Several studies have also found marsupial frogs to be non-monophyletic. Wiens et al. (2005, Syst. Biol. 54, 719-748) recovered marsupial frogs as monophyletic, but that result was strongly supported only by Bayesian clade confidence values (which are known to overestimate support) and bootstrap support in his parsimony analysis was < 50%. Further, in a more recent parsimony analysis of an expanded data set that included RAG-1 and the three traditional morphological synapomorphies of marsupial frogs, Wiens et al. (2006, Am. Nat. 168, 579-596) also found them to be non-monophyletic.Although we attempted to apply the rule of monophyly to the naming of taxonomic groups, our phylogenetic results are largely consistent with conventional views even if not wth the taxonomy current at the time of our writing. Most of our taxonomic changes addressed examples of non-monophyly that had previously been known or suspected (e.g., the non-monophyly of traditional Hyperoliidae, Microhylidae, Hemiphractinae, Leptodactylidae, Phrynobatrachus, Ranidae, Rana, Bufo; and the placement of Brachycephalus within Eleutherodactylus, and Lineatriton within Pseudoeurycea), and it is troubling that Wiens and others, as evidenced by recent publications, continue to perpetuate recognition of non-monophyletic taxonomic groups that so profoundly misrepresent what is known about amphibian phylogeny. (C) The Willi Hennig Society 2007.

Redescrição e osteologia de Bryconamericus exodon Eigenmann, 1907 (Ostariophysi, Characiformes, Characidae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Efeito de casca de camarão, hidrolisado de peixe e quitosana no controle da murcha de Fusarium oxysporum f.sp. chrysanthemi em crisântemo

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

Planejamento e controle da produção de cilindros para laminação: um estudo de caso quantitativo

Este trabalho apresenta um modelo de otimização-simulação aplicado em um estudo de caso real no setor de cilindros para laminação de uma siderúrgica, buscando melhorar o gerenciamento da área/equipamento gargalo da linha de produção. A simulação atuou em conjunto com um modelo de otimização da programação linear inteira (PLI) para melhorar o atendimento de prazo junto aos clientes em uma produção não seriada. Como resultado deste procedimento combinado da PLI e simulação, o processo produtivo foi otimizado e as filas de espera e o lead-time foram reduzidos, melhorando o atendimento aos clientes.

Anomalous transport effects on magnetic field profile in a motional current sheath

The radial magnetic field profile during implosion of a reversed field current sheath in a theta-pinch was investigated through local measurements and simulation of hybrid code. The actual profile was defined by Hermite interpolation polynomial through mean value of the field at discrete radial position of measurements. Simulation profile was provided by the numerical code with appropriate initial conditions. Classical and anomalous collision process were taken in account in the theoretical model. The results indicated that anomalous effects play major role during the implosion phase of current sheath in a slow rising theta pinch device.

The slippery slope - Critical perspectives on in vitro research methodologies

Objectives. This paper attempts to provide critical perspectives on common in vitro research methodologies, including shear bond testing, wear testing, and load-to-failure tests. Origins of interest in high-quality laboratory data is reviewed, in vitro data is categorized into property and simulation protocols, and two approaches are suggested for establishing clinical validity. It is hoped that these insights will encourage further progress toward development of in vitro tests that are validated against clinical performance and/or by producing clinically validated failure or damage mechanisms.Materials and methods. Published shear and tensile bond data (macro and micro) is examined in light of published finite element analyses (FEA). This data is subjected to a Weibull scaling analysis to ascertain whether scaling is consistent with failure from the bonded interface or not. Wear tests results are presented in light of the damage mechanism(s) operating. Quantitative wear data is re-examined as being dependent upon contact pressure. Load-to-failure test results are re-analyzed by calculating contact stresses at failure for 119 tests from 54 publications over more than 25 years.Results. FEA analyses and reported failure modes (adhesive, mixed, cohesive) are consistent with failure not involving interfacial "shear stresses" as calculated in published work. Weibull scaling clearly suggests failure involving external surfaces of specimens, not interfacial origins. Contact stresses (pressures) are clearly an important variable in wear testing and are not well-controlled in published work. Load-to-failure tests create damage not seen clinically due to excessively high contact stresses. Most contact stresses in the 119 tests examined were calculated to be between 1000 MPa and 5000 MPa, whereas clinical contact stresses at wear facets have been measured not to exceed 40 MPa.Conclusions. Our community can do a much better job of designing in vitro tests that more closely simulate clinical conditions, especially when contact is involved. Journals are encouraged to thoughtfully consider a ban on publishing papers using bond tests and load-to-failure methods that are seriously flawed and have no clinical relevance. (C) 2011 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

An implementation of modified scatter search algorithm to transmission expansion planning

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A unity power factor multiple isolated outputs switching mode power supply using a single switch

The authors present an offline switching power supply with multiple isolated outputs and unity power factor with the use of only one power processing stage, based on the DC-DC SEPIC (single ended primary inductance converter) modulated by variable hysteresis current control. The principle of operation, the theoretical analysis, the design procedure, an example, and simulation results are presented. A laboratory prototype, rated at 160 W, operating at a maximum switching frequency of 100 kHz, with isolated outputs rated at +5 V/15 A -5 V/1 A, +12 V/6 A and -12 V/1 A, has been built given an input power factor near unity.

Frequency-adjustable positive sequence detector for power conditioning applications

This paper proposes a novel and simple positive sequence detector (PSD), which is inherently self-adjustable to fundamental frequency deviations by means of a software-based PLL (Phase Locked Loop). Since the proposed positive sequence detector is not based on Fortescue's classical decomposition and no special input filtering is needed, its dynamic response may be as fast as one fundamental cycle. The digital PLL ensures that the positive sequence components can be calculated even under distorted waveform conditions and fundamental frequency deviations. For the purpose of validating the proposed models, the positive sequence detector has been implemented in a PC-based Power Quality Monitor and experimental results illustrate its good performance. The PSD algorithm has also been evaluated in the control loop of a Series Active Filter and simulation results demonstrate its effectiveness in a closed-loop system. Moreover, considering single-phase applications, this paper also proposes a general single-phase PLL and a Fundamental Wave Detector (FWD) immune to frequency variations and waveform distortions. © 2005 IEEE.