در این نوشته کوتاه، کتاب اصول و مفاهیم بنیادین حقوق عمومی معرفی و در نقد آن، اشکالات صوری و ماهیتی کار بررسی و شناسایی و به اختصار بیان شده و درمجموع، معلوم شده است آنچه برای تدوین این گونه آثار سترگ که در قامت فرهنگنامه حقوقی ارائه می شوند مرسوم و لازم است، از قبیل تعریف و تنظیم واژه ها و دیگر مطالب مورد نیاز، در کتاب مورد نظر رعایت نشده و کتاب در حد گردآوری و نقل قول باقی مانده و حق مطلب و اد...

در این پایان نامه به شمارش کدهای خوددوآل دوتایی تا طول 32می پردازیم و البته به بررسی نوع خاصی از کدهای خوددوآل به نام به طور خوددوآل صوری می پردازیم. کدهای تقریبا اکسترمال تعریف و انواع آن بررسی میشود.

چکیده ندارد.

سیستم های علائم الکتریکی و اینترلاکینگ نقشی حیاتی در ایجاد یک حمل و نقل ایمن در سیستم های راهآهن ایفا میکنند. از آنجایی که در این سیستمها رخدادن هیچ نوع خطایی حتی کوچک جایز نیست، استفاده از روشهای صوری برای طراحی، شبیه سازی، مدلسازی و ارزیابی، بسیار حائز اهمیت است. چندین روش صوری برای طراحی وجود دارد که یکی از ابزارهای مناسب، استفاده از جعبه ابزار stateflow نرم افزار matlab است. در این مقاله یک...

نقد و ارزیابی کتاب «انتخاب عقلانی و مطالعات امنیتی، استفن والت و منتقدانش»، نوشته براون اون، لین جوز و میلر در واقع در واقع کندوکاوی برای شناخت مطالعات امنیتی در روابط بین‌الملل است. به عبارتی، بررسی رهیافت انتخاب عقلانی والت و مدل صوری ـ ریاضی می‌تواند ما را به ارائه بدیلی روشن در روش شناسی مطالعات امنیتی کمک نماید. این نقد و ارزیابی به طور کلی به مقالات انتقادی علیه روش غیر صوری ـ تجربی والت ...

سوزن دوزی از رایج ترین و در عین حال شاخص ترین هنرهای متداول در میان زنان قوم بلوچ است که علی رغم برخورداری از شهرت فراوان در اغلب پژوهش های انجام شده در این عرصه، کمتر به ساختار صوری حاکم بر نقوش آن پرداخته شده است. این تحقیق، که با هدف تبیین و نمایاندن هرچه بهتر هنر سوزن دوزی بلوچ (در شهرستان سراوان استان سیستان و بلوچستان) و جنبه های ارتباطی ساختار نقوش آن با عناصر طبیعت صورت پذیرفته است، با ...