this paper presents a new control structure to reduce torque ripple in switched reluctance motor. although srm possesses many advantages in motor structure, it suers from large torque ripple that causes some problems such as vibration and acoustic noise. in this paper another control loop is added and torque ripple is de ned as an objective function. by using fuzzy sliding mode strategy, the dc...

background: surface microhardness is a physical property which access the effect of chemical and physical agents on hard tissues of teeth, and a useful way to examine the resistance of fluoride treated enamel against caries. the purpose of this study was to evaluate microhardness of enamel following ph-cycling through demineralization and remineralization using suspensions of dentifrices with d...

  Background: The Rosemary extract (RE) possesses various antioxidant, cytoprotective and cognition-improving bioactivities. In this study, we postulated which doses of RE have a more effect on the hippocampus of middle-aged rats.   Methods : In this experimental study, thirty-two middle-aged male Wistar rats were fed by different doses (50,100 and 200 mg/kg/day) of RE (containing 40% carnosic ...

In this report, we consider retinal detachment in the eye, which happens when the retina comes away from the choroid. This condition is often treated by removing the vitreous humour from the eye (vitrectomy) and spot-welding the retina back on to the choroid. After this, the vitreous body is refilled with saline or silicone oil. The vitreous humour is a viscoelastic material, with a very high e...

0167-8655/$ see front matter 2009 Published by doi:10.1016/j.patrec.2009.12.002 * Corresponding author. Tel.: +34 687291957; fax: E-mail addresses: [email protected] (S. Escalera), [email protected] (P. Radeva). A standard way to deal with multi-class categorization problems is by the combination of binary classifiers in a pairwise voting procedure. Recently, this classical approach has been f...

One of the potential bene ts of formal methods is that they o er the possibility of reducing the costs of testing. A speci cation acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated. There has therefore been interest in developing test generation techniques from formal speci cations, and a number of di erent methods have been...

One of the potential beneets of formal methods is that they ooer the possibility of reducing the costs of testing. A speciication acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated. There has therefore been interest in developing test generation techniques from formal spec-iications, and a number of diierent methods have bee...