Improved Region-Based TCTL Model Checking of Time Petri Nets

Mohammad Esmail Esmaili,Reza Entezari-Maleki,Ali Movaghar 한국정보과학회 2015 Journal of Computing Science and Engineering Vol.9 No.1

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

Epidemiology of Oral Cancer in Iran: a Systematic Review

Maleki, Davood,Ghojazadeh, Morteza,Mahmoudi, Seyed-Sajjad,Mahmoudi, Seed-Mostafa,Pournaghi-Azar, Fatemeh,Torab, Ali,Piri, Reza,Azami-Aghdash, Saber,Naghavi-Behzad, Mohammad Asian Pacific Journal of Cancer Prevention 2015 Asian Pacific journal of cancer prevention Vol.16 No.13

Background: Oral cancer stands among the 10 top causes of cancer death in the world. Considering the role of epidemiologic information on planning and effective interventions, the present study aimed to investigate the epidemiology of oral cancer in Iran. Materials and Methods: The required information for this systematic review study was obtained from PubMed, Google Scholar, CINAHL,SID, Medlib, Magiran and Iranmedex databases, using key words "cancer", "oral cancer", "squamous cell carcinoma", "oral cavity carcinoma" and their Persian equivalents in combination with keywords of epidemiology, prevalence, etiology, frequency, and Iran from 1990 to 2014. From 1,065 related studies found, finally 25 were included to the study. Results: The mean age of 8,248 patients in 25 studies was $54.0{\pm}15.1years$. The male/female ratio for oral cancer was 1.91. Tongue with average percentage of 29.9 was the most involved site. Regarding microscopic grade, 65.7% of cases were grade 1. SCCs, accounting for an average of 70.0%, was the most common among all types of oral cancer. In the majority of studies, smoking including cigarette, hookah, and tobacco consumption was found to be a risk factor. Conclusions: The epidemiological pattern of oral cancer in Iran is somewhat similar to that of other countries. Yet the information on hand in this field is limited and considering the role of epidemiological data we suggest conducting more accurate studies to catch data that is required for effective programs and interventions.

Improved Region-Based TCTL Model Checking of Time Petri Nets

Esmaili, Mohammad Esmail,Entezari-Maleki, Reza,Movaghar, Ali Korean Institute of Information Scientists and Eng 2015 Journal of Computing Science and Engineering Vol.9 No.1

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

Analysis of Genetic Diversity and Population Structure of Confectionery Sunflower (Helianthus annuus L.) Native to Iran

Marjan Jannatdoust,Reza Darvishzadeh,Roghayyeh Ziaeifard,Mohammad Ali Ebrahimi,Hamid Hatami Maleki,Esmaeel Gholinezhad,Ali Asghar Hatamnia 한국작물학회 2016 Journal of crop science and biotechnology Vol.19 No.1

Genetic diversity within and among 50 populations of confectionery sunflower (Helianthus annuus L.) collected from different geographical areas of Iran was evaluated by using microsatellite and retrotransposon markers. The number of alleles (Na) in SSR loci ranged from 2 to 3 with an average of 2.1. The polymorphic bands in retrotransposon markers ranged from 7 in locus CR-UR1 to 15 in locus CR-816 with a mean value of 11.33. Herarchical clustering of individuals (50 × 5 = 250) by neighbor joining method in DARwin5 software subdivided them into three groups. Using Bayesian method in the software pakage of Structure, the studied individuals were subdivided into two sub-populations. Principal coordinate analysis revelaed that the two first components explaine 7.86 and 6.16% of the total variance, respectively. Analysis of molecular variance revealed a higher level of genetic variation within (70%) than between (30%) populations. High molecular variation among individuals within population possibly is due to high allogamy nature of the sunflower plant. Low genetic variation observed between populations could be considered as a consequence of genetic equilibrium that has occurred over the long period of cultivation of confectionery sunflower in this area as well as seed exchange among regions. The traditional assumption that selecting genotypes of different geographical origin will maximize the diversity available to a breeding project does not hold in confectionery sunflower.

A Novel Taxonomy and Comparison Method for Ranking Cloud Computing Software Products

Ehsan Arianyan,Mohammad Reza Ahmadi,Davood Maleki 보안공학연구지원센터 2016 International Journal of Grid and Distributed Comp Vol.9 No.3

