Alloy is an increasingly popular lightweight specification language based on relational logic. Alloy models can be automatically verified within a bounded scope using off-the-shelf SAT solvers. Since false assertions can usually be disproved using small counterexamples , this approach suffices for most applications. Unfortunately, it can sometimes lead to a false sense of security, and in criti...

This article describes an innovative approach in which bimetallic alloy seeds of AuxAg1-x are used to enhance the growth kinetics of Ge nanowires, via a vapor-liquid-solid (VLS) growth technique. The decreased equilibrium concentration and increased supersaturation of Ge in the liquid alloy seeds, compared to pure Au seeds, results in favorable growth kinetics and the realization of high-aspect...

An AlCoCrCuFeNi high-entropy alloy (HEA) coating was fabricated on a pure magnesium substrate using a two-step method, involving plasma spray processing and laser re-melting. After laser re-melting, the microporosity present in the as-sprayed coating was eliminated, and a dense surface layer was obtained. The microstructure of the laser-remelted layer exhibits an epitaxial growth of columnar de...

this paper deals with the threshold radius that warrants the use of single restraining rail for transit and railroads. different railways use different threshold radius from 91m to 365m to provide restraining rail. these threshold figures are probably experience driven choices. the need for restraining rail may be related to a so-called derailment alarm coefficient of 1.2 sustained over 2m leng...

Purpose: Separation anxiety is a state of extreme anxiety, felt by an individual in case separation from attachment figure. It was aimed to investigate styles, temperament traits, childhood trauma and dissociative experiences university students diagnosed with adult disorder (ASAD). 
 Methods: Sixty five students, have ASAD structured clinical interview were compared healthy via˝Adult Atta...

Amaç: Bu çalışmada Denetimli Serbestlik (DS) Polikliniğine başvuran Madde Kullanım Bozukluğu (MKB) tanılı bireylerde psikolojik acı, çocukluk çağı ruhsal travmaları, aleksitimi, dürtüsellik ve dayanıklılığın intihar girişimi ile ilişkisinin incelenmesi amaçlanmıştır.
 Yöntem: Çalışma DS 120 kişi sağlıklı kontrol yapılmıştır. Tüm katılımcılara; Sosyo-Demografik Veri Formu, Çocukluk Çağı Ruh...

We report on the solidification of Au49, Ag5.5, Pd2.3, Cu26.9, Si16.3 bulk metallic glass under various strain rates. Using a copper mold casting technique with a low strain rate during solidification, this alloy is capable of forming glassy rods of at least 5 mm in diameter. Surprisingly, when the liquid alloy is splat cooled at much higher cooling rates and large strain rates, the solidified ...

The synergetic effect of alloy and morphology of nanocatalysts play critical roles towards ethanol electrooxidation. In this work, we developed a novel electrocatalyst fabricated by one-pot synthesis of hierarchical flower-like palladium (Pd)-copper (Cu) alloy nanocatalysts supported on reduced graphene oxide (Pd-Cu(F)/RGO) for direct ethanol fuel cells. The structures of the catalysts were cha...

The wheel pair is a key component of the subway. Routes subway conditions are more complex, while frequent starting and braking likely to cause damage. To improve sliding tribological properties wheels, this article focused on laser-cladding technology repair wheel. Ni-based Fe-based alloy coatings were prepared. microstructure was studied by SEM, EDS, XRD, 3D optical morphology. mechanical coa...

The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly in the Bytecode Verifier, a critical component used to verify class semantics before loading is complete. This paper describes a method for representing Java security constraints using the Alloy modeling language. It f...