Bilimsel Derleme yazdırma siparişi veya diğer tüm danışmanlık talepleriniz için, hemen sayfanın altındaki formu doldurarak veya whatsapp destek hattımızdan bize ulaşın. SorunBir yazılım parçasının arızalanması yaralanma veya yaşam kaybına, ekipmanda önemli hasara, ciddi “finansal kayıp” ya da çevresel hasara yol açacaksa, o zaman bu yazılım zararlı bütünlük uygulaması güvenlik açısından kritiktir. bu tür bir yazılım potansiyel olarak, bu nedenle başarısızlık olasılığını en aza indirmek önemlidir.Yüksek bütünlüklü uygulamalar dili yazmanın tek “güvenli” yolunun, yalnızca dili yeterince yakın olduğu için, bu sırada ne olması gerektiğinden emin olabileceğinden emin olabileceğimizi savundu.Donanımın montajını kullanarak yürütmeyi programlayan ve yalnızca montajcıları - yani montaj dilini makine koduna çevirenleri doğrulamak için yeterince basittir ve dolayısıyla güvenilirdir. Donanımdan montaj dillerinden daha fazla kaldırılan yüksek seviyeli dillere güvenmemek için verilen iki ana neden vardır. İlk olarak, yüksek seviyeli diller karmaşıktır ve pratik olarak tanımlanır. Onların ilgili ve belirsiz anlambilimleri, böyle bir dilde yazılmış bir programın, yürütüldüğünde ne yapması gerektiğini bilmenin ne anlama geldiğini bilmeyi imkansız kılar.Öyleyse, böyle bir dilde yazılmış bir programa bakmanın, bazı durumlarda bir parçanın ne yaptığını bulmanın tek yolu, bazı durumlarda `` gerçek '' makinede çalıştırmak için nasıl çevrilmesi gerektiğini bilmek imkansızdır. es onu çalıştırmak ve görmektir.İkincisi, bir derleyicinin kendisi zorunlu olarak karmaşık bir yazılım parçasıdır ve hataları olacaktır.Dolayısıyla, yüksek seviyeli dil programlarının anlamı hakkında bir fikir sahibi olmak mümkün olsa bile, bir derleyicinin bu anlamı doğru bir şekilde uyguladığına dair herhangi bir güvene sahip olmak imkansızdır. Sorun sadece yüksek seviyeli dillerle sınırlı değildir; bazı mo dern çipler o kadar büyük karmaşık komut setlerine sahiptir ki, bu çiplerin montaj dilleri ve birleştiricileri yüksek bütünlüklü uygulamalar için güvenilir değildir.Bu argümanda bir doğruluktan daha fazlası vardır. Bazı programlama dilleri meşhur bir şekilde anlam bilimine sahiptir ve bunların ilgili derleyicileri, hatalar için tüm ilgili potansiyellere sahip büyük karmaşık yazılım parçalarıdır.Ancak, yüksek bütünlüklü uygulamalar büyüdükçe ve daha karmaşık hale geldikçe, dilinin kullanımı olanaksız hale geliyor - büyük dili programları, kaçınılması gereken yüksek seviyeli dillerin yasaklanması kadar çok hata sergileyebilir. Yüksek seviyeli diller, tüm yazılım mühendisliği avantajları ile birlikte gerekli hale gelmektedir Bu çatışan gereksinimler nasıl uzlaştırılabilir?"En azından" ilk adım olarak aşağıdaki koşulların karşılanması gerekir.1. Yüksek seviyeli kaynak dil, belirli bir hedef makinede yürütülmesinin bağımsız sonunu çıkarmak için mümkün olmalıdır
bir hedef - belirsiz bir anlamı - herhangi bir programın mantıksal davranışına sahip olmalıdır.2. Bu, diğer şeylerin yanı sıra, kaynak dilin matematiksel olarak tanımlanmış bir semantiğe sahip olması gerektiğini ima eder.Aksi takdirde, belirli bir programı çalıştırmanın etkisinin ne olması gerektiğini bile çıkarmak imkansızdır.3. Hedef makine dilinin matematiksel olarak tanımlanmış bir sekans içermesi gerekir. Aksi takdirde, derleme çevirisinin doğru olduğunu kanıtlamak imkansızdır.4. Kaynaktan hedef dile kadar derleyici doğru olmalıdır. Dolayısıyla kaynak dilin ve hedef makinenin dilinin anlambiliminden türetilmelidir.5. Doğrulamaya izin vermek için - yüksek bütünlüklü bir dil için derleyicinin doğru olduğu görülmelidir Açıkça yazılmalı ve anlambilimle açıkça ilişkili olmalıdır.6. Derleyici tarafından üretilen hedef kod açık olmalıdır be ve kaynak kod koduyla kolayca ilişkilendirilmelidir. Bu, yüksek bütünlüklü uygulamalar için bir gereklilik olan derleme sürecine görünürlük sağlar.7. Kaynak ve hedef diller için anlambilim, önceden inceleme ve eleştiri için kullanılabilir olmalıdır.Son üç nokta, sahip oldukları çok daha katı doğrulama ve görünürlük gereksinimlerine uyum sağlamak için yüksek bütünlük uygulamaları için önemlidir.Kaynak kod ve hedef kod arasında görünür bir bağlantı gereksinimi, en kolay şekilde imp eratif - stil kaynak dilleri tarafından karşılanır, çünkü onların durum tabanlı modelleri çoğu temel donanımla iyi bir şekilde eşleşir Daha yüksek seviyeli diller bildirimsel gibi diller makineden çok daha fazla uzaklaştırılmıştır ve bağlantıyı göstermek kesinlikle daha zordur Bu nedenle, bu belgede daha sonra anlatılan kaynak dil, kesin olmayan bir dildir.Yukarıdaki gereksinimlere ek olarak - üst düzey dilde yazılmış yüksek bütünlüklü uygulamanın doğruluğunun kanıtlanması ve fiziksel donanımın montaj dilinin anlamını doğru bir şekilde uyguladığını göstermenin aynı derecede çetrefilli sorunları da ele alınmalıdır Bunlar bu işin kapsamının ötesinde tamam mı?Bu yazı dizisinde kaynak ve hedef dillerin anlam bilimlerinin matematiksel belirtimlerinden yüksek güvenceli bir derleyici oluşturmak için bir yaklaşım açıklanmaktadır.Bunun bir destekleyici olmadığını ve de bu yaklaşımın genel, saf derleyiciler yazmanın bir yolu olduğu iddiası olduğunu unutmayın. Daha ziyade, belirli bir dilin matematiksel ifadesinin yüksek bütünlüklü derleyici geliştirmede nasıl kullanılabileceğini gösterir.AnlambilimDoğru bir derleyici yazmak için, kaynak ve hedef dillerin matematiksel olarak tanımlanmış bir anlambilimine sahip olmak gerekir. Programlama dillerinin anlambilimini tanımlamanın çeşitli yolları vardır her biri farklı amaçlar için uygundur. Bir dili yüksek bütünlüklü bir derleyicinin yapabileceği şekilde tanımlama amacına her biçim eşit derecede uygun değildir. açıkça ondan türetilmelidir.Aksiyomatik anlambilim, bir dili, programları hakkında akıl yürütmek için iddialar ve çıkarım kuralları sağlayarak tanımlar.İddialar aşağıdaki gibi ifade edilebilir:fP gS fQ gBurada S, bir program parçasıdır ve P ve Q, program durumları üzerinden tahminlerdir Üçlü, ön koşul P'nin S program parçasının yürütülmesinden önce b tutması ve S sona ermesi durumunda son koşul Q'nun daha sonra tutulacağını ileri sürer. Bu, doğruysa, akıl yürütürken H'nin de doğru olduğunu belirtir. Ve bu kural, Q'nun üst koşulunun sağlandığını ispatlamak için bir eğer yapı hakkında mantık yürütürken, bunun t tarafından kurulduğunu kanıtlamanın yeterli olduğunu belirtir.Her ne zaman tutarsa ve f tarafından her ne zaman olursa, her durumda tutmazsa, ortak önkoşul P'nin 0 olduğu varsayılarak gerçekleştirilir. Böyle bir tanım tarzı, iki programın aynı anlamı taşıdığını, örneğin, aynı koşulu oluşturduğunu göstermek için uygun olduğunu gösterir.Bu, örneğin örneğin anlamı tanımlama doğru optimizasyon amacıyla program dönüşümlerini koruma gibi programları hakkında mantık yürütmek için kullanışlıdır. Ne olursa olsun, dolaylı bir tanım biçimidir ve değildir yüksek bütünlüklü bir derleyicide doğrudan uygulamaya uygun bir biçimde bir dili tanımlamak için çok kullanışlıdır Bu daha ziyade bizim amaçlarımız için daha soyuttur.Bilimsel Derleme yazdırma siparişi veya diğer tüm danışmanlık talepleriniz için, hemen sayfanın altındaki formu doldurarak veya whatsapp destek hattımızdan bize ulaşın.
Psikolojide Kişilik Çalışması (86) – Kişilik Çalışması Nedir, Nasıl Yapılır, Nasıl Yazılır? – Psikoloji Alanında Ödev Yaptırma – Psikolojide Kişilik Çalışması – Ödev Yaptırma Fiyatları
Diğer araştırmalar, psikososyal gelişim aşamalarıyla ilgilidir. 4, 8 ve 11 yaşındaki çocuklardan birkaç test fotoğrafına dayanarak hikayeler uydurmaları istendi. Hikayeler, hangi psikososyal aşamayı yansıttıklarını belirlemek için analiz edildi. Sonuçlar Erikson’un teorisinde önerilen temaları destekledi. Örneğin, 4 yaşındaki çocukların hikayeleri özerklikle ilgiliydi (aşama henüz tamamlandı). Benzer şekilde, daha büyük çocukların hikayeleri de gelişim aşamalarını yansıtıyordu.
İngiliz feminist ve yazar Vera Brittain’in 21 yaşından orta yaşlara kadar günlüklerinin, mektuplarının ve romanlarının psikotarihsel analizi, ego kimliğiyle ilgili ilk endişeyi gösterdi. Bu, zamanla yakınlık ve sonra cömertlikle ilgili bir endişeye dönüştü. Bu değişiklikler Erikson’un gelişme teorisiyle uyumludur.
Erikson’un ilk altı aşamasındaki uyarlanabilir ve uyumsuz gelişimi değerlendirmek için tasarlanmış bir test olan Psikososyal Gelişim Envanterini kullanan bir çalışma, her aşamada mutluluk ve uyumsal gelişim arasında önemli bir ilişki bulmuştur. Başka bir çalışma, ilk altı aşamadaki uyumsuz gelişim ile yabancılaşma ve köklerinden kopma duygusu arasında yüksek bir korelasyon olduğunu gösterdi. Bu bulgular, Erikson’un çalışmaları için de destek sağlıyor.
Erikson’un aşamalarını destekleyen başka bir çalışmada da Psikososyal Gelişim Envanteri kullanılmıştır. 22 yıllık bir süre içinde test toplam 474 üniversite öğrencisine uygulandı. Sonuçlar, araştırma katılımcılarının kırklı yaşlarının ortalarında psikososyal aşamaların krizlerinin giderek daha olumlu bir şekilde çözüldüğünü gösterdi. Erikson’un öngördüğü gibi, bir aşamada olumlu bir sonuç, krizin daha erken bir aşamada başarılı bir şekilde çözülmesine bağlıydı.
Psikologlar Erikson’un kimlik krizinin çözümünde olumlu sonuçların önceki gelişim aşamalarındaki olumlu sonuçlarla ilişkili olduğu inancını test ettiler. Psikososyal gelişimin ilk dört aşamasında güven, özerklik, inisiyatif ve çalışkanlık (uyarlanabilir başa çıkma yolları) geliştiren ergenler, rol karmaşasından ziyade yüksek düzeyde bir kimlik uyumu sergilediler. Kimlik krizlerini çözmemiş ve rol karmaşası yaşayan ergenler, daha önceki aşamalarda uyarlanabilir başa çıkma yolları geliştirmemişlerdi.
Ergen Gelişimi
Gelişimin ergen aşamasına ilişkin kapsamlı bir araştırma programı, o dönem için beş psikososyal tip veya durum tespit etti. Bunlar; kimlik başarısı, moratoryum, haciz, kimlik yayma ve yabancılaşmış başarıdır.
Kimlik başarısı, mesleki ve ideolojik seçimlere kendini adamış ergenleri tanımlar. 74 üniversite öğrencisiyle yapılan bir araştırma, elde edilen kimlik statüsü ile objektif bağlılık ölçüleri arasında pozitif bir ilişki bulmuştur. Bu tür bireyler güçlü bir ego kimliği geliştirmişlerdir. İstikrarlıydılar, gerçekçi hedeflerle ilgileniyorlardı ve değişen çevresel taleplerle başa çıkabiliyorlardı. Zor görevlerde rol karmaşası yaşayan ergenlerden daha iyi performans gösterdiler. Bu istikrarlı ergenler, üniversitede daha zor alanlarda uzmanlaştılar, mühendislik ve fizik bilimlerindeki kurslara ilgi duydular.
İkinci ergen statüsü olan Moratorium, hala kimlik krizi yaşayan insanları anlatıyor. Mesleki ve ideolojik taahhütleri belirsizdir. Otorite figürlerine karşı kararsız görüşlere sahipler, dönüşümlü olarak isyan ediyorlar ve onlardan rehberliğe ihtiyaç duyuyorlar. Davranışları kararsız ile aktif ve yaratıcı arasında değişir. Ayrıca hayal kurma, doğaüstü olaylara inanma ve çocukça olmaktan zevk alma eğilimindedirler.
Haciz, kimlik krizi yaşamamış, ancak bir mesleğe ve ideolojiye sıkı sıkıya bağlı ergenleri tanımlar. Ancak, bu taahhütler genellikle ebeveynleri tarafından belirlenir ve ergenlerin kasıtlı seçiminden kaynaklanmaz. Bu ergenler katı ve otoriter olma eğilimindedir ve değişen durumlarla başa çıkmakta zorluk çekerler. Bununla birlikte, 23 erkek ve 37 kız üniversite öğrencisi üzerinde yapılan bir araştırma, haciz statüsünde olanların başarı odaklı olma ve enerjilerini iç hedeflerden ziyade dış hedeflere odaklanma eğiliminde olduklarını gösterdi.
Kimlik yayılma durumu, ergenlik döneminde mesleki veya ideolojik bağlılıkları olmayan ve kimlik krizi yaşamamış olabilecek kişileri karakterize eder. Seçtikleri yaşam tarzı, taahhütleri aktif bir şekilde reddedebilir ve en sonunda amaçsız bir sürüklenmeye neden olabilir. Bu ergenlerin kayıtsız ve reddedici olarak gördükleri ebeveynleriyle uzak ilişkileri vardır.
Beşinci durum, yabancılaşmış başarı, bir kimlik krizi yaşamış, mesleki amacı olmayan ve sosyal ve ekonomik sistemin eleştirisi olan inançlara tutunan ergenleri tanımlar. Bu mantığa olan bağlılıkları, tam da karşı çıktıkları sisteme kendilerini kaptıracak herhangi bir kariyeri engelliyor. Öğrenciler olarak serebral, felsefi ve alaycı olma eğilimindedirler.
Bu durumlardan dördü, aşağıdaki sırada kimlik yayma, haciz, moratoryum ve kimlik başarısı, kimlik probleminin giderek daha başarılı çözümlerini temsil eder. Erikson, başarmaya yakın olan veya entegre bir ego kimliğine ulaşmış kişilerin, kimlik ikilemlerini çözmekten daha uzak olanlara göre daha fazla ego gücüne sahip olacağını öngördü.
Bu tahmin üniversiteli erkeklerle ilgili araştırmalarla desteklendi. Bilişsel ve duygusal terimlerle, kimlik kazanımı ve moratoryum türleri, kapama ve kimlik yayma türlerinden daha iyi işledi. Kimlik başarısı türündeki kolej erkek ve kadınlarının da kendilerine daha güvendikleri görülmüştür.
Diğer araştırmalarda, kimlik krizinin çözümünde cinsiyet farklılıkları bulundu. Bir çalışmada erkekler diğer insanlardan ayrılma ve kopma eğilimi gösterdi; kadınlar başkalarına bağlanma ve bağlanma eğilimi gösterdi.
Diğer araştırmalar, erkek kimliğinin bireysel yetkinlik ve bilgi üzerine odaklandığını, kadın kimliğinin ise başkalarıyla ilişki kurmaya daha çok odaklandığını göstererek bu bulguyu destekleyip genişletmektedir. Başka bir deyişle, kadınlar bir kimlik oluşturduklarında, büyük ölçüde sosyal ilişkilere bağlıdırlar. Erkekler daha çok kendine ve bireysel becerilere ve yeteneklere odaklanır. Kendi ergenlik döneminizi çalkantılı ve stresli bir dönem olarak hatırlayabilirsiniz.
Bu gelişim aşaması için üç temel unsur aşağıdaki şekilde tanımlanmıştır.
1. Yetişkin otoritesine karşı güçlü bir direnişle karakterize edilen ebeveynlerle çatışma, 2. Değişken bir duygusal yaşam, ruh hali değişimleri ve depresyon atakları ile karakterize edilen duygudurum bozukluğu ve 3. Kendilerine ve başkalarına zarar verebilecek umursamaz, kurallara aykırı ve anti sosyal davranışlarla karakterize edilen riskli davranışlar.
155 ergenin 2 haftalık bir süre boyunca günlük etkileşimlerinin günlüklerini tuttuğu bir araştırma, etkileşimlerinin yüzde 31’inin diğer insanlarla çatışmalar içerdiğini gösterdi. Araştırmaya katılanlar, ebeveynleriyle olan çatışmaların kendileri için akranlarıyla olan çatışmalardan daha önemli ve duygusal olarak daha yoğun olduğunu bildirdi.
