نتایج جستجو برای: الگوریتم m

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

2010
Hana Chockler Arie Gurfinkel Ofer Strichman

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 برای معرفی بردار کایرال در یک الگوریتم ساده، موقعیت اتم‌های کربن مشخص شده و هندسة کامل نانولوله  شبیه‌سازی می‌گردد. سپس رفتار نمونه‌های گوناگونی از نانولوله‌ها با زوایای کایرال مختلف، با انجام تحلیل ا...

ژورنال: :پژوهش های علوم و فناوری چوب و جنگل 2015
علی بیات کشکولی علی رفیقی

متغیرهای متفاوتی در فرایند پیچیده کاغذسازی برای بهبود روان سازی تولید مورد بررسی قرار میگیرند. این متغیرها بر خصوصیات کاغذ روزنامه تاثیرگذار می باشند. حال سوال اساسی این است که موثرترین متغیرهای اندازه گیری شده در خط تولید کارخانه چوب و کاغذ مازندران بر روی مقاومت به پارگی کاغذ روزنامه کدام می باشد؟ بنابراین از 145 متغیرهای اندازه گیری شده ماشین ها در طی سال های 1388 تا 1390 و روش های مدل سازی ...

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

با افزایش حجم داده ها، مساله ی فشرده سازی تصاویر بسیار مورد استفاده قرار گرفته است. یکی از الگوریتم های مناسب برای فشرده سازی، الگوریتم 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...

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

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

Journal: :Zeitschrift fur Naturforschung. C, Journal of biosciences 1997
J C Stockert M Cañete A Villanueva A Juarranz C I Trigoso M F Braña

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...

ژورنال: ژئوفیزیک ایران 1389

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

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

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

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

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