985 resultados para Software Reuse, Objects, Concurrency, Actors, Agents
Resumo:
To evaluate the effect of low and highly concentrated bleaching agents on microhardness and surface roughness of bovine enamel and root dentin. According to a randomized complete block design, 100 specimens of each substrate were assigned into five groups to be treated with bleaching agents containing carbamide peroxide (CP) at 10% (CP10); hydrogen peroxide (HP) at 7.5% (HP7.5) or 38% (HP38), or the combination of 18% of HP and 22% of CP (HP18/CP22), for 3 weeks. The control group was left untreated. Specimens were immersed in artificial saliva between bleaching treatments. Knoop surface microhardness (SMH) and average surface roughness (Ra) were measured at baseline and post-bleaching conditions. For enamel, there were differences between bleaching treatments for both SMH and Ra measurements (p = 0.4009 and p = 0.7650, respectively). SMH significantly increased (p < 0.0001), whereas Ra decreased (p = 0.0207) from baseline to post-bleaching condition. For root dentin, the group treated with CP10 exhibited the significantly highest SMH value differing from those groups bleached with HP18/CP22, HP7.5, which did not differ from each other. Application of HP38 resulted in intermediate SMH values. No significant differences were found for Ra (p = 0.5975). Comparing the baseline and post-bleaching conditions, a decrease was observed in SMH (p < 0.0001) and an increase in Ra (p = 0.0063). Bleaching agents with varying concentrations of CP and/or HP are capable of causing mineral loss in root dentin. Enamel does not perform in such bleaching agent-dependent fashion when one considers either hardness or surface roughness evaluations. Bleaching did not alter the enamel microhardness and surface roughness, but in root dentin, microhardness seems to be dependent on the bleaching agent used.
Resumo:
Introduction: The aim of this study was to evaluate the radiopacity of calcium aluminate cement (Endo Binder) with 3 different radiopacifiers (bismuth oxide, zinc oxide, or zirconium oxide) in comparison with gray mineral trioxide aggregate (GMTA), white MTA, and dental structures (enamel and dentin). Methods: Eighteen test specimens of each cement with thicknesses of 0.5, 1.0, 1.5, 2.0, 2.5, and 3.0 mm (n = 3) were made by using a stainless steel matrix and were adapted to a standardizing device (8 x 7 cm) with a graduated aluminum stepwedge varying from 2.0-16.0 mm in thickness. To compare the radiopacity of the cements with that of dental structures, slices of first molars with a thickness increasing from 0.5-3.0 mm were obtained and placed on the standardizing device. One occlusal radiograph for each tested cement was taken, with exposure time of 0.1 seconds and focus-film distance of 20 cm. Films were processed in an automatic device, and the mean radiopacity values were obtained by using a photodensitometer. Results: Mean values showed that the thicker the specimen was, the greater was its radiopacity. Only EndoBinder + bismuth oxide (EBBO) and GMTA demonstrated radiopacity values greater than 3.0 mm of the aluminum scale for all thicknesses. When zinc oxide was used as radiopacifier agent, EndoBinder only reached the desired radiopacity with a thickness of 2.0 mm, and with zirconium oxide it was 2.5 mm. Conclusions: Bismuth oxide was the most efficient radiopacifier for EndoBinder, providing adequate radiopacity in all studied thicknesses, as recommended by ISO 6876, being similar to GMTA. (J Endod 2011;37: 67-71)
Resumo:
In this article, I show how new spaces are being prefigured for colonization in new economy policy discourses. Drawing on a corpus of 1.3 million words collected from legislatures throughout the world, I show the role of policy language in creating the foundations of an emergent form of political economy: The analysis is informed by principles from critical discourse analysis (CDA), classical political economy and critical media studies. It foregrounds a functional aspect of language called process metaphor to show how aspects of human activity are prefigured for mass commodification by the manipulation of realis and irrealis spaces. I also show how the fundamental element of any new political economy, the property element, is being largely ignored. Current moves to create a privately owned global space, which is as concrete as landed property - namely, the electromagnetic spectrum - has significant ramifications for the future of social relations in any global knowledge economy.
Resumo:
To understand how bees, birds, and fish may use colour vision for food selection and mate choice, we reconstructed views of biologically important objects taking into account the receptor spectral sensitivities. Reflectance spectra a of flowers, bird plumage, and fish skin were used to calculate receptor quantum catches. The quantum catches were then coded by red, green, and blue of a computer monitor; and powers, birds, and fish were visualized in animal colours. Calculations were performed for different illumination conditions. To simulate colour constancy, we used a von Kries algorithm, i.e., the receptor quantum catches were scaled so that the colour of illumination remained invariant. We show that on land this algorithm compensates reasonably well for changes of object appearance caused by natural changes of illumination, while in water failures of von Kries colour constancy are prominent. (C) 2000 John Wiley & Sons, Inc.
Resumo:
The presentation of an aesthetic identity involves the accomplishment of a coherent, plausible narrative which links one's choices to desired characteristics of the self. As symbolic evidence of a person's taste, material culture is a vital component of a successful narrative. Via case studies of pivotal household objects, this paper uses face-to-face interview data as a way of investigating processes of aesthetic choice. Household objects are interpreted as material elements imbricated in the presentation of a socially plausible and internally consistent aesthetic self. Narrative analysis, and the concept of the epiphany-object, are proposed as useful ways of accounting for tastes in domestic material culture. Methodological questions of truth-telling and authenticity in the face-to-face context are considered, and the sociological problem of taste is scrutinized in light of ideas about social accountability and textual identity.
Resumo:
Computer assisted learning has an important role in the teaching of pharmacokinetics to health sciences students because it transfers the emphasis from the purely mathematical domain to an 'experiential' domain in which graphical and symbolic representations of actions and their consequences form the major focus for learning. Basic pharmacokinetic concepts can be taught by experimenting with the interplay between dose and dosage interval with drug absorption (e.g. absorption rate, bioavailability), drug distribution (e.g. volume of distribution, protein binding) and drug elimination (e.g. clearance) on drug concentrations using library ('canned') pharmacokinetic models. Such 'what if' approaches are found in calculator-simulators such as PharmaCalc, Practical Pharmacokinetics and PK Solutions. Others such as SAAM II, ModelMaker, and Stella represent the 'systems dynamics' genre, which requires the user to conceptualise a problem and formulate the model on-screen using symbols, icons, and directional arrows. The choice of software should be determined by the aims of the subject/course, the experience and background of the students in pharmacokinetics, and institutional factors including price and networking capabilities of the package(s). Enhanced learning may result if the computer teaching of pharmacokinetics is supported by tutorials, especially where the techniques are applied to solving problems in which the link with healthcare practices is clearly established.
Resumo:
The drugs which provide specific relief from migraine attacks, the ergopeptides (ergotamine and dihydroergotamine) and the various 'triptans' (notably sumatriptan), are often prescribed for persons already taking various migraine preventative agents, and sometimes drugs for other indications. As a result, migraine-specific drugs may become involved in drug-drug interactions. The migraine-specific drugs all act as agonists at certain subclasses of serotonin (5-hydroxytryptamine; 5-MT) receptor, particularly those of the 5-HT1D subtype, and produce vasoconstriction through these receptor-mediated mechanisms. The oral bioavailabilities of these drugs, particularly those of the ergopeptides, are often incomplete, due to extensive presystemic metabolism. As a result, if migraine-specific agents are coadministered with drugs with vasoconstrictive properties, or with drugs which inhibit the metabolism of the migraine-specific agents, there is a risk of interactions occurring which produce manifestations of excessive vasoconstriction. This can also occur through pharmacodynamic mechanisms, as when ergopeptides or triptans are coadministered with methysergide or propranolol (although a pharmacokinetic element may apply in relation to the latter interaction), or if one migraine-specific agent is used shortly after another. When egopeptide metabolism is inhibited by the presence of macrolide antibacterials, particularly troleandomycin and erythromycin, the resultant interaction can produce ergotism, sometimes leading to gangrene. Similar pharmacokinetic mechanisms, with their vasoconstrictive consequences, probably apply to combination of the ergopeptides with HIV protease inhibitors (indinavir and ritonavir), heparin, cyclosporin or tacrolimus. Inhibition of triptan metabolism by monoamine oxidase A inhibitors, e.g. moclobemide, may raise circulating triptan concentrations, although this does not yet seem to have led to reported clinical problems. Caffeine may cause increased plasma ergotamine concentrations through an as yet inadequately defined pharmacokinetic interaction. However, a direct antimigraine effect of caffeine may contribute to the claimed increased efficacy of ergotamine-caffeine combinations in relieving migraine attacks. Serotonin syndromes have been reported as probable pharmacodynamic consequences of the use of ergots or triptans in persons taking serotonin reuptake inhibitors. There have been two reports of involuntary movement disorders when sumatriptan has been used by patients already taking loxapine. Nearly all the clinically important interactions between the ergopeptide antimigraine agents and currently marketed drugs are likely to have already come to notice. In contrast, new interactions involving the triptans are likely to be recognised as additional members of this family of drugs, with their different patterns of metabolism and pharmacokinetics, are marketed.
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:
Synthetic aperture radar (SAR) images of resonant buried objects are modelled in the presence of ground surface clutter. The method of moments (MoM) is used to model scattered fields from a resonant buried conductor and clutter is modelled as a bivariant Gaussian distribution. A diffraction stack SAR imaging technique is applied to the ultra-wideband waveforms to give a bipolar signal image. A number of examples have been computed to illustrate the combined effects of SAR processing with resonant targets and clutter. SAR images of different targets show differences which may facilitate target identification. To maximise the peak signal-to-clutter ratio, an image correlation technique is applied and the results are shown.
Resumo:
A scheme is presented to incorporate a mixed potential integral equation (MPIE) using Michalski's formulation C with the method of moments (MoM) for analyzing the scattering of a plane wave from conducting planar objects buried in a dielectric half-space. The robust complex image method with a two-level approximation is used for the calculation of the Green's functions for the half-space. To further speed up the computation, an interpolation technique for filling the matrix is employed. While the induced current distributions on the object's surface are obtained in the frequency domain, the corresponding time domain responses are calculated via the inverse fast Fourier transform (FFT), The complex natural resonances of targets are then extracted from the late time response using the generalized pencil-of-function (GPOF) method. We investigate the pole trajectories as we vary the distance between strips and the depth and orientation of single, buried strips, The variation from the pole position of a single strip in a homogeneous dielectric medium was only a few percent for most of these parameter variations.
Resumo:
The ability of 2 freshwater fishes, eastern rainbow fish Melanotaenia splendida splendida and fly-specked hardyhead Craterocephalus stercusmuscarum stercusmuscarum. native to North Queensland to prey on immature Aedes aegypti was evaluated under laboratory conditions. The predation efficiency of the 2 species was compared to the exotic guppy, Poecilia reticulata, which is commonly used as a biological control agent of mosquito larvae. Of the 3 fish species tested, M. s. splendida was shown to be the most promising agent for the biological control of Ae. aegypti that breed in wells. Melanotaenia s. splendida consumed significantly greater numbers of immature Ae. aegypti than P. reticulata, irrespective of developmental stage or light conditions. Unlike C. s. stercusmuscarum, M, s. splendida could be handled, transported, and kept in captivity for extended periods with negligible mortality. However, M. s. splendida was also an efficient predator of Litoria caerulea tadpoles, a species of native frog found in wells during the dry season. This result may limit the usefulness of M. s. splendida as a biological control agent of well-breeding Ae. aegypti and suggests that predacious copepods, Mesocyclops spp., are more suitable. However, the use of M. s. splendida as a mosquito control agent in containers that are unlikely to support frog populations (e.g., aquaculture tanks and drinking troughs) should be given serious consideration.
Resumo:
Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.
Resumo:
With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.
Resumo:
Seasonal climate forecasting offers potential for improving management of crop production risks in the cropping systems of NE Australia. But how is this capability best connected to management practice? Over the past decade, we have pursued participative systems approaches involving simulation-aided discussion with advisers and decision-makers. This has led to the development of discussion support software as a key vehicle for facilitating infusion of forecasting capability into practice. In this paper, we set out the basis of our approach, its implementation and preliminary evaluation. We outline the development of the discussion support software Whopper Cropper, which was designed for, and in close consultation with, public and private advisers. Whopper Cropper consists of a database of simulation output and a graphical user interface to generate analyses of risks associated with crop management options. The charts produced provide conversation pieces for advisers to use with their farmer clients in relation to the significant decisions they face. An example application, detail of the software development process and an initial survey of user needs are presented. We suggest that discussion support software is about moving beyond traditional notions of supply-driven decision support systems. Discussion support software is largely demand-driven and can compliment participatory action research programs by providing cost-effective general delivery of simulation-aided discussions about relevant management actions. The critical role of farm management advisers and dialogue among key players is highlighted. We argue that the discussion support concept, as exemplified by the software tool Whopper Cropper and the group processes surrounding it, provides an effective means to infuse innovations, like seasonal climate forecasting, into farming practice. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.