Çözünürlük Sistemleri
NC-SFM başlangıçta konsolun sabit bir frekansta sabit bir genlik tarafından sürüldüğü genlik modülasyonu (AM) moduna dayanıyordu. Yüzeye yaklaşıldığında, uç yüzey etkileşimi konsol salınımlarının genliğinde ve fazında bir değişikliğe neden olarak ölçülebilir bir sinyal sağlar.
Uygulamada, konsolun bu moddaki tepkisinin oldukça yavaş olduğu bulundu ve atomik çözünürlük çalışmalarında frekans modülasyonu (FM) modu ile değiştirildi. Ancak AM modu, hava ve sıvılarda yapılan "vuruş modu" çalışmalarında oldukça başarılı olmuştur.
Genel olarak, en iyi çalışma modu, gereken çözünürlük ve sistemin kendisi tarafından belirlenir. SFM'deki gerçek atomik çözünürlük, yalnızca bu çalışmanın odak noktası olacak olan FM modunda elde edilmiştir.
FM modu NC-SFM'de, özfrekansı f0 ve yay sabiti k olan bir konsol, bir geri besleme döngüsü aracılığıyla sabit bir A0 genliğinde salınımlarda tutulur. Konsol, kendinden tahrikli bir osilatör olarak düşünülebilir. Salınımların gerçek frekansı f0'a, konsolun kalite faktörü Q'ya ve tahrik uyartımı ile konsolun sapması arasındaki faz kaymasına θ bağlıdır.
θ = π/2 için sistem f = f0'da salınır. Genel olarak, deneyler sırasında, sabit bir frekans değişimi ∆f elde etmek için uç-yüzey mesafesi değiştirilir ve elde edilen topografya haritası, yüzeyin görüntüsünü sağlar. Artık ∆f'deki değişimin görüntüleme sinyalini sağladığı sabit yükseklikte görüntü almak da mümkündür.
Güvenilir görüntüleme için, deneysel kurulumun önemli olan bir yönü daha vardır: STM'de olduğu gibi, SFM deneylerinde normalde uç ve numune arasında bir sapma U uygulanır. Katkısız yarı iletken ve yalıtkan yüzeyler, özellikle yarılmış iyonik yüzeyler olmak üzere, hazırlandıktan sonra genellikle önemli lokalize yükler içerecektir. Bunlar, önemli uzun menzilli elektrostatik kuvvetlerin yanı sıra tarama sırasında uç yüzey kuvvetinde ani değişiklikler üretir.
İletken yüzeyler için, uç ve yüzey arasındaki iş-fonksiyonu farkı, uzun menzilli bir kapasitif kuvvete katkıda bulunacaktır. Bu ek kuvvetler, kısa menzilli kuvvetlerin nispi katkısını azaltarak ve uç çarpma olasılığını artırarak taramayı daha zor hale getirir. Elektrostatik kuvvetlerin etkisinin azaltılması, yüzey üzerinde belirli bir noktada uygulanan önyargının bir fonksiyonu olarak ∆f'nin en aza indirilmesiyle elde edilebilir. Bu sürecin bir örneği görülebilir.
Uç ve Yüzey Hazırlığı
Her yüzey STM veya SFM'de yüksek çözünürlüklü olarak görüntülenemez. Atomik çözünürlüğe ulaşmak için, çoğu durumda yüzey kapsamlı bir hazırlığa ihtiyaç duyar. Kontrollü döngülerde haftalar hatta aylar süren püskürtme (çoğunlukla Ar+ olmak üzere iyonlarla bombardıman) ve tavlama (yüzey kusurlarının düzeltildiği noktaya kadar ısıtma) nadir değildir.
Yüzey hazırlama başlı başına sofistike bir sanattır ve başarılı görüntülemenin anahtarlarından biridir. İyon saçılması ve elektron kırınımı gibi k-uzayı yöntemlerinin aksine, SPM ile görüntülenmek için bir yüzeyin sıralanmasına gerek yoktur. Aslında, bir yüzeydeki tek safsızlıklar ve basamak kenarları, deneyciler tarafından görüntülerinin kalitesini kontrol etmek için sıklıkla kullanılır. Böyle bir safsızlık, çift uç gibi hiçbir bozucu etkinin olmadığı varsayılarak yalnızca tek bir yapı olarak görüntülenir.
Uç, tüm SPM yöntemlerinde görüntülemenin en önemli parçasıdır. STM uçları genellikle saf bir metalden, bir metal alaşımından veya genellikle laboratuvarda metal telden üretilen 10-20 farklı malzeme katmanıyla kaplanmış bir metal tabandan yapılır. Bazı durumlarda, STM görüntüleme için ağır katkılı Si uçları da kullanılır.
1920x1080 çözünürlük iyimidir
Spektral çözünürlük nedir
Ekran çözünürlük
2K çözünürlük
Radyometrik çözünürlük nedir
Metre altı çözünürlük
Mekansal çözünürlük
1280x720 çözünürlük
SFM ölçümleri için benzer uçlar da kullanılabilse de, bu çok nadirdir. Bunun nedeni, bir ucun konsol tutuşunun SFM'deki kuvvet değişikliklerinin izlenmesinde çok önemli bir rol oynamasıdır: (i) birçok SFM gerçekleştirmesinde konsol sapmaları, konsolun arkasından yansıyan ışık algılanarak ölçülür; (ii) konsol yay sabiti, uç şekli ve uç keskinliği, görüntü oluşumunda çok önemli roller oynar.
Bu nedenle standart konsollar gereklidir. Çoğu durumda bunlar, yarı iletken çiplerle hemen hemen aynı şekilde mikro fabrikasyon yoluyla silikondan üretilir.
Bazı durumlarda uç, moleküllerin kontrollü adsorpsiyonu ile değiştirilir. STM'de bunun bir yüzeydeki moleküllerin görünen yüksekliğini etkilediği gösterilmiştir. Ucun tam geometrisi, uç yapısının alan-iyon mikroskobu ile bir taramadan önce ve sonra belirlendiği bazı olağanüstü STM ölçümleri dışında genellikle bilinmemektedir.
Konuları daha da karmaşık hale getirmek için uç geometrisi, tekrarlanabilir taramalı tünelleme spektroskopisi (STS) ölçümleri için belirleyicidir; ne yazık ki, STS için en uygun ucun topografik ölçümler için uygun olmadığı gösterilmiştir, çünkü yeterince yüksek bir çözünürlük sağlamaz.
SFM'de, apekste belirli orbital konfigürasyonlarla bile temiz silikon uçlar üretmek için bazı girişimlerde bulunulmuştur, ancak görüntüler henüz silikon yüzeyler dışında herhangi bir şey üzerinde üretilmemiştir: bu nedenle gerçek kontrol kanıtı eksiktir. Şu anda en yaygın olarak kabul edilen görüş, SPM uçlarının oldukça düşük eğriliğe sahip bir tabandan ve en baştaki konumda tek bir atom bulunan birkaç katmandan oluşan bir atomik uç kümesinden oluştuğudur.
STM'de, tünel bağlantısındaki tüm akım bu "tepe noktası" atomu aracılığıyla taşınır; iletkenlik alanı sonuç olarak oldukça küçüktür ve birkaç ̊A2 aralığındadır. STM hassasiyetinin kaynağı budur, çünkü akımı çok küçük bir yüzey alanının elektronik ortamına karşı çok hassas hale getirir. Keskin uç apeksinin son birkaç atomunun yüzey atomlarıyla etkileşimindeki varyasyonlar da SFM görüntülerindeki görüntü kontrastını belirler.
Bununla birlikte, atomik yapıya olan bu hassasiyet aynı zamanda STM ve SFM görüntülerinin yorumlanmasını bu kadar zorlaştıran özelliklerin de kaynağıdır çünkü uç apeksinin gerçek geometrisi ve kimyası, yüzey ile uç arasındaki vakum bariyerindeki iletkenliği etkiler ve aynı zamanda uç yüzey kuvvetleri genellikle belirlenemez. Cu(100) ve NaCl(100) gibi basit metal yüzeyler için bile bu, farklı taramalar için farklı deneysel sonuçlara yol açar.
SPM deneylerinde belirleyici faktörler tam olarak bilinmediğinden, alaka düzeylerinin simülasyonlardan çıkarsanması gerekir. Simülasyonların sistematik bir şekilde yapılması gerekir, örneğin, adsorbatların model uçlarının elektronik yapısı üzerindeki etkisini inceleyerek ve bu adsorbatların STM taramaları üzerindeki etkisini modelleyerek yapılmalıdır.
Deneysel olarak, zorluk, en azından dikkatli ölçümlerde, bir dizi taramayı kaydederek ve istatistiksel bir ortalama olarak yüzey dalgalanması gibi kesin ölçümleri sunarak aşılır.
LISP Programı
Burada, LISP programlarını yorumlamak için bir program sunuyoruz. Yorumlayıcının girdisi bir LISP programı yani sabitlerden ve bağımsız değişkenleri olan işlevlerden oluşan bir ifadedir ve çıktı, ifadenin değerlendirilmesi sonucudur. Dolayısıyla yorumlayıcı, şimdiye kadar gördüğümüz programları çalıştırmak için kullanılabilir.
İlginç bir yön, tercümanın kendisinin bir LISP programı olmasıdır, yani her şey biraz döngüseldir: tercümanı çalıştırmak için zaten bir LISP uygulamasına sahip olmanız gerekir, bu da bu tercümana ihtiyacınız olmadığı anlamına gelir. Doğru, ama en az iki amaca hizmet ediyor.
İlk olarak, daha büyük bir LISP programının güzel bir örneğidir. İkinci olarak, bir sonraki bölümde tartışacağımız Pascal’da yazılmış bir yorumlayıcı için bir plan görevi görür. Aynı zamanda LISP programlarının anlamını tanımlıyor olarak da görülebilir: Bir LISP programını yürütmenin sonucunun ne olduğunu bilmek istiyorsanız, tercümanın bununla ne yapacağını bulmanız yeterli.
Bir programlama dilinin semantiğinin bu şekilde tanımlanması, önceki bölümlerde kullandığımız aksiyomatik semantikten çok farklıdır. Operasyonel semantik olarak adlandırılır, semantiği başka bir programa göre tanımlar. Döngüsel tanımlar çukuruna düşmemek için çok dikkatli olmalısınız.
LISP tercümanımız nasıl çalışıyor? Bir bağımsız değişkenler listesine bir işlev uygulayan bir işlev uygulaması mevcuttur. Örneğin, işlev araba ise ve bağımsız değişken listesi ((a b c)) ise, sonuç a’dır. Sonuç (abc) değildir, çünkü ((abc)) bağımsız değişkenlerin listesi olarak söylenmiştir, bu nedenle car’ın ilk ve tek bağımsız değişkeni listedir (a bc). ((a b c))’ye I uygulamasının sonucu nedir?
Bu, I’in tanımına bağlıdır, bu nedenle program uygulamamızın mevcut fonksiyon tanımları ile sağlanması gerekir. Değişkenlerin değerlerine de ihtiyacımız olacak. Hem değişkenler hem de işlevler için bir tanımlayıcıyla ilişkili değeri kaydetmek için bir veri yapısı, sözde ilişkilendirme listesi kullanıyoruz.
Her bir çiftin mevcut değeri ile birlikte bir tanımlayıcı olduğu uzun bir çift listesidir. Çiftin arabası tanımlayıcıdır ve cdr değeridir. Tanımlayıcı bir işlev ise, değer A ifadesidir. Örneğin, a değişkeni t değerine sahipse ve I işlevi bir listenin üçüncü öğesini döndürürse, ilişkilendirme listesi olabilir.
İç içe çeşitli işlev çağrılarımız varsa, o zaman bir tanımlayıcı birkaç kez, muhtemelen farklı değerlere bağlanmış olabilir. Mevcut programımızda, ilişkilendirme listesi tüm bağlamaları içerecektir ve geçerli olan, listenin başına en yakın olanıdır. Örneğin, ilişkilendirme listesi okursa, a değişkeninin değeri 23’tür.
Aşağıda tanımlanan işlev assoc, ilişkilendirme listesi verildiğinde bir tanımlayıcının değerini döndürür. x’i ilk tanımlayıcıyla karşılaştırarak, eşitlerse değerini döndürerek veya farklıysa listenin geri kalanını arayarak x’in a listesindeki ilk oluşumunu arar.
pairlis işlevi tam tersidir: x tanımlayıcı listesi, y değer listesi ve a ilişkilendirme listesi verildiğinde, eşleşen tanımlayıcılar ve değerler alınarak oluşturulan çiftlerle genişletilmiş ilişkilendirme listesi a’yı döndürür.
x ve y listeleri eşit uzunluktadır. Boşsa, sonuç a’dır; aksi takdirde x’teki ilk tanımlayıcı, y’deki ilk değerle eşleştirilir ve x ve y’nin geri kalanları benzer şekilde a’ya eklenir.
Bu iki fonksiyon, uygulama fonksiyonumuzda kullanılmaktadır. Uygulanacak fonksiyon beş standart fonksiyondan biri ise sonuç hemen belirlenir. İşlev bir tanımlayıcıysa ancak beş standart addan biri değilse, değeri (işlev gövdesi) a ilişkilendirme listesinde aranır ve sonucu uygulanır.
fn işlevi bir tanımlayıcı değilse, o zaman bir lambda ifadesi olmalıdır. A -ifade fn’yi bağımsız değişkenler listesine uygulamanın sonucu, işlev gövdesini oluşturan ifadenin (caddr fn), a ilişkilendirme listesinin, değişkenler listesinin (cadr fn) x listesiyle eşleştirilmesiyle genişletildiği bir bağlamda değerlendirilmesiyle elde edilir. argümanlar.
Değişkenlerden bazılarının zaten kendileriyle ilişkilendirilmiş bir değeri varsa, yeni bağlama eskisinin üzerine yazmalıdır. Bu nedenle pairlis işlevi, yeni bağlamaları ilişkilendirme listesinin önüne ekler.
Autocad lisp Arşivi
AutoCAD lisp örnekleri
AutoCAD lisp indir
AutoCAD Lisp
AutoCAD lisp yazma
AutoLISP indir
Lisp programlama dili
AutoLISP komutları
Bu da bizi bir ifadeyi değerlendirme sorunuyla baş başa bırakıyor. Beş olasılık var. İfade bir sabitse (t veya sıfır), o zaman sabit, ifadenin değeridir. İfade bir değişken ise, değeri ifadenin değeridir. İfade, (alıntı x) biçimindeyse, o zaman x, başka değerlendirmeler olmaksızın ifadenin değeridir.
İfade (koşul x) biçimindeyse, o zaman bir koşullu ifadeye sahibiz ve doğru olarak değerlendirilen bir tane bulunana kadar tüm koşullar birbiri ardına kontrol edilmelidir; ve karşılık gelen alternatif, koşullu ifadenin değeridir.
Son olarak, ifade (Jx) biçimindeyse, bu bağımsız değişkenlerin tümü değerlendirildikten sonra f işlevi x bağımsız değişkenleri listesine uygulanır. Tercüman, sırasıyla bir koşullu ifadeyi ve argüman listesini değerlendirmek için evcon ve evlis yardımcı fonksiyonlarını kullanır.
Hepsi bu kadar. LISP yorumlayıcısının ihtiyaç duyduğu tüm yardımcı fonksiyonlarla birlikte listesi aşağıdadır. define bu yorumlayıcıda uygulanmadı. Tanımla ilgili sorun, bunun bir sonuç döndüren bir işlev olmaması, bunun yerine genel ilişkilendirme listesini değiştirmesidir. Bu tamamen işlevsel bir çerçevede yapılamaz.
Pascal ile Yazılmış Bir LISP Yorumlama
Bu bölümde, LISP yorumlayıcısını Pascal ile yazılmış bir yorumlayıcıya dönüştürüyoruz. Çeviri, bir sorunun ele alınmasını gerektiriyor: Pascal’da atomlar ve listeler nasıl temsil ediliyor? Listelerle başlayalım. Listeler keyfi boyuttaki dizilerdir ve onları sabit boyutlu nesnelerle temsil etmemiz gerekir.
Bir x listesini bir i tamsayısıyla temsil etme olasılığını takip ediyoruz. Bir listedeki işlemlerin car ve cdr olduğu gerçeğinden yola çıkarak, a ve d olmak üzere iki diziyi tanıtıyoruz. Araba ve cdr ile (araba x) = a[i] ve (cdr x) = d[i] ile ilişkilidirler. Dizi elemanlarının türü nedir? Pekala, bu (cdrx) karşı olabilir, bu nedenle d bir tamsayı dizisi olmalıdır. Benzer şekilde, a bir tamsayı dizisidir.
Bu seçim, atomların da tamsayılarla temsil edildiğini ima eder ve bir saniye içinde bunun nasıl yapılacağına karar vermemiz gerekir. Ayrıca listelerin atomlardan nasıl ayırt edilebileceğine de karar vermemiz gerekiyor (bunu atom boole işlevini uygulamak için yapmak zorundayız).
Atomlar için negatif tamsayılar kullanabilmemiz için a ve d’nin indeks aralığını pozitif tamsayılarla sınırlayalım. Bir tamsayının işareti bize onun bir listeyi mi yoksa bir atomu mu temsil ettiğini söyler.