فی لوو

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

فی لوو

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود مقاله مقایسه اجمالی سیستم‌های حقوق اسلام

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

دانلود مقاله مقایسه اجمالی سیستم‌های حقوق اسلام


دانلود مقاله مقایسه اجمالی سیستم‌های حقوق اسلام

شکی نیست که اگر سخن از مشروعیت یا عدم مشروعیت علم قاضی می‌شود، منظور، علم وی نسبت به ادله اثبات احکام نیست؛ زیرا این علم لازمه قضاوت است و چنین علمی برای وی مفروض است و بر وی تکلیف است که نسبت به آن عالم باشد[۳]. بحث ما در این مورد، ناظر به علمی است که نسبت به ادله اثباتی مربوط به تحقق موضوعات متنازع فیه در عالم خارج مطرح می‌شود زیرا قاضی باید بر اثبات امور موضوعی در عالم خارج به یقین رسیده باشد. این نوع علم نیز بر دو نوع است :

- علمی که قاضی از خارج پرونده به دست می‌آورد؛ مثل اینکه شخصاً شاهد حادثه‌ای بوده یا در اثر معاشرت خود با افراد جامعه متوجه واقعه‌ای شده باشد.

- علمی که در اثر مطالعه پرونده و اوضاع و احوال و قرائن موجود در پرونده برای وی حاصل می‌شود. ما ضمن مطالعه هر دو نوع علم متذکر می‌شویم که معمولاً مورد اختلاف ناظر به علم حاصل از عناصر خارج از پرونده است.

نکته مهم دیگر اینکه منظور از علم قاضی، علمی است که طریقه متعارف برای حصول داشته باشد یعنی از طریقی بدست آمده باشد که مردم نوعاً از آن طریق تحصیل علم می‌کنند و به آن ترتیب اثر می‌دهند لذا اگر قاضی در خواب ببیند یا به گونه‌ای به وی الهام شود که متهم مرتکب جنایت شده و یا قبلاً ملکی در تصرف او بوده، علم وی اعتبار ندارد. بر این اساس، علمی که طریق رمل و استطرلاب و یا بکارگیری سحر و جادو و تله‌پاتی حاصل شده باشد، فاقد دلیلیت است چون این شیوه‌ها طرق نوعی کسب علم نبوده و بیشتر جنبه شخصی دارند ولی شاید بتوان از فرار متهم[۴] و یا دگرگون شدن رنگ چهره وی در زمان تفهیم اتهام قرینه‌ای هر چند ضعیف بر حداقل دخالت متهم در ارتکاب جرم را متوجه شد. به هر حال، “چهره نوعی داشتن” وسیله کسب علم، شرط تمسک قاضی به علم خود است که در قسمت شرایط تمسک قاضی به علم خود این مطلب را پی می‌گیریم. در اینرابطه، اجمالاً باید گفت معمولاً علمی که از طریق اماراتی نظیر کارشناسی و امثال آن بوجود بیاید -چون نوعاً مفید علم است-، می‌تواند معتبر باشد.

تفاوت علم قاضی در امور کیفری و امور مدنی

علم قاضی در امور مدنی با امور کیفری تفاوت‌هایی دارد. در امور مدنی علم قاضی در مرحله بررسی “دلیلیت دلیل” بکار می‌آید ولی پس از اثبات دلیلیت، دیگر مجالی برای عدم تمسک به دلایل باقی نمی‌ماند و باید قاضی طبق دلیل قانونی رای دهد. مثلاً اگر قاضی اقرار طرف را کذب دانست، دیگر نمی‌تواند بر مبنای آن حکم نماید. طریق تشخیص کذب بودن اقرار و یا دروغ بودن شهادت شهود، علمی است که برای وی بوجود می‌آید. بنابراین، بخلاف امور مدنی که علم قاضی در مرحله دلیلیت دلیل به کار می‌آید

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

شامل 29 صفحه فایل word


دانلود با لینک مستقیم


دانلود مقاله مقایسه اجمالی سیستم‌های حقوق اسلام

دانلود پایان نامه تشخیص بن بست در سیستم‌های توزیع شده

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