Cloud computing as a new and modern technology has become a focus of attention and a platform for future services. Cloud computing services have been categorized into three main groups of services, which are infrastructure, platform, and software. Each service has its own unique characteristic while all services have also some common characteristics and challenges. Such characteristics create a complicated combination of features to serve selection of cloud solutions. This paper presents a new feature based taxonomy which facilitates the process of cloud software product selection. More precisely, Hierarchical Cloud Taxonomy Engine is the proposed method to help developers and consumers choose their appropriate product according to their needs and based on real capabilities of different cloud computing products. Moreover, this paper proposes a new evaluation mechanism which sorts the cloud products according to the customer’s needs and requirements. Besides, this paper presents a classification model for cloud features and subsequently presents a comparison between some business and research cloud products as a case study. Results of comparisons show that our proposed techniques facilitate the process of cloud product selection.

Serum levels of interleukin-6 and interleukin-8 as diagnostic markers of acute pyelonephritis in children

Abolfazl Mahyar,Parviz Ayazi,Mohammad Reza Maleki,Mohammad Mahdi Daneshi-Kohan,Hamid Reza Sarokhani,Hassan Jahani Hashemi,Mousa Talebi-Bakhshayesh 대한소아청소년과학회 2013 Clinical and Experimental Pediatrics (CEP) Vol.56 No.5

Purpose: Early diagnosis and treatment of acute pyelonephritis in children is of special importance in order to prevent serious complications. This study was conducted to determine the diagnostic value of serum interleukin (IL)-6 and IL-8 in children with acute pyelonephritis. Methods: Eighty-seven patients between 1 month to 12 years old with urinary tract infection (UTI)were divided into 2 groups based on the result of 99m-technetium dimercapto-succinic acid renal scan:acute pyelonephritis (n=37) and lower UTI (n=50) groups. White blood cell (WBC) count, neutrophil (Neutl)count, erythrocyte sedimentation rate (ESR), C-reactive protein (CRP) concentration, platelet count,and serum IL-6 and IL-8 concentrations of both groups were measured and compared . Results: There was a significant difference between two groups regarding WBC count, Neutl count,ESR, and CRP concentration (P<0.05). In addition, the difference between the two groups regarding serum IL-6 and IL-8 concentrations was not significant (IL-6, 60 and 35.4 pg/mL and IL-8, 404 and 617 pg/mL, respectively). The sensitivity and specificity of serum IL-6 and IL-8 for diagnosis of acute pyelonephritis were 73%, 42% and 78%, 32%, respectively. Sensitivity, specificity, negative and positive predictive values of serum IL-6 and IL-8 were less than those of acute phase serum reactants such as CRP. Conclusion: This study showed that there was no significant difference between acute pyelonephritis and lower UTI groups regarding serum IL-6 and IL-8 levels. Therefore, despite confirming results of previous studies, it seems that IL-6 and IL-8 are not suitable markers for differentiating between acute pyelonephritis and lower UTI.

Serum levels of interleukin-6 and interleukin-8 as diagnostic markers of acute pyelonephritis in children

Mahyar, Abolfazl,Ayazi, Parviz,Maleki, Mohammad Reza,Daneshi-Kohan, Mohammad Mahdi,Sarokhani, Hamid Reza,Hashemi, Hassan Jahani,Talebi-Bakhshayesh, Mousa The Korean Pediatric Society 2013 Clinical and Experimental Pediatrics (CEP) Vol.56 No.5

Purpose: Early diagnosis and treatment of acute pyelonephritis in children is of special importance in order to prevent serious complications. This study was conducted to determine the diagnostic value of serum interleukin (IL)-6 and IL-8 in children with acute pyelonephritis. Methods: Eighty-seven patients between 1 month to 12 years old with urinary tract infection (UTI) were divided into 2 groups based on the result of 99m-technetium dimercapto-succinic acid renal scan: acute pyelonephritis (n=37) and lower UTI (n=50) groups. White blood cell (WBC) count, neutrophil (Neutl) count, erythrocyte sedimentation rate (ESR), C-reactive protein (CRP) concentration, platelet count, and serum IL-6 and IL-8 concentrations of both groups were measured and compared. Results: There was a significant difference between two groups regarding WBC count, Neutl count, ESR, and CRP concentration (P<0.05). In addition, the difference between the two groups regarding serum IL-6 and IL-8 concentrations was not significant (IL-6, 60 and 35.4 pg/mL and IL-8, 404 and 617 pg/mL, respectively). The sensitivity and specificity of serum IL-6 and IL-8 for diagnosis of acute pyelonephritis were 73%, 42% and 78%, 32%, respectively. Sensitivity, specificity, negative and positive predictive values of serum IL-6 and IL-8 were less than those of acute phase serum reactants such as CRP. Conclusion: This study showed that there was no significant difference between acute pyelonephritis and lower UTI groups regarding serum IL-6 and IL-8 levels. Therefore, despite confirming results of previous studies, it seems that IL-6 and IL-8 are not suitable markers for differentiating between acute pyelonephritis and lower UTI.