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

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

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

موضوع انگلیسی :<!--StartFragment -->

Effective homology of bicomplexes, formalized in Coq

تعداد صفحه :9

فرمت فایل :PDF

سال انتشار :2011

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

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

دانلود مقاله ISI بسیار همزمان هماهنگ سازی چند کلمه

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

موضوع فارسی :بسیار همزمان هماهنگ سازی چند کلمه

موضوع انگلیسی :<!--StartFragment -->

Highly concurrent multi-word synchronization

تعداد صفحه :20

فرمت فایل :PDF

سال انتشار :2011

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

طراحی ساختمان داده همزمان است تا حد زیادی در دسترس بودن عملیات هماهنگ سازی که اتمی تغییر K موارد دلخواه، مانند-K خواندنی تغییر و نوشتن (krmw) تسهیل می شود. با هدف افزایش همزمانی به منظور بهره گیری از موازی ارائه شده توسط چند هسته ای و چند پردازش معماری امروز، ما یک پیاده سازی نرم افزار بسیار همزمان CRM، تنها با فضای بالای سر ثابت است. الگوریتم ما تضمین می کند که دو عملیات تاخیر هر یک از دیگر تنها در صورتی که در O از راه دور (K) در نمودار درگیری ناشی از عملیات، اقلام داده است.
این الگوریتم با استفاده دو نفره مقایسه و مبادله (Dcas) دارد هنگامی که dcas توسط معماری پشتیبانی نمی شود، الگوریتم عطیه و داگان (2001) [3] می توان برای جایگزین dcas با (یگانی) CAS، تنها با یک افزایش اندک در دخالت در میان عملیات.

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

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

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

موضوع انگلیسی :<!--StartFragment -->

Parallel direct methods for solving the system of linear equations with pipelining on a multicore using OpenMP

تعداد صفحه :16

فرمت فایل :PDF

سال انتشار :2011

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

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

دانلود مقاله ISI وب سرویس چارچوب تحقیق از داده کاوی در تجارت الکترونیکی

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

موضوع فارسی :وب سرویس چارچوب تحقیق از داده کاوی در تجارت الکترونیکی

موضوع انگلیسی :<!--StartFragment -->

Web Service Framework Research of Data Mining in E-business

تعداد صفحه :5

فرمت فایل :PDF

سال انتشار :2011

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

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

دانلود مقاله ISI اتیلن گلیکول بازبینی: شبیه سازی دینامیک مولکولی و تجسم از مایع و شبکه پیوند هیدروژنی آن

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

موضوع فارسی :اتیلن گلیکول بازبینی: شبیه سازی دینامیک مولکولی و تجسم از مایع و شبکه پیوند هیدروژنی آن

موضوع انگلیسی :<!--StartFragment -->

Ethylene glycol revisited: Molecular dynamics simulations and visualization of the liquid and its hydrogen-bond network

تعداد صفحه :10

فرمت فایل :PDF

سال انتشار :2014

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

شبیه سازی دینامیک مولکولی از اتیلن گلیکول مایع شرح داده شده توسط OPLS-AA نیروی میدانی به دست آوردن بینش به ساختار پیوند هیدروژنی آن انجام شد. ما با استفاده از تابع همبستگی مردم به عنوان یک اندازه گیری آماری برای طول عمر پیوند هیدروژنی. در تلاش برای درک پیچیده پیوند هیدروژنی، ما ابزار تجسم مولکولی جدید در پوسته Vish تجسم توسعه و مورد استفاده آن را به تجسم زندگی هر فرد پیوند هیدروژنی. با این ابزار تشکیل پیوند هیدروژنی و شکستن و همچنین تشکیل خوشه و زنجیره ای در مایعات هیدروژن پیوند می خورند تواند به طور مستقیم مشاهده شده است. اتیلن گلیکول مایع در دمای اتاق می کند قابل توجه خوشه نمی تونم یا ساختمان زنجیره ای نشان نمی دهد. هیدروژن-اوراق قرضه اغلب شکستن با توجه به حرکات چرخشی و ارتعاشی مولکول منجر به H-باند زمان نیمه عمر حدود 1.5 PS. با این حال، بسیاری از H-اوراق قرضه دوباره اصلاح به طوری که پس از 50 PS تنها 40 درصد از این H-اوراق قرضه برگشت ناپذیر به علت حرکت نفوذی شکسته. این پیوند هیدروژنی نیمه عمر به علت حرکت نفوذی 80.3 PS است. این کار توسط یک چک دقیق از نیروی زمینه های مبتنی بر OPLS مختلف مورد استفاده در ادبیات قبل بود. مشخص شد که آنها به توزیع کاملا متفاوت و زاویه ای و H-باند منجر شود.
© 2013 نویسندگان. منتشر شده توسط الزویر B.V.