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

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

بسیاری از سیالات زیستی مورد بررسی در آزمایشگاه‌های-روی-تراشه (آزروشه) رفتاری غیرخطی دارند. همچنین به علت اندازه بسیار کوچک مجاری موجود در اجزای مختلف آزروشه ها، همانند میکرورآکتورها و میکروهم زن ها، جریان فشار-محرک مایعات در این اجزا با پدیده پتانسیل جریانی همراه خواهد بود که تمایل به کاهش سرعت سیال دارد. تحقیق حاضر به بررسی اثرات پتانسیل جریانی و رفتار غیرنیوتنی سیال حامل بر انتقال جرم و واکنش...

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

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

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

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

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