921 resultados para Document classification,Naive Bayes classifier,Verb-object pairs
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
Ivermectin (IVM) is an antiparasitic drug, widely used in domestic animals. In mammals, IVM act as a GABA agonist. This neurotransmitter has an important role in the regulation of sexual behavior. Thus, this study sought to investigate the effects of various medically relevant doses IVM on the sexual behavior of male rats. In particular, we also wished to examine if previous sexual experience modulated responses to IVM. In the first experiment, the sexual behavior of inexperienced male rats was analyzed after they received 0.2, 0.6, 1.0 or 2.0 mg/kg IVM, 15 mm prior to behavioral testing. In the second experiment, the effects of four previous sexual experiences on IVM treated rats (1.0 or 2.0 mg/kg, 15 min prior to the 5th session) were assessed. The standard therapeutic dose (0.2 mg/kg) did not impair the sexual behavior of inexperienced male rats. At a more concentrated dose (0.6 mg/kg), which is still within the therapeutic range, the appetitive phase of sexual behavior of inexperienced male rats was impaired. Likewise, 1.0 mg/kg impaired the appetitive phase. Previous sexual experience blocked almost entirely this sexual impairment, suggesting that previous sexual experience exerts a positive effect in attenuating the sexual impairment produced by IVM treatment. Therefore, the standard therapeutic dose of IVM can be used without producing side effects on sexual behavior. Use of more concentrated therapeutic doses is not recommended during reproductive periods, unless the animals have had previous sexual experience. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
Objective: The authors investigated differences between twins in nine pairs of female monozygotic twins in the Australian Twin Registry who were discordant for lifetime bulimia nervosa. Method: The twins affected and unaffected by lifetime bulimia nervosa were compared on self-report measures, including a measure of parental bonding, four measures of temperament, and six early-childhood medical conditions. Results: No twins had current bulimia nervosa, and there was no difference in weight or eating status between the affected and unaffected twins. The affected twins reported significantly lower self-esteem and less warmth but more overprotection by their mothers during childhood. Conclusions: Although limited by the small number of discordant twin pairs and the inability to detect causal relationships, these results suggest that environmental influences that promote low self-esteem may also increase the risk for bulimia nervosa. These temperamental differences may explain the discrepancies in parenting or perceived parenting.
Resumo:
Modelling and simulation studies were carried out at 26 cement clinker grinding circuits including tube mills, air separators and high pressure grinding rolls in 8 plants. The results reported earlier have shown that tube mills can be modelled as several mills in series, and the internal partition in tube mills can be modelled as a screen which must retain coarse particles in the first compartment but not impede the flow of drying air. In this work the modelling has been extended to show that the Tromp curve which describes separator (classifier) performance can be modelled in terms of d(50)(corr), by-pass, the fish hook, and the sharpness of the curve. Also the high pressure grinding rolls model developed at the Julius Kruttschnitt Mineral Research Centre gives satisfactory predictions using a breakage function derived from impact and compressed bed tests. Simulation studies of a full plant incorporating a tube mill, HPGR and separators showed that the models could successfully predict the performance of the another mill working under different conditions. The simulation capability can therefore be used for process optimization and design. (C) 2001 Elsevier Science Ltd. All rights reserved.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
The phylogenetic relationships of members of Eudorylini (Diptera: Pipunculidae: Pipunculinae) were explored. Two hundred and fifty-seven species of Eudorylini from all biogeographical regions and all known genera were examined. Sixty species were included in an exemplar-based phylogeny for the tribe. Two new genera are described, Clistoabdominalis and Dasydorylas. The identity of Eudorylas Aczél, the type genus for Eudorylini, has been obscure since its inception. The genus is re-diagnosed and a proposal to stabilize the genus and tribal names is discussed. An illustrated key to the genera of Pipunculidae is presented and all Eudorylini genera are diagnosed. Numerous new generic synonyms are proposed. Moriparia nigripennis Kozánek & Kwon is preoccupied by Congomyia nigripennis Hardy when both are transferred to Claraeola, so Cla. koreana Skevington is proposed as a new name for Mo. nigripennis.