﻿<?xml version="1.0" encoding="utf-8"?><ArticleSet><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Multi-Agent Deep Reinforcement Learning-Based Decentralized Computation Offloading in Mobile Edge Computing  </ArticleTitle><VernacularTitle>برون‌سپاری محاسبات غیرمتمرکز مبتنی بر یادگیری تقویتی عمیق چندعامله در رایانش لبه همراه</VernacularTitle><FirstPage>151</FirstPage><LastPage>168</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>آتوسا</FirstName><LastName>دقایقی</LastName><Affiliation>دانشكده مهندسی كامپيوتر و فناوری اطلاعات، دانشگاه قم، قم، ایران، </Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName>محسن</FirstName><LastName>نیک رای</LastName><Affiliation>دانشكده مهندسي كامپيوتر و فناوری اطلاعات، دانشگاه قم، قم، ایران، </Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>10</Month><Day>4</Day></History><Abstract>&lt;p style="text-align: left;"&gt;It is hardly possible to support latency-sensitive and computational-intensive applications for mobile devices with limited battery capacity and low computing resources. The development of mobile edge computing and wireless power transfer technologies enable mobile devices to offload computing tasks to edge servers and harvest energy to extend their battery lifetime. However, computation offloading faces challenges such as the limited computing resources of the edge server, the quality of the available communication channel, and the limited time for energy harvesting. In this paper, we study the joint problem of decentralized computation offloading and resource allocation in the dynamic environment of mobile edge computing. To this end, we propose a multi-agent deep reinforcement learning-based offloading scheme that considers the cooperation between mobile devices to adjust their strategies. To be specific, we propose an improved version of the multi-agent deep deterministic policy gradient algorithm by employing the features of clipped double Q-learning, delayed policy update, target policy smoothing, and prioritized experience replay. The simulation results reveal that the proposed offloading scheme has better convergence performance than other baseline methods and also reduces the average energy consumption, average processing delay and task failure rate.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p&gt;پشتیبانی از برنامه&amp;zwnj;های کاربردی حساس به تأخیر و نیازمند محاسبات سنگین برای دستگاه&amp;zwnj;های همراه با ظرفیت باتری محدود و منابع محاسباتی کم به&amp;zwnj;سختی امکان&amp;zwnj;پذیر است. توسعه فناوری&amp;zwnj;های رایانش لبه همراه و انتقال توان بی&amp;zwnj;سیم به دستگاه&amp;zwnj;های همراه امکان می&amp;zwnj;دهند تا وظایف محاسباتی خود را به سرورهای لبه برون&amp;zwnj;سپاری کنند و انرژی را برای افزایش طول عمر باتری خود برداشت کنند. با این حال برون&amp;zwnj;سپاری محاسبات با چالش&amp;zwnj;هایی مانند منابع محاسباتی محدود سرور لبه، کیفیت کانال ارتباطی موجود و زمان محدود برای برداشت انرژی مواجه است. ما در این مقاله مسئله مشترک برون&amp;zwnj;سپاری محاسبات و تخصیص منابع غیرمتمرکز را در محیط پویای رایانش لبه همراه مطالعه می&amp;zwnj;کنیم. برای این منظور یک طرح برون&amp;zwnj;سپاری مبتنی بر یادگیری تقویتی عمیق چندعامله را پیشنهاد می&amp;zwnj;دهیم که همکاری بین دستگاه&amp;zwnj;های همراه را برای تنظیم استراتژی&amp;zwnj;هایشان در نظر می&amp;zwnj;گیرد. به طور خاص، ما یک نسخه بهبودیافته الگوریتم گرادیان سیاست قطعی عمیق چندعامله را با به&amp;zwnj;کارگیری ویژگی&amp;zwnj;های clipped double Q-learning، به&amp;zwnj;روزرسانی با تأخیر سیاست، هموارسازی سیاست هدف و بازپخش تجربه اولویت&amp;zwnj;بندی&amp;zwnj;شده پیشنهاد می&amp;zwnj;دهیم. نتایج شبیه&amp;zwnj;سازی نشان می&amp;zwnj;دهند طرح برون&amp;zwnj;سپاری پیشنهادی، عملکرد همگرایی بهتری نسبت به سایر روش&amp;zwnj;ها دارد و همچنین میانگین مصرف انرژی، میانگین تأخیر پردازش و نرخ شکست وظیفه را کاهش می&amp;zwnj;دهد.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">برون‌سپاری محاسبات، تخصیص منابع، رایانش لبه همراه، یادگیری تقویتی عمیق چندعامله، برداشت انرژی</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/44275</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Improvement of Integrated Wireless Networks by Markov Games</ArticleTitle><VernacularTitle>بهبود شبکه های بی سیم تلفیقی به وسیله بازی های مارکوف</VernacularTitle><FirstPage>169</FirstPage><LastPage>182</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>پیام</FirstName><LastName>پرکار رضائیه</LastName><Affiliation>گروه مهندسی کامپیوتر، واحد علوم و تحقیقات، دانشگاه آزاد اسلامی،  تهران،ایران</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName>حمید</FirstName><LastName>شکرزاده</LastName><Affiliation>گروه مهندسی کامپیوتر، واحد پردیس، دانشگاه آزاد اسلامی، پردیس، ايران</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName>مهدی</FirstName><LastName>دهقان تخت فولادی</LastName><Affiliation>گروه مهندسی کامپیوتر، دانشکده مهندسی کامپیوتر، دانشگاه امیرکبیر،  تهران، ایران </Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName>امیرمسعود</FirstName><LastName>رحمانی</LastName><Affiliation>گروه مهندسی کامپیوتر، واحد علوم و تحقیقات، دانشگاه آزاد اسلامی، تهران، ایران</Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2022</Year><Month>10</Month><Day>25</Day></History><Abstract>&lt;p class="MsoNormal" style="text-align: justify;"&gt;Nowadays integrated wireless networks have become very important. Among the important technologies in this field is the combined technology of visible light and radio frequency communications, an important example of which is the combination of Wi-Fi and Li-Fi local networks. This combination covers the weaknesses and strengthens the strengths of the local wireless network.&lt;/p&gt;
&lt;p class="MsoNormal" style="text-align: justify;"&gt;Also, an issue that can increase productivity in the network is load balancing, especially when the presence of access points from both networks will lead to more choices. In fact, in the proposed access point selection algorithm in this research, it has been done in such a way that when being at an access point, the decision to choose the location is based on the balance between the factors in the Markov game based on the strategic behavior of objects. In this way, network delay will be reduced and load balance will be increased.&lt;/p&gt;
&lt;p class="MsoNormal" style="text-align: justify;"&gt;Therefore, a dynamic method has been proposed, which can be used to make decisions according to the conditions at any time, especially when the topology changes in the network. The proposed method has advantages such as dynamic selection of access points according to network conditions, direct feedback on the efficiency of the network and shared channel, intelligence and learning towards changes to select points, interaction with similar agents in nodes, and reducing the probability of congestion at each access point. Also, with the increase in user traffic, which leads to congested conditions and the possibility of congestion in nodes and access points, this method helps more in terms of load balancing and reducing the level of congestion. So that its difference with compared methods that use more stable techniques such as fuzzy method increases significantly.&lt;/p&gt;
&lt;p class="MsoNormal" style="text-align: justify;"&gt;According to the obtained results, this method has been able to improve the efficiency of the local network by more than 10% compared to the previous methods such as the fuzzy method and more than 30% compared to the SSS selection policy in high traffic load conditions.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p&gt;&lt;span style="font-size: 12pt;"&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;امروزه شبکه&amp;zwnj;های بی&amp;zwnj;سیم تلفیقی اهمیت فراوان پیدا کرده&amp;zwnj;اند. ازجمله فناوری&amp;zwnj;های مهم در این زمینه، فناوری تلفیقی ارتباطات نور مرئی و فرکانس رادیویی است که نمونه مهم آن، ترکیب شبکه&amp;zwnj;های محلی &lt;/span&gt;&lt;span style="font-family: 'Times New Roman', serif;"&gt;Wi-Fi&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt; و &lt;/span&gt;&lt;span style="font-family: 'Times New Roman', serif;"&gt;Li-Fi&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt; است. این ترکیب موجب پوشش نقاط ضعف و تقویت نقاط قوت شبکه بی&amp;zwnj;سیم محلی می&amp;zwnj;شود. همچنین موضوعی که می&amp;zwnj;تواند بهره&amp;zwnj;وری را در شبکه افزایش دهد تعادل بار است؛ به&amp;zwnj;ویژه وقتی وجود نقاط دسترسی از هر دو شبکه موجب انتخاب&amp;zwnj;های بیشتر خواهد شد. در واقع در الگوریتم انتخاب نقطه دسترسی روش پیشنهادی در این پژوهش به گونه&amp;zwnj;ای عمل شده که در هنگام قرارگرفتن در یک نقطه دسترسی، تصمیم&amp;zwnj;گیری برای انتخاب محل قرارگیری بر پایه تعادل بین عامل&amp;zwnj;های موجود در بازی مارکوف در رفتار استراتژیک اشیا باشد و به این ترتیب میزان تأخیر شبکه کاهش یافته و تعادل بار افزایش خواهد یافت. بدین ترتیب یک روش پویا پیشنهاد شده که با استفاده از آن در هر زمان و به&amp;zwnj;ویژه هنگام تغییر توپولوژی در شبکه، تصمیمات متناسب با شرایط گرفته می&amp;zwnj;شود. روش پیشنهادی مزایایی همچون انتخاب پویای نقاط دسترسی با توجه به شرایط شبکه، بازخورد مستقیم از کارایی شبکه و کانال اشتراکی، هوشمندی و یادگیری نسبت به تغییرات برای انتخاب نقاط، تعامل با عامل&amp;zwnj;های مشابه در گره&amp;zwnj;ها و کاهش احتمال ازدحام در هر نقطه دسترسی دارد. &lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;همچنین با افزایش ترافیک کاربران (که منجر به شرایط پرازدحام می&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;شود و احتمال ازدحام در گره&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;ها و نقاط دسترسی بالا م&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;ی&amp;zwnj;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;رود)، این روش کمک بیشتری را نسبت به توازن بار و کاهش سطح ازدحام می&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;نماید ب&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;ه &lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;طوری&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt; &amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;که اختلاف آن با روش&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;های مورد مقایسه که از تکنیک&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;های ثابت&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;تری مانند روش فازی استفاده می&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;کنند، افزایش چشمگیری می&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: Cambria, serif;"&gt;&amp;shy;&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;یابد.&lt;/span&gt;&lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt; با توجه به نتایج به دست آمده این روش توانسته است بیش از 10% بهبود کارایی در شبکه محلی نسبت به روش&amp;zwnj;های پیشین همچون روش فازی و بالاتر از 30% بهبود&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;کارایی&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;نسبت&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;به&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;سیاست&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;انتخاب&lt;/span&gt; &lt;span style="font-family: 'Times New Roman', serif;"&gt;SSS&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;در&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;شرایط&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;بار&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;ترافیکی&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;بالا ایجاد&lt;/span&gt; &lt;span dir="RTL" lang="AR-SA" style="font-family: 'B Mitra';"&gt;کند.&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">شبکه‌های محلی تلفیقی، شبکه Li-Fi، شبکه Wi-Fi، نقاط دسترسی و توازن بار.</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/39801</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Improving Offloading in IIoT with Awareness of Energy and the Age of Information by Reinforcement Genetic Algorithm</ArticleTitle><VernacularTitle>بهبود بارگذاری داده ها با در نظر گرفتن مقدار مصرف انرژی و تازگی اطلاعات در شبکه اینترنت اشیاء صنعتی با کمک الگوریتم ژنتیک تقویتی</VernacularTitle><FirstPage>183</FirstPage><LastPage>196</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>سیدابراهیم</FirstName><LastName>دشتی</LastName><Affiliation>دانشکده برق و کامپیوتر، واحد جهرم، دانشگاه آزاد اسلامی، جهرم، ایران</Affiliation><Identifier Source="ORCID">0000000232463275</Identifier></Author><Author><FirstName>فاطمه</FirstName><LastName>مؤیدی</LastName><Affiliation>گروه مهندسی کامپیوتر، مجتمع آموزش عالی لارستان، لار، ایران</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName>عادل</FirstName><LastName>سالمی</LastName><Affiliation>دانشکده برق و کامپیوتر، واحد شیراز، دانشگاه آزاد اسلامی، شیراز، ایران</Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>9</Month><Day>2</Day></History><Abstract>&lt;p style="direction: ltr;"&gt;With the increasing use of Internet of Things in daily life and especially in industry, improving efficiency and delay time with the help of data offloading is one of the goals of these issues. Controlling these factors will improve energy consumption and longer use of things batteries. In this article, the method is introduced to improve sensor data processing and edge and cloud computing in industrial Internet of Things systems. The architecture is considered in accordance with the real world; in this architecture, edge servers with computing capabilities at the edge of the network, especially Used in base stations. Delay-sensitive requests can be forwarded to nearby edge servers through wireless channels, thereby reducing traffic in the core network and user data transmission latency, especially for data-intensive industrial applications. In the Industrial Internet of Things aims to manage network resources, transfer calculations and minimize energy consumption in Internet of Things devices by guaranteeing the freshness of sensor data. The network environment and input tasks are variable with time. In this article, the environment of the problem and its limitations are expressed with formulas. This problem has been solved using the proposed genetic algorithm and reinforcement learning. The proposed solution has improved the dynamic environment of the problem for offloading data and tasks by considering energy and transferring calculations and data by considering their freshness. The results show an average improvement of 40% compared to the previous methods.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p&gt;با افزایش روزافزون کاربرد اینترنت اشیا در زندگی روزمره و مخصوصاً صنعت، بهبود کارایی و زمان تأخیر با کمک بارگذاری داده&amp;zwnj;ها یکی از اهداف این مسائل شده است. کنترل این عوامل باعث بهبود مصرف انرژی و استفاده طولانی&amp;zwnj;تر از باتری اشیا خواهد شد. در این مقاله روشی برای بهبود پردازش داده&amp;zwnj;های حسگرها و محاسبات لبه و ابر در سیستم&amp;zwnj;های اینترنت اشیای صنعتی معرفی گردیده و معماری مطابق با دنیای واقعی در نظر گرفته شده است. در این معماری از سرورهای لبه با قابلیت&amp;zwnj;های محاسباتی در لبه شبکه به ویژه در ایستگاه&amp;zwnj;های پایه استفاده می&amp;zwnj;شود. درخواست&amp;zwnj;های حساس به تأخیر می&amp;zwnj;توانند از طریق کانال&amp;zwnj;های بی&amp;zwnj;سیم به سرورهای لبه نزدیک منتقل شوند؛ در نتیجه ترافیک در شبکه مرکزی و تأخیر انتقال داده کاربر را به ویژه برای برنامه&amp;zwnj;های صنعتی با حجم داده زیاد کاهش دهد. هدف در اینترنت اشیای صنعتی، مدیریت منابع شبکه، انتقال محاسبات و کمینه&amp;zwnj;سازی مصرف انرژی در دستگاه&amp;zwnj;های اینترنت اشیا با تضمین تازگی داده&amp;zwnj;های حسگر است. محیط شبکه و کارهای ورودی متغیر با زمان هستند. در این مقاله محیط مسئله و محدودیت&amp;zwnj;های آن با فرمول بیان گردیده و این مسئله با استفاده از الگوریتم ژنتیک و یادگیری تقویتی پیشنهادی حل شده است. راه حل پیشنهادی سبب بهبود محیط پویای مسئله برای بارگذاری داده&amp;zwnj;ها و کارها با در نظر گرفتن انرژی و انتقال محاسبات و داده&amp;zwnj;ها با درنظرگیری تازگی آنها شده است. نتایج نشان&amp;zwnj;دهنده بهبود متوسط 40 درصدی نسبت به روش&amp;zwnj;های قبلی می&amp;zwnj;باشد.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">بارگذاری، اینترنت اشیای صنعتی، الگوریتم ژنتیک، یادگیری تقویتی</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/43859</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Automatic Test-Case Generation Based on Rule-Based Behavioral Specification</ArticleTitle><VernacularTitle>تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور</VernacularTitle><FirstPage>197</FirstPage><LastPage>206</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>علی</FirstName><LastName>حبیبی</LastName><Affiliation>دانشکده مهندسی برق و کامپیوتر، دانشکدگان فنی، دانشگاه تهران، تهران، ایران،</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName> رامتین</FirstName><LastName>خسروی</LastName><Affiliation>دانشکده مهندسی برق و کامپیوتر، دانشکدگان فنی، دانشگاه تهران، تهران، ایران،</Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>9</Month><Day>13</Day></History><Abstract>&lt;p style="direction: ltr;"&gt;With the increasing use of software in safety-critical applications, such as the automotive, defense, and medical industries, achieving high levels of assurance regarding the quality of these software systems is essential. Model-based testing is an automated test-case generation method that, on one hand, provides relative assurance by covering a formal description of the system&amp;rsquo;s behavior, ensuring that various execution scenarios of the program are tested. On the other hand, by automating the generation of these test cases, it significantly reduces the cost of test production. In this research, a model-based testing framework is presented that utilizes a rule-based model and can generate test cases based on two criteria: rule coverage and active rule condition coverage. To generate test cases, this framework employs a search-based approach using a genetic algorithm. The proposed method enables the definition of a system with a large state space and the generation of test cases for it. The framework has been evaluated through a case study on an embedded industrial software, and the evaluation results demonstrate its applicability to real-world problems in the industry.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p&gt;با رشد روزافزون استفاده از نرم&amp;zwnj;افزارها در کاربردهای ایمنی- بحرانی نظیر صنعت خودرو، صنایع دفاعی و صنایع پزشکی، کسب سطوح بالای اطمینان از کیفیت این نرم&amp;zwnj;افزارها امری ضروری است. آزمون مبتنی بر مدل به عنوان یک روش تولید خودکار آزمایه از طرفی با پوشش&amp;zwnj;دادن یک توصیف صوری از کارکرد سامانه اطمینانی نسبی ایجاد می&amp;zwnj;کند که سناریوهای مختلف اجرای برنامه آزموده می&amp;zwnj;شوند و از طرف دیگر با خودکارسازی تولید این آزمایه&amp;zwnj;ها هزینه تولید آزمون را به شکل چشم&amp;zwnj;گیری کاهش می&amp;zwnj;دهد. در این پژوهش یک چارچوب آزمون مبتنی بر مدل ارائه شده که از یک مدل قاعده&amp;zwnj;محور استفاده می&amp;zwnj;کند و بر اساس دو معیار پوشش قاعده و پوشش شرط فعال قاعده توانایی تولید آزمایه دارد. برای تولید آزمایه، این چارچوب از یک رویکرد جستجومحور مبتنی بر الگوریتم ژنتیک استفاده می&amp;zwnj;کند. روش پیشنهادی امکان تعریف یک سامانه با فضای حالت بزرگ و تولید آزمایه از آن را ارائه می&amp;zwnj;دهد. این چارچوب با انجام مطالعه موردی روی یک نرم&amp;zwnj;افزار نهفته صنعتی ارزیابی شده و نتایج ارزیابی&amp;zwnj;ها نشان از کاربردی&amp;zwnj;بودن آن در مسائل واقعی در صنعت دارند.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">آزمون مبتنی بر مدل، آزمون جستجومحور، توصیف صوری</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/44039</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Sensors Positioning in IoT-Based Smart Parking Systems with Grasshopper Optimization Algorithm</ArticleTitle><VernacularTitle>جایابی حسگرها در سیستم‌های پارکینگ هوشمند مبتنی بر اینترنت اشیاء با الگوریتم هوش جمعی ملخ</VernacularTitle><FirstPage>207</FirstPage><LastPage>216</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>احمد</FirstName><LastName>براتیان</LastName><Affiliation>گروه مهندسی کامپیوتر، واحد مشهد، دانشگاه آزاد اسلامی، مشهد، ایران</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName> اسماعيل</FirstName><LastName>خيرخواه</LastName><Affiliation>گروه مهندسی کامپیوتر، واحد مشهد، دانشگاه آزاد اسلامی، مشهد، ایران</Affiliation><Identifier Source="ORCID">0000000150853368</Identifier></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>12</Month><Day>15</Day></History><Abstract>&lt;p style="direction: ltr;"&gt;Considering the growth of the population of cities and the number of vehicles that are increasing exponentially, a challenge in parking lots is the positioning of vehicles. In a smart parking system, the driver can park without delay and by spending less energy; But its requirement is to use sensors (empty parking spaces) and parking guides for this purpose. With the progress of research in the Internet of Things, researchers have provided promising solutions in the smart parking system based on wireless sensors. Among these researches is the use of the gray wolf algorithm (GWO) in the optimal positioning of wireless sensors in the Internet of Things parking environment. In this article, due to the search power and high convergence of the Grasshopper Optimization Algorithm (GOA), this algorithm is used for the first time in the positioning of wireless sensors in the parking lot. The grasshopper optimization algorithm is used to determine the best anchor nodes to collect data from other sensors; So that it can reduce the positioning error and energy consumption of the sensors and increase their lifespan. The results showed that the proposed method was able to achieve an average improvement of 5.92% in reducing the positioning error, 6.43% in reducing the amount of energy consumption and 23.6% in increasing the lifetime of the network compared to the gray wolf algorithm. Also, the proposed method has been able to have more time for the first node to die, and this is an important advantage in smart parking because the efficiency of all sensors in the parking environment is required.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p&gt;با توجه به رشد جمعیت شهرها و تعداد وسایل نقلیه که به صورت تصاعدی در حال افزایش است، یک چالش در پارکینگ&amp;zwnj;ها، جایابی وسایل نقلیه است. در یک سیستم پارکینگ هوشمند، راننده می&amp;zwnj;تواند بدون تأخیر و با صرف انرژی کمتر پارک کند؛ ولی الزام آن استفاده از حسگرها (جای پارک خالی) و راهنماهای پارکینگ برای این منظور است. با پیشرفت تحقیقات در اینترنت اشیا، محققان در سیستم&amp;zwnj; پارکینگ هوشمند مبتنی بر حسگرهای بی&amp;zwnj;سیم، راهکارهای امیدوارکننده&amp;zwnj;ای ارائه نمودند. از جمله این تحقیقات، استفاده از الگوریتم گرگ خاکستری (GWO) در موقعیت&amp;zwnj;یابی بهینه حسگرهای بی&amp;zwnj;سیم در محیط اینترنت اشیای پارکینگ است. در این مقاله با توجه به قدرت جستجو و همگرایی بالای الگوریتم بهینه&amp;zwnj;سازی ملخ (GOA) برای اولین بار از این الگوریتم در جایابی حسگرهای بی&amp;zwnj;سیم در پارکینگ استفاده شده است. الگوریتم بهینه&amp;zwnj;سازی ملخ برای مشخص&amp;zwnj;کردن بهترین گره&amp;zwnj;های لنگر برای جمع&amp;zwnj;آوری داده از سایر حسگرها به&amp;zwnj;کار می&amp;zwnj;رود؛ به طوری که بتواند خطای موقعیت&amp;zwnj;یابی و میزان مصرف انرژی حسگرها را کاهش و طول عمر آنها را افزایش دهد. نتایج نشان داد که روش پیشنهادی توانسته به طور میانگین بهبود %92&lt;sub&gt;/&lt;/sub&gt;5 در کاهش خطای موقعیت&amp;zwnj;یابی، %43&lt;sub&gt;/&lt;/sub&gt;6 در کاهش میزان مصرف انرژی و %23&lt;sub&gt;/&lt;/sub&gt;6 در افزایش میزان طول عمر شبکه نسبت به الگوریتم گرگ خاکستری داشته باشد. همچنین روش پیشنهادی توانسته زمان بیشتری برای مرگ اولین گره داشته باشد و این یک مزیت مهم در پارکینگ&amp;zwnj;های هوشمند بوده است؛ زیرا کارایی تمام حسگرها در محیط پارکینگ الزامی می&amp;zwnj;باشد.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">الگوریتم بهینه‌سازی ملخ، پارکینگ هوشمند، جایابی حسگرها، موقعیت‌یابی حسگرها</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/45070</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Development of an Enhanced Multi-Objective Algorithm for Optimal Quality-aware Web Service Composition in the Internet of Things</ArticleTitle><VernacularTitle>ارائه الگوریتم چندهدفه بهبودیافته به منظور انتخاب بهینه در ترکیب وب‌سرویس‌های آگاه به کیفیت در اینترنت اشیا</VernacularTitle><FirstPage>217</FirstPage><LastPage>225</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>نرگس</FirstName><LastName>ظهیری</LastName><Affiliation>گروه مهندسی نرم‌افزار، دانشکده برق و کامیپوتر، دانشگاه کاشان، کاشان، ایران</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName> فرشته</FirstName><LastName>دهقانی</LastName><Affiliation>گروه هوش مصنوعی، دانشکده برق و کامیپوتر، دانشگاه کاشان، کاشان، ایران</Affiliation><Identifier Source="ORCID">0000000162621898</Identifier></Author><Author><FirstName>سلمان</FirstName><LastName>گلی</LastName><Affiliation>روه مهندسی نرم‌افزار، دانشکده برق و کامیپوتر، دانشگاه کاشان، کاشان، ایران</Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>6</Month><Day>6</Day></History><Abstract>&lt;p&gt;The emergence of the Internet of Things (IoT) has intensified the focus on web service composition and the fulfillment of increasingly complex and diverse user requirements. IoT-based systems often encounter numerous service candidates with varying qualitative attributes, presenting a significant challenge in selecting an optimal combination. This problem, categorized as NP-hard, requires efficient approaches for resolution. This study proposes a near-optimal solution for web service composition in IoT environments by leveraging the NSGA-III multi-objective metaheuristic algorithm to identify the optimal Pareto front. To further enhance the quality and diversity of the solutions, an improved algorithm integrating NSGA-III with a novel fitness function is introduced. The proposed approach optimizes service composition using nine quality parameters, which are subsequently streamlined into three principal objectives for better computational efficiency. Experimental evaluations demonstrate that the proposed method outperforms the baseline NSGA-III algorithm in terms of the average performance of two out of three objectives. Additionally, the approach achieves an average of 11% higher coverage based on performance indices and exhibits superior solution distribution and dispersion compared to alternative algorithms.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p style="direction: rtl;"&gt;با ظهور اینترنت اشیا، مسئله ترکیب وب&amp;zwnj;سرویس&amp;zwnj;ها و برآورده&amp;zwnj;کردن نیازهای متعدد و پیچیده از سوی کاربران بیش از پیش مورد توجه قرار گرفته است. به منظور ارائه خدمت به برنامه&amp;zwnj;های کاربردی سیستم&amp;zwnj;های مبتنی بر اینترنت اشیا، کاندیداهای متفاوتی با ویژگی&amp;zwnj;های کیفی گوناگون وجود دارند. بنابراین یک چالش اساسی، انتخاب یک ترکیب بهینه از میان این کاندیداها به عنوان یک مسئله NP-hard است. در این مقاله، راه&amp;zwnj;حل نزدیک به بهینه برای حل مسئله ترکیب وب&amp;zwnj;سرویس در اینترنت اشیا و یافتن جبهه بهینه پارتو با استفاده از الگوریتم جستجوی فراابتکاری چندهدفه NSGA-III ارائه شده و سپس به منظور افزایش کیفیت و تنوع راه&amp;zwnj;حل&amp;zwnj;ها، الگوریتم بهبودیافته&amp;zwnj;ای با ترکیب الگوریتم NSGA-III و تابع برازندگی جدید پیشنهاد گردیده است. به منظور بهینه&amp;zwnj;سازی ترکیب سرویس&amp;zwnj;ها در الگوریتم پیشنهادی از 9 پارامتر کیفی استفاده شده و در ادامه برای عملکرد بهتر به سه هدف اصلی تبدیل شده&amp;zwnj;اند. نتایج آزمایش&amp;zwnj;ها نشان می&amp;zwnj;دهند که رویکرد پیشنهادی از نظر میانگین دو هدف از سه هدف در مقایسه با الگوریتم NSGA-III نتیجه بهتری دارد. همچنین از نظر شاخص&amp;zwnj;های عملکردی توانسته به طور میانگین به 11 درصد پوشش بیشتر دست یابد و هم از لحاظ توزیع راه&amp;zwnj;حل&amp;zwnj;ها و هم از لحاظ پراکندگی نسبت به سایر الگوریتم&amp;zwnj;ها عملکرد بهتری داشته باشد.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">الگوریتم تکاملی، اینترنت اشیا، بهینه‌سازی چندهدفه، ترکیب و انتخاب بهینه وب‌سرویس‌ها، وب‌سرویس‌های آگاه به کیفیت</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/42589</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>Content Sharing Using D2D communications over 5G Networks</ArticleTitle><VernacularTitle>اشتراک محتوا با استفاده از ارتباطات D2D بر روی شبکه 5G‌</VernacularTitle><FirstPage>226</FirstPage><LastPage>234</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>میثم</FirstName><LastName>کارگر سفیددشتی</LastName><Affiliation>گروه مهندسی کامپیوتر، دانشکده فنی و مهندسی، دانشگاه شهرکرد، شهرکرد، ایران </Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName> مرضیه</FirstName><LastName> ورپشتی</LastName><Affiliation>گروه مهندسی کامپیوتر، دانشکده فنی و مهندسی، دانشگاه شهرکرد، شهرکرد، ایران</Affiliation><Identifier Source="ORCID" /></Author><Author><FirstName>لیلا</FirstName><LastName>صمیمی دهکردی</LastName><Affiliation>گروه مهندسی کامپیوتر، دانشکده فنی و مهندسی، دانشگاه شهرکرد، شهرکرد، ایران</Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>6</Month><Day>30</Day></History><Abstract>&lt;p style="direction: ltr;"&gt;The rapid development of intelligent hardware, Internet of Things (IoT), and the emergence of various applications has led to an unprecedented increase in mobile data traffic. Therefore, the efficiency of network resource utilization and bandwidth needs to be improved effectively. Currently, Device-to-Device (D2D) communication technology can provide an effective tool for enhancing 5G networks by enabling direct communication between devices. The use of D2D communication can reduce the load on the 5G network and improve service quality. One of the main issues in this regard is how to manage communication resources and select communication links. In this article, we examine the problem of managing D2D communication links for content transmission between communication devices and formulate it as a binary linear optimization problem. To solve this problem, we propose a method based on game theory, where considering user devices containing the desired files for transmission as players, we design an exact potential game and then propose a distributed learning algorithm to reach a Nash equilibrium. Simulation results confirm the satisfactory performance of the proposed algorithm.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p&gt;توسعه سریع سخت&amp;zwnj;افزار هوشمند و اینترنت اشیا و همچنین ظهور برنامه&amp;zwnj;های کاربردی متنوع، منجر به افزایش بی&amp;zwnj;سابقه ترافیک داده موبایل شده و بنابراین باید کارایی استفاده از منابع شبکه و پهنای باند به طور مؤثری بهبود یابد. در حال حاضر فناوری ارتباطی دستگاه به دستگاه (D2D) با فراهم&amp;zwnj;کردن ارتباط مستقیم تجهیزات ارتباطی می&amp;zwnj;تواند ابزار مؤثری برای تکمیل شبکه&amp;zwnj;های G5 ارائه دهد که نتیجه استفاده از آن کاهش بار روی شبکه&amp;zwnj; G5 و افزایش کیفیت خدمات است. در این زمینه یکی از مسائل اصلی، نحوه مدیریت منابع ارتباطی و انتخاب پیوندهای ارتباطی است. ما در این مقاله مسئله چگونگی مدیریت لینک&amp;zwnj;های ارتباطی D2D برای انتقال محتوا بین تجهیزات ارتباطی را بررسی و آن را به صورت یک مسئله بهینه&amp;zwnj;سازی خطی دودویی مدل می&amp;zwnj;کنیم. برای حل این مسئله روشی بر اساس نظریه بازی پیشنهاد می&amp;zwnj;کنیم که در آن با&amp;nbsp;در نظر گرفتن تجهیزات کاربر حاوی فایل&amp;zwnj;های مورد نظر برای انتقال به عنوان بازیکن، یک بازی پتانسیل دقیق طراحی و سپس برای رسیدن به نقطه تعادل نش یک الگوریتم یادگیری توزیع&amp;zwnj;شده پیشنهاد می&amp;zwnj;گردد. نتایج شبیه&amp;zwnj;سازی کارایی مناسب الگوریتم پیشنهادی را تأیید می&amp;zwnj;کنند.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">ارتباط D2D، بازی پتانسیل، ذخیره سازی در لبه، شبکه 5G</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/43039</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>22</Volume><Issue>3</Issue><PubDate PubStatus="epublish"><Year>2024</Year><Month>12</Month><Day>31</Day></PubDate></Journal><ArticleTitle>A Survey on Controller Placement in Software-Defined Networks</ArticleTitle><VernacularTitle>مروری بر مکان‌یابی کنترلرها در شبکه‌های تعریف‌شده نرم‌افزاری</VernacularTitle><FirstPage>235</FirstPage><LastPage>242</LastPage><ELocationID EIdType="doi" /><Language>fa</Language><AuthorList><Author><FirstName>مهدی</FirstName><LastName>سربازی</LastName><Affiliation>گروه امور فناوری اطلاعات و امنیت فضای مجازی، معاونت اداری و مالی، دانشگاه کردستان، سنندج، ایران</Affiliation><Identifier Source="ORCID">0000-0003-04335-3589</Identifier></Author><Author><FirstName>محمد</FirstName><LastName>فتحی</LastName><Affiliation>گروه مهندسی برق، دانشکده مهندسی، دانشگاه کردستان، سنندج، ایران</Affiliation><Identifier Source="ORCID" /></Author></AuthorList><History PubStatus="received"><Year>2023</Year><Month>10</Month><Day>21</Day></History><Abstract>&lt;p style="direction: ltr;"&gt;Software-defined networks (SDNs) are an emerging area in computer networks, enabling efficient resource management in the network by decomposing data and control plans. In SDNs, network controllers acting as the network operating systems, are responsible for serving application programs. Since a control plan consists of several controllers, the placement of network controllers is a challenging issue in complex networks. While the literature has explored the number of controllers and their placement in the network, several fundamental parameters remain unexplored. Therefore, this topic remains open for more investigations. In this paper, we survey the work in the literature on controller placement in SDNs and introduce the research challenges in this area. Additionally, we present potential future research directions to advance this field.&lt;/p&gt;</Abstract><OtherAbstract Language="FA">&lt;p style="direction: rtl;"&gt;شبکه تعریف&amp;zwnj;شده نرم&amp;zwnj;افزاری یکی از جدیدترین پیشرفت&amp;zwnj;ها در زمینه شبکه&amp;zwnj;های کامپیوتری است که با جداسازی سطح داده از سطح کنترل توانسته است منابع شبکه را به&amp;zwnj;خوبی مدیریت کند. کنترلر&amp;zwnj;ها در این شبکه&amp;zwnj;ها، سیستم عامل شبکه هستند و مدیریت کل شبکه را با ارائه خدمات به برنامه&amp;zwnj;های کاربردی&amp;nbsp;بر عهده دارند. لایه کنترل در شبکه&amp;zwnj;های پیچیده متشکل از چندین کنترلر است، ولی تعیین تعداد مناسب و مکان بهینه برای نصب کنترلرها در شبکه مسئله مهمی است. تعداد کنترلر بهینه مورد نیاز و بحث تعیین مکان بهینه برای&amp;nbsp;نصب کنترلرها در شبکه در تحقیق&amp;zwnj;های مختلفی بررسی شده&amp;zwnj;اند؛ اما تعدادی از پارامترهای اساسی شبکه در این تحقیق&amp;zwnj;ها نادیده گرفته شده&amp;zwnj;اند و با وجود راه&amp;zwnj;حل&amp;zwnj;های ارائه&amp;zwnj;شده، هنوز مسائل باز و چالش&amp;zwnj;های حل&amp;zwnj;نشده&amp;zwnj;ای در مکان&amp;zwnj;یابی کنترلرهای شبکه تعریف&amp;zwnj;شده نرم&amp;zwnj;افزاری وجود دارد که نیاز به توجه محققان دارد. این تحقیق مسئله مکان&amp;zwnj;یابی کنترلرها را معرفی می&amp;zwnj;کند و تعدادی از تحقیق&amp;zwnj;های اخیر در این زمینه را دسته&amp;zwnj;بندی و بررسی می&amp;zwnj;نماید. در ادامه چالش&amp;zwnj;ها و مسائل باز این مسئله مطرح می&amp;zwnj;گردد و پیشنهادهایی برای تحقیق&amp;zwnj;های آینده به محققان ارائه می&amp;zwnj;شود.&lt;/p&gt;</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">شبکه تعریف‌شده نرم‌افزاری، راه‌حل‌های فراابتکاری، مکان‌یابی کنترلر، یادگیری ماشین.</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/fa/Article/Download/44474</ArchiveCopySource></ARTICLE></ArticleSet>