Specification-driven model transformation testing

Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches for the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes, there is a gap between the properties exhibited by the generated input models and those considered by the transformations. Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-, and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique.     

A survey on enhanced subspace clustering

Subspace clustering finds sets of objects that are homogeneous in subspaces of high-dimensional datasets, and has been successfully applied in many domains. In recent years, a new breed of subspace clustering algorithms, which we denote as enhanced subspace clustering algorithms, have been proposed to (1) handle the increasing abundance and complexity of data and to (2) improve the clustering results. In this survey, we present these enhanced approaches to subspace clustering by discussing the problems they are solving, their cluster definitions and algorithms. Besides enhanced subspace clustering, we also present the basic subspace clustering and the related works in high-dimensional clustering.     

Harmony search-based hidden Markov model optimization for online classification of single trial eegs during motor imagery tasks

This paper presents an improved method based on single trial EEG data for the online classification of motor imagery tasks for brain-computer interface (BCI) applications. The ultimate goal of this research is the development of a novel classification method that can be used to control an interactive robot agent platform via a BCI system. The proposed classification process is an adaptive learning method based on an optimization process of the hidden Markov model (HMM), which is, in turn, based on meta-heuristic algorithms. We utilize an optimized strategy for the HMM in the training phase of time-series EEG data during motor imagery-related mental tasks. However, this process raises important issues of model interpretation and complexity control. With these issues in mind, we explore the possibility of using a harmony search algorithm that is flexible and thus allows the elimination of tedious parameter assignment efforts to optimize the HMM parameter configuration. In this paper, we illustrate a sequential data analysis simulation, and we evaluate the optimized HMM. The performance results of the proposed BCI experiment show that the optimized HMM classifier is more capable of classifying EEG datasets than ordinary HMM during motor imagery tasks.     

A novel technique for producing metallic microjets and microdrops

A new technique for producing steady metallic jets is proposed. It allows the production of supercritical jets with Weber numbers well below unity, which entails important technological advantages over existing techniques. The metallic liquid is injected through a micrometer converging nozzle located inside a gas stream. Both the liquid jet and the coflowing gas current cross an orifice located in front of the nozzle. The gas stream stabilizes the jet by sweeping away the capillary waves growing on the free surface. In this way, one can steadily produce microjets with a kinetic energy much lower than the interfacial energy, a possibility that has been predicted theoretically (Gañán-Calvo in Phys Rev E 78:026304, 2008). Experiments were conducted with mercury to assess the performance of the new technique. The experimental results agreed remarkably well with the predictions calculated from the convective/absolute instability transition of the jet. The jet breakup mechanism did not correspond to classical Rayleigh instability, but to the growth of surface waves over a capillary column which ends at a fixed location. The results were compared with those obtained with the well-established flow focusing method to show that the new technique considerably favors the jet’s stability.     

The effect of damming on biological quality according to macroinvertebrates in some Estonian streams,Central—Baltic Europe: A pilot study

The effect of damming on the structure of the macroinvertebrate community and biological quality was studied in nine (the 3–6th order) lowland streams of Estonia, Central—Baltic ecoregion of Europe. Four habitats—reservoirs with accumulated fine sediments, reservoirs with hard bottom, and two corresponding below‐dam areas (both fast‐flowing)—were compared to study whether and how significantly the bottom substrata in dammed areas affected macroinvertebrates and biological quality downstream of dams. The standard kick‐net samples (1.25 m², complemented with qualitative sample) were collected in autumn 2005—spring 2006. The multimetric biological quality, based on five macroinvertebrate indices (total taxa richness, EPT taxa richness, Average Score Per Taxon, Danish Stream Fauna Index, Shannon diversity) was estimated and compared with reference values. Biological quality in reservoirs with hard bottom and their downstream reaches corresponded to good, or even high quality. Conversely, damming affected biological quality significantly and negatively, above the dam if fine sediments were accumulated. The effect was the strongest within muddy reservoirs themselves (revealing moderate quality only). However, some harmful consequences of mud were observed also downstream of dams. The results also demonstrated that the indices of estimation of organic pollution and/or general quality were able to reflect significant changes in stream flow. Copyright © 2010 John Wiley & Sons, Ltd.     

牛奶加工过程中的压力监测

雀巢公司位于瑞士柯诺芬根的研发中心开发奶制品。并设计制造工艺。而监测换热器的压力,对于这家研发中心来说具有特殊的挑战性。     

Inventive Tool Use to Comprehend Big Code

Software developers often need to understand a large body of unfamiliar code with little or no documentation, no experts to consult, and little time to do it. A post appeared in January 2008 on Slashdot, a technology news Web site, asking for tools and techniques that could help. This article analyzes 301 often passionate and sometimes articulate responses to this query, including the themes and the associated tool recommendations. The most common suggestions were to use a code navigation tool, use a design recovery tool, use a debugger to step through the code, create a runtime trace, use problem-based learning, ask people for help, study the code from top down, and print out all the code. This analysis presents an intriguing snapshot of how software developers in industry go about comprehending big code.     

The Green language type system

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses.