﻿<?xml version="1.0" encoding="utf-8"?><ArticleSet><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>A New Variance-Based Method for Solving Stochastic Graph Optimization Problem Using Learning Automata</ArticleTitle><VernacularTitle>یک معیار مبتنی بر واریانس برای ارزیابی یادگیری آتاماتای یادگیر ‏در حل مسایل بهینه‌سازی گراف تصادفی</VernacularTitle><FirstPage>1</FirstPage><LastPage>13</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>In this paper, a new criterion is introduced for solving optimization problems on stochastic graphs- as a model of computer networks-by stochastic learning Automata. This proposed method, because of considering estimated variance of response of environment, can better adaptation to changes of environment. As a result, the proposed method can produce better response to learning Automata actions.
The proposed method, by entering a noise, can avoid learning Automata being stuck at a local optimum point. Our simulation shows that this proposed method can be improve the convergence rate of Automata-based algorithm.
</Abstract><OtherAbstract Language="FA">در این مقاله به بررسی یک معیار جدید مقایسه‌ای برای تولید پاسخ محیط در حل مسایل بهینه‌سازی روی گراف‌های تصادفی به عنوان مدلی از شبکه‌های کامپیوتری توسط شبکه‌ای از آتاماتاهای یادگیر می‌پردازیم. این روش جدید به دلیل لحاظ‌کردن تقریبی از واریانس پاسخ‌های تولیدشده توسط شبکه آتاماتاهای یادگیر، قادر به انطباق بیشتری با محیط بوده و در نتیجه پاسخ‌های مناسب‌تری به اقدام‌های انجام‌شده توسط آتاماتاها در شبکه‌ای از آتاماتاهای یادگیر می‌دهد. روش جدید از طریق واردکردن یک مقدار نویز محاسبه‌شده، از ایستایی فرایند یادگیری و گیرافتادن آن در نقاط کمینه محلی جلوگیری کرده و باعث تسریع در فرایند یادگیری می‌شود. به کمک شبیه‌سازی‌ها نشان می‌دهیم این روش جدید در مقایسه با روش‌های فعلی که تا کنون مورد استفاده بوده است، هم به لحاظ سرعت همگرایی به جواب بهینه و هم به لحاظ قابلیت گریز از اثر واریانس وزن یال‌های گراف تصادفی- که باعث میل جواب نهایی به سمت کوچک‌ترین مقدار و نه مقدار میانگین می‌شود- عملکرد بهتری دارد.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">شبکه آتاماتاهای یادگیر
واریانس
همگرایی
درخت پوشای کمینه تصادفی
کوتاه‌ترین مسیر تصادفی</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28232</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>Using the Capabilities of XML and Materialized Views in Creating a Near Real-Time Data Warehouse</ArticleTitle><VernacularTitle>استفاده از قابلیت‌های XML و دیدهای ذخیره‌شده در ایجاد یک معماری پایگاه داده تحلیلی تقریباً بی‌درنگ</VernacularTitle><FirstPage>14</FirstPage><LastPage>26</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>A major challenge in the field of platforms and applications is how to display and combine the results of real-time and static partitions, as well as reduce the response time of on-line analytical processing queries in a near real-time data warehouse. So appropriate content in a near real-time data warehouse can be produced through a common interface for the results of queries. This article provides an architecture that includes an XML/XSLT interface approach to generate appropriate content and also creating materialized views in the client side. In this architecture, providing a model-based HTML output, distribution and composition of results, are presented. In addition, two parallel approaches for incorporating the results of real-time and static partitions of near real-time data warehouse architecture are proposed. In the proposed architecture, the fundamental role of XML and its related technologies, the production and maintenance of content in near real-time data warehouse is determined. The results show that response time of on-line analytical processing queries via materialized views in the server and client side is reduced. Introduced functions for selecting materialized views in the both of client and server sides improve the storage space.</Abstract><OtherAbstract Language="FA">یک چالش اساسی در حوزه سكوها و کاربردها چگونگی نمایش و ترکیب نتایج به دست آمده از بخش‌های بی‌درنگ و ایستا و همچنین کاهش زمان پاسخ‌دهی به پرس‌وجوهای پردازش تحلیلی برخط در یک پایگاه داده تحلیلی تقریباً بی‌درنگ است. بنابراین محتوای مناسب می‌تواند از طریق ایجاد یک واسط مشترک از نتایج پرس‌وجوها، در یک پایگاه داده تحلیلی تقریباً بی‌درنگ تولید شود. این مقاله معماریی ارائه می‌کند که شامل یک رویکرد واسط XML, XSLT برای تولید محتوای مناسب و همچنین ساخت دیدهای ذخیره‌شده در سمت مشتری می‌باشد. در این معماری با فراهم‌کردن یک الگوی تولید خروجی مبتنی بر HTML، نحوه انتشار و ترکیب نتایج ارائه می‌شود. همچنین دو رویکرد موازی برای ترکیب‌کردن نتایج بخش‌های بی‌درنگ و ایستا از پایگاه داده تحلیلی تقریباً بی‌درنگ برای معماری پیشنهاد می‌شود. در معماری ارائه‌شده، نقش اساسی XML و فناوری‌های وابسته به آن در تولید و نگهداری محتوا در یک پایگاه داده تحلیلی تقریباً بی‌درنگ مشخص می‌شود. نتایج آزمایش‌ها، کاهش زمان پاسخ‌دهی به پرس‌وجوهای پردازش تحلیلی برخط را از طریق دیدهای ذخیره‌شده در سمت سرور و مشتری نشان می‌دهد. توابع سود معرفی‌شده برای انتخاب دیدهای ذخیره‌شده در هر دو رویکرد دیدهای ذخیره‌شده در سمت مشتری و سرور، باعث بهبود فضای نگهداری می‌شود.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">پایگاه داده تحلیلی تقریباً بی‌درنگ
دید ذخیره‌شده
XML
 XQuery
 XSLT</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28233</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>Optimization of Adaptive Design of Wireless Sensor Networks Using Binary Quantum-Inspired Gravitational Search Algorithm</ArticleTitle><VernacularTitle>بهینه‌سازی طرح تطبیقی شبکه حسگر بی‌سیم با استفاده از الگوریتم جستجوی گرانشی باینری کوانتومی</VernacularTitle><FirstPage>27</FirstPage><LastPage>36</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>In this paper, the binary quantum-inspired gravitational search algorithm is adapted to dynamically optimize the design of a wireless sensor network towards improving energy consumption and extending the lifetime of the network, so that the application-specific requirements and communication constraints are fulfilled. The proposed approach is applied on a wireless sensor network used in the application of precise agriculture to monitor environmental conditions. This algorithm would present an optimal design detecting operational mode of each sensor including cluster head, high signal range, low signal range and inactive modes taking into consideration the constraints of the network. The simulation results indicate the most performance of the proposed method in comparison with binary genetic algorithm and particle swarm optimization.</Abstract><OtherAbstract Language="FA">افزایش طول عمر، کارایی و کاهش مصرف انرژی در شبکه‌های حسگر بی‌سیم یک مسئله چندهدفه است که یکی از موضوعات چالش‌برانگیز در تحقیقات اخیر شده است. در این مقاله به منظور افزایش کارایی و طول عمر شبکه‌های حسگر بی‌سیم، با استفاده از الگوریتم جستجوی گرانشی باینری کوانتومی روشی پیشنهاد شده که علاوه بر کمینه‌کردن مصرف انرژی، محدودیت‌های ارتباطی شبکه و نیازمندی‌های کاربرد خاص آن نیز برآورده می‌گردد. این الگوریتم روی یک شبکه حسگر بی‌سیم در کاربرد کشاورزی و به منظور نظارت دقیق و اصولی شرایط محیطی استفاده شده است. نتیجه به کارگیری این الگوریتم روی شبکه حسگر بی‌سیم، یک طرح بهینه خواهد بود که در آن حالت عملیاتی هر حسگر شامل سرگروه، حسگر فعال با محدوده حسگری بلند، حسگر فعال با محدوده حسگری کوتاه و غیر فعال را با توجه به محدودیت‌های مسئله مشخص می‌نماید. نتایج شبیه‌سازی نشان می‌دهد که این الگوریتم در شبکه حسگر بی‌سیم در مقایسه با الگوریتم‌ وراثتی و الگوریتم ازدحام جمعیت نتایج بهتری را ارائه می‌دهد و متعاقباً قادر است که طول عمر شبکه را نسبت به دو الگوریتم دیگر به نحو مطلوب‌تری افزایش دهد.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">الگوریتم جستجوی گرانشی
