نتایج جستجو برای: zinc alloy

تعداد نتایج: 125146  

Journal: : 2023

Çeliğin galvanizlenmesi, çelik yüzeyini korozyondan korumak için uzun yıllardır uygulanan önemli bir endüstriyel işlemdir. Çinko-nikel alaşım kaplama, diğer çinko kaplama teknolojilerine kıyasla daha iyi mekanik özelliklere, yüksek korozyon direncine sahip olduğundan birçok endüstride yaygın olarak tercih edilmektedir. Ağır metal endüstrisi proseslerinde kullanılan çeşitli kimyasallar ve hammad...

Journal: :Research Papers Faculty of Materials Science and Technology Slovak University of Technology 2018

2004
Maria Nelson Torsten Nelson Paulo Alencar Don Cowan

We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید