نتایج جستجو برای: امنیت اثبات پذیر

تعداد نتایج: 49924  

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و علوم انسانی 1393

امنیت از جمله مقولات مهم در هر جامعه به شمار می آید و مقدمه ای برای حیات هر نظام سیاسی و اجتماعی است. از این رو موضوعات و مسایل بسیاری را پیرامون خویش در رابطه با تامین یا عدم تامین آن به همراه دارد. آسیب پذیر ترین اقشار هر جامعه در رابطه با موضوع امنیت زنان هستند ، از سویی با تغییرات انجام گرفته در سطح اجتماع حضور بیشتر زنان در فعالیت های اجتماعی ، تردد آنان را بیش از پیش به نقاط مختلف شهر ضرو...

ژورنال: :پژوهش های راهبردی امنیت و نظم اجتماعی 0
علی مهدی جغرافیا و برنامه ریزی دانشگاه تهران احمد پوراحمد گروه جغرافیا و برنامه ریزی شهری دانشگاه تهران معصومه مهدیان بهنمیری جغرافیاو برنامه ریزی شهری دانشگاه گلستان

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

پایان نامه :سایر - دانشکده علوم حدیث 1392

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده علوم پایه دامغان 1392

در مجله ی eurocrypt سال 2006 ، در مقاله ای تحت عنوان " quad ، یک رمز جریانی کاربردی با امنیت قابل اثبات" توسط بربین، گیلبرت وپاتارین، quad به عنوان یک خانواده پارامتری از رمزهای جریانی معرفی شد. سرعت اجرا برای نمونه ای از quad ها با 160 بیت و خروجی بلوکی روی میدانهای (gf(2) ، gf(16) ، gf(256 ارائه شده است . کاهش امنیت به ظاهر برای همه میدانها قابل اثبات بود ، اما "برای سادگی " فقط یک اثبات برای...

Journal: : 2021

سپیدایی از ﭘﺎراﻣﺘﺮﻫﺎی ﻣﻮرد ﻧﻴﺎز در ﻣﻄﺎﻟﻌﺎت زﻳﺴﺖ‌ﻣﺤﻴﻄﻲ و آب‌و‌ﻫﻮاﻳﻲ به‌شمار می‌رود؛ ازاین‌رو، بررسی رفتار زمانی مکانی آن می‌تواند ابزاری برای شناخت تغییرات محیطی باشد. ﺳﻨﺠﻨﺪة مودیس ﺳﻄﺢ زﻣﻴﻦ را به‌طور ﻣﺴﺘﻤﺮ، ﻣﻘﻴﺎﺳﻲ ﺟﻬﺎﻧﻲ ﺑﺎ ﻗﺪرت ﺗﻔﻜﻴﻚ ﻣﻜﺎﻧﻲ مناسب ﺗﻮﻟﻴﺪ دسترس پژوهشگران ﻗﺮار داده است. این پژوهش، واکاوی موانع برداشت/ دیدبانی ایران‌زمین، نخست داده‌های روزانة سنجندة محدودة ایران، بازة 1/1/1379 تا 10/1...

ژورنال: :محاسبات نرم 0
حجت حمیدی hodjat hamidi itتهران-خیابان شریعتی-نرسیده به پل سید خندان دانشگاه صنعتی خواجه نصیرالدین طوسی گروه فناوری اطلاعات

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

ژورنال: :فصلنامه مطالعات حقوق خصوصی (فصلنامه حقوق سابق) 2014
الهام حیدری

معیار اثبات در پرونده های کیفری، رسیدن دادرس به قناعت وجدانی است. در واقع ملاک قضاوت و رأی، یقین درونی است که برای دادرس حاصل می گرددواین مهم با ارزیابی دلایل مطرح شده در پروندۀ کیفری برای وی حاصل می شود.دادرس در پرونده های کیفری دست به دو اقدام می زند: بازسازی وقایعی مادی که در گذشته اتفاق افتاده است و نیز تطبیق با قانون و اقدام به صدور حکم. بااین حال، دقت بیشتر آشکار می سازد که میان این دو مر...

ژورنال: :فصلنامه مطالعات حقوق عمومی 2015
سید حسین سادات میدانی

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

ژورنال: :فلسفه دین 2013
منصور نصیری

امروزه ادلۀ استقرایی برای اثبات وجود خدا محبوبیت و نفوذ درخور توجهی پیدا کرده اند. «استدلال از طریق آگاهی» ادلۀ جدید استقرایی برای اثبات خداست که اندیشمندانی نظیر رابرت آدامز و ریچارد سوینبرن آن را مطرح کرده اند. جدیدترین تقریر این استدلال تقریری است که مورلند شرح و بسط داده است. بررسی تقریر مورلند از این استدلال محور مباحث مقالۀ حاضر است. دو بخش نخست مقاله بیان نکاتی مقدماتی است که طبق شیوۀ مو...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بوعلی سینا - دانشکده علوم پایه 1390

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید