Muhakeme Süreci Kontrolü
Muhakeme Süreci Kontrolü
Gösterilen ağdaki bilgilere dayanarak, kullanılabilecek muhakeme prosedürleri üzerindeki kısıtlamalar aşağıdaki gibi tanımlanabilir.
Edinme-I’de, beklenen değişken değerleri (fiili planlama PMAC’ın önceden etkinleştirilmesinin bir sonucu olarak somutlaştırılan) toplanır ve Edinme-2’de, projenin yürütülmesine ilişkin veriler toplanır ve gözlemler olarak üretilir. Ancak gözlemler, proje planında açıklandığı gibi her zaman doğrudan bir değişkene eşlenemez.
Dolayısıyla Transform, Obtain-2 tarafından üretilen gözlemlerin, değerini plandaki beklenen değerle karşılaştırmak için gerekli forma dönüştürmesini etkiler. Karşılaştır, ardından beklenen değerleri değişkenlerin gerçek değerleriyle karşılaştırır.
Ölçüt değişkeninin tahmin edilen değeri ile çıkarılan değerin karşılaştırılması sonucunda tutarsızlıklar ortaya çıkabilir veya (her şeyin planlandığı gibi gittiğine dair) doğrulamalar bulunabilir.
Belirtin, tutarsızlıkları özel dikkat göstermeye değip değmediklerine veya yok sayılabileceklerine (şu an için) göre sınıflandırır. Select, son olarak, yöneticinin nedenlerine daha fazla bakmadan derhal düzeltmesi gereken ciddi tutarsızlıklar ile onlar hakkında bir şey yapmadan önce nedenlerini teşhis etmesi gereken tutarsızlıklar arasında ayrım yapar.
İncelemeden (veya PRE’lerde ifade edildiği şekliyle çıkarım yapısındaki RAC’lerin giriş ve çıkış yüklemlerinin resmi olarak bir analizi aracılığıyla) görülebileceği gibi, Obtain-2 saat ne zaman (ve yalnızca ne zaman) etkinleştirilir “keneler”, yani, mevcut raporlama aralığının sona erdiğini belirten bir boole belirteci serbest bırakır.
Bununla birlikte, RAC Obtain-1 bir tane üretmeden önce herhangi bir belirteç alamadığından, ek kısıtlamalar olmadan ağın dinamik simülasyonu mümkün değildir, bu nedenle dinamik simülasyonun başlangıcında ağın ilk işaretlemesi tanımlanamaz.
Bununla birlikte, ağda temsil edilen süreç modelleme bilgisinden başlayarak, IP2 yerel süreç modelinin dinamik bir simülasyonunda Obtain-I ve Obtain-2’de ek koşullu ifadeler aracılığıyla bir aktivasyon sırası başlatmak mümkündür. yukarıda açıklanan muhakeme prosedürlerinin geliştirilmesi.
Edin-1 ve Edin-2’nin yürütülme sırasını etkileyen bir koşullu ifade örneği şu şekildedir: “Ne aranacağı önceden bilinmiyorsa, önce gerçekleştirin. Bu koşulun arkasındaki mantık, “güçlü” bir modelin yokluğunda yapılacak en iyi şeyin mümkün olduğu kadar çok veri toplamak olmasıdır.
Akıl yürütme süreci kontrol bileşenine yapılan bu ekleme, “veriye dayalı izleme” olarak etiketlenebilecek bir stratejiyi temsil eder. Benzer şekilde, tekrar ifadeleri eklenebilir. Böyle bir ifadenin en basit örneği “görev(ler) hazır olana kadar IP2’yi tekrarla”dır.
Aşağıdaki örnek, IP2 altPMAC için yerel süreç modelindeki RAC’lerin her birinin, SM1 yerel süreç modelinde RAC’ler için tanımladığımız şekilde önceden resmi olarak nasıl tanımlanabileceğini göstermektedir.
Daha önce olduğu gibi, çağrılan işlevin parantez içinde verilen bağımsız değişken listesiyle kalın yazı tipinde gösterildiği bir tür sözde kod kullanıyoruz. Argüman listesinde, her RAC işlevi için çıkış PRE’leri önce gelir. Sonra (noktalı virgülle ayrılmış) giriş PRE’leri ve son olarak (başka bir noktalı virgülle ayrılmış) VRE’ler gelir.
- 1 (beklenen değişken değerleri; tüm beklenen değişken değerleri; izleme prosedürleri)
- 2 (Gözlem; saat tik [boolean], raporlar şimdi mevcut; gözlemlenebilirler evreni, izleme prosedürleri)
- Dönüşüm (gerçek değişken değerleri; gözlem; proje geçmişi)
- Karşılaştır (tutarsızlık, doğrulamalar; beklenen değişken değer(ler), gerçek değişken değer(ler);)
- Belirle (tutarsızlıkların ciddiyeti; tutarsızlık; proje planındaki varlıklar için değişken değerler için tolerans seviyeleri, önceki tutarsızlıklar)
- Seçin (düzeltilecek tutarsızlıklar kümesi, teşhis edilecek tutarsızlıklar kümesi; tutarsızlığın ciddiyeti;)
Yerel süreç modeliyle ilgili olarak yaptığımız süreç kontrol bileşeninin modellemesini tamamlamak için bir muhakeme stratejisi yorumlayıcısı oluşturma ihtiyacına ilişkin açıklamalar burada da geçerlidir.
Ara muhakeme nedir
Ara muhakeme evresi
ceza ve muhakeme hukukunun temel kavramlari-ii pdf
Ceza Muhakemesi evreleri
Matematiksel muhakeme nedir
Soruşturma evresi başladıktan sonra şüphelinin hayatını kaybetmesi durumunda
CMK nispi muhakeme
7331 sayılı Kanun
Kullanılabilecek Bilgi Örnekleri
Açıklanan bilgi gibi, bu bilgi, açıklanan RAC fonksiyonları tarafından erişilen proje yönetimi modelinin karmaşık pasif (durum) bileşenlerinde tutulan kurallar açısından ifade edilebilir. Tipik olarak kullanılabilecek kural örnekleri aşağıda açıklanmaktadır.
Proje yöneticisi beklenen değerlerini önceden açıkça belirtmişse (çoğu zaman böyle olmaz), bu işlem oldukça basittir çünkü değerler doğrudan proje planından elde edilebilir. Elde edilen değer, bir niceliğin gelecekteki gerçek değerinin belirli bir zamandaki tahmini olarak yorumlanabilir.
Bir gözlemlenebilirin değeri, kısmen yönetici tarafından seçilen izleme stratejisi temelinde yürütülen projeden seçilir. Ayrıca, sıklıkla, proje yöneticisi, örneğin ekip üyelerinin projede işlerin nasıl gittiğine dair gönüllü bilgi vermesi gibi, elde edilmesi planlanmayan gözlemler elde eder.
Burada olan şey, gözlemlenene bağlı olarak (çok) zor veya (çok) kolay olabilir. Örneğin, “harcanan para” miktarı için bir değer elde etmek üzere gözlemlenebilirlerin dönüştürülmesi kolaydır ve az ya da çok doğrudur. Yani, ekip üyeleri projede geçirdikleri saatlerin çizelgelerini tuttuklarında, harcanan para miktarı, harcadıkları saat sayısı ile bireysel tarifelerinin çarpılmasıyla basit bir şekilde hesaplanır.
Biten işin yüzdesinin bir ölçüsünü elde etmek için gözlemlenebilirleri dönüştürmek daha zordur çünkü bu, diğer iki tür veriden elde edilir: kalan iş miktarı ve toplam iş miktarı. Bazı durumlarda, değişken değerleri gözlemlenebilirlerle aynı olabilirken, diğer durumlarda oldukça karmaşık hesaplamalar veya orijinal gözlemlenebilirlerden kombinasyonlar gerekli olabilir.
Gözlemleneni bir kalite ölçüsüne dönüştürmek, çoğu zaman sübjektif yargıya ihtiyaç duyulduğu için kolayca yapılmaz. Bu, özellikle izleme, kilometre taşlarından farklı zamanlarda yapıldığında doğrudur, çünkü bu tür durumlarda kalite kriterleri daha az açık bir şekilde belirtilir.
Bu karşılaştırmanın yapılma şekli, ilgili miktarın türüne bağlıdır. Çoğu zaman, bu karşılaştırma, sayısal nicelikler söz konusu olduğunda basit bir çıkarma işlemi içeren oldukça önemsizdir. Elde edilen tutarsızlık, bir sayı (örneğin, harcanan para miktarı ile harcanması planlanan para miktarı arasındaki fark) şeklini alabilir veya sözlü veya hatta grafik biçimde olabilir.
Tutarsızlıklar, değişkenlerin değerleri karşılaştırıldıktan sonra fark edilebilir veya her şey yolunda giderse herhangi bir tutarsızlık bulunmayabilir. Diğer durumlarda, süreçte ölçülen bir değişkenin değerinin, yönetici tarafından beklenen (önceden belirlenen) değeri karşılamadığı öğrenilebilir.
Genellikle yöneticiler, tamamlanan işi ve programlanan işi, iki çizgi arasındaki optik mesafenin bir tutarsızlık göstergesi olarak hizmet edebileceği zamana bağlı bir grafik aracılığıyla takip etmeyi tercih ederler.
7331 sayılı Kanun Ara muhakeme evresi Ara muhakeme nedir Ceza Muhakemesi evreleri Matematiksel muhakeme nedir ceza ve muhakeme hukukunun temel kavramlari-ii pdf CMK nispi muhakeme Soruşturma evresi başladıktan sonra şüphelinin hayatını kaybetmesi durumunda