نتایج جستجو برای: الگوریتم m
تعداد نتایج: 560941 فیلتر نتایج به سال:
Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...
متغیرهای متفاوتی در فرایند پیچیده کاغذسازی برای بهبود روان سازی تولید مورد بررسی قرار میگیرند. این متغیرها بر خصوصیات کاغذ روزنامه تاثیرگذار می باشند. حال سوال اساسی این است که موثرترین متغیرهای اندازه گیری شده در خط تولید کارخانه چوب و کاغذ مازندران بر روی مقاومت به پارگی کاغذ روزنامه کدام می باشد؟ بنابراین از 145 متغیرهای اندازه گیری شده ماشین ها در طی سال های 1388 تا 1390 و روش های مدل سازی ...
نانولولههای کربنی، آلوتروپهایی از کربن با ویژگیهای منحصر به فرد هستند. ساختار هر نانولوله با برداری به نام بردار کایرال توصیف میشود. در این مقاله، با دریافت طول نانولوله و دو مقدار ورودی m و n برای معرفی بردار کایرال در یک الگوریتم ساده، موقعیت اتمهای کربن مشخص شده و هندسة کامل نانولوله شبیهسازی میگردد. سپس رفتار نمونههای گوناگونی از نانولولهها با زوایای کایرال مختلف، با انجام تحلیل ا...
متغیرهای متفاوتی در فرایند پیچیده کاغذسازی برای بهبود روان سازی تولید مورد بررسی قرار میگیرند. این متغیرها بر خصوصیات کاغذ روزنامه تاثیرگذار می باشند. حال سوال اساسی این است که موثرترین متغیرهای اندازه گیری شده در خط تولید کارخانه چوب و کاغذ مازندران بر روی مقاومت به پارگی کاغذ روزنامه کدام می باشد؟ بنابراین از 145 متغیرهای اندازه گیری شده ماشین ها در طی سال های 1388 تا 1390 و روش های مدل سازی ...
با افزایش حجم داده ها، مساله ی فشرده سازی تصاویر بسیار مورد استفاده قرار گرفته است. یکی از الگوریتم های مناسب برای فشرده سازی، الگوریتم spiht است. به دلیل قابل برنامه ریزی بودن fpga پیاده سازی الگوریتم spiht با fpga به ویژه در کاربردهای هوا فضایی بسیار مورد توجه قرار گرفته است. چالش استفاده از fpga حساسیت آن نسبت به خطاهای مختلف، مانند تشعشعات فضایی است. ایجاد قابلیت آزمون پذیری بر روی مدارات پ...
Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...
برای ارسال یا ذخیره سازی داده های تولید شده توسط یک منبع، اطلاعات باید تا حد ممکن فشرده سازی شود. برای این منظور، در واحد کدگذار منبع هر سمبل از دنبال? تولید شده، با یک کلمه کد جایگزین می شود. بدین ترتیب در حافظه مورد نیاز برای ذخیره-سازی یا پهنای باند مورد نیاز برای انتقال صرفه جویی می شود. در بسیاری از کاربردها، مانند ارسال اطلاعات ویدئویی باید کدبرداری به صورت آنی امکان پذیر باشد. کد بهینه ا...
Treatment of chicken blood smears and semithin sections from Epon-embedded mouse tissues with aqueous solutions of the 3-aminonaphthalimides FA-142, FA-2043, and FA-2143 induced a strong green-yellow fluorescence of chromatin under violet or violet-blue excitation. Chromatin emission was abolished by previous DNase or hot TCA treatment. The use of 3-methoxy (FA-655) and 3-nitro derivatives (M-4...
برای تحلیل و بررسی چرخههای نوسان تاوه قطبی از دادههای بلندمدت مدل آب کمعمق برای پوشسپهر استفاده شده است. اثر ترکیبی واداشتهای موجی و گرمایی عامل مولد چرخة نوسان تاوة قطبی در مدل آب کمعمق بهکاررفته است. برای آشکارسازی نقش پوشسپهر در ایجاد تغییرپذیری، واداشت موجی مستقل از زمان بهواسطة عامل کوهساری و واداشت تابشی نیز بهصورت یک فرایند واهلش گرمایی در معادله پیوستگی جرم وارد شده است. در ا...
در سالیان اخیر توجه خاصی به زمانبندی ماشین های پردازشگر دسته ای شده است، زیرا انجام عملیات و پردازش روی کارها به صورت دسته ای، سریعتر و ارزانتر از حالت تکی است. یک ماشین پردازشگر دسته ای در صورتی که مجموع اندازه کارهای داخل دسته از ظرفیت ماشین بیشتر نشود، می تواند به طور همزمان چند کار را در یک دسته پردازش کند. در این پژوهش مدلی برای یک محیط جریان کارگاهی با m ماشین پردازشگر دسته ای ارائه شده ا...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید