Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.     

Evaluating a graphical notation for modelling software development methodologies

This work aims at evaluating a graphical notation for modelling software (and other kinds of) development methodologies, thus demonstrating how useful the graphical aspects can be for sharing knowledge between the people responsible for documenting information and those responsible for understanding and putting it into practice. We acknowledge the importance of having a common set of symbols that can be used to create, use and disseminate information for a larger audience than is possible today with a variety of alternatives and lack of a common ground. Using a cognitive dimensions framework, we make a standard evaluation of the elements and diagrams of the notation proposed to support the ISO/IEC 24744 methodology metamodel standard, considering the trade-offs between different dimensions. We suggest improvements to this existing notation based on this analysis, in the context of improving communication between creators and users of methodologies.     

Infrared studies of the interaction of carbon monoxide and dinitrogen with ferrisilicate MFI-type zeolites

Fourier transform IR spectroscopy of CO and N₂, adsorbed at liquid nitrogen temperature, was used to characterize an MFI-type H-FeZSM-5 ferrisilicate which was synthesized with a Si/Fe ratio of 50. Thermal treatment of this material at 773 and 973 K was performed in order to follow formation of extraframework species. On samples fired at 773 K Brønsted acid sites were present which gave an O-H stretching band at 3630 cm^–1. These hydroxyl groups formed adducts with both probe molecules, which were monitored by the corresponding bathochromic shift, . Corresponding values for adsorbed CO and N₂ were = –270 and = – 100, respectively. Increasing the firing temperature up to 973 K led to complete removal of iron from the zeolite framework, and consequent disappearance of Brønsted acidity. In this process, extraframework iron oxide species were formed which were also characterized by IR spectroscopy of the adsorbed probe molecules. Both CO and N₂ gave Lewis-type adducts with coordinatively unsaturated Fe³⁺ ions present in the extraframework material. A comparison is made with results of a previous study on the H-GaZSM-5 isomorph.     

采用SC70封装的LED驱动器用单节锂离子电池驱动6个白光LED

引言 在蜂窝电话、PDA和便携式GPS等由电池供电的便携式产品中,高度集成的LT3491可为驱动背光照明电路组成简单和紧凑的解决方案。该器件具有内部补偿电路、LED开路保护功能、一个32V电源开关和一个32V肖特基二极管,而其封装却是纤巧的SC70。     

Total cross section of solid mesitylene, toluene and a mixture of them at thermal neutron energies

The total neutron cross sections of mesitylene, toluene and a solution 3:2 by volume of mesitylene and toluene were measured at the electron LINAC based pulsed neutron source of Centro Atómico Bariloche. Measurements were performed at 180 K, 120 K and 31.6 K for mesitylene and at 120 K and 31.6 K for toluene and a solution 3:2 by volume of mesitylene and toluene. The systems are potential moderator materials to be considered in the design of a cold neutron source due to their high resistance to radiation and the richness in low-energy excitations of their frequency spectra, that lead to produce an enhanced cold neutron flux.     

Rapeseed Proteins for Paperboard Coating

Protein samples of rapeseed were prepared with different compositions as protein isolate, protein concentrate and acetylated protein concentrate. They showed functional properties which are consolidated in the coating. The manufactured protein samples were tested in a pilot‐scale paperboard coating plant. The results indicated that the use of rapeseed proteins in the coating preparation is technically feasible and that the color and roughness of the coated paperboard show no negative effect on the quality. Industry printing experiments with this coated paperboard achieved the standard quality.     

Effect of cooking and germination on phenolic composition and biological properties of dark beans (Phaseolus vulgaris L.)

Legumes are the base´s diet in several countries. They hold a high nutritional value, but other properties related to human health are nowadays being studied. The aim of this work was to study the influence of processes (boiling or germination) on the phenolic composition of dark beans (Phaseolus vulgaris L. c.v. Tolosana) and their effect on their antioxidant, neuroprotective and anticancer ability. Phenolic composition of raw and processed dark beans was analysed by HPLC-PAD and HPLC–ESI/MS. The antioxidant activity was evaluated by ORAC. Astrocytes cultures (U-373) have been used to test their neuroprotective effect. Anticancer activities were evaluated on three different cell lines (renal adenocarcinoma (TK-10), breast adenocarcinoma (MCF-7) and melanoma (UACC-62)) by sulphorhodamine B method. Qualitative and quantitative differences in phenolic composition have been observed between raw and processed dark beans that influence the antioxidant activity, mainly for germinated samples which show a decrease of antioxidant capacity. Although every assayed extracts decreased reactive oxygen species release and exhibited cytotoxicity activities on cancer cell lines, raw beans proved to be the most active in neuroprotective and antitumoral effects; this sample is especially rich in phenolic compounds, mainly anthocyanins. This study further demonstrated that phenolic composition of dark beans is related with cooking process and so with their neuroprotective and anticancer activity; cooking of dark beans improves their digestion and absorption at intestinal level, while maintaining its protective ability on oxidative process at cellular level.     

Controlled clinical assay in Clonidine, arginine aspartate, alpha-ketoglutarate of Ornithine and Ciproheptadine as growth stimulants in children with short stature

Eighty-one healthy prepubertal children of short stature, between two and twelve years of age, were divided into four homogeneous groups. Each group was treated with a placebo for one year and for a second year with one of the following drugs (double blind): clonidine (CI), arginine asprate (AA), ornithine alphaketoglutare (OKG), or cyproheptadine (Cp). CI and OKG did not better the standard deviation of height. AA and Cp did, but to no greater extent than the placebo. The growth rate did not change in any group. The ratio of bone age/chronological age was significantly higher at the end of the OKG year than at the end of the year with placebo, a difference that was not found in any other group. The prognosis of adult height (TW2) did not change in any group. The standard deviation of weight increased in all groups, both with the placebo and the various drugs, without significant differences between the groups. The CI caused frequent clinical side effects, including a reversible increase in transaminases in one child. The Cp stimulated hunger. The AA and OKG did not produce side-effects and the placebo increased appetite in 11% of the children. Somatomedin C was significantly higher after one year with Cp than after one year with the placebo, significantly higher after the placebo than after CI and AA and there was no difference between the treatment with the placebo and OKG. Growth hormone values in a 24 hour urine sample were so scattered that we do not consider them helpful.(ABSTRACT TRUNCATED AT 250 WORDS)     

Immunogenicity of four Plasmodium falciparum preerythrocytic antigens in Aotus lemurinus monkeys

Aotus lemurinus monkeys were immunized with pools of either lipid-tailed peptides injected in PBS or peptides in Montanide ISA-51, all derived from four Plasmodium falciparum pre-erythrocytic antigens, namely, LSA1, LSA3, SALSA, and STARP. These formulations were well tolerated. Their immunogenicity was demonstrated by the induction of both B- and T-cell responses to most of the peptides studied (of the 12, 10 induced antibody production, 9 induced T-cell proliferative responses, and all 12 induced gamma interferon secretion). Immune responses proved to be long lasting, since some were still detectable 210 days after immunization. Of particular importance is the fact that B- and T-cell responses elicited in this way by synthetic peptides were specific for native parasite proteins on P. falciparum sporozoites and liver stage parasites.