دانلود پایان نامه تشخیص بن بست در سیستم‌های توزیع شده


دانلود پایان نامه تشخیص بن بست در سیستم‌های توزیع شده

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

1-3-1- مدل گراف- انتظار- برای

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

بن بست با یک چرخه در این گراف مشخص می شود. ارتباط بین بن بستها و این گراف در بخشهای زیر نشان داده شده است[13].

 

 

1-3-2- مدل تک- منبعی(One-Resource Model)

مدل تک منبعی، ساده ترین مدل درخواست منبع است. در این مدل یک فرایند تنها یک درخواست منبع در یک زمان می تواند داشته باشد،بدان معنی که ماکزیمم یال خروجی از یک گره در گراف-انتظار- برای برابر یک است.

برای یافتن بن بست  در یک سیستم که مدل درخواست آن تک منبعی است، لازم است یک چرخه در گراف-انتظار-برای پیدا شود. یک الگوریتم ساده برای تشخیص بن بست براساس این مدل توسط میچل و مریت[2] است.

1-3-3- مدل AND

این مدل عمومی تر از مدل تک منبعی است. در این مدل یک به یک فرایند اجازه داده می شود که مجموعه ای از منابع را درخواست نماید. تا زمانی مسدود می ماند که همه منابعی را که درخواست نموده بود، به دست آورد به عبارتی فرایندی که نیاز به منابعی برای اجرا دارد، زمانی می تواند پیش رود که همه منابعش را به دست آورد.

همانند مدل تک منبعی برای یافتن بن بست در یک سیستم با مدل این مدل درخواست، لازم است یک چرخه در گراف-انتظار-برای پیدا شود. نمونه ای از این الگوریتمها توسط چندی- میسرا-هاس ، منساس و مانتز و اوبرمارک، ارائه شده است.

1-3-4- مدلOR

این مدل جالبی از مدل درخواست AND است. به آن مدل ارتباطی نیز می گویند. در این مدل به منظور تشخیص بن بست، تنها تشخیص یک چرخه در گراف-انتظار-برای کافی نیست، یافتن  بن بست شامل پیدا کردن یک گره در گراف-انتظار-برای است.

فرایندی که نیاز به منابعی برای اجرا دارد،زمانی می تواند پیش رود که حداقل یکی از منابعش را به دست آورد.دلیلی که شرط OR برای بن بست ارتباطی استفاده شده است این است که اغلب ساختارهای کنترل توزیع شده غیرقطعی[1] هستند و یک فرایند ممکن است در انتظار یک پیام از چندین فرایند باشد.


[1] - None deterministic

مقدمه    1
فصل اول: تشخیص بن بست در سیستمهای توزیع شده    2
1-1- مفاهیم پایه    3
1-2- انواع مدلهای بن‌بست بر اساس سیستم تبادل پیام    3
1-3- انواع مدلهای بن‌بست بر اساس نوع درخواست    3
1-4- شرایط وجود بن‌بست    5
1-5- طبقه‌بندی الگوریتم‌های تشخیص بن‌بست    5
فصل دوم: مروری بر الگوریتم‌های تشخیص بن‌بست    9
مقدمه    10
2-1- نمونه‌ای از الگوریتم متمرکز جهت تشخیص بن‌بست در سیستمهای توزیع‌شده    10
2-1-1- الگوریتم هو- رامامورتی    10
2-2- نمونه‌ای از الگوریتم‌های تشخیص بن‌بست سلسله‌مراتبی    11
2-2-1- الگوریتم منساس – مانتر    11
2-2-2- الگوایتم هو – رامامورثی    11
2-3- نمونه‌هایی از الگوریتم‌های توزیع‌شده    11
2-3-1- الگوریتم تشخیص بن‌بست چندی – مسیرا – هاس    11
2-3-2- الگوریتم محاسبه پخش کردن چندی – مسیرا – هاس    12
2-3-3- الگوریتم براچا – توگ    13
2-3-4- الگوریتم منساس و مانتز2-3-5- الگوریتم ابرمارک    13
2-3-5- الگوریتم ابرمارک    14
2-3-6- الگوریتم بدالض    15
فصل سوم: مروری بر الگوریتم‌های تشخیص بن‌بست توزیع شده تعقیب یال    20
مقدمه    21
3-1- بررسی الگوریتم‌های تشخیص بن‌بست تعقیب یال    22
3-1-1- الگوریتم میچل و مریت    22
3-1-2- الگوریتم سینها و ناتارجان    23
3-1-3- الگوریتم چودهاری – کوهلر – استنکویچ و توسلی    23
3-1-4- الگوریتم سینقال و شمکالیانی    24
3-1-5- تشخیص بن‌بست توزیع شده و حل آن بر اساس ساعتهای سخت‌افزاری    24
3-2- ارائه روشی برای حذف بن‌بست نادرست در الگوریتم‌های تشخیص بن‌بست    25
3-3- نتیجه‌گیری    27

