879 resultados para Object manipulation
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
Background: Mice allergic to ovalbumin (OVA) avoid drinking a solution containing this antigen. This was interpreted as related to IgE-dependent mast cell degranulation and sensory C fiber activation. Methods: We employed pharmacological manipulation to further investigate the mediators involved in immune-induced food aversion. Results: While nonimmunized rats preferred a sweetened OVA solution, immunized rats avoided it. We also employed a paradigm in which rats are conditioned to drink water for two 10-min sessions a day. Tolerant rats presented lower IgE titers, and this manipulation abrogated food aversion. Dexamethasone (1.0 mg/kg) prevented the aversion of OVA-immunized rats to the antigen-containing solution. Combined blockade of H(1) and 5-hydroxytryptamine (5-HT)(2) receptors by promethazine (3.0 mg/kg) plus methysergide (5.0 mg/kg) was unable to alter food aversion. Blockade of 5-HT(3) receptors by ondansetron (1.0 mg/kg) caused a twofold increase in the ingestion of the sweetened OVA solution by immunized rats, suggesting the involvement of 5-HT(3) receptors in food aversion. Finally, we showed that dexamethasone or promethazine plus methysergide, but not ondansetron, effectively prevented the IgE-dependent mast-cell-degranulation-induced increase in vascular permeability in rats. Conclusion: We suggest that regardless of whether or not they cause edema, IgE-mediated mast cell degranulation and consequent 5-HT(3) signaling are involved in the process that triggers avoidance to the source of the allergen in allergic rats. Copyright (C) 2008 S. Karger AG, Basel
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:
Contributors to the debate surrounding the ethics of germ line gene manipulation have by and large concentrated their efforts on discussions of the potential risks that are associated with the use of this technology. Many international advisory committees have ruled out the acceptability of germ line gene manipulation at least for the time being. The purpose of this work is to generate much needed discussion on the many other ethical issues concerning the implementation of not only germ line gene manipulation but also other related biotechnologies. In this paper I systematically investigate and analyse the most salient issues put forward by proponents and opponents alike. I argue that if germ line manipulation proves to be a safe and effective procedure, then the principle of beneficence imposes on the medical profession a moral duty to pursue the technology.
Resumo:
Objective. A pilot investigation of the influence of different force levels on a treatment technique's hypoalgesic effect. Design. Randomised single blind repeated measures. Background. Optimisation of such biomechanical treatment variables as the point of force application, direction of force application and the level of applied manual force is classically regarded as the basis of best practice manipulative therapy. Manipulative therapy is frequently used to alleviate pain, a treatment effect that is often studied directly in the neurophysiological, paradigm and seldom in biomechanical research. The relationship between the level of force applied by a technique (e.g. biomechanics) and its hypoalgesic effect was the focus of this study. Method. The experiment involved the application of a lateral glide mobilisation with movement treatment technique to the symptomatic elbow of six subjects with lateral epicondylalgia. Four different levels of force, which were measured with a flexible pressure-sensing mat, were randomly applied while the subject performed a pain free grip strength test. Results. Standardised manual force data varied from 0.76 to 4.54 N/cm, lower-upper limits 95 Cl, respectively. Pain free grip strength expressed as a percentage change from pre-treatment values was significantly greater with manual forces beyond 1.9 N/cm (P = 0.014). Conclusions. This study, albeit a pilot, provides preliminary evidence that in terms of the hypoalgesic effect of a mobilisation with movement treatment technique, there may be an optimal level of applied manual force.
Resumo:
Aims : To study the effects of amylomaize starch and modified (carboxymethylated and acetylated) amylomaize starches on the composition of colonic bacteria and the production of volatile fatty acids, in mice. Methods and Results : Balb/c mice were fed with experimental diets containing various amount of amylomaize and modified amylomaize starches. Colonic bacterial populations and short-chain fatty acids were monitored. Results showed that the increases in indigenous bifidobacteria were detected in mice fed all starches tested; however, the highest numbers were observed in the group fed with 40% unmodified amylomaize starch. The starch type influenced the populations of indigenous Lactobacillus , Bacteroides and coliforms. High Lactobacillus numbers were achieved in the colon of mice fed with high concentration of amylomaize starch. Acetylated amylomaize starch significantly reduced the population of coliforms. In addition, orally dosed amylomaize utilizing bifidobacteria reached their highest levels when fed together with amylomaize or carboxymethylated amylomaize starch and in both cases butyrate levels were markedly increased. Conclusions: These results indicate that different amylomaize starches could generate desirable variation in gut microflora and that particular starches may be used to selectively modify gut function. Significance and Impact of Study: Amylomaize starch appeared to enhance the desirable composition of colonic bacteria in mice, and suggested it possessed the potential prebiotic properties.MTherefore, resistant starch and its chemical derivatives may exert beneficial impacts to the human colon.
Resumo:
Previous studies have demonstrated that the initial hypoalgesic effect of spinal manipulative therapy was not antagonized by naloxone and did not exhibit tolerance with repeated applications. The implication is that endogenous opioid mechanisms of pain relief are probably not at play in spinal manipulative therapy. The role of endogenous opioid peptides in manipulation of the peripheral joints has not been investigated. The aim of this study was to evaluate whether the initial hypoalgesic effect of a peripheral manipulative technique (mobilization-with-movement treatment for the elbow) demonstrated a tolerance to repeated applications (ie, reduction in magnitude of effect over repeated applications). Twenty-four participants with unilateral chronic lateral epicondylalgia participated in the study. A repeated measures study was conducted to examine the effect of repeated applications of the mobilization-with-movement treatment for the elbow on 6 separate treatment occasions at least 2 days apart. Pain-free grip strength and pressure pain threshold were chosen as the pain-related outcome measures. Changes in the percent maximum possible effect scores of measures of hypoalgesia were evaluated across the 6 treatment sessions by using linear trend analysis. The results showed no significant difference for the hypoalgesic effect of the treatment technique between sessions (P >.05). This peripheral manipulative therapy treatment technique appeared to have a similar effect profile to previously studied spinal manipulative therapy techniques, thereby contributing to the body of knowledge that indicates that manipulative therapy most likely induces a predominant non-opioid form of analgesia.
Resumo:
This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.