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.     

On the observation of inductive high-frequency impedance behaviour during the electrodeposition of Au—Sn alloys

Inductive high-frequency impedance behaviour is often observed in metal electrodeposition systems. This behaviour is typically attributed to equipment limitations or non-idealities in the cell set-up and electrical connections. Such instrumental artefacts would nevertheless be relevant to a frequency range which is expected to be well above that in which inductive behaviour is in fact observed (down to a few tens of Hz). In this paper some results on an acidic Au—Sn electrodeposition system are reported. Electrochemical impedance and potentiostatic transients were measured. These results suggest that the high-frequency inductive behaviour may be related to metal nucleation processes. A correlation is proposed between the pseudo-inductive potentiostatic nucleation transients and the pseudo-inductive behaviour of the impedance spectra.     

Surface properties of fluorinated hybrid coatings

A commercial perfluoropolyether containing alkoxysilane functionalities was employed to prepare organic–inorganic hybrid coatings by using the sol‐gel process in the presence of tetraethoxysilane. Contact angle analysis revealed a strong hydrophobic and oleophobic character of the coatings almost independently from the molecular weight of the starting fluorinated oligomer. Surface tension values were in the range of 14–16 mN/m, suggesting a preferential segregation of fluorinated segments onto the surface of the coating. Atomic force microscopy showed the presence very smooth surfaces permitting to neglect the contribution of the surface roughness to wettability. Friction coefficient values were markedly lower with respect to the value of uncoated glass substrate. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 1483–1488, 2006     

With a little help from my friends

In this paper, we propose a content-based method the for semi-automatic organization of photo albums based on the analysis of how different users organize their own pictures. The goal is to help the user in dividing his pictures into groups characterized by a similar semantic content. The method is semi-automatic: the user starts to assign labels to the pictures and unlabeled pictures are tagged with proposed labels. The user can accept the recommendation or made a correction. To formulate the suggestions is exploited the knowledge encoded in how other users have partitioned their images. The method is conceptually articulated in two parts. First, we use a suitable feature representation of the images to model the different classes that the users have collected, second, we look for correspondences between the criteria used by the different users. Boosting is used to integrate the information provided by the analysis of multiple users. A quantitative evaluation of the proposed approach is obtained by simulating the amount of user interaction needed to annotate the albums of a set of members of the flickr^® photo-sharing community.     

Manufacturing of polypropylene laminates and related structural reorganization in the crystalline phase

The conditions for obtaining recrystallization in more ordered modifications are described for an uniaxially oriented sample of isotactic polypropylene, annealed with fixed ends. These recrystallization conditions are related to the conditions of a lamination process.     

Modification of porous copolymers network based on acrylonitrile

Summary The preparation of a chelating ion-exchange network based on acrylonitrile was carried out by chemical modification with hydroxylamine. The beads of resin were synthesized by aqueous suspension copolymerization of acrylonitrile (AN), styrene (STY) and divinylbenzene (DVB). The influence of diluent used in the suspension polymerization on the structure of the resulting copolymers was evaluated. The diluents employed were heptane (HEP), toluene (TOL) and anisole (ANI). It was found that the AN incorporation into copolymer structure was dependent on the diluent used. Conversion of nitrile groups into the amidoxime was conducted by treatment with hydroxylamine under alkaline solution. The resins were characterized by apparent density, surface area, average pore diameter, elemental analysis (CHN), FTIR and optical microscopy. Based on the results obtained, it was possible to control the porosity by diluent employed in the synthesis and to modify chemically a resin containing nitrile groups by hydroxylamine reaction. Received: 6 October 2001/Revised version: 2 April 2002/ Accepted: 11 April 2002     

Comparative study of homogeneous and heterogeneous styrene polymerizations with Ni(acac)2/MAO catalytic system

Styrene polymerization was carried out with Ni(acac)₂/MAO and Ni(acac)₂/SiO₂/MAO. The influence of reaction parameters (Al/Ni mole ratio, catalyst concentration, temperature and time polymerization) on styrene polymerization was evaluated. It was observed that both catalytic systems were affected by reaction parameters and that the heterogeneous catalyst presented higher activity than the homogeneous one. Polystyrenes with different molecular weight, stereoregularity and polydispersity were obtained. These results suggest that different active catalyst species could have been present. In addition, two types of methylaluminoxane (MAO) with different molecular weights were also evaluated as cocatalyst. As a result, the catalyst activity and stereospecificity were strongly affected by the MAO type.     

Dynamic Parameter Identification Based on Lagrangian Formulation and Servomotor-type Actuators for Industrial Robots

International Journal of Control, Automation and Systems - This article presents the design of a parameter identification model for industrial manipulator robots. This model includes the dynamics...     

A multimodal feature learning approach for sentiment analysis of social network multimedia

In this paper we investigate the use of a multimodal feature learning approach, using neural network based models such as Skip-gram and Denoising Autoencoders, to address sentiment analysis of micro-blogging content, such as Twitter short messages, that are composed by a short text and, possibly, an image. The approach used in this work is motivated by the recent advances in: i) training language models based on neural networks that have proved to be extremely efficient when dealing with web-scale text corpora, and have shown very good performances when dealing with syntactic and semantic word similarities; ii) unsupervised learning, with neural networks, of robust visual features, that are recoverable from partial observations that may be due to occlusions or noisy and heavily modified images. We propose a novel architecture that incorporates these neural networks, testing it on several standard Twitter datasets, and showing that the approach is efficient and obtains good classification results.     

The future of targeted peptidomics

Targeted MS is becoming increasingly important for sensitive and specific quantitative detection of proteins and respective PTMs. In this article, Ceglarek et al. [Proteomics Clin. Appl. 2013, 7, 794–801] present an LC-MS-based method for simultaneous quantitation of seven apolipoproteins in serum specimens. The assay fulfills many necessities of routine diagnostic applications, namely, low cost, high throughput, and good reproducibility. We anticipate that validation of new biomarkers will speed up with this technology and the palette of laboratory-based diagnostic tools will hopefully be augmented significantly in the near future.