Acta Informatica最新文献_第10页

Proportional lumpability and proportional bisimilarity 比例集成性和比例双相似性

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-06-21 DOI: 10.1007/s00236-021-00404-y

Andrea Marin, Carla Piazza, Sabina Rossi

{"title":"Proportional lumpability and proportional bisimilarity","authors":"Andrea Marin, Carla Piazza, Sabina Rossi","doi":"10.1007/s00236-021-00404-y","DOIUrl":"10.1007/s00236-021-00404-y","url":null,"abstract":"<div>In this paper, we deal with the lumpability approach to cope with the state space explosion problem inherent to the computation of the stationary performance indices of large stochastic models. The lumpability method is based on a state aggregation technique and applies to Markov chains exhibiting some structural regularity. Moreover, it allows one to efficiently compute the exact values of the stationary performance indices when the model is actually lumpable. The notion of quasi-lumpability is based on the idea that a Markov chain can be altered by relatively small perturbations of the transition rates in such a way that the new resulting Markov chain is lumpable. In this case, only upper and lower bounds on the performance indices can be derived. Here, we introduce a novel notion of quasi-lumpability, named proportional lumpability, which extends the original definition of lumpability but, differently from the general definition of quasi-lumpability, it allows one to derive exact stationary performance indices for the original process. We then introduce the notion of proportional bisimilarity for the terms of the performance process algebra PEPA. Proportional bisimilarity induces a proportional lumpability on the underlying continuous-time Markov chains. Finally, we prove some compositionality results and show the applicability of our theory through examples.</div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"59 2-3","pages":"211 - 244"},"PeriodicalIF":0.6,"publicationDate":"2021-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00404-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46452095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

An automated system repair framework with signal temporal logic 具有信号时序逻辑的自动系统修复框架

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-06-17 DOI: 10.1007/s00236-021-00403-z

Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol

引用次数: 6

Finite automata with undirected state graphs 具有无向状态图的有限自动机

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-05-24 DOI: 10.1007/s00236-021-00402-0

Martin Kutrib, Andreas Malcher, Christian Schneider

引用次数: 0

Sound reasoning in tock-CSP 合理的推理在股票- csp

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-04-17 DOI: 10.1007/s00236-020-00394-3

James Baxter, Pedro Ribeiro, Ana Cavalcanti

引用次数: 9

Big Five and Dark Triad personality traits as predictors of multicultural attitude and efficacy. 大五人格和黑暗人格特质作为多元文化态度和效能的预测因子

IF 1 4区计算机科学

Acta Informatica Pub Date : 2021-03-25 eCollection Date: 2021-01-01 DOI: 10.5114/cipp.2021.104687

Ahmet Rıfat Kayiş, Mustafa Öztürk Akcaoğlu

{"title":"Big Five and Dark Triad personality traits as predictors of multicultural attitude and efficacy.","authors":"Ahmet Rıfat Kayiş, Mustafa Öztürk Akcaoğlu","doi":"10.5114/cipp.2021.104687","DOIUrl":"10.5114/cipp.2021.104687","url":null,"abstract":"Background: The advances in communication and transportation facilities have accelerated the formation of multicultural societies worldwide. Personality traits may be one of the most important indicators of adapting to multicultural environments. Educational environments are multicultural in terms of the composition of students they serve. The present study investigated the predictive role of Big Five and Dark Triad personality traits on multicultural attitude and efficacy (MAE) among teacher candidates.Participants and procedure: The study population comprised of teacher candidates (N = 404) studying in Turkey. In order to collect data, Big Five personality and the Dark Triad, the Adjective Based Personality Scale and the Dark Triad Dirty Dozen Scale were used respectively. In addition, data regarding MAE were collected through the Multicultural Efficacy Scale.Results: The results showed that openness to new experience positively (β = .16, p < .01) and psychopathy negatively (β = -.16, p < .01) predicted multicultural attitude. On the other hand, multicultural efficacy was positively predicted only by openness to new experience (β = .32, p < .001). Therefore, openness and psychopathic traits can play an important role in explaining multicultural attitude and efficacy. Also, there is no significant difference with regard to teacher candidates' multicultural efficacy and attitudes according to their grade level.Conclusions: Individuals with openness to new experiences personality trait have a positive attitude towards multiculturalism, and they view themselves as competent to get involved in multicultural environments. On the other hand, individuals with the psychopathy personality trait have negative attitudes towards multiculturalism.","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"50 2","pages":"215-228"},"PeriodicalIF":1.0,"publicationDate":"2021-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10658852/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72589500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Session-based concurrency, declaratively 以声明方式基于会话的并发性

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-03-18 DOI: 10.1007/s00236-021-00395-w

Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda

引用次数: 1

ANÁLISE DE AGRUPAMENTO BASEADO EM CARACTERÍSTICAS MORFOLÓGICAS DE LEGUMINOSAS DE VÁRZEA COM FINS TAXONÔMICOS 基于低地豆科植物形态特征的聚类分析，用于分类目的

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-03-12 DOI: 10.24021/RAAC.V18I1.5586

Rubiene Neto Soares, Ronaldo Oliveira dos Santos, Róbson Borges de Lima, Breno Marques da Silva e Silva

{"title":"ANÁLISE DE AGRUPAMENTO BASEADO EM CARACTERÍSTICAS MORFOLÓGICAS DE LEGUMINOSAS DE VÁRZEA COM FINS TAXONÔMICOS","authors":"Rubiene Neto Soares, Ronaldo Oliveira dos Santos, Róbson Borges de Lima, Breno Marques da Silva e Silva","doi":"10.24021/RAAC.V18I1.5586","DOIUrl":"https://doi.org/10.24021/RAAC.V18I1.5586","url":null,"abstract":"The objective of this study was to verify the feasibility of a taxonomic grouping of tree species in the lowland forest of the Leguminosae family through the morphometric characteristics of the fruit, seed and seedlings. The species selections for the analyzes were based on phytosociological studies carried out in the state of Amapá. Then, a bibliographic survey was carried out regarding the morphometric characteristics of fruit, seed and seedling for each species, available in scientific journals, in addition to consultations with exsiccates in the herbariums. Only 41 characters were used for cluster analysis, considering those most present among species. For the grouping, the Jaccard coefficient and the technique 1Laboratório de Análise de Sementes Florestais, Universidade do Estado do Amapá, Macapá, AP, Brasil. 2Laboratório de Manejo Florestal, Universidade do Estado do Amapá, Macapá, AP, Brasil. 3Laboratório de Manejo Florestal, Universidade do Estado do Amapá, Macapá, AP, Brasil. 4Laboratório de Análise de Sementes Florestais, Universidade do Estado do Amapá, Macapá, AP, Brasil. Acta Ambiental Catarinense – Unochapecó Soares et al., (2021) DOI: http://dx.doi.org/10.24021/raac.v18i1.5586 Vol. 18, N. 1 (2021) 269 of classification by means of groups (UPGMA) were used. The characteristics of fruits and seeds proved to be quite efficient in differentiating and classifying species at the level of subfamily and genus. The use of seedling characteristics in similarity analysis proved to be more efficient in studies considering the grouping at the level of genera following a previous standardization. Thus, it is understood that with the correct morphological description of species in natural environments, it is possible to carry out classification and differentiation analysis between genera or subfamilies, which ends up becoming a lowcost approach compared to studies that use genetic analysis.","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"18 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2021-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48102918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

RADIAÇÃO ULTRAVIOLETA COMO ALTERNATIVA TECNOLÓGICA PARA DESINFECÇÃO DE EFLUENTE DE INDÚSTRIA DE PAPEL 紫外线辐射作为造纸工业废水消毒的替代技术

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-03-12 DOI: 10.24021/RAAC.V18I1.5840

Karoline Mello Millek, Jeanette Beber de Souza, Carlos Magno de Sousa Vidal

{"title":"RADIAÇÃO ULTRAVIOLETA COMO ALTERNATIVA TECNOLÓGICA PARA DESINFECÇÃO DE EFLUENTE DE INDÚSTRIA DE PAPEL","authors":"Karoline Mello Millek, Jeanette Beber de Souza, Carlos Magno de Sousa Vidal","doi":"10.24021/RAAC.V18I1.5840","DOIUrl":"https://doi.org/10.24021/RAAC.V18I1.5840","url":null,"abstract":"A indústria brasileira de produção de papel destaca-se mundialmente no mercado entre os maiores produtores, mas, aliada a grande produção está a geração de grandes volumes de efluentes líquidos. Uma alternativa de tratamento para estes efluentes é à associação com o efluente sanitário das unidades, que promove vantagens, como a diluição de compostos tóxicos e o fornecimento de nutrientes para o sistema, todavia, também apresenta desvantagens, com destaque para a incorporação de microrganismos patogênicos no efluente final. Desta forma, o tema de investigação aqui tratado, aborda a radiação ultravioleta como alternativa para a desinfecção de efluente da produção de papel em estação de tratamento de efluentes (ETE) que recebe de forma combinada tanto efluente industrial quanto o esgoto doméstico. Foram variados parâmetros como a altura da lâmina líquida e o tempo de exposição à radiação. As eficiências de desinfecção foram avaliadas empregando os microrganismos indicadores de contaminação fecal Escherichia coli e coliformes totais. As diferentes alturas de lâmina líquida estudadas não influenciaram na eficiência da desinfecção, e os resultados obtidos foram plenamente satisfatórios do ponto de vista microbiológico, alcançando remoção de 99,96% para CT e 100% para E.coli. Assim obteve-se um efluente final com qualidade de atendimento aos padrões da legislação ambiental vigente e com potencial para reuso.","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"18 1","pages":"253-267"},"PeriodicalIF":0.6,"publicationDate":"2021-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42770294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

MICRORGANISMOS NO SEDIMENTO DE MARGENS OPOSTAS DO ESTUÁRIO DO RIO COREAÚ EM CAMOCIM/CE CAMOCIM/CE coreau河河口对岸沉积物中的微生物

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-03-07 DOI: 10.24021/RAAC.V18I1.5580

Adelaide Sampaio Oliveira, Jardielen Chaves Sousa, Antonio Santos, Renatta Santos de Oliveira, D. Cesar, Edmo Montes Rodrigues

{"title":"MICRORGANISMOS NO SEDIMENTO DE MARGENS OPOSTAS DO ESTUÁRIO DO RIO COREAÚ EM CAMOCIM/CE","authors":"Adelaide Sampaio Oliveira, Jardielen Chaves Sousa, Antonio Santos, Renatta Santos de Oliveira, D. Cesar, Edmo Montes Rodrigues","doi":"10.24021/RAAC.V18I1.5580","DOIUrl":"https://doi.org/10.24021/RAAC.V18I1.5580","url":null,"abstract":"O estuario do rio Coreau possui uma das margens tangenciando a area urbana de Camocim, enquanto a outra tangencia a APA das Dunas da Ilha da Testa Branca. Com o objetivo de verificar os efeitos das atividades antropicas na margem urbanizada, este trabalho analisou parâmetros fisico-quimicos e microbiologicos em ambas as margens. Analises de pH, temperatura, turbidez, oxigenio dissolvido e DBO5 foram realizadas na agua. Amostras do sedimento foram utilizadas para quantificacao de materia orgânica e de bacterias heterotroficas, enumeracao de coliformes, quantificacao de celulas procarioticas e de bacterias patogenicas. Nao houve diferenca significativa para os parâmetros fisico-quimicos, exceto para materia orgânica no sedimento, maior na margem urbanizada. A densidade de bacterias heterotroficas e de celulas procarioticas e maior na margem urbanizada. Os resultados indicaram que coliformes termotolerantes ocorrem apenas na margem urbanizada. Todos os taxa bacterianos patogenicos sao encontrados em maior densidade na margem urbanizada, onde a densidade de E. coli e quase cinco vezes maior. Nossos resultados indicam que o descarte de aguas residuarias esta relacionado com a maior densidade de bacterias patogenicas no sedimento da margem urbanizada o que pode resultar em um problema de saude publica.","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"18 1","pages":"216-238"},"PeriodicalIF":0.6,"publicationDate":"2021-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45152817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

PERFORMANCE OF ENTOMOPATHOGENIC NEMATODES ON NEOLEUCINODES ELEGANTALIS (GUENÉE) (LEPIDOPTERA: CRAMBIDAE) 昆虫病原线虫对新秀丽隐毛虫(guenÉe)的作用(鳞翅目:蛾科)

IF 0.6 4区计算机科学

Acta Informatica Pub Date : 2021-03-07 DOI: 10.24021/RAAC.V18I1.5575

D. Pratissoli, A. P. Damascena, Débora Ferreira Melo Fragoso, J. R. Carvalho, Amanda C. Túler, Luana Viana Faria, L. M. A. Junior

{"title":"PERFORMANCE OF ENTOMOPATHOGENIC NEMATODES ON NEOLEUCINODES ELEGANTALIS (GUENÉE) (LEPIDOPTERA: CRAMBIDAE)","authors":"D. Pratissoli, A. P. Damascena, Débora Ferreira Melo Fragoso, J. R. Carvalho, Amanda C. Túler, Luana Viana Faria, L. M. A. Junior","doi":"10.24021/RAAC.V18I1.5575","DOIUrl":"https://doi.org/10.24021/RAAC.V18I1.5575","url":null,"abstract":"The use of entomopathogenic nematodes in pest management is an alternative to reduce the yield and/or damage losses caused by pests in several crops. The present study aimed to evaluate the performance of Heterorhabditis indica (Nemata: Rhabditida) and Steinernema carpocapsae (Nemata: Rhabditida), in pre-pupae of Neoleucinodes elegantalis (Guenee) (Lepidoptera: Crambidae) and determine the temporal viability of the pathogenicity of S. carpocapsae applied to soil. The nematode species were diluted in distilled water to 50, 65, 83, 107, 138, 178, 229, 295, 380 and 500 infective juveniles per pre-pupae (IJs insect-1) of N. elegantalis. The mortality of pre-pupa of N. elegantalis was higher as the concentrations of both studied species increased. The nematode S. carpocapsae was the most effective, causing mortality of 82.93% in the concentration of 65 IJs insect-1 and an LC50 of 24.32 IJs insect-1. In the pathogenicity test, S. carpocapsae was applied in the concentration of 100 JI/cm² in pots previously planted with tomato seedlings. As positive control was used tomato seedlings treated with distilled water. S. carpocapse presented soil viability of 24 days. Thus, S. carpocapsae can be an important tool in the integrated pest management (IPM) of N. elegantalis.","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"18 1","pages":"205-215"},"PeriodicalIF":0.6,"publicationDate":"2021-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42377912","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0