In this paper, we present the idea and development of a new gold-copper-zinc-germanium (AuCuZnGe) alloy, which is related to method production research its key properties, so that Au alloy could be used for jewelry in dental technology. The design was associated with determination appropriate chemical composition, manufacturing technology, performing characterization. Melting casting technologi...

Abstract The electrodeposition process of Zn-Cr alloy coatings under the conditions direct and pulsed current is discussed. Cr content in obtained coatings, efficiency process, surface morphology, structure wettability as a function deposition parameters, such density, were determined. good quality contained up to 20 wt.% (for current) 9 pulse current). All had typical zinc (h.c.p.) hydrophobic...

Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. „ Software developers favour so-called lightweight techniques that provide immediate returns and sit comfortably ...

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),...

One of the main ways to protect steel against corrosion is by galvanizing process. This process has been continuously developed and its first optimization was performed addition Aluminum in coating. As a result, Zn-5wt.%Al 55wt.%Al-Zn coatings were developed. Recently, search for increased resistance led development zinc coating with magnesium aluminum. In this work, comparative study coated Zn...

Superhydrophobic surfaces were prepared using a two-step method that involved the etching of AZ31 and AZ91 magnesium alloys then modifying etched with stearic acid. Magnesium ZnCl2 SnCl2 exhibited roughened micro- nanoscale hierarchical structures consisting two chemically distinct regions (Zn/Zn(OH)2 or Sn/SnO2 Mg(OH)2). An optimum time ten minutes was chosen for both etchants. highest contact...