BACKGROUND Several methods that are currently used for contouring analysis have problems providing reliable and/or meaningful results. In this paper a solution to these problems is proposed in a form of a novel measure, which was developed based on requirements defined for contouring studies. MATERIALS AND METHODS The proposed distance deviation measure can be understood as an extension of th...

We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require.

Alloy is a formal modeling language based on first-order relational logic, with no native support for specifying reactive systems. We propose an extension of Alloy to allow the specification of temporal formulas using LTL, and show how they can be verified by bounded model checking with the Alloy Analyzer.

There are errors in the Funding section. The correct funding information is as follows: This work was supported by National Natural Science Foundation of China (NNSFC31400091) (http://www.nsfc.gov.cn), Natural Science Foundation of Jiangsu Province (BK2012202) (http://www.jstd.gov.cn/), Chinese Postdoctoral Science Foundation (2013M540518) (http://res.chinapostdoctor.org.cn/BshWeb/index.shtml),...

inspired multi-objective optimisation algorithm Jun Chena, Mahdi Mahfouf, Gaffour Sidahmed, doi:10.1016/j.engappai.2014.08.014 Highlights • We model mechanical properties of heat treated alloy steel using interpretable fuzzy models. • We demonstrate how to locate the ‘best’ processing parameters and chemical compositions. • We demonstrate how to achieve certain mechanical properties. • We demon...

To the Editor: A recent article in PNAS by Asikainen and Werle (1) reports on the occurrence and morphology of ferromanganese nodules found in a New Hampshire lake. The authors offer data on the shapes, banding, composition, and distribution of the nodules and crusts. They also state that my paper (2) claims that the morphology of such nodules is controlled by elemental concentrations and that ...

babbitt is a white silvery alloy that composed of tin, lead, copper and antimony. this alloy is the most current bearing alloy in industrial applications. the characteristics of this alloy, such as high wearing resistance and low coefficient of friction, have converted it into a bearing cover. the target of this study is investigation on the effects of alloy elements on wearing and micro-struct...

The present paper has focused on the development of an Alluminium metal matrix composite (AMMC) which posses good mechanical properties to meet the functional requirements as the materials of machine elements. The AMMC samples are prepared by mixing reinforcement materials like SiC, Al2O3, Al3C4 in different sizes and percentages with Alluminium base materials like Al6061, Al6063, Al7075 using ...