دانلود مقاله ISI توسعه یک کامپیوتر در داخل بدن برای مشکل SAT

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

موضوع فارسی :توسعه یک کامپیوتر در داخل بدن برای مشکل SAT

موضوع انگلیسی :Development of an in vivo computer for the SAT problem

تعداد صفحه :5

فرمت فایل :PDF

سال انتشار :2010

زبان مقاله : انگلیسی

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

دانلود مقاله ISI یک دستگاه رسمی برای اعتماد مدل سازی در محیط های محاسبات

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

موضوع فارسی :یک دستگاه رسمی برای اعتماد مدل سازی در محیط های محاسبات

موضوع انگلیسی :A formal apparatus for modeling trust in computing environments

تعداد صفحه :8

فرمت فایل :PDF

سال انتشار :2009

زبان مقاله : انگلیسی

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

دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو

اختصاصی از فی توو دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :همسانی موثر مجتمع BI، رسمی در کو

موضوع انگلیسی :Effective homology of bicomplexes, formalized in Coq

تعداد صفحه :9

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

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

دانلود مقاله ISI موازی خطی پراکنده حل سیستم دامنه تجزیه

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

موضوع فارسی :موازی خطی پراکنده حل سیستم دامنه تجزیه

موضوع انگلیسی :A domain-decomposing parallel sparse linear system solver

تعداد صفحه :7

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

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

دانلود مقاله ISI کلید کامپیوتر تولید شده به فلور مصر است

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

موضوع فارسی :کلید کامپیوتر تولید شده به فلور مصر است

موضوع انگلیسی :Computer-generated keys to the flora of Egypt. 7.
The Acanthaceae s.l.

تعداد صفحه :21

فرمت فایل :PDF

سال انتشار :2015

زبان مقاله : انگلیسی

کلید معمولی و نسخه جدولی خود را به 36 گونه از 21 جنس از پاخرسیان
s.l. در مصر ارائه شده است. مهم این است که در 48 کاراکتر رویشی و مرفولوژی گل مستقر
ثبت نسبتا برای این گونه است. بسته کلید تولید از برنامه های کامپیوتری
DELTA برای ساخت کلید ها و به ارائه توصیف دقیق و رمزی از گونه مورد استفاده قرار گرفت
از نظر شخصیت ثبت شده است. مجموعه ای از 36 گونه شامل ده گونه خود به خود در حال رشد
در کشور و 26 گونه به عنوان زینتی باغ رشد کرده است. کلید و دقیق
توضیحات ارائه شده بهبود قابل توجه بیش کلید های قبلی و توصیف از وحشی
گونه ها و ابزار به طور کامل رمان شناسایی ارقام زراعی. مطالعه حاضر برای اولین بار است
نرم افزار در مصر از مجموعه DELTA برنامه برای تولید کلید شناسایی به کشت
گیاهان. همه 48 کاراکتر می توان به راحتی قابل مشاهده به طوری که مهم این است که به همان اندازه آسان برای استفاده در آزمایشگاه
و در گشت و گذار گیاه شناسان آماتور و حرفه ای