On requirement verification for evolving Statecharts specifications

Software development processes have been evolving from rigid, pre-specified, and sequential to incremental, and iterative. This evolution has been dictated by the need to accommodate evolving user requirements and reduce the delay between design decision and feedback from users. Formal verification techniques, however, have largely ignored this evolution and even when they made enormous improvements and found significant uses in practice, like in the case of model checking, they remained confined into the niches of safety-critical systems. Model checking verifies if a system’s model \(\mathcal{M}\) satisfies a set of requirements, formalized as a set of logic properties \(\Phi\) . Current model-checking approaches, however, implicitly rely on the assumption that both the complete model \(\mathcal{M}\) and the whole set of properties \(\Phi\) are fully specified when verification takes place. Very often, however, \(\mathcal{M}\) is subject to change because its development is iterative and its definition evolves through stages of incompleteness, where alternative design decisions are explored, typically to evaluate some quality trade-offs. Evolving systems specifications of this kind ask for novel verification approaches that tolerate incompleteness and support incremental analysis of alternative designs for certain functionalities. This is exactly the focus of this paper, which develops an incremental model-checking approach for evolving Statecharts. Statecharts have been chosen both because they are increasingly used in practice natively support model refinements.     

PMMA‐modified divinylester/styrene resins: Phase diagrams and morphologies

Binary and ternary experimental cloud‐point curves (CPCs) for systems formulated with a low molar mass synthesized divinylester (DVE) resin, styrene (St), and poly(methyl methacrylate) (PMMA) were determined. The CPCs results were analyzed with the Flory–Huggins (F‐H) thermodynamic model taking into account the polydispersity of the DVE and PMMA components, to calculate the different binary interaction parameters and their temperature dependences. The St‐DVE system is miscible in all the composition range and down to the crystallization temperature of the St; therefore, the interaction parameter expression reported for a higher molar mass DVE was adapted. The interaction parameters obtained were used to calculate the phase diagrams of the St‐PMMA and the DVE‐PMMA binary systems and that of the St‐DVE‐PMMA ternary system at three different temperatures. Quasiternary phase diagrams show liquid–liquid partial miscibility of the St‐PMMA and DVE‐PMMA pairs. At room temperature, the St‐DVE‐PMMA system is miscible at all compositions. Final morphologies of PMMA‐modified cured St‐DVE materials were generated by polymerization‐induced phase separation (PIPS) mechanism from initial homogeneous mixtures. SEM and TEM micrographs were obtained to analyze the generated final morphologies, which showed a direct correlation with the initial miscibility of the system. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 100: 4539–4549, 2006     

Biosynthesis of fatty acids byTrypanosoma cruzi

The incorporation of [1-¹⁴C] acetate into fatty acids by cultured epimastigotes ofTrypanosoma cruzi was studied. After 8, 24, and 48 hr incubation with labeled precursor, up to 2.8% of the initial radioactivity added to the medium was found in theT. cruzi long chain fatty acids. Saturated (16∶0 and 18∶0), monounsaturated (18∶1ω9), and diunsaturated (18∶2ω6) fatty acids were synthesized. Both the pattern of incorporation of labeled acetate into the fatty acids and the decarboxylation ratios found suggest that de novo synthesis of fatty acids has taken place.     

Using icon arrays to communicate medical risks: Overcoming low numeracy.

Objective: Icon arrays have been suggested as a potentially promising format for communicating risks to patients—especially those with low numeracy skills—but experimental studies are lacking. This study investigates whether icon arrays increase accuracy of understanding medical risks, and whether they affect perceived seriousness of risks and helpfulness of treatments. Design: Two experiments were conducted on samples of older adults (n = 59, 62 to 77 years of age) and university students (n = 112, 26 to 35 years of age). Main Outcome Measures: Accuracy of understanding risk reduction; perceived seriousness of risks; perceived helpfulness of treatments. Results: Icon arrays increased accuracy of both low- and high-numeracy people, even when transparent numerical representations were used. Risks presented via icon arrays were perceived as less serious than those presented numerically. With larger icon arrays (1,000 instead of 100 icons) risks were perceived more serious, and risk reduction larger. Conclusions: Icon arrays are a promising way of communicating medical risks to a wide range of patient groups, including older adults with lower numeracy skills. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Polyaniline‐modified cellulose nanofibrils as reinforcement of a smart polyurethane

