CAViT: a Consistency Maintenance Framework based on Transformation Contracts

Design by contract is a software correctness methodology for procedural and object-oriented software. It relies on logical assertions to detect implementation mistakes at run-time or to proof the absence thereof at compile-time. Design by contract has found a new application in model driven engineering, a methodology that aims to manage the complexity of frameworks by relying on models and transformations. A ``transformation contract\u27\u27 is a pair of constraints that together describe the effect of a transformation rule on the set of models contained in its transformation definition: the postcondition describes the model consistency state that the rule can establish provided that its precondition is satisfied. A transformation contract of a rule can be maintained automatically by calling the rule (1) as soon as the invariant corresponding to its postcondition is violated and (2) provided that its precondition is satisfied. Domain specific visual languages can facilitate the implementation of the actual transformation rules since they hide the complexity of graph transformation algorithms and standards for tool interoperability. In this talk, we describe CAViT: a framework that integrates a visual model transformation tool with a design by contract tool by relying on OMG standards such as UML, OCL and MOF

The dragonfly nearby galaxies survey. Iv. A giant stellar disk in ngc 2841

Neutral gas is commonly believed to dominate over stars in the outskirts of galaxies, and investigations of the disk-halo interface are generally considered to be in the domain of radio astronomy. This may simply be a consequence of the fact that deep HI observations typically probe to a lower mass surface density than visible wavelength data. This paper presents low surface brightness optimized visible wavelength observations of the extreme outskirts of the nearby spiral galaxy NGC 2841. We report the discovery of an enormous low-surface brightness stellar disk in this object. When azimuthally averaged, the stellar disk can be traced out to a radius of $\sim$70 kpc (5 $R_{25}$ or 23 inner disk scale lengths). The structure in the stellar disk traces the morphology of HI emission and extended UV emission. Contrary to expectations, the stellar mass surface density does not fall below that of the gas mass surface density at any radius. In fact, at all radii greater than $\sim$20 kpc, the ratio of the stellar to gas mass surface density is a constant 3:1. Beyond $\sim$30 kpc, the low surface brightness stellar disk begins to warp, which may be an indication of a physical connection between the outskirts of the galaxy and infall from the circumgalactic medium. A combination of stellar migration, accretion and in-situ star formation might be responsible for building up the outer stellar disk, but whatever mechanisms formed the outer disk must also explain the constant ratio between stellar and gas mass in the outskirts of this galaxy.Comment: 11 pages, 5 figures, accepted for publication in Ap

Neural network Hilbert transform based filtered backprojection for fast inline x-ray inspection

X-ray imaging is an important tool for quality control since it allows to inspect the interior of products in a non-destructive way. Conventional x-ray imaging, however, is slow and expensive. Inline x-ray inspection, on the other hand, can pave the way towards fast and individual quality control, provided that a sufficiently high throughput can be achieved at a minimal cost. To meet these criteria, an inline inspection acquisition geometry is proposed where the object moves and rotates on a conveyor belt while it passes a fixed source and detector. Moreover, for this acquisition geometry, a new neural-network-based reconstruction algorithm is introduced: the neural network Hilbert transform based filtered backprojection. The proposed algorithm is evaluated both on simulated and real inline x-ray data and has shown to generate high quality reconstructions of 400 x 400 reconstruction pixels within 200 ms, thereby meeting the high throughput criteria

Soil and irrigation water management : farmer’s practice, insight, and major constraints in Upper Blue Nile Basin, Ethiopia

This study assessed farmers’ soil and irrigation water management practices, perceptions, and major constraints at Koga, a large-scale irrigation scheme in Ethiopia. Key informant interviews, structured and semi-structured questionnaires, focus group discussions, and field visits were used for data collection. Soil samples were collected for the assessment of soil properties and a comparison with the respondents’ perception of soil-related constraints. A total of 385 respondents were involved in the questionnaire. All of the respondents had a good perception of soil acidity and its management strategies. Respondents’ perception was in line with the mean soil pH, soil texture, infiltration rate, exchangeable acidity, and soil organic carbon obtained from lab analysis and field tests. Soil acidity, unwise use of water, water scarcity, and lack of market linkages hampered the performance of the Koga irrigation scheme. Yet, respondents had a low awareness of irrigation water management. Farmers never used irrigation scheduling, but apply the same amount of water regardless of the crop type. As a result, low yield and water use efficiency were reported. To reduce soil acidity, an adequate lime supply for farmers with hands-on training on how to apply it would be desirable. Farmers should be aware of how to design effective irrigation scheduling and adopt water-saving management strategies