{"title":"Runtime verification of pacemaker using fuzzy logic and colored Petri-nets","authors":"Negar Majma, S. M. Babamir, A. Monadjemi","doi":"10.1109/CFIS.2015.7391705","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391705","url":null,"abstract":"Pacemaker is one of medical devices implanted in patients' bodies helping their health. It is important to certify accuracy and efficiency of the implanted device in all situations. If the device's software acts improperly, the patient's life will be threatened. As there may be a bug in the medical device's software, software verification is critical. Runtime software verification implies considering requirements of the end users while using the software. In this paper, we present a method to verify the pacemaker behavior. This method considers the fuzzy function of the pacemaker. Using Petri-net (PN) for software verification in addition to simplifying demonstration of the device function is fast and can readily cover concurrent conditions and semi-parallel inference. Moreover, the PN will have a more accurate than inference engine in dealing with unknown values. In this article, we used the Colored Petri-net (CPN) for verification of pacemaker, using MATLAB and CPN tool.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116148751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"One-codimension bifurcation of Hopfield neural networks with a general distribution of delays","authors":"Z. Dadi","doi":"10.1109/CFIS.2015.7391646","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391646","url":null,"abstract":"In this paper, we consider a Hopfield neural networks with a general distribution of delays which is transformed to two-dimensional ordinary differential equations (ODE) system. We study the equivalent two dimensional ODE system and obtain necessary conditions guarantee one-codimension bifurcation in our model.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122552970","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Solution algorithm of the fuzzy fractional bilevel linear programming problem","authors":"N. Amiri, Farhad Hamidi, H. M. Nehi","doi":"10.1109/CFIS.2015.7391679","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391679","url":null,"abstract":"In this paper, effort has been made to solve the fuzzy fractional bilevel linear programming (FFBLP) problem with fuzzy parameters in the objective functions and constraints. These are among the problems that have been popular with only a few researchers in the recent years. We will first review the related literature and then study the solution procedures of such problems. The objective in solving FFBLP problems is to use a-cut sets of fuzzy parameters and change them to interval coefficients. This way, the FFBLP changes to the interval FFBLP (IFFBLP) problem. Since fuzzy coefficients change to interval ones, the optimal solutions of the upper level objective functions of the FFBLP problem will be estimated under a specified interval through determining the best and worst optimal solutions of the IFFBLP problem by using the Kth-best algorithm.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134242834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fixed point theorems on fuzzy metric spaces","authors":"M. Saheli","doi":"10.1109/CFIS.2015.7391674","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391674","url":null,"abstract":"In this paper, we use the definition of fuzzy metric spaces given by Kramosil, Michalek and provide two types of fuzzy versions of contraction. Moreover, we show that these mappings necessarily have fixed points in fuzzy metric spaces.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"307 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133052228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An introduction to hesitant fuzzy data clustering","authors":"Laya Aliahmadipour, Atefeh Taghavi, E. Eslami","doi":"10.1109/CFIS.2015.7391704","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391704","url":null,"abstract":"The purpose of the paper is introducing a new extension of fuzzy sets so-called hesitant fuzzy sets (HFSs) proposed by Torra, which deal with uncertainty and hesitation in real world problems. For instance, it is difficult to determine a certain membership value to assess a data satisfies a feature. Hesitant fuzzy set can be considered as an appropriate tool allowing several possible degrees for an element to a set. So, we can use hesitant fuzzy sets for modeling this kind of vague issues. In this paper, we briefly present some researches which deal with clustering of hesitant fuzzy data.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116368684","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Applying hierarchical fuzzy systems to predict unplanned feeder outages in the Yazd","authors":"A. Roshani, V. Derhami, Fatemeh Aalam","doi":"10.1109/CFIS.2015.7391651","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391651","url":null,"abstract":"Weather conditions and various phenomena cause unplanned power outages. These factors should be identified in a proper time and therefore prevent the occurrence of power outages. The aim of this paper is to provide a system that predicts unplanned outages before they occur to take necessary actions for no outage, power restoration and reduce costs. Based on the primary experiments, weather data for two days ago and historical outage are used as input of the proposed system. First, pre-processing is performed on data and outages factors identified and then hierarchical fuzzy system is used. In the first level, four features obtained from data mining are considered as input of a Mamdani fuzzy system. The outputs of this fuzzy system with fifth feature obtained from data mining would be inputs of the second fuzzy system. The System's output would be next day's outage or no outage prediction. At the end, system is evaluated with Yazd and Meybod regional data and accuracy 94.23 is obtained.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123768732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fuzzy aggregated rate controller for H.264/ scalable video coding with dependent layer quantization","authors":"A. Samiee, M. Rezaei, M. Shojaei","doi":"10.1109/CFIS.2015.7391700","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391700","url":null,"abstract":"This paper presented a fuzzy rate control algorithm for scalable extension of H.264/AVC (H.264/SVC video coding standard). The algorithm operates on the group of picture (GOP) level of scalable layers. It aggregates the bit streams of all scalable layers in a virtual buffer and adjusts the QP of the base layer according to a feedback signal from the buffer status. Considering the dependency of SVC layers, the QPs of the enhancement layers are computed with respect to the derived QP of the base layer. This method guarantees a constant relative higher quality for each enhancement layer. From the quality consistency point of view, as well as delay constraint, the algorithm is optimized to be used for a wide range of variable bit rate (VBR) applications. Simulation results show that the proposed fuzzy controller provides much higher average quality in comparison with the constant QP (CQP) method while, the buffer constraint is completely obeyed.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128790093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fundamental relation in fuzzy hyperrings","authors":"T. Nozari, N. Fahimi","doi":"10.1109/CFIS.2015.7391668","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391668","url":null,"abstract":"In this paper we introduce and analyze the fundamental relation of fuzzy hyperring. Also we introduce the notion of a fuzzy complete part of a fuzzy hyperring and its basic properties. Finally relationship between the fundamental relation and fuzzy complete parts of a fuzzy hyperring analyzed.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126435052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Mina Gharacheh, V. Derhami, S. Hashemi, Seyed Mehdi Hazrati Fard
{"title":"Proposing an HMM-based approach to detect metamorphic malware","authors":"Mina Gharacheh, V. Derhami, S. Hashemi, Seyed Mehdi Hazrati Fard","doi":"10.1109/CFIS.2015.7391648","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391648","url":null,"abstract":"Previous research has shown that hidden Markov model (HMM) is a compelling option for malware identification. However, some advanced metamorphic malware have proven to be more challenging to detect with these techniques. In this paper, we separated the importance of the some part of the malware files to train the HMMs aiming at extracting the significant sequences of malware opcodes. These parts have been deemed important according to their dissimilarity to the benign files, as all parts of a malware file are not representative of the malicious nature. Extracting these parts has been performed using the methods similar to sound processing. The results demonstrate that the proposed method has the higher accuracy to the metamorphic malware detection and also has the higher speed at classification, compared to the previous methods.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126865555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The noetherian MV-modules","authors":"R. Borzooei, S. S. Goraghani","doi":"10.1109/CFIS.2015.7391661","DOIUrl":"https://doi.org/10.1109/CFIS.2015.7391661","url":null,"abstract":"In this paper, by considering the notion of MV - modules, which is the structure that naturally correspond to lu-modules over lu-rings, we state and prove some essential homomorphism theorems in MV-modules. In the follows, we investigate the noetherian MV-modules and we extend the Kohen Theorem to MV-modules.","PeriodicalId":239692,"journal":{"name":"2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128956183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}