فهرست مطالب

نشریه محاسبات نرم
پیاپی 2 (پاییز و زمستان 1391)

  • تاریخ انتشار: 1392/05/27
  • تعداد عناوین: 6
|
  • بررسی قابلیت تحمل پذیری خطا در شبکه های حسگر بی سیم
    سلمان گلی بیدگلی، فاطمه یحیی آبادی صفحات 2-13
    برای بالا بردن اعتماد پذیری و تحمل پذیری خطا در شبکه حسگر بی سیم، به کار گیری گره های یدک، راه کار سودمندی می باشد. در این مقاله به بررسی اثر افزودن گره های یدک تک نوعی و چند نوعی، بر روی قابلیت تحمل پذیری خطا در چگالی های پایین پرداخته شده است. برای این منظور برای چگالی های یک، دو و سه از نود ها، یدک های تک نوعی و چند نوعی در نظر گرفته شده و گراف شبکه برای آن ها رسم شده است. سپس با استفاده از مدل مارکوف برای تمامی چگالی های فوق، یدک ها از حالت بدون یدک تا سه یدک در نظر گرفته و مدل مارکوف برای گراف ها رسم گردیده است. در ادامه با حل معادلات مارکوف، تابع اعتمادپذیری و در نتیجه متوسط میزان خرابی به دست آمده و پس از آن MTTF کل شبکه محاسبه شده است. نتایج حاصل از شبیه سازی نشان داد که در چگالی های بالا، استفاده از گره های یدک اشتراکی باعث بهبود MTTF می شود و همچنین، برای هر چگالی مشخص، عددی وجود دارد که از آن مقدار به بعد، افزایش تعداد گره های یدک تاثیری در بهبود MTTF ندارد.
    کلیدواژگان: شبکه حسگر بی سیم، قابلیت اطمینان، گره یدک، تحمل پذیری خطا، میانگین زمان کارکرد بدون خطا، مدل مارکوف
    چکیده مشاهده متن زبان: فارسی
  • توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
    محمد کدخدا، سعید جلیلی، محمد ایزدی صفحات 14-25
    مشاهده متن زبان: فارسی
  • یک سیستم نوین هوشمند تشخیص هویت نویسنده فارسی زبان بر اساس سبک نوشتاری - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
    زینب فرهمندپور، هومن نیک مهر، محرم منصوری زاده، امید طیب زاده قمصری صفحات 26-35
    پیشرفت سریع ارتباطات اینترنتی و استفاده ی نادرست از ناشناس بودن متون آنلاین، باعث به وجود آمدن مسائل امنیتی شده است. هویت ناشناس ابزارهای اینترنتی مانند ایمیل ها، وبلاگ ها و وب سایت ها به روش های ارتباط مورد علاقه ای برای کاربردهای جنایی تبدیل شده است. روابط سیاسی و اجتماعی جهان باعث توجه زیادی به زبان فارسی شده است. که این موضوع خود موجب فراوانی متون فارسی در اینترنت گردیده است. در این مقاله یک روش هوشمند writeprint معرفی شده است که به شناسایی یک نویسنده فارسی زبان بر اساس سبک نوشتاری او کمک می کند. در این تحقیق از ویژگی های واژگانی، نحوی، معنایی و وابسته به کاربرد، برای شناسایی هویت استفاده شده است. و کارایی انواع مختلف این ویژگی ها و همچنین اثرات روش های دسته بندی KNN و Delta به همراه ترکیب این روش ها با الگوریتم ژنتیک روی دو پایگاه داده ی جمع آوری شده بررسی شده است. در کنار سایر ویژگی ها برای پیاده سازی روش پیشنهادی یک pos tagger طراحی شده است که از ساختار کلمات برای تشخیص اسم، صفت و قید استفاده می نماید. آزمایشات انجام شده در این تحقیق نشان دادند که در بین روش های دسته بندی بررسی شده، ترکیب KNN و الگوریتم ژنتیک دقت بالاتری را در تشخیص هویت مالک اثر ادبی تولید کرد.
    کلیدواژگان: تشخیص هویت نویسنده، سبک نوشتاری، writeprint
    چکیده مشاهده متن زبان: فارسی
  • نقش ارتباطات معنایی در بهبود نتایج یک سیستم پیشنهاد استناد- مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
    فتانه زرین کلام، محسن کاهانی صفحات 36-45
    حجم فراوان و روبه رشد اسناد علمی منتشر شده بر روی وب، فرآیند تصمیم گیری و انتخاب اسناد مرتبط با یک زمینه تحقیقاتی را برای پژوهشگران دشوار کرده است. استفاده از کتابخانه های دیجیتال رایج با مشکلات مختلفی نظیر ناکارامدی جستجوی مبتنی بر کلمات کلیدی و ضعف معیارهای شباهت متنی مواجه است. راههکار دیگری که در سال های اخیر مورد توجه قرار گرفته است استفاده از سیستم های پیشنهاد استناد می باشد که با دریافت یک متن، اسنادی که باید توسط آن متن مورد استناد قرار گیرند را پیشنهاد می کند، و بدین ترتیب می تواند در یافتن اسناد مرتبط با یک موضوع به پژوهشگر کمک کند. در این مقاله، نقش ارتباطات معنایی اسناد در کنار ویژگی های متنی آنها در بهبود نتایج یک سیستم پیشنهاد استناد مورد بررسی قرار گرفته است. نتایج ارزیابی ها نشان می دهد که درنظر گرفتن ارتباطات معنایی نقش بسزایی در تشخیص شباهت اسناد دارد و باعث بهبود کیفیت سیستم پیشنهاد استناد مورد نظر می شود.
    کلیدواژگان: پیشنهاد استناد، ارتباطات معنایی، شباهت متنی
    چکیده مشاهده متن زبان: فارسی
  • مروری بر استفاده از محاسبات تکاملی در تجزیه ی طیفی تصاویر ابرطیفی
    حسین فیاضی، حمید دهقانی، سید مجتبی حسینی صفحات 46-59
    در سال های اخیر، تجزیه ی طیفی به یکی از مهم ترین زمینه های تحقیقاتی در سنجش از دور مبدل شده و روش های سنتی مختلفی برای حل آن ارائه گردیده است. در اکثر روش های ارائه شده، بایستی شرایط خاصی برقرار باشد تا الگوریتم به درستی کار کند. از طرفی، این روش ها با مشکلاتی همچون گرفتارشدن در بهینه ی محلی و حساسیت نسبت به مقداردهی اولیه ی پارامترها روبرو هستند. اگرچه ممکن است تکنیک های محاسبات تکاملی نیز در بهینه های محلی گرفتار شده و یا نسبت به تنظیم پارامترها حساس باشند، اما اخیرا استفاده از ترکیب محاسبات تکاملی و روش های سنتی موجود، با هدف فائق آمدن بر مشکلات فوق افزایش یافته است. برخی از روش ها نیز تنها از محاسبات تکاملی برای حل مساله ی تجزیه ی طیفی استفاده کرده اند. در رویکرد جدید، مساله ی تجزیه ی طیفی بعنوان یک مساله ی بهینه سازی مدل شده و نشان داده شده است که استفاده از محاسبات تکاملی می تواند منجر به دستیابی به پاسخ های بهینه ای گردد. در این مقاله روش های مختلفی که از محاسبات تکاملی برای حل مساله ی تجزیه ی طیفی بهره برده اند، بررسی شده اند. در هر بخش، پس از معرفی الگوریتم تکاملی، روش های ارائه شده براساس آن الگوریتم، معرفی و روند کلی آن شرح داده شده است. برای هر روش، در مورد فرضیات در نظر گرفته شده و محدودیت های آن بحث شده و بدلیل اهمیت اجزای مختلف روش تکاملی مورد استفاده، مواردی از قبیل بازنمایی افراد جمعیت، عملگرهای تکاملی و تابع شایستگی نیز مورد بررسی قرار گرفته اند.
    کلیدواژگان: سنجش از دور، تصاویر ابرطیفی، تجزیه ی طیفی، مسائل بهینه سازی، محاسبات تکاملی
    چکیده مشاهده متن زبان: فارسی
  • بهینه سازی پارامترهای کنترل کننده PID برای کنترل فرکانس بار با استفاده از الگوریتم رقابت استعماری
    سید عباس طاهر، مهدی زراعتی صفحات 60-73
    در این مقاله با استفاده از الگوریتم رقابت استعماری (ICA) و با بهره گیری از معیار انتگرال زمان- قدرمطلق خطا (ITAE) به تنظیم بهینه پارامترهای کنترل کننده PID فرکانس بار در سیستم های قدرت دو ناحیه ای با در نظر گرفتن تغییرات پارامترهای سیستم قدرت پرداخته شده است. برای دست یافتن به عملکرد مقاوم مطلوب در نظر گرفتن تابع هدف مناسب مهم است به طوری که نتایج نشان می دهد با بهره گیری از معیار ITAE که با وجود انحراف فرکانس و خطای کنترل ناحیه (ACE) است، پارامترهای کنترل بهینه برای سیستم قدرت با استفاده از الگوریتم رقابت استعماری که دارای دقت و سرعت همگرایی بالایی می باشد به سهولت به دست می آیند. کارآیی روش پیشنهادی بر روی یک سیستم قدرت دو ناحیه ای تحت اغتشاش های بار ناحیه ای نشان داده شده است. با بررسی و ارزیابی نتایج مشاهده می شود که روش بهینه سازی پیشنهادی در محدوده وسیعی از تغییر پارامترهای سیستم و تغییرات بار، عملکرد مقاوم خوبی را دارا می باشد.
    کلیدواژگان: الگوریتم رقابت استعماری، کنترل فرکانس بار (LFC)، کنترل کننده PID، تنظیم بهینه پارامترها
    چکیده مشاهده متن زبان: فارسی