Segmented polyurethanes exhibiting shape memory properties were modified by the addition of polyaniline (PANI)‐coated cellulose nanofibrils (CNFs). The two‐phase structure of the polymer is responsible for the material's ability to ‘remember’ and autonomously recover its original shape after being deformed in response to an external thermal stimulus. PANI was grown on the surface of the CNFs via in situ polymerization. Modified nanocrystals were added to the segmented polyurethane in concentrations ranging from 0 to 15 wt%. The changes in the material properties associated with the percolation of the coated fibrils appear at higher concentrations than previously observed for non‐modified CNFs, which suggests that fibril agglomeration is occurring due to the PANI coating. The shape memory behavior of the composites is maintained at about the same level as that of the unfilled polyurethane only up to 4 wt% of fibrils. At higher concentrations, the rigidity of the nanofibrils as well as their interaction with the hard‐segment phase and the increasing difficulty of dispersing them in the polymer collaborate to produce early breakage of the specimens when stretched at temperatures above the melting point of the soft segments. Copyright © 2010 Society of Chemical Industry     

Estimating the width of a uniform distribution when data are measured with additive normal errors with known variance

The problem of estimating the width of the symmetric uniform distribution on the line when data are measured with normal additive error is considered. The main purpose is to discuss the efficiency of the maximum likelihood estimator and the moment method estimator. It is shown that the model is regular and that the maximum likelihood estimator is more efficient than the moment method estimator. A sufficient condition is also given for the existence of both estimators.     

Cytomorphological changes in the rabbit oviductal epithelium after human chorionic gonadotropin treatment

Progenitor cells were isolated from the developing human central nervous system (CNS), induced to divide using a combination of epidermal growth factor and fibroblast growth factor-2, and then transplanted into the striatum of adult rats with unilateral dopaminergic lesions. Large grafts were found at 2 weeks survival which contained many undifferentiated cells, some of which were migrating into the host striatum. However, by 20 weeks survival, only a thin strip of cells remained at the graft core while a large number of migrating astrocytes labeled with a human-specific antibody could be seen throughout the striatum. Fully differentiated graft-derived neurons, also labeled with a human-specific antibody, were seen close to the transplant site in some animals. A number of these neurons expressed tyrosine hydroxylase and were sufficient to partially ameliorate lesion-induced behavioral deficits in two animals. These results show that expanded populations of human CNS progenitor cells maintained in a proliferative state in culture can migrate and differentiate into both neurons and astrocytes following intracerebral grafting. As such these cells may have potential for development as an alternative source of tissue for neural transplantation in degenerative diseases.     

Characterization of nanocellulose‐ reinforced shape memory polyurethanes

BACKGROUND: Shape memory polymers are capable of fixing a transient shape and of recovering their original dimensions by the application of an external stimulus. Their major drawback is their low stiffness compared to smart materials based on metals and ceramics. To overcome this disadvantage, nanocellulose was utilized as reinforcement. RESULTS: Composites were prepared by casting stable nanocellulose/segmented polyurethane suspensions. The heat of melting of the polyurethane soft segment phase increased on cellulose addition. Composites showed higher tensile modulus and strength than unfilled films (53% modulus increase at 1 wt% nanocellulose), with higher elongation at break. Creep deformation decreased as cellulose concentration increased (36% decrease in 60‐minute creep by addition of 1 wt% nanocellulose). The nanocomposites displayed shape memory properties equivalent to those of the neat polyurethane, with recoveries of the order of 95% (referred to second and further cycles). CONCLUSIONS: It is possible to markedly improve the rigidity of shape memory polymers by adding small amounts of well‐dispersed nanocellulose. However, this improvement did not have substantial effects on the material shape fixity or recovery. Shape memory behavior seems to continue to be controlled by the polymer properties. Copyright © 2007 Society of Chemical Industry