This paper presents an approach for the generation of test purposes in the form of labelled transition systems from specifications of properties in CTL. The approach is aimed at adapting the model checking process, by extending search algorithms to perform further analysis so that examples and counter-examples can be extracted. An algorithm for the generation of test purposes through analysis over the examples and counter-examples is presented, along with a case study to show the correspondence between the CTL properties and the generated test purposes. 相似文献
We have fabricated and characterized Yba2Cu3O7–-Ba2HoSbO6a realized high Tcsuperconductor - ceramic insulator composite system in which particles of the superconductor and ceramic insulator could coexist with well defined separated phases left intact by stringent processing conditions. All the composites exhibit superconductivity at 92K. EDX analysis show that element% and atomic% of the composites are in a good agreement with those of their respective components. SEM studies show homogenous surface morphology and particle size distribution. There is no detectable interface interaction between component grains and Ba2HoSbO6grains are distinguishably distributed in the Yba2Cu3O7–matrix.相似文献
Phytotoxicity-based extraction and fractionation were employed to separate allelochemicals contained in an extract of Lethariella canariensis. Twelve phenolic substances were isolated from the phytotoxic fraction Letharal of the thalli. These were identified by spectroscopic methods, physicochemical constants, and HPLC chemical correlation, and determined to be atranol (2), chloroatranol (3), hematommic acid (4), chlorohematommic acid (5), methyl hematommate (6), methyl chlorohematommate (7) (new compound), ethyl hematommate (8), ethyl chlorohematommate (9), methyl -orsellinate (10), atranorin (11), chloroatranorin (12), and (+)-usnic acid (13). Further identification and quantification of these allelochemicals in the environment were conducted by HPLC. Several phenolic compounds showed moderate antimicrobial activity. The cytostatic activity of the polyphenols was investigated on U937 and HL-60 cells. All compounds were assayed, with the exception of 10. The Letharal mixture decreased cell viability in both cell lines. Protection against lipid peroxidation was investigated using brain homogenates. Compounds 2, 3, 6, 8, 11, and Letharal decreased H2O2/Fe+2 induced lipid peroxidation in a concentration-dependent manner, while 10 and 13 were unable to protect tissue against oxidative stress. 相似文献
Europium-doped ceria (EDC, Ce0.9Eu0.1O2−δ)/alkaline carbonate (LNC, (Li,Na)2CO3) composite ceramics prepared through a one-step citrate-based route were analyzed by powder X-ray diffraction, infrared and laser Raman spectroscopies as well as scanning and transmission electron microscopy. The electrochemical behavior of the electrolyte material was studied by impedance spectroscopy in air, CO2 and N2 + H2 (90/10 vol%, respectively) gas mixtures, in the temperature range 300–600 °C. The sub micrometric and even nanosized ceramic particles appeared as merged inside the mixed carbonates, with modest grain to grain necking. The EDC/LNC composite electrolytes showed a conductivity of 0.27 S cm−1 at 600 °C in air, amongst the best ever reported, exceeding the usual requirements for fuel cell applications. 相似文献
An analytical procedure was developed to measure bromate residues in baked goods using a sequence of clean-up procedures followed by high performance liquid chromatography (HPLC) with a post-column reaction for oxidants. Deionized water was used to extract bromate from bread samples. The extract was treated with a C-18 solid phase extraction column to remove lipids, a cation exchange column with the silver cation to remove chloride, and an ultrafiltration membrane to remove proteins. Further treatment of the extract with the sodium form of a propylsulphonic acid ion exchange column was necessary to remove the silver that leached from the silver column. The method had a detection limit of 3 ng/g in baked goods. Recoveries of bromate from breads ranged from 73 to 86% at a fortified bromate level of 5-100 ng/g. Pullman-type white bread, produced by a sponge and dough method, was prepared in our laboratory for measurement of residual bromate. The dough was scaled in three different weights at different specific volumes (3.8, 4.1, 4.3), and samples of each of the three weights were baked for six different baking times ranging from 24 to 34 min. When bromate at a level of 25 mg/kg was added to flour, no residual bromate was detected in any of the samples, regardless of weight and baking time. 相似文献
Myrcia is one of the largest genera of the economically important family Myrtaceae. Some of the species are used in folk medicine, such as a group known as “pedra-hume-caá” or “pedra-ume-caá” or “insulina vegetal” (insulin plant) that it is used for the treatment of diabetes. The species are an important source of essential oils, and most of the chemical studies on Myrcia describe the chemical composition of the essential oils, in which mono- and sesquiterpenes are predominant. The non-volatile compounds isolated from Myrcia are usually flavonoids, tannins, acetophenone derivatives and triterpenes. Anti-inflammatory, antinociceptive, antioxidant, antimicrobial activities have been described to Myrcia essential oils, while hypoglycemic, anti-hemorrhagic and antioxidant activities were attributed to the extracts. Flavonoid glucosides and acetophenone derivatives showed aldose reductase and α-glucosidase inhibition, and could explain the traditional use of Myrcia species to treat diabetes. Antimicrobial and anti-inflammatory are some of the activities observed for other isolated compounds from Myrcia. 相似文献
Cross-sectional study with 270 children and their mothers in eight public and philanthropic daycare centers in the city of S?o Paulo, Brazil. The objective is to identify the determinants of exclusive breastfeeding (EBF) and breastfeeding (BF). The Mann-Whitney/ Wilcoxon test and survival analysis; Kaplan Meier curves and Cox multiple regression models were used for statistical analyses. The median of exclusive breastfeeding duration was 79.1 +/- 55.6 days and breastfeeding was 185.3 +/- 174.2 days. In multivariate analysis, the following risk factors of early weaning for exclusive breastfeeding were identified: pacifier use (HR = 1.65, 95% CI = 1.24 to 2.2); previous hospital admission (HR = 1.35, 95% CI = 1.01 to 1.80); mother working outside home (HR = 1.33, 95% CI = 1.00 to 1.76). For breastfeeding were identified: pacifier use (HR = 2.54, 95% CI = 1.87 to 3.45) and mother who works outside the home (HR = 1.51, 95% CI = 1.14-1.99). The results show that it is necessary to continue to promote and support breastfeeding, mainly the exclusive breastfeeding until six months of age. The daycare centers should incorporate this idea, once they may have direct control over some of the early weaning determinants, and are also good places to deliver messages and guidance on nutrition education to mothers and caregivers in contact with children under three years old. 相似文献
The cover image by Lizandra Viana Maurat da Rocha highlights one of our innovative biodegradable films, which incorporated molybdenum trioxide and zinc oxide into the poly(butylene adipate-co-terephthalate) matrix through casting. The photo emphasizes its partial transparency and homogeneity. Some analytical results reported as FTIR, TD-NMR, XRD and TGA validates nanomaterial's exceptional mechanical and chemical properties. Icons below underscore its potential as an eco-friendly food packaging,with bacteriostatic features and no formation of microplastics after disposal. DOI: 10.1002/app.55294