الگوریتم جستجوی گرانشی باینری کوانتومی
شبکه حسگر بی‌سیم، کشاورزی نظارت‌شده</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28234</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>Fast Tracking Algorithm Robust Against Occlusion Using Divided Edge-Based Templates</ArticleTitle><VernacularTitle>ردیابی تصویری سریع، مطمئن و مقاوم نسبت به انسداد با کمک یک مدل تقسیم‌شده مبتنی بر لبه</VernacularTitle><FirstPage>37</FirstPage><LastPage>45</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>In this paper a fast, reliable and robust algorithm against occlusion for visual tracking of a pre-defined target in sequence images based on adapting template of target edges with search space edges is presented. At first, target window is specified by user and then the proposed algorithm determines an appropriate model for the target by choosing the best edges of the target window. Moreover, to increase robustness against occlusion, target model has been divided into four equal divisions and by performing a logical AND between the template of each division edges and search space edges and then by counting its non-zero pixels, resemblance matrix for each division of target is obtained. In a case that values of the resemblance matrix are less than values of threshold matrix, the desired division is considered occluded and then by taking the effects of non-occluded divisions into account, the exact location of the target in each frame is determined. In the tracking values, in case of appropriate condition respect to background condition, the model of target edges is updated. Selecting dominant edges, multi dividing and updating the target template, has resulted in increasing the robustness of the algorithm against some vital challenges such as changing in ambient and target light, and occurring occlusion over target. The simplicity of this algorithm has provided the possibility of real-time implementation in OpenCV environment using C language, that achieves averagely to more than 60 frames per second for a computer with 2.6 GHz CPU and 4 GB RAM. Moreover, comparing the results of the proposed algorithm to other algorithms, revealed a higher speed and greater reliability.</Abstract><OtherAbstract Language="FA">در اين مقاله الگوريتمی سريع، مطمئن و مقاوم نسبت به انسداد براي رديابي تصويری هدفی از پيش مشخص شده در تصاوير متوالي، بر مبناي تطابق قالب لبه‌هاي هدف با لبه‌هاي فضای جستجو ارائه مي‌گردد. در ابتدا محدوده هدف توسط کاربر مشخص شده و سپس الگوریتم پیشنهادی با انتخاب قوی‌ترین لبه‌های آن، مدلی مناسب برای هدف را مشخص می‌کند. در ادامه برای افزایش مقاومت نسبت به انسداد، مدل هدف به 4 قسمت تقسیم شده و با AND شدن قالب لبه‌های هر قسمت با لبه‌های فضای جستجو و شمارش پیکسل‌های غیر صفر آن، ماتریس تشابه برای هر قسمت از هدف به دست می‌آید. در صورت کمتربودن مقادیر ماتریس تشابه از آستانه‌ای، قسمت مورد نظر مسدود در نظر گرفته شده و در ادامه با در نظر گرفتن تأثیر قسمت‌های نامسدود، مکان هدف در هر قاب مشخص می‌شود. در طی رديابی، در صورت وجود شرایط مناسب با توجه به شرايط پس‌زمينه، مدل لبه‌های هدف به روز می‌گردد. انتخاب قوی‌ترین لبه‌ها، چند قسمت کردن و به روز رسانی قالب هدف، مقاومت الگوریتم را نسبت به چالش‌هایی مانند تغییرات نوری محیط و بروز انسداد بر روی هدف، به همراه امکان تعقيب هدف با دقت بالا را در پی داشته است. سادگی الگوریتم پيشنهادی، امکان پياده‌سازی بلادرنگ آن را به زبان C و در محیط OpenCV فراهم کرده است به گونه‌ای که میانگین سرعت آن توسط رایانه‌ای با فرکانس پردازنده GHZ 6/2 و  GB RAM4، به بیش از 60 قاب در ثانیه می‌رسد. مقایسه نتایج این الگوریتم با الگوریتم‌های دیگر نشانگر سرعت بسیار بالاتر و قابلیت اطمینان بیشتر الگوریتم پیشنهادی است.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">رديابی تصويری
لبه
انسداد
 بلادرنگ</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28235</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>Human Recognition via Finger Vein Images in Radon Space Using Common Spatial Patterns</ArticleTitle><VernacularTitle>شناسایی افراد از طریق رگ‌های خونی انگشت دست در فضای رادون با به کارگیری الگوهای فضایی مشترک</VernacularTitle><FirstPage>46</FirstPage><LastPage>54</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>One of the most fitting biometric for identifying individuals is finger veins. In this paper, we study the human recognition via finger vein images that recognize persons at a high level of accuracy. First we use entropy based thresholding for segmentation and extraction veins from finger vein images. The method extract veins as well, but the images are very noisy. That means in addition to the veins that appeared as dark lines, they have some Intersecting lines. Then we applied radon transformation to segmented images. The radon transform is not sensitive to the noise in the images due to its integral nature, so in comparison with other methods is more resistant to noise. This transform does not require the extraction of vein lines accurately, that can help to increase accuracy and speed. Then for extracting features from finger vein images, common spatial patterns are applied to the blocks of Radon Transform. In identification step two methods are used: Nearest Neighbor (1-NN) and Artificial Neural Network (MLP). Experiments conducted on sets of finger vein image database of Peking University show 99.6753 percent success rate in identifying individuals.</Abstract><OtherAbstract Language="FA">یکی از مناسب‌ترین بیومتریک‌ها برای شناسایی افراد، رگ‌های انگشت دست می‌باشد. در این مقاله روش جدیدی ارائه شده است که به شناسایی افراد از طریق رگ‌های خونی انگشت دست با دقت بالا می‌پردازد. این مقاله ابتدا از آستانه‌گذاری آنتروپی محلی برای قطعه‌بندی و استخراج رگ‌ها از تصاویر انگشت استفاده می‌نماید. آستانه‌گذاری آنتروپی محلی رگ‌ها را به خوبی استخراج می‌کند اما تصاویر حاصل از آن نویزی هستند به این مفهوم که رگ‌های استخراج‌شده ممکن است به صورت خطوط متقاطع ظاهر شوند. برای کم‌کردن حساسیت مرحله شناسایی نسبت به نویزهای موجود در تصاویر قطعه‌بندی شده، از تبدیل رادون استفاده می‌کنیم. تبديل رادون به علت داشتن ماهيت انتگرالي، نسبت به نويزهاي موجود در تصوير حساس نيست و بنابراین در مقایسه با سایر روش‌ها نسبت به نویز از مقاومت بیشتری برخوردار است. همچنین با استفاده از این تبدیل علاوه بر این که به استخراج خطوط رگ به طور دقیق نیاز نیست، دقت و سرعت شناسایی نیز افزایش می‌یابد. برای استخراج ویژگی از تصاویر رگ انگشت، الگوهای فضایی مشترک به بلوک‌های تبدیل رادون اعمال می‌شوند. در مرحله شناسایی نیز از دو روش نزدیک‌ترین همسایهNN) -1) و شبکه عصبی پرسپترون چندلایه (MLP) استفاده می‌شود. آزمایش‌های انجام‌شده روی مجموعه تصاویر رگ انگشت پایگاه داده دانشگاه پکینگ نرخ موفقیت 6753/99 درصد در شناسایی افراد را نشان می‌دهد.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">شناسایی رگ انگشت
