به اجماع فقیهان امامیه هرگاه در عقد نکاح دائم مهریه ای برای زوجه معین گردد ولی این ازدواج قبل ازآمیزش به موجب طلاق منحل شود. زوجه مستحق نصف مهریه ی مفروض است. حال اگر جدایی میان زوجینبه سبب فوت زوج باشد حکم مسئله چیست؟ 1- آیا زوجه مستحق تمام مهریه ی تعیین شده است؟ 2- یااینکه مانند طلاق قبل از دخول، زوجه صرفا مستحق نصف مهریه می باشد؟را مستند به دلیل خاص « طلاق قبل از دخول » مشهور امامیه گزینه نخ...

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

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

روش های تحلیل پروتکل های رمزنگاری در بررسی دست یابی یک پروتکل بر اهداف مطلوب خود، اغلب بر نشت اطلاعات متمرکز شده اند. در حالی که، بیشتر پروتکل ها گاهی اوقات به دلایل کاملاً ظریف، سقوط به مراتب کمتری در دست یابی به اهداف خود دارند. در این پایان نامه یک مکانیزم برای استدلال درباره ی باور به عنوان یک روش سیستماتیک معرفی می شود، که طرزکار پروتکل های رمزنگاری را تحلیل می کند. مکانیزم ارائه شده ویژگی ...

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

یکی از اختلافات فقها و حقوق دانان از دیرباز، مسئله ی میزان ارث زوجه از اموال غیرمنقول زوج است. قانون مدنی ایران تا قبل از سال 1387 در ماده ی 946 از نظر مشهور فقها تبعیت می کرد، اما از سال 1387 با اصلاحیه ای جدید نظریه ی غیر مشهور را پذیرفته که با بازبینی ادله این نظریه منطقی تر به نظر می رسد. به تبع اختلاف در میزان ارث زوجه از اموال غیرمنقول، درباره ی حق خیار زوجه از معاملات اموال غیرمنقول زوج ...

بدلیل نفوذ بالای مزارع بادی در شبکه ها، این منابع می توانند نقش بارزی در کنترل سیستم قدرت ایفا کنند. در این مقاله از مزارع بادی (wfs) به منظور افزایش حاشیه ی امنیت استاتیک سیستم قدرت استفاده شده است. یکی از روش های معمول برای بهبود حاشیه امنیت استاتیک سیستم قدرت برنامه ریزی مجدد تولید است. در این مقاله برنامه ریزی مجدد تولید برپایه ی مزارع بادی انجام شده است. به منظور ارزیابی وضعیت امنیت استاتی...

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

در این مقاله یک جزء مرتبه بالا برای تحلیل تیرهای با اثر برش پیشنهاد می گردد. این جزء دارای سه گره و شش درجه آزادی می باشد. رابطه سازی جزء برپایه ی کرنش برشی مرتبه ی یکم (fsdt) می باشد. برای این منظور، میدان جابجایی تیر از درجه پنج انتخاب می گردد. هم چنین، کرنش برشی جزء در طول آن نیز، دارای تغییرات درجه دو خواهد بود. یادآوری می گردد که، تغییرشکل محوری جزء نیز از درجه ی دو خواهد بود. با نوشتن راب...

در این مقاله یک ساختار جدید برای رمزنگاری تصویر با استفاده از اتوماتای سلولی ترکیبی ارائه می­شود. رمزنگاری تصویر در روش پیشنهادی در دو مرحله صورت می­گیرد. در مرحله اول پیکسل­های تصویر به ترتیب خوانده شده و هر پیکسل با قوانین اتوماتای سلولی ترکیبی جایگزین می­شود. در مرحله بعد پیکسل­های رمزشده به عدد باینری تبدیل می­شود. سپس عمل جایگزینی هر بیت از پیکسل با استفاده از اتوماتای سلولی ترکیبی صورت می...