A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing

In order to ensure reliability and quality, software systems must be tested. Testing object-oriented software is harder than testing procedure-oriented software. It involves four levels, namely the algorithmic level, class level, cluster level, and system level. We proposed a methodology TACCLE for class-and cluster- level testing. It includes an important algorithm GFT for generating fundamental equivalent pairs as class-level test cases based on axioms in a given algebraic specification for a given class. This formal methodology has many benefits. However, system analysts often find it difficult to construct axioms for algebraic specifications. In this paper, we propose a scheme to aid the construction of the left-hand sides of axioms. The scheme alleviates the difficulties of the system analysts and also helps them check the completeness, consistency, and independence of the axiom system. © 2008 IEEE.published_or_final_versionUnion Grant of Guangdong Province and National Natural Science Foundation of China (#U0775001), Guangdong Province Science Foundation (#7010116), and by a grant of the Youth Science Foundation of Jinan University (#51208035)

Chemical Composition and Biological Properties of Essential Oils of Two Mint Species

Purpose: To analyze the composition of essential oils of two types of mint as well as compare the antimicrobial, antioxidant and anti-inflammatory activities of the two oils.Methods: Peppermint (M. piperita L.) and chocolate mint (M. piperita L.) oils were obtained by steam distillation in a Clevenger-type apparatus. The chemical composition of the essential oils was determined by gas chromatography-mass spectrometry (GC/MS). The minimal inhibitory concentration (MIC) of the essential oils were determined by broth dilution method. The antioxidant activities of the oils were determined by 2, 2-diphenyl-1-picrylhydrazyl (DPPH)DPPH radical scavenging assay, β-Carotene-linoleic acid assay, andnitric oxide (NO) radical scavenging assay.Results: The two essential oils contain high levels of alcohol (43.47-50.10%) and terpene (18.55-21.07%) with the major compound being menthol (28.19-30.35%). The antimicrobial activity (minimum inhibitory concentration, MIC) of peppermint oil against E. coli, S. aureus and P. aeruginosa (0.15, 0.08, 0.92 %v/v, respectively) was stronger than that of chocolate mint (0.23, 0.09, 1.22 %v/v, respectively). In the anti-oxidant test including DPPH and β-Carotenelinoleic acid assays, peppermint oil showed superior antioxidant properties to chocolate mint oil (4.45 - 19.86 μl/mL). However, with regard to scavenging NO radical activity, chocolate mint oil exhibited higher activity than peppermint (0.31 and 0.42 μl/mL, respectively). Chocolate mint oil also exhibited higher anti-inflammatory activity than peppermint oil (0.03 and 0.08 μl/mL, respectively).Conclusion: The results obtained should help to clarify the functional applications of these folk herbs and their essential oils for aromatherapeutic healing and other folkloric uses.Keywords: Peppermint, Chocolate mint, Anti-microbial, Anti-oxidant, Anti-inflammator

Multimodal fuzzy fusion for enhancing the motor-imagery-based brain computer interface

© 2005-2012 IEEE. Brain-computer interface technologies, such as steady-state visually evoked potential, P300, and motor imagery are methods of communication between the human brain and the external devices. Motor imagery-based brain-computer interfaces are popular because they avoid unnecessary external stimuli. Although feature extraction methods have been illustrated in several machine intelligent systems in motor imagery-based brain-computer interface studies, the performance remains unsatisfactory. There is increasing interest in the use of the fuzzy integrals, the Choquet and Sugeno integrals, that are appropriate for use in applications in which fusion of data must consider possible data interactions. To enhance the classification accuracy of brain-computer interfaces, we adopted fuzzy integrals, after employing the classification method of traditional brain-computer interfaces, to consider possible links between the data. Subsequently, we proposed a novel classification framework called the multimodal fuzzy fusion-based brain-computer interface system. Ten volunteers performed a motor imagery-based brain-computer interface experiment, and we acquired electroencephalography signals simultaneously. The multimodal fuzzy fusion-based brain-computer interface system enhanced performance compared with traditional brain-computer interface systems. Furthermore, when using the motor imagery-relevant electroencephalography frequency alpha and beta bands for the input features, the system achieved the highest accuracy, up to 78.81% and 78.45% with the Choquet and Sugeno integrals, respectively. Herein, we present a novel concept for enhancing brain-computer interface systems that adopts fuzzy integrals, especially in the fusion for classifying brain-computer interface commands

A quantitative comparison of in-line coating thickness distributions obtained from a pharmaceutical tablet mixing process using discrete element method and terahertz pulsed imaging

The application of terahertz pulsed imaging (TPI) in the in-line configuration to monitor the coating thickness distribution of pharmaceutical tablets has the potential to improve the performance and quality of the spray coating process. In this study, an in-line TPI method is used to measure coating thickness distributions on pre-coated tablets during mixing in a rotating pan, and compared with results obtained numerically using the discrete element method (DEM) combined with a ray-tracing technique. The hit rates (i.e. the number of successful coating thickness measurements per minute) obtained from both terahertz in-line experiments and the DEM/ray-tracing simulations are in good agreement, and both increase with the number of baffles in the mixing pan. We demonstrate that the coating thickness variability as determined from the ray-traced data and the terahertz in-line measurements represents mainly the intra-tablet variability due to relatively uniform mean coating thickness across tablets. The mean coating thickness of the ray-traced data from the numerical simulations agrees well with the mean coating thickness as determined by the off-line TPI measurements. The mean coating thickness of in-line TPI measurements is slightly higher than that of off-line measurements. This discrepancy can be corrected based on the cap-to-band surface area ratio of the tablet and the cap-to-band sampling ratio obtained from ray-tracing simulations: the corrected mean coating thickness of the in-line TPI measurements shows a better agreement with that of off-line measurements

In-Situ Hydrothermal Synthesis of Zinc Oxide Nanostructures Using Microheaters

A technique for in-situ hydrothermal synthesis of transversely suspended zinc oxide nanowires (ZnO NWs) using microfabricated heaters is presented. A number of issues relating to seed layer preparation, directed alignment, local heating control and the concentration of the synthesis solution are investigated for this method. It is shown that ZnO NWs can be synthesized and aligned from the ZnO seed surface to bridge two adjacent microheater elements. Moreover, hybrid ZnO nanotubes and nanorods are also synthesized by controlling the concentration of the synthesis solution employed. The crystalline structure of synthesized ZnO nanostructures are characterized by the transmission electron microscope (TEM) and selective area electron diffraction (SAED). Finally, ZnO NW devices based on proposed microheater synthesis approach are characterised for UV photoresponsivity demonstrating the potential of this approach to address practical device applications.Funding support by the WPI-AIMR, Tohoku University and by the Royal Society is gratefully acknowledged.This is the author accepted manuscript. The final version is available from IEEE via http://dx.doi.org/10.1109/TNANO.2015.246807

The MAHA clue - A case report

Microangiopathic hemolytic anemia (MAHA), is one of the causes of extra vascular hemolysis. It is seen in settings with pathologically altered small blood vessels. Disseminated carcinomas may rarely present as MAHA. A case of a 28 year old female with carcinoma stomach, who presented with MAHA as a first manifestation is reported. Acute onset of MAHA, may be the first manifestation of malignancy. In the absence of relatively common causes like disseminated intravascular coagulation,/Hemolytic uremic syndrome/thrombotic thrombocytopenic purpura, MAHA warrants extensive rapid investigations including bone marrow aspiration for possible metastatic deposits