آستانه‌گذاری آنتروپی محلی
تبدیل رادون
الگوهای فضایی مشترک (CSP)</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28236</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>Symbolic Verification of Temporal Fuzzy Logic Properties on Fuzzy Program Graph</ArticleTitle><VernacularTitle>وارسی نمادین گزاره‌های منطق زمانی فازی روی گراف برنامه فازی</VernacularTitle><FirstPage>55</FirstPage><LastPage>63</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>We may investigate the correctness of dynamic fuzzy models by a combination of Modal Temporal Logics and Fuzzy Logic. So far Fuzzy-extended Kripke structure (FzKripke) and Fuzzy-extended Program Graph (FzPG) are introduced as two timed Fuzzy logic models. Meanwhile, a Fuzzy-extended Temporal Logic (FzCTL) is introduced. Although no verification technique is devised for verifying FzCTL properties of timed Fuzzy logic models, its applications in verification of Fuzzy Logic Circuits (i.e., Fuzzy Flip-Flops) are studied and elaborated. In this paper we introduce a symbolic approach to tackle the state space explosion problem in timed Fuzzy logic models with which models are simultaneously compressed and processed in the most compact representation possible yet. The applicability of this approach is also demonstrated through experiments on a case study concerning dynamic hazards in a Fuzzy D-Flip Flop. Performance measures like runtime and memory consumptions are also provided for different scenarios.</Abstract><OtherAbstract Language="FA">با ترکیب منطق‌های زمانی و منطق فازی می‌توان منطق‌های جدیدی ایجاد و از آن در وارسی خودکار مدل‌های پویای فازی استفاده نمود. تاکنون در چند مقاله مدل‌های کریپکه فازی FzKripke و گراف برنامه فازی FzPG به عنوان دو مدل زمانی فازی تعریف و جهت وارسی خواص زمانی روی این مدل‌ها، منطق زمانی FzCTL ارائه شده و بدون ارائه الگوریتم وارسی مدل، کاربردهایی از آنها در وارسی مدارات منطقی فازی مانند فلیپ- فلاپ‌های فازی معرفی شده است. در این مقاله جهت برخورد با مشکل انفجار فضای حالت در مدل‌های زمانی فازی، روشی نمادین ارائه شده که به کمک آن، مدل‌ها در قالبی بسیار فشرده ذخیره و پردازش می‌شوند. در این مقاله کارایی الگوریتم‌های طراحی‌شده نیز مورد ارزیابی تحلیلی و تجربی قرار می‌گیرند. به عنوان مطالعه موردی، کارایی روش در وارسی و کشف مخاطره پویای یک مدار فلیپ- فلاپ D فازی، مورد بررسی قرار گرفته و زمان اجرا و حافظه مصرفی الگوریتم در شرایط مختلف مدل، ارائه شده است</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">وارسی مدل
مدل کریپکه
منطق زمانی فازی
گراف برنامه فازی
وارسی نمادین مدل</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28237</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>Key Concept Extraction Using FrameNet and Concept Chains</ArticleTitle><VernacularTitle>استخراج مفاهیم کلیدی با استفاده از شبکه قاب و زنجیره مفاهیم</VernacularTitle><FirstPage>64</FirstPage><LastPage>72</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>During last years, many approaches have been presented for the automatic keyword or key phrase extraction. But there are a few approaches for the key concept or key point extraction and they are often based on the statistical methods.
The key Concept extraction is a process to identify phrases referring to the concepts of the interests in an unstructured text. In this paper, a new approach has been proposed to the Key Concept Extraction (KCE) by using of FrameNet. This approach is based on the natural language processing methods. The FrameNet is used for shallow semantic parsing of the original texts. Then the concept chains are constructed. For each concept, a score vector with four elements is assigned. Three of them are based on the chains. As the final attempt, a set of concepts is extracted its score are greater than threshold. They contain the most important concept of the main text. The objective and the human-based subjective evaluation have been performed. Precision and recall criteria are investigated. 
The process of the automatic key concept extraction can be useful in the electronic document indexing, the digital libraries’ building, the categorizing, the text clustering and classifying, the summarizing and the searching.
</Abstract><OtherAbstract Language="FA">طی سال‌های اخیر، رویکردهای متنوعی جهت استخراج خودکار کلمات و یا عبارات کلیدی ارائه شده است اما رویکردهای اندکی برای استخراج مفاهیم/ نکات کلیدی به طور خودکار وجود دارد که اغلب آنها نیز مبتنی بر متدهای آماری هستند. استخراج مفاهیم کلیدی فرایند شناسایی عباراتی است که بیانگر مفهوم اصلی متن هستند. در این مقاله رویکرد جدیدی جهت استخراج مفاهیم کلیدی با استفاده از شبکه قاب پیشنهاد شده که مبتنی بر پردازش زبان طبیعی است. در این رویکرد، تجزیه معنایی متن اصلی با استفاده از شبکه قاب صورت می‌گیرد و زنجیره‌های مفاهیم ساخته می‌شوند. به هر مفهوم بردار امتیازی متشکل از چهار امتیاز که سه تای آنها مبتنی بر زنجیره‌های مفاهیم هستند، نسبت داده می‌شود. در نهایت مفاهیمی که امتیاز آنها بیش از حد آستانه است، به عنوان مفاهیم کلیدی استخراج می‌شوند. سه حد آستانه متفاوت در این پژوهش مورد استفاده قرار گرفته و در نهایت با یکدیگر مقایسه می‌شوند. برای ارزیابی سیستم پیشنهادی از خبره استفاده می‌شود و معیارهای دقت و یادآوری بررسی می‌شوند. کاربرد مفاهیم کلیدی در مسایلی نظیر شاخص‌گذاری متون الکترونیکی، ساخت کتابخانه‌های دیجیتال، خلاصه‌سازی متون، موتورهای جستجو، خوشه‌بندی، دسته‌بندی و ... است.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">استخراج مفاهیم کلیدی
تجزیه‌گر معنایی
زنجیره مفاهیم
شبکه قاب</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28238</ArchiveCopySource></ARTICLE><ARTICLE><Journal><PublisherName>مرکز منطقه ای اطلاع رسانی علوم و فناوری</PublisherName><JournalTitle>فصلنامه مهندسی برق و مهندسی کامپيوتر ايران</JournalTitle><ISSN>16823745</ISSN><Volume>15</Volume><Issue>1</Issue><PubDate PubStatus="epublish"><Year>2017</Year><Month>6</Month><Day>21</Day></PubDate></Journal><ArticleTitle>The Effect of Granularity on the Design of Decimal Arithmetic Reconfigurable Units</ArticleTitle><VernacularTitle>بررسی تأثیر ریزدانگی در طراحی واحدهای قابل بازپیکربندی حساب دهدهی</VernacularTitle><FirstPage>73</FirstPage><LastPage>80</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>2017</Year><Month>7</Month><Day>18</Day></History><Abstract>Recently, decimal arithmetic has received renewed attention in certain application domains such as financial computations. This is mostly due to the demand for more accurate decimal number representation and calculation in those applications. While decimal arithmetic may be implemented in software and hardware, the latter form offers higher speeds and better performance. Traditionally, hardware decimal units have been designed as application-specific specialized hardware modules. However, emerging designs have come with some degree of reconfigurablility. But there is no research on the effects of reconfigurability parameters, such as granularity and degree of flexibility, on the overall characteristics of decimal hardware modules .In this paper, it will be shown that bit-level granularity is not suitable for decimal reconfigurable adders. Instead, digit-level granularity will lead to superior designs. The synthesis results indicate that increasing granularity level provides an area improvement of %12 and power improvement of %13.4. Unlike adders, increasing the granularity of decimal multipliers has an adverse effect on their quality and may cause up to %75 increase in their area and power consumption.</Abstract><OtherAbstract Language="FA">امروزه استفاده از حساب دهدهی در بسیاری از کاربردها نظیر برنامه‌های مالی مورد توجه قرار گرفته است. شاید بتوان مهم‌ترین عامل تأثیرگذار در این زمینه را نیاز به دقت بیشتر در نمایش اعداد در این کاربردها دانست. در دهه‌های اخیر، مطالعات گسترده‌ای در زمینه طراحی سخت‌افزارهای حسابی دهدهی انجام گرفته که اغلب آنها طراحی‌های خاص‌منظوره و برخی نیز با در نظر گرفتن قابلیت بازپیکربندی بوده‌اند. اما تاکنون تحقیقی بر روی پارامترهای تأثیرگذار در طراحی سخت‌افزارهای قابل بازپیکربندی دهدهی از جمله سطح ریزدانگی و انعطاف‌پذیری آنها انجام نشده است. بررسی‌های ما نشان می‌دهد برای جمع‌کننده‌های دهدهی قابل بازپیکربندی، ریزدانگی سطح بیت مناسب نبوده و بهتر است برای این واحدها، ریزدانگی را در سطح یک یا حتی چند رقم دهدهی افزایش داد. این افزایش سطح ریزدانگی، منجر به حدود 12% بهبود در مساحت و 4/13% بهبود در توان مصرفی شده است. اما بر خلاف جمع‌کننده‌ها با افزایش ریزدانگی در واحدهای مورد نیاز ضرب‌کننده‌های دهدهی، مساحت و توان مصرفی حدود 75% افزایش می‌یابد.</OtherAbstract><ObjectList><Object Type="Keyword"><Param Name="Value">حساب کامپیوتری
سخت‌افزارهای دهدهی
واحدهای قابل بازپیکربندی
ریزدانگی</Param></Object></ObjectList><ArchiveCopySource DocType="Pdf">http://ijece.org/en/Article/Download/28239</ArchiveCopySource></ARTICLE></ArticleSet>