|
|
---
:: برچسبها:
کتاب ,
اثبات ,
وجود ,
:: بازدید از این مطلب : 62
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : چهار شنبه 10 تير 1395 |
نظرات ()
|
|
نگرانی های مرتبط به مدل سازی ارزیابی سیستم های سخت افزاری در زبان الکترونیک چکیده e به عنوان یک زبان برنامه نویسی اثبات شده سخت افزاری می باشد که به صورت گسترده ای برای مشخص کردن طرح های جریانات الکترونیکی از طریق توسعه و اجرای برنامه مورد استفاده قرار می گیرد. در سال های اخیر ، رشد مستمر این تست ها در فناوری اطلاعات باعث ایجاد مشکلاتی در درک ، حفظ و گسترش آن ها شده است. در نتیجه تصمیماتی برای مستند ساختن این تست ها در سطح بالاتر انجام شده است. بر این اساس ما تلاشی را به منظور ایجاد تطبیق با رویکردهای طراحی جهت محور موجود انجام می دهیم. در این مقاله ، ما تجارب خود را در ارتباط با کاربرد این موضوعات/زبان های برنامه نویسی یکپارچه که به عنوان یک رویکرد جهت محور می باشد در زبان برنامه نویسی e مد نظر قرار می دهیم. مشخص شده است که مفاهیم جهت محوری که توسط موضوعات/زبان های برنامه نویسی یکپارچه مورد حمایت قرار می گیرند ، برای به نمایش گذاشتن زبان برنامه نویسی e به دلیل پویا بودن این زبان و ماهیت زمانی آن مناسب نمی باشند. بر مبنای چنین تجربیاتی ، ما مجموعه ای از شرایطی را مطرح می کنیم که می بایست قبل از رویکردهای طراحی جهت محور همانند موضوعات و زبان های برنامه نویسی یکپارچه که دارای قابلیت به نمایش گذاشتن سیستم های جهت محور در زبان e می باشند ، مد نظر قرار دهیم.کلمات کلیدی مربوط به این موضوع و طبقه بندی ها. D.3.3 (زبان برنامه نویسی) : ساختار زبان و خصوصیات آن؛ D.2.10 ( مهندسی نرم افزار) : طرح ؛ D.2.2 (مهندسی نرم افزار): ابزارها و تکنیک های طراحی.اصطلاحات کلی.طرح ، زبان ، اثبات.کلمات کلیدی.اثبات سخت افزاری ، زبان برنامه نویسی e ، طرحی جهت محور ، موضوع/UML.
:: برچسبها:
موضوع/UML ,
طرحی جهت محور ,
اثبات سخت افزاری ,
زبان برنامه نویسی e ,
طرح ,
زبان ,
اثبات ,
ساختار زبان و خصوصیات آن ,
مهندسی نرم افزار ,
ابزارها و تکنیک های طراحی ,
مقاله انگلیسی کامپیوتر با ترجمه فارسی ,
مقاله انگلیسی کامپیوتر با ترجمه ,
مقاله انگلیسی کامپیوتر ,
:: بازدید از این مطلب : 54
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : چهار شنبه 7 مرداد 1395 |
نظرات ()
|
|
اثبات عسر و حرج زوجه با استناد به عرف جلسه
هیأت عمومی دیوان عالی کشور در خصوص رسیدگی به پرونده اصراری حقوقی ردیف
84/21 به ریاست آیت الله مفید، رئیس دیوان عالی کشور و با حضور قضات شعب
حقوقی دیوان عالی کشور صبح روز سه شنبه گذشته برگزار شد که در این جلسه به 2
پرونده اصراری حقوقی رسیدگی گردید. در
این پرونده اصراری، فرجام خواه ( زوجه) دادخواستی به خواسته صدور گواهی
عدم امکان سازش به دلیل عسر و حرج با استناد به ماده 1130 قانون مدنی به
دادگاه بدوی ارائه می نماید که تقاضای وی پس از طی مراحل مختلف رسیدگی در
هیات عمومی اصراری مطرح گردید.
قضات هیات عمومی دیوان در رای خود نظر شعبه دیوان مبنی بر احراز عسر و حرج
زوجه را با استناد به عرف و شرایط زوجه و نه الزاما وجود مدرک و استناد
دال بر آزار و اذیت جسمی و روحی پذیرفتند. به
طوری که در این پرونده به صرف غیر قابل تحمل بودن زندگی مشترک برای زوجه،
به دلیل عدم علاقه به زوج و نیز اطلاع اجمالی محکمه از سوء معاشرت زوج،
اختلاف سن و عدم دوام زندگی مشترک میان این دو، عسر و حرج به اثبات رسیده و
رای به آن داده شده است. به گزارش خبرنگار « ماوی »، خلاصه ای از گزارش و سیر پرونده تا ارجاع به هیات عمومی اصراری چنین بوده است: در
تاریخ 6 فروردین 1380 خانم س- الف با وکالت خانم فریده- ف به طرفیت آقای
کمال- ق به طرح دعوی مبنی بر تقاضای صدور گواهی عدم امکان سازش پرداخته که
پرونده به شعبه پانزدهم دادگاه عمومی ارومیه ارجاع شده است. وکیل خواهان
بیان کرده است که « موکله در تاریخ 21 فروردین 1375 با خوانده ازدواج نمود
که از بدو شروع زندگی اختلاف وی به خوانده شروع شده و تا به حال ادامه
دارد. دلیل اختلاف هم رفتار ناهنجار خوانده، اهانت، ضرب و شتم و جرح نسبت
به موکله است که پرونده کلاسه 1611 مورخ 1375 شعبه سوم دادگاه عمومی مهاباد
موید آن است که با وجود گذشت موکله و مراجعت به خانه شوهر، رفتار گذشته
ادامه یافته است تا حدی که امکان ادامه زندگی مشترک برای موکله غیر مقدور
گردیده و دادنامه های متعدد پیوستی حاکی از عدم تفاهم زوجین و عمق اختلافات
فی مابین است و این امر بر خلاف فلسفه زندگی و سنت رسول خدا می باشد. در
نهایت نظر به این که عسر و حرج موکله در ادامه زندگی محرز است، به استناد
ماده 1130 قانون مدنی با بذل مهریه و نفقه توسط موکله، تقاضای صدور حکم
طلاق خلعی مورد استدعاست.» وکیل
خوانده در جلسه دادگاه که بار اول به دلیل عدم حضورش تشکیل نشد طی لایحه
ای بیان نمود: همانطور که در دادخواست، قید شد از ابتدای سال 1375 وصلت
انجام شد، پس از گذشت مدت زمانی متاسفانه زوجه بدون وجود اذن منزل را ترک
نمود. خانواده زوجه با طرح توطئه ای در جهت اجبار موکل بر طلاق، وی را
شدیدا مورد ضرب و شتم قرار دادند و متعاقب آن، اقدام به استرداد جهیزیه
نمودند و با تمهبداتی، موجبات صدور حکم طلاق به شماره 1089 مورخ 1377 صادر
شده از شعبه 4 دادگاه عمومی مهاباد را فراهم نمودند که به موجب دادنامه
شماره 78/61/5ت صادر شده از شعبه 5 دادگاه تجدیدنظر استان آذربایجان غربی،
نقض و حکم به رد ادعای زوجه صادر گردید.همچنین طبق دادنامه شماره 928/76
مورخ 18 شهریور 1376 صادر شده از شعبه 4 دادگاه عمومی مهاباد حکم تمکین
زوجه از زوج صادر گردیده است. با توجه به مراتب مذکور، دیگر موجبی برای
تقاضای طلاق طبق موازین شرعی و قانونی با عدم رضایت زوج و وجود ندارد،
تقاضای رد ادعای خواهان را دارم. وکیل خواهان ضمن رد ادعای ضرب و شتم زوج
توسط خانواده زوجه، دادنامه های پیوست و اظهارات شهود در استشهادیه را
دلیل بر عسر و حرج زوجه دانست. دادگاه
در این خصوص قرار ارجاع امر به داوری صادر کرد و طرفین را مکلف به معرفی
داور واجد شرایط نمود. داور زوجه طی نامه ای اعلام نمود که زوجه اظهار می
دارد چون توافق اخلاقی با زوج ندارد، عشق و علاقه ای به وی ندارد؛ بلکه
متنفر است، مهر و محبت که اساس زندگی زناشویی است بین آنها موجود نیست،
تنها راه خلاصی، صدور حکم طلاق است و بر حسب اظهارات زوجه، در این مدت 5
سال، جلساتی تشکیل شده که حاصلی نداشته است. داور
زوج هم تاکید کرد: نتوانسته ام مصالحه ای بین زوج و زوجه فراهم نمایم، علی
رغم این موضوع دادگاه به شرح دادنامه شماره 323 مورخ 14 فروردین 1381 دعوی
زوجه را با استدلال به این که ادعای زوجه مبنی بر فقدان تفاهم اخلاقی یا
سوء رفتار زوج متکی به دلیل نبوده است و صرف چنین ادعایی، موجب حق طلاق
برای مشارالیها نمی شود و برای تخلف از شرایط ضمن عقد هم دلیلی از ناحیه
زوجه اقامه نشده است، غیر موجه تشخیص و حکم به رد آن صادر می نماید. حکم
فوق مورد تجدید نظر خواهی وکیل زوجه قرار گرفت. با این استدلال که این که
دادگاه بیان نموده ادعای زوجه مستند به دلیل نبوده، صحیح نیست؛ زیرا
استشهادیه ای که 10 نفر امضا نموده اند دلیل و گواهی بر اذیت و آزار زوج
نسبت به زوجه است و احکام متعدد دال بر وجود اختلاف و عدم تفاهم اخلاقی است
و هیچ زنی با وجود امکان زندگی مشترک 5 ساله، خانه خود را ترک نمی کند. وکیل
زوجه حتی به نظر فقهی مرحوم حضرت آیت الله میرزای قمی هم استناد و اشعار
می دارد: میرزای قمی در جامع الشتات ص 508 چنین آورده است: « هرگاه برای
حاکم علم حاصل شود به این که زوج سلوک به معروف نمی کند و وفای به حقوق
زوجه نمی کند او را اجبار می کند بر طلاق و اجبار منافی با صحت طلاق نیست. وکیل
زوج هم در پاسخ بیان داشته است: « 1- استشهادیه مربوط به سالهای قبل است
که پس از آن در شعبه 4 دادگاه عمومی مهاباد رای به طلاق صادر شد و دادگاه
تجدیدنظر استان آذربایجان غربی آن رای را نقض نموده است. 2- حکم تمکین علیه
تجدیدنظر خواه صادر شده است و نتواسته دلیلی بر عسر و حرج اقامه نماید. 3-
دادنامه استرداد جهیزیه دلیل بر عسر و حرج نیست و دادنامه شماره 1086 مورخ
1377 صادره از شعبه 4 مهاباد درباره طلاق زوجه در شعبه 5 تجدید نظر نقض
گردیده است، دلیل بر موجبات طلاق نمی شود. از دادگاه تجدیدنظر تقاضای ابرام
رای بدوی را دارم». سپس پرونده به شعبه 5 تجدیدنظر استان آذربایجان غربی
ارجاع شدو آن دادگاه در وقت فوق العاده طی دادنامه شماره 767 مورخ 22 خرداد
1381 رای دادگاه بدوی را با این استدلال که تجدیدنظر خواه دلیلی که موجب
نقض حکم شود اقامه ننموده، مورد تایید قرار داده است که از این رای توسط
زوجه فرجام خواهی گردیده و پرونده به شعبه 22 دیوان عالی کشور ارجاع شده
است و استدلال فرجام خواه همان است که در مرحله تجدیدنظر خواهی بیان کرده
است و پاسخ آن هم توسط زوج این است که زوجه هیچ دلیل قانونی برای متارکه
ندارد و دادگاه های بدوی نظر و خواسته خواهان را رد نموده اند.
:: برچسبها:
پایان نامه ,
اثبات ,
عسر ,
و حرج ,
زوجه ,
با ,
استناد ,
به ,
عرف ,
:: بازدید از این مطلب : 104
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : سه شنبه 15 ارديبهشت 1395 |
نظرات ()
|
|
---
:: برچسبها:
کتاب ,
86 ,
راه ,
اثبات ,
شده ,
برای ,
افزایش ,
قدرت ,
:: بازدید از این مطلب : 140
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : دو شنبه 5 تير 1395 |
نظرات ()
|
|
---
:: برچسبها:
اثر ,
تغيير ,
پارامترها ,
بر ,
پايداري ,
ديناميكي ,
و ,
تداخل ,
PSS ,
ها ,
( ,
و ,
اثبات ,
برتري ,
آن ,
بر ,
روش ,
كلاسيك ,
:: بازدید از این مطلب : 137
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : دو شنبه 14 ارديبهشت 1395 |
نظرات ()
|
|
---
:: برچسبها:
اثبات ,
جرائم ,
منافي ,
عفت ,
از ,
نگاهي ,
:: بازدید از این مطلب : 154
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : شنبه 26 تير 1395 |
نظرات ()
|
|
---
:: برچسبها:
براهین ,
اثبات ,
:: بازدید از این مطلب : 140
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : شنبه 29 ارديبهشت 1395 |
نظرات ()
|
|
---
:: برچسبها:
جزو ,
ادله ,
اثبات ,
:: بازدید از این مطلب : 159
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : شنبه 2 خرداد 1395 |
نظرات ()
|
|
صفحه قبل 2 3 4 5 ... 6341 صفحه بعد
|
|
|