فصل چهارم: الگوریتم‌های تشخیص بن‌بست توزیع شده تحمل خطاپذیر    29
مقدمه    30
4-1- مروری بر الگوریتم‌های تحمل‌پذیر خطا جهت تشخیص بن‌بست    31
4-2- معرفی مدل سیستم تشخیص خرابی بر اساس شاخص زمان اتصال    33
4-3- یک الگوریتم تشخیص بن‌بست توزیع شده تحمل‌پذیر خطا    34
4-4- اثبات درستی الگوریتم    37
4-5- نتیجه‌گیری    38
فصل پنجم: تشخیص و حل بن‌بست در سیستمهای نماینده موبایل    39
مقدمه    40
5-1- معرفی سیستمهای نماینده موبایل(نسل آینده سیستمهای توزیع شده)    41
5-2- تشخیص بن‌بست توزیع‌شده در سیستمهای نماینده موبایل    41
5-3- معایب الگوریتم اصلی و مشکلات کارایی الگوریتم    44
5-4- الگوریتم تشخیص بن‌بست توزیع شده مبتنی بر اولویت بهبودیافته    47
5-4-1- آنالیز کارایی الگوریتم بهبودیافته    48
5-4-2- اثبات درستی الگوریتم    49
5-5- نتیجه‌گیری    50
نتیجه‌گیری    51
فهرست منابع    53
پیوست‌ها    55

شامل 97 صفحه فایل word


دانلود با لینک مستقیم


دانلود پایان نامه تشخیص بن بست در سیستم‌های توزیع شده

بررسی کیفیت اطلاعات در اتخاذ و انتخاب سیستم‌های اطلاعات حسابداری

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

بررسی کیفیت اطلاعات در اتخاذ و انتخاب سیستم‌های اطلاعات حسابداری


بررسی کیفیت اطلاعات در اتخاذ و انتخاب سیستم‌های اطلاعات حسابداری

چکیده :

 امروزه مدیریت کیفیت اطلاعات نقش حیاتی در فرآیند سیستم‌های اطلاعات حسابداری را دارد. بطوریکه تأیید و تصویب کیفیت اطلاعات (IQ) در جهان امروز در حال شناخته شدن و ظهور به عنوان یکی از اجزای شناخته شده در فرآیند کسب و کار در سازمان‌های مدرن می‌باشد و بطور خاص سطح کیفیت اطلاعات موضوعی حیاتی برای تمام فرآیندهای حسابداری شناخته شده است و این موضوع دارای تأثیر قابل توجیهی در فرآیند تصمیم‌گیری در کسب و کار است. لازم به ذکر است که امروزه سازمان‌‌های بزرگ تکیه شدیدی به استفاده از سیستم‌های اطلاعات حسابداری خود در فرآیندهای حسابداری دارند ولیکن این موضوع نیازمند رشد و توسعه از طریق ارائه دیدگاه‌های جدید جهت تصویب و تأیید هرچه بیشتر ابعاد کیفیت اطلاعات(IQ) و سیستم‌های اطلاعات حسابداری نتیجه آن منجر به توسعه یک چارچوب مشخص برای هدایت سازمان‌ها در پیاده‌سازی رویکرد انجام ترکیب کافی کیفیت اطلاعات (IQ) در سیستم‌های اطلاعاتی سازمان‌ها خواهد بود و از طرفی دیگر با شناسایی ابعاد کیفیت اطلاعات منجر به ارائه کمک به مدیریت‌ها در انتخاب و استفاده از سیستم‌های اطلاعات حسابداری تأثیرگذار خواهد بود.

 