|
  • Wireless Sensor Network Fault Tolerance Using Spare Node in the Low Density Print
    Salman Goli Pages 2-13
    To increase reliability and fault tolerance in wireless sensor network, using spare nodes is a useful method. In this article, we survey the influence of using single-type and multi-type spare nodes on the fault tolerance in the low density. To achieve this, we use single-type and multi-type spare nodes and construct the network reliability graph for one, two and three-node densities. Then, we consider the mentioned spares from spare-less to three spares and construct Markov models. Afterwards, reliability function, the average failure rate and the entire network MTTF are calculated by solving Markov equations. The simulation results showed that the use of shared spare nodes leads to improving MTTF in the higher density. Moreover, we found that there is a limited number of spares to improve the MTTF so that we will no longer have more improvement by applying more spares.
    Keywords: Wireless sensor network, Reliability, Spare node, Fault tolerance, MTTF, Markov model
    Abstract View Paper Original: Persian
  • Improvement of Semantic Labeling Method by KBO for Automated Termination Proof Print
    Mohammad Kadkhoda, Saeed Jalili, Mohammad Izadi Pages 14-25
    The term rewriting systems (TRSs) is an abstract model of functional languages. The termination proving of TRSs is necessary for confirming accuracy of functional languages. The semantic labeling (SL) is a complete method for proving termination. The semantic part of SL is given by a quasi-model of the rewrite rules. The most power of SL is related to infinite models that is difficult for support by tools of automated termination proving. In this paper, we combined the SL method with natural numbers and Knuth-Bendix order (KBO) so that one can automatically prove termination using infinite models. We: (1) made a generalization based on KBO, called labeling Knuth-Bendix order (ℓKBO), (2) showed its ability in proving termination of TRSs, (3) we introduced an algorithm to automatically search a ℓKBO for a given TRS and (4) successfully tested the algorithm functionality on TPDB 3.1, a data set of TRSs.
    Keywords: Termination proving, Semantic labeling, Knuth, Bendix order, Term rewriting system
    Abstract View Paper Original: Persian
  • A Novel Intelligent Persian Authorship System based on Writing Style Print
    Zeinab Farahmandpoor, Hooman Nikmehr, Moharram Mansoorizade, Omid Tabibzadeh Ghamsary Pages 26-35
    The rapid development of communication by the Internet and the misuse of the anonymity embedded in the nature of online written documents have led to serious security issues. Anonymous identity of the Internet tools such as emails, blogs, and Web sites have made them target methods of interest for criminal activities. On the other hand, world social and political relations have made a great interest in Persian language leading to the spread of Persian manuscripts in the Internet. In this paper, an intelligent writeprint technique is introduced to demonstrate a Persian authorship based on his/her writing style. In this research, we used specific features of: (1) lexical, syntactic and semantic and (2) the application for identifying the Persian writer. Moreover, we reviewed: (1) the impact of the features performance and (2) KNN and Delta classification methods combined with the genetic algorithm on a database. To make implementation of the proposed approach possible, we designed a pos-tagger to detect Persian nouns, adjectives and adverbs using the word structure. The experimental results showed that, among others, the KNN and genetic algorithm combination method is more accurate in the Persian authorship recognition.
    Keywords: Authorship, Delta classification, KNN classification, Writing style, Writeprint
    Abstract View Paper Original: Persian
  • Using Semantic Relations to Improve Quality of a Citation Recommendation System Print
    Fattane Zarrinkalam, Mohsen Kahani Pages 36-45
    With the increasingly growth of scientific documents in the Web, it is difficult to select a concerned document. A citation recommendation system receives a text and recommends documents to be cited by the text. Such recommendation helps a researcher in hitting his/her concerned texts. Based on sematic relations, this paper presents a new indicator to measure the similarity between documents and presents a citation recommendation system exploiting the indicator along with other document features. The experimental results showed that the indicator succeeds in the document similarity recognition and leads to improvement in the recommendation.
    Keywords: Citation recommendation, Semantic similarity, Textual similarity
    Abstract View Paper Original: Persian
  • A Survey of Evolutionary Computations Usage in spectral Analysis of hyperspectral images Print
    Hossein Fayyazi, Hamid Dehghani, Mojtaba Hosseini Pages 46-59
    In recent years, the spectral analysis has been one of the most important research areas in remote sensing, which has received different traditional solutions. Most of these methods have several special conditions to work well. However, they suffer from the problems such as sticking in local optimum and having sensibility to parameters initialization. Although the Evolutionary Computation (EC) techniques may also have such deficiencies, recently their combination with the traditional methods has been used increasingly to overcome the defects. Some other methods use EC exclusively to solve the problems. In the new scheme, the spectral analysis problem is modeled as an optimization problem demonstrating the EC techniques lead to optimum solutions. In this paper, we address the methods using the EC to solve the spectral analysis problem. Having introduce the EC technique briefly in each section of this paper, we explain methods use EC. For each method, the assumptions and limitations are discussed and the various components of the EC method such as individual representation, evolutionary operators and fitness function are assessed.
    Keywords: Remote sensing, Hyperspectral images, Spectral analysis, Optimization problems, Evolutionary computations
    Abstract View Paper Original: Persian
  • Optimization of PID Controller Parameters for Load Frequency Controller Using Imperialist Competitive Algorithm Print
    Seyed Abbas Taher, Mehdi Zeraati Pages 60-73
    In this paper, considering variant power system parameters and using Imperialist Competitive Algorithm (ICA) and ITAE (Integral Time Absolute Error) criterion we deal with tuning optimal parameter of load frequency PID controller in two-area power systems. To attain the desirable robust performance, selecting the appropriate objective function is important. The obtained simulation results indicate that despite frequency deviation and Area Control Error (ACE), applying ITAE criterion leads to attain optimal control of parameters for power system using ICA, which has high accuracy and convergence speed. Moreover, performance of the proposed method is illustrated on a two-area power system under load disturbance. The obtained results indicate that the proposed optimization method has a desired and robust performance in a wide range of system parameters and load variations.
    Keywords: Imperialist Competitive Algorithm, Load Frequency Control, Optimal Tuning, PID Controller
    Abstract View Paper Original: Persian