It is an open problem in static resource bound analysis to connect high-level resource bounds with the actual execution time and memory usage of compiled machine code. This paper proposes to use machine learning to derive a cost model for a high-level source language that approximates the execution cost of compiled programs on a specific hardware platform. The proposed technique starts by fixin...

سابقه و هدف: امروزه صنعتی شدن توسعه شهرنشینی باعث آلودگی هوا در اکثر کلان‌شهرهای جهان شده است سالانه میلیون­ ها نفر به ­علت جان خود را از دست می­ دهند. ﺑﺎ ﺗﻮﺟﻪ ﺑﻪ ﻣﺤﺪود ﺑﻮدن ﺷﺒﻜﻪ اﻳﺴﺘﮕﺎه‌ﻫﺎى ﭘﺎﻳﺶ آﻻﻳﻨﺪه‌ﻫﺎى ﻫﻮا ﻏﻴﺮ اﻗﺘﺼﺎدى اﻓﺰاﻳﺶ ﺗﻌﺪاد این اﻳﺴــﺘﮕﺎه‌ﻫا سطح شهرها، دﺳﺖ‌ﻳﺎﺑﻰ ﭘﻮﺷــﺶ ﻣﻜﺎﻧﻰ زﻣﺎﻧﻰ ﻣﻨﺎﺳــﺐ برای ﻧﺸﺎن دادن ﺗﻐﻴﻴﺮات ﻏﻠﻈﺖ ذرات آلاینده ﺑﺴﻴﺎر دﺷﻮار اﺳﺖ. بر اساس پژوهش حاضر با هدف تهیه نقشه ­ها...