فهرست :  

مقدمه

چارچوب‌های پژوهشی لازم برای مطالعه سیستم اطلاعات حسابداری

پژوهش مطالعه به منظور توسعه موضوع از طریق مصاحبه

اتخاذ مدل پردازش

نتیجه گیری

 

نوع فایل : Word

تعداد صفحات : 21 صفحه


دانلود با لینک مستقیم


بررسی کیفیت اطلاعات در اتخاذ و انتخاب سیستم‌های اطلاعات حسابداری

پایان نامه تشخیص بن بست در سیستم‌های توزیع شده

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

پایان نامه تشخیص بن بست در سیستم‌های توزیع شده


پایان نامه تشخیص بن بست در سیستم‌های توزیع شده

چکیده :

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

 

فهرست :

مقدمه

فصل اول: تشخیص بن بست در سیستمهای توزیع شده

مفاهیم پایه

انواع مدلهای بن‌بست بر اساس سیستم تبادل پیام

انواع مدلهای بن‌بست بر اساس نوع درخواست

شرایط وجود بن‌بست

طبقه‌بندی الگوریتم‌های تشخیص بن‌بست

فصل دوم: مروری بر الگوریتم‌های تشخیص بن‌بست

مقدمه

نمونه‌ای از الگوریتم متمرکز جهت تشخیص بن‌بست در سیستمهای توزیع‌شده

الگوریتم هو رامامورتی

نمونه‌ای از الگوریتم‌های تشخیص بن‌بست سلسله‌مراتبی

الگوریتم منساس – مانتر

الگوریتم هو – رامامورثی

نمونه‌هایی از الگوریتم‌های توزیع‌شده

الگوریتم تشخیص بن‌بست چندی – مسیرا – هاس

الگوریتم محاسبه پخش کردن چندی – مسیرا – هاس

الگوریتم براچا – توگ

الگوریتم منساس و مانتز الگوریتم ابرمارک

الگوریتم ابرمارک

الگوریتم بدالض

فصل سوم: مروری بر الگوریتم‌های تشخیص بن‌بست توزیع شده تعقیب یال

مقدمه

بررسی الگوریتم‌های تشخیص بن‌بست تعقیب یال

الگوریتم میچل و مریت

الگوریتم سینها و ناتارجان

الگوریتم چودهاری – کوهلر – استنکویچ و توسلی

الگوریتم سینقال و شمکالیانی

تشخیص بن‌بست توزیع شده و حل آن بر اساس ساعتهای سخت‌افزاری

ارائه روشی برای حذف بن‌بست نادرست در الگوریتم‌های تشخیص بن‌بست

نتیجه‌گیری

فصل چهارم: الگوریتم‌های تشخیص بن‌بست توزیع شده تحمل خطاپذیر

مقدمه

مروری بر الگوریتم‌های تحمل‌پذیر خطا جهت تشخیص بن‌بست

معرفی مدل سیستم تشخیص خرابی بر اساس شاخص زمان اتصال

یک الگوریتم تشخیص بن‌بست توزیع شده تحمل‌پذیر خطا

اثبات درستی الگوریتم

نتیجه‌گیری

فصل پنجم: تشخیص و حل بن‌بست در سیستمهای نماینده موبایل

مقدمه

معرفی سیستمهای نماینده موبایل(نسل آینده سیستمهای توزیع شده)

تشخیص بن‌بست توزیع‌شده در سیستمهای نماینده موبایل

معایب الگوریتم اصلی و مشکلات کارایی الگوریتم

الگوریتم تشخیص بن‌بست توزیع شده مبتنی بر اولویت بهبودیافته

آنالیز کارایی الگوریتم بهبودیافته

اثبات درستی الگوریتم

نتیجه‌گیری

نتیجه‌گیری

فهرست منابع

پیوست‌ها

 

نوع فایل : Word

تعداد صفحات : 96 صفحه


دانلود با لینک مستقیم


پایان نامه تشخیص بن بست در سیستم‌های توزیع شده