نتایج جستجو برای: 6 model
تعداد نتایج: 2929794 فیلتر نتایج به سال:
In this class we cover the area of Model Checking: checking weather a given model satisfies an interesting, predefined property. We will specifically focus on the problem of Bounded Model Checking, where the model is bounded in size, and its relation to software verification problems. We will then describe a specific implementation of a Bounded Model Checker CBMC, which implements BMC over the ...
Consider the network from [1, Fig. 3b]: A B a. Assume the network grows as described in [1, Fig. 3b], by duplication of a gene (node) chosen uniformly at random. For the nodes marked A and B, respectively, compute the expected number of connections a random descendant has after a single duplication step, i.e. when the network has grown to seven nodes. The three possible topologies we can have a...
پنل های خورشییدی دارای مشیه ه جریان -ولتاژ غیر خطی بوده و تنها در یک نقطه کار خاص، حداکثر توان را تولید می کنند. این نقطه بهینه توان با تغییر دما و شیدت نور تغییر می کند. روش های مهتلفی برای ردیابی نقطه حداکثر توان به صورت free model و based model معرفی شده است. این تحقیق روش جدیدی جهت بهبود عملکرد ردیابی نقطه حداکثر توان پنل های خورشیدی جدا از شبکه ارائه می دهد و الگوریتم روش پیشینهادی از دو...
run-out-table (rot) is located between last finishing stand and down coiler in a hot strip mill. as the hot steel strip passes from rot, water jets impact on it from top and bottom and strip temperature decreases approximately from 800-950 °c to 500-750°c. the temperature history that strip experience while passing through rot affects significantly the metallurgical and mechanical properties, s...
the main purpose of this research was to:1.develop a coking model for thermal cracking of naphtha.2.study coke inhibition methods using different coke inhibitors.developing a coking model in naphtha cracking reactors requires a suitable model of the thermal cracking reactor based on a reliable kinetic model.to obtain reliable results all these models shall be solved simultaneously.for this pu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید