首页 > 最新文献

Advances in Complex Systems最新文献

英文 中文
Some Control and Observation Issues in Cellular Automata 元胞自动机的控制与观察问题
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-09-15 DOI: 10.25088/complexsystems.30.3.391
S. Yacoubi, T. Plénet, S. Dridi, F. Bagnoli, L. Lefévre, C. Raïevsky
This review article focuses on studying problems of observability and controllability of cellular automata (CAs) considered in the context of control theory, an important feature of which is the adoption of a state-space model. Our work first consists in generalizing the obtained results to systems described by CAs considered as the discrete counterpart of partial differential equations, and in exploring possible approaches to prove controllability and observability. After having introduced the notion of control and observation in cellular automata models, in a similar way to the case of discrete-time distributed parameter systems, we investigate these key concepts of control theory in the case of complex systems. For the controllability issue, the Boolean class is particularly studied and applied to the regional case, while the observability is approached in the general case and related to the reconstructibility problem for linear or nonlinear CAs.
本文主要研究控制理论背景下元胞自动机的可观察性和可控性问题,元胞自动机的一个重要特征是采用状态空间模型。我们的工作首先包括将得到的结果推广到由ca描述的系统,这些系统被认为是偏微分方程的离散对应,并探索证明可控性和可观察性的可能方法。在元胞自动机模型中引入控制和观察的概念之后,以类似于离散时间分布参数系统的方式,我们在复杂系统的情况下研究控制理论的这些关键概念。对于可控性问题,布尔类是专门研究和应用于区域情况的,而可观察性问题是在一般情况下探讨的,与线性或非线性ca的可重构性问题有关。
{"title":"Some Control and Observation Issues in Cellular Automata","authors":"S. Yacoubi, T. Plénet, S. Dridi, F. Bagnoli, L. Lefévre, C. Raïevsky","doi":"10.25088/complexsystems.30.3.391","DOIUrl":"https://doi.org/10.25088/complexsystems.30.3.391","url":null,"abstract":"This review article focuses on studying problems of observability and controllability of cellular automata (CAs) considered in the context of control theory, an important feature of which is the adoption of a state-space model. Our work first consists in generalizing the obtained results to systems described by CAs considered as the discrete counterpart of partial differential equations, and in exploring possible approaches to prove controllability and observability. After having introduced the notion of control and observation in cellular automata models, in a similar way to the case of discrete-time distributed parameter systems, we investigate these key concepts of control theory in the case of complex systems. For the controllability issue, the Boolean class is particularly studied and applied to the regional case, while the observability is approached in the general case and related to the reconstructibility problem for linear or nonlinear CAs.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"18 1","pages":"391-413"},"PeriodicalIF":0.4,"publicationDate":"2021-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81300924","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}
引用次数: 1
Macroscopic fundamental flow diagrams of a spiritually motivated crowd 精神激励人群的宏观基本流程图
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-08-19 DOI: 10.1142/s0219525921500028
H. Gayathri, P. Karthika, Ashish Verma
{"title":"Macroscopic fundamental flow diagrams of a spiritually motivated crowd","authors":"H. Gayathri, P. Karthika, Ashish Verma","doi":"10.1142/s0219525921500028","DOIUrl":"https://doi.org/10.1142/s0219525921500028","url":null,"abstract":"","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"1 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2021-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45455856","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}
引用次数: 3
Risk Awareness to epidemic Information and Self-Restricted Travel Behavior on Contagion 疫情信息风险意识与传染病自限性出行行为
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-08-11 DOI: 10.1142/s0219525921500016
Wen-Juan Xu, Chen-Yang Zhong, Hui-Fen Ye, Rongda Chen, T. Qiu, F. Ren, Li-Xin Zhong
By incorporating delayed epidemic information and self-restricted travel behavior into the SIS model, we have investigated the coupled effects of timely and accurate epidemic information and people’s sensitivity to the epidemic information on contagion. In the population with only local random movement, whether the epidemic information is delayed or not has no effect on the spread of the epidemic. People’s high sensitivity to the epidemic information leads to their risk aversion behavior and the spread of the epidemic is suppressed. In the population with only global person-to-person movement, timely and accurate epidemic information helps an individual cut off the connections with the infected in time and the epidemic is brought under control in no time. A delay in the epidemic information leads to an individual’s misjudgment of who has been infected and who has not, which in turn leads to rapid progress and a higher peak of the epidemic. In the population with coexistence of local and global movement, timely and accurate epidemic information and people’s high sensitivity to the epidemic information play an important role in curbing the epidemic. A theoretical analysis indicates that people’s misjudgment caused by the delayed epidemic information leads to a higher encounter probability between the susceptible and the infected and people’s self-restricted travel behavior helps reduce such an encounter probability. A functional relation between the ratio of infected individuals and the susceptible-infected encounter probability has been found.
我们将延迟的疫情信息和自限出行行为纳入SIS模型,考察了及时准确的疫情信息和人们对疫情信息的敏感性对传染的耦合效应。在只有局部随机运动的人群中,疫情信息是否延迟对疫情的传播没有影响。人们对疫情信息的高度敏感导致了风险规避行为,抑制了疫情的传播。在只有全球人对人流动的人群中,及时准确的疫情信息有助于个人及时切断与感染者的联系,使疫情在第一时间得到控制。疫情信息的延迟导致个人对谁感染了谁没有感染的判断错误,这反过来又导致疫情迅速发展和更高的高峰。在本地和全球流动并存的人口中,及时准确的疫情信息和人们对疫情信息的高度敏感性对遏制疫情起着重要作用。理论分析表明,由于疫情信息的延迟,人们的误判导致易感者与感染者相遇的概率更高,而人们的自我限制出行行为有助于降低这种相遇的概率。发现了感染个体比例与易感感染相遇概率之间的函数关系。
{"title":"Risk Awareness to epidemic Information and Self-Restricted Travel Behavior on Contagion","authors":"Wen-Juan Xu, Chen-Yang Zhong, Hui-Fen Ye, Rongda Chen, T. Qiu, F. Ren, Li-Xin Zhong","doi":"10.1142/s0219525921500016","DOIUrl":"https://doi.org/10.1142/s0219525921500016","url":null,"abstract":"By incorporating delayed epidemic information and self-restricted travel behavior into the SIS model, we have investigated the coupled effects of timely and accurate epidemic information and people’s sensitivity to the epidemic information on contagion. In the population with only local random movement, whether the epidemic information is delayed or not has no effect on the spread of the epidemic. People’s high sensitivity to the epidemic information leads to their risk aversion behavior and the spread of the epidemic is suppressed. In the population with only global person-to-person movement, timely and accurate epidemic information helps an individual cut off the connections with the infected in time and the epidemic is brought under control in no time. A delay in the epidemic information leads to an individual’s misjudgment of who has been infected and who has not, which in turn leads to rapid progress and a higher peak of the epidemic. In the population with coexistence of local and global movement, timely and accurate epidemic information and people’s high sensitivity to the epidemic information play an important role in curbing the epidemic. A theoretical analysis indicates that people’s misjudgment caused by the delayed epidemic information leads to a higher encounter probability between the susceptible and the infected and people’s self-restricted travel behavior helps reduce such an encounter probability. A functional relation between the ratio of infected individuals and the susceptible-infected encounter probability has been found.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"136 1","pages":"2150001:1-2150001:20"},"PeriodicalIF":0.4,"publicationDate":"2021-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76447214","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}
引用次数: 1
Network of scientific concepts: empirical analysis and modeling 科学概念网络:实证分析与建模
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-08-09 DOI: 10.1142/S0219525921400014
V. Palchykov, M. Krasnytska, O. Mryglod, Y. Holovatch
Concepts in a certain domain of science are linked via intrinsic connections reflecting the structure of knowledge. To get a qualitative insight and a quantitative description of this structure, we perform empirical analysis and modeling of the network of scientific concepts in the domain of physics. To this end we use a collection of manuscripts submitted to the e-print repository arXiv and the vocabulary of scientific concepts collected via the ScienceWISE.info platform and construct a network of scientific concepts based on their co-occurrences in publications. The resulting complex network possesses a number of specific features (high node density, dissortativity, structural correlations, skewed node degree distribution) that can not be understood as a result of simple growth by several commonly used network models. We show that the model based on a simultaneous account of two factors, growth by blocks and preferential selection, gives an explanation of empirically observed properties of the concepts network.
某一科学领域内的概念是通过反映知识结构的内在联系联系起来的。为了获得对这种结构的定性洞察和定量描述,我们对物理领域的科学概念网络进行了实证分析和建模。为此,我们利用提交给电子出版物库arXiv的稿件集和ScienceWISE.info平台收集的科学概念词汇,构建了一个基于它们在出版物中共现的科学概念网络。由此产生的复杂网络具有许多特定的特征(高节点密度、无序性、结构相关性、倾斜的节点度分布),这些特征不能被一些常用的网络模型所理解。我们表明,该模型基于同时考虑两个因素,即块增长和优先选择,给出了经验观察到的概念网络特性的解释。
{"title":"Network of scientific concepts: empirical analysis and modeling","authors":"V. Palchykov, M. Krasnytska, O. Mryglod, Y. Holovatch","doi":"10.1142/S0219525921400014","DOIUrl":"https://doi.org/10.1142/S0219525921400014","url":null,"abstract":"Concepts in a certain domain of science are linked via intrinsic connections reflecting the structure of knowledge. To get a qualitative insight and a quantitative description of this structure, we perform empirical analysis and modeling of the network of scientific concepts in the domain of physics. To this end we use a collection of manuscripts submitted to the e-print repository arXiv and the vocabulary of scientific concepts collected via the ScienceWISE.info platform and construct a network of scientific concepts based on their co-occurrences in publications. The resulting complex network possesses a number of specific features (high node density, dissortativity, structural correlations, skewed node degree distribution) that can not be understood as a result of simple growth by several commonly used network models. We show that the model based on a simultaneous account of two factors, growth by blocks and preferential selection, gives an explanation of empirically observed properties of the concepts network.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"1 1","pages":"2140001:1-2140001:23"},"PeriodicalIF":0.4,"publicationDate":"2021-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90866575","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}
引用次数: 3
The General Ownership Structure of the European Aerospace Industry a Statistical and Network Analysis 欧洲航空航天工业总体股权结构的统计与网络分析
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-08-01 DOI: 10.1142/s0219525921500120
L. Biggiero, Robert Magnuszewski
In this paper, we investigate the ownership structure of the 3143 EU28 aerospace companies in 2019, and extend the analysis to the 2428 neighbor partners outside EU28 and/or aerospace. Different from the previous studies, we consider all equity capital flows regardless of their size, and their monetary value instead of the corresponding ownership share. We further innovate by applying new methods to measure degree of influence power and hierarchical structure. The resulting picture shows that between the pure EU28 aerospace companies: (i) ownership relationships concern only relatively few companies (10%), which trigger horizontal and vertical structures; (ii) density is extremely low; (iii) relationships are fully hierarchical with no cross-ownership; (iv) capital is seldom transferred across business groups; (v) most of the main topological parameters have a typically polarized scale-free structure. When including also the ownership neighbors, some of those traits change substantially: (i) the share of connected companies substantially grows up to 63%; (ii) size and length of the largest pyramidal structures will grow remarkably, reaching a top of 874 companies; (iii) the industry becomes a full small-world structure, thus allowing huge capital transfer across business groups. Finally, a dramatic financialization, meant as a pivotal and quantitatively heavy role of financial operators, emerges also as a clear characteristic of the extended network.
本文研究了2019年欧盟28国3143家航空航天公司的股权结构,并将分析扩展到欧盟28国和/或航空航天以外的2428家邻居合作伙伴。与以往研究不同的是,我们考虑所有的权益资本流动,无论其规模大小,以及其货币价值,而不是相应的所有权份额。我们进一步创新,采用新的方法来衡量影响力程度和层次结构。结果显示,在纯粹的欧盟28国航空航天公司之间:(i)所有权关系只涉及相对较少的公司(10%),这引发了水平和垂直结构;(ii)密度极低;(iii)关系是完全分级的,没有交叉所有权;(四)企业集团间资金转移较少;(v)大多数主要拓扑参数具有典型的极化无标度结构。如果将相邻所有权也包括在内,其中一些特征会发生重大变化:(i)关联公司的份额大幅增长至63%;(2)最大金字塔结构的规模和长度将显著增长,最高可达874家公司;(三)行业成为一个完整的小世界结构,从而允许跨业务集团的巨额资本转移。最后,戏剧性的金融化意味着金融经营者的关键和数量上的重要作用,也作为扩展网络的一个明显特征出现。
{"title":"The General Ownership Structure of the European Aerospace Industry a Statistical and Network Analysis","authors":"L. Biggiero, Robert Magnuszewski","doi":"10.1142/s0219525921500120","DOIUrl":"https://doi.org/10.1142/s0219525921500120","url":null,"abstract":"In this paper, we investigate the ownership structure of the 3143 EU28 aerospace companies in 2019, and extend the analysis to the 2428 neighbor partners outside EU28 and/or aerospace. Different from the previous studies, we consider all equity capital flows regardless of their size, and their monetary value instead of the corresponding ownership share. We further innovate by applying new methods to measure degree of influence power and hierarchical structure. The resulting picture shows that between the pure EU28 aerospace companies: (i) ownership relationships concern only relatively few companies (10%), which trigger horizontal and vertical structures; (ii) density is extremely low; (iii) relationships are fully hierarchical with no cross-ownership; (iv) capital is seldom transferred across business groups; (v) most of the main topological parameters have a typically polarized scale-free structure. When including also the ownership neighbors, some of those traits change substantially: (i) the share of connected companies substantially grows up to 63%; (ii) size and length of the largest pyramidal structures will grow remarkably, reaching a top of 874 companies; (iii) the industry becomes a full small-world structure, thus allowing huge capital transfer across business groups. Finally, a dramatic financialization, meant as a pivotal and quantitatively heavy role of financial operators, emerges also as a clear characteristic of the extended network.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"15 1","pages":"2150012:1-2150012:47"},"PeriodicalIF":0.4,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87570893","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
A Semi-Markovian Approach to drawdown-based Measures 基于缩减措施的半马尔可夫方法
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-06-23 DOI: 10.1142/S0219525920500204
G. D’Amico, Bice di Basilio, F. Petroni
In this paper we assess the suitability of weighted-indexed semi-Markov chains (WISMC) to study risk measures as applied to high-frequency financial data. The considered measures are the drawdown of fixed level, the time to crash, the speed of crash, the recovery time and the speed of recovery; they provide valuable information in portfolio management and in the selection of investments. The results obtained by implementing the WISMC model are compared with those based on the real data and also with those achieved by GARCH and EGARCH models. Globally, the WISMC model performs much better than the other econometric models for all the considered measures unless in the cases when the percentage of censored units is more than 30% where the models behave similarly.
在本文中,我们评估了加权指数半马尔可夫链(WISMC)在研究高频金融数据风险度量方面的适用性。考虑的措施是固定水平的下降、崩溃时间、崩溃速度、恢复时间和恢复速度;它们为投资组合管理和投资选择提供了有价值的信息。将WISMC模型的实现结果与基于实际数据的结果以及GARCH和EGARCH模型的结果进行了比较。在全球范围内,对于所有考虑的度量,WISMC模型比其他计量经济学模型表现得更好,除非在审查单位的百分比超过30%的情况下,模型的行为相似。
{"title":"A Semi-Markovian Approach to drawdown-based Measures","authors":"G. D’Amico, Bice di Basilio, F. Petroni","doi":"10.1142/S0219525920500204","DOIUrl":"https://doi.org/10.1142/S0219525920500204","url":null,"abstract":"In this paper we assess the suitability of weighted-indexed semi-Markov chains (WISMC) to study risk measures as applied to high-frequency financial data. The considered measures are the drawdown of fixed level, the time to crash, the speed of crash, the recovery time and the speed of recovery; they provide valuable information in portfolio management and in the selection of investments. The results obtained by implementing the WISMC model are compared with those based on the real data and also with those achieved by GARCH and EGARCH models. Globally, the WISMC model performs much better than the other econometric models for all the considered measures unless in the cases when the percentage of censored units is more than 30% where the models behave similarly.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"33 1","pages":"2050020:1-2050020:28"},"PeriodicalIF":0.4,"publicationDate":"2021-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89287837","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
Improved Majority Identification by the Coarsened Majority Automaton 基于粗化多数自动机的改进多数识别
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-06-17 DOI: 10.25088/ComplexSystems.31.2.191
D. Peak, C. Torre, J. R. Whiteley
The initial majority identification task is a fundamental test problem in cellular automaton research. To pass the test, a two-state automaton has to attain a uniform configuration consisting of only the state that was initially in the majority. It does so solely through its local, internal dynamics—i.e., success in the task is an example of emergent computation. Finding new, better-performing automata continues to be of interest for what additional clues they might reveal about this form of computation. Here we describe a novel, coarsened version of one of the standard majority identifiers. We show that this coarsened system outperforms its parent automaton while significantly reducing the number of computations required to accomplish the task.
初始多数识别任务是元胞自动机研究中的一个基本测试问题。为了通过测试,双状态自动机必须获得仅由最初占多数的状态组成的统一配置。它完全通过其本地的、内部的动力来做到这一点。,任务的成功就是紧急计算的一个例子。寻找新的、性能更好的自动机仍然是人们感兴趣的,因为它们可能会揭示这种计算形式的其他线索。在这里,我们描述了一个标准多数标识符的新颖的、粗糙的版本。我们表明,这个粗化系统在显著减少完成任务所需的计算次数的同时,优于其父自动机。
{"title":"Improved Majority Identification by the Coarsened Majority Automaton","authors":"D. Peak, C. Torre, J. R. Whiteley","doi":"10.25088/ComplexSystems.31.2.191","DOIUrl":"https://doi.org/10.25088/ComplexSystems.31.2.191","url":null,"abstract":"The initial majority identification task is a fundamental test problem in cellular automaton research. To pass the test, a two-state automaton has to attain a uniform configuration consisting of only the state that was initially in the majority. It does so solely through its local, internal dynamics—i.e., success in the task is an example of emergent computation. Finding new, better-performing automata continues to be of interest for what additional clues they might reveal about this form of computation. Here we describe a novel, coarsened version of one of the standard majority identifiers. We show that this coarsened system outperforms its parent automaton while significantly reducing the number of computations required to accomplish the task.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"38 1","pages":"191-202"},"PeriodicalIF":0.4,"publicationDate":"2021-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87358470","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
Formal Logic of Cellular Automata 元胞自动机的形式逻辑
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-06-15 DOI: 10.25088/complexsystems.30.2.187
Sukanta Das, Mihir K. Chakraborty
This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.
针对一维二元元胞自动机的建模,提出了一种形式逻辑lca。首先给出了L - CA的语法,然后给出了L - CA在所有二进制字符串域中的语义。然后将初等元胞自动机和四邻域二元元胞自动机作为逻辑模型。这些实例表明,lca还存在其他模型。最后证明了任何一维二元元胞自动机都是所提逻辑的一个模型。
{"title":"Formal Logic of Cellular Automata","authors":"Sukanta Das, Mihir K. Chakraborty","doi":"10.25088/complexsystems.30.2.187","DOIUrl":"https://doi.org/10.25088/complexsystems.30.2.187","url":null,"abstract":"This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"438 1","pages":"187-203"},"PeriodicalIF":0.4,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88932742","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
Foreword to the Special Issue on Success in Science 《科学上的成功》特刊前言
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-06-01 DOI: 10.1142/s021952592102001x
Luca Verginer, Giacomo Vaccario, A. Petersen
{"title":"Foreword to the Special Issue on Success in Science","authors":"Luca Verginer, Giacomo Vaccario, A. Petersen","doi":"10.1142/s021952592102001x","DOIUrl":"https://doi.org/10.1142/s021952592102001x","url":null,"abstract":"","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"19 1","pages":"2102001:1-2102001:2"},"PeriodicalIF":0.4,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89256449","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
Infinitely growing configurations in Emil Post's tag system problem Emil Post标签系统问题中的无限增长结构
IF 0.4 4区 数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS Pub Date : 2021-05-16 DOI: 10.25088/ComplexSystems.31.3.279
N. Kurilenko
Emil Post’s tag system problem posed the question of whether or not a tag system {N=3, P(0)=00, P(1)=1101} has a configuration, simulation of which will never halt or end up in a loop. Over the subsequent decades, there were several attempts to find an answer to this question, including a recent study, during which the first 2 84 initial configurations were checked. This paper presents a family of configurations of this type in the form of strings A n ⁢ B ⁢ C m that evolve to A n + 1 ⁢ B ⁢ C m + 1 after a finite number of steps. The proof of this behavior for all non-negative n and m is described later in this paper as a finite verification procedure, which is computationally bounded by 20000 iterations of tag.
Emil Post的标签系统问题提出了一个问题,即标签系统{N=3, P(0)=00, P(1)=1101}是否有一个配置,其模拟永远不会停止或结束在一个循环中。在随后的几十年里,有几次试图找到这个问题的答案,包括最近的一项研究,在此期间检查了前284个初始配置。本文给出了这类构型的一个族,其形式为字符串a n减去B减去C m,经过有限的步数,它演化为a n + 1减去B减去C m + 1。对于所有非负n和非负m的这种行为的证明,本文稍后将描述为一个有限的验证过程,计算上以20000次迭代的标签为界。
{"title":"Infinitely growing configurations in Emil Post's tag system problem","authors":"N. Kurilenko","doi":"10.25088/ComplexSystems.31.3.279","DOIUrl":"https://doi.org/10.25088/ComplexSystems.31.3.279","url":null,"abstract":"Emil Post’s tag system problem posed the question of whether or not a tag system {N=3, P(0)=00, P(1)=1101} has a configuration, simulation of which will never halt or end up in a loop. Over the subsequent decades, there were several attempts to find an answer to this question, including a recent study, during which the first 2 84 initial configurations were checked. This paper presents a family of configurations of this type in the form of strings A n ⁢ B ⁢ C m that evolve to A n + 1 ⁢ B ⁢ C m + 1 after a finite number of steps. The proof of this behavior for all non-negative n and m is described later in this paper as a finite verification procedure, which is computationally bounded by 20000 iterations of tag.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"65 1","pages":"279-286"},"PeriodicalIF":0.4,"publicationDate":"2021-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75635763","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
期刊
Advances in Complex Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1