{"title":"物理计算系统的代数设计","authors":"Mizuka Komatsu , Takaharu Yaguchi , Kohei Nakajima","doi":"10.1016/j.physd.2024.134382","DOIUrl":null,"url":null,"abstract":"<div><div>Recently, computational techniques that employ physical systems (physical computing systems) have been developed. To utilize physical computing systems, their design strategy is important. Although there are practical learning-based methods and theoretical approaches, no general method exists that provides specific design guidelines for given systems with rigorous theoretical support. In this paper, we propose a novel algebraic design framework for a physical computing system, which is capable of extracting specific design guidelines. Our approach describes input–output relationships algebraically and relates them to given target tasks. Two theorems are presented in this paper. The first theorem offers a basic strategy for algebraic design. The second theorem explores the “replaceability” of such systems. Their possible implementations are investigated through experiments. In particular, the design of inputs of a system so that it generates multiple target time-series and the replacement of stationary or non-stationary target systems by a given system that is designed algebraically are included. The proposed framework is shown to have the potential of designing given physical computing systems with theoretical support.</div></div>","PeriodicalId":20050,"journal":{"name":"Physica D: Nonlinear Phenomena","volume":"470 ","pages":"Article 134382"},"PeriodicalIF":2.7000,"publicationDate":"2024-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Algebraic design of physical computing system\",\"authors\":\"Mizuka Komatsu , Takaharu Yaguchi , Kohei Nakajima\",\"doi\":\"10.1016/j.physd.2024.134382\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Recently, computational techniques that employ physical systems (physical computing systems) have been developed. To utilize physical computing systems, their design strategy is important. Although there are practical learning-based methods and theoretical approaches, no general method exists that provides specific design guidelines for given systems with rigorous theoretical support. In this paper, we propose a novel algebraic design framework for a physical computing system, which is capable of extracting specific design guidelines. Our approach describes input–output relationships algebraically and relates them to given target tasks. Two theorems are presented in this paper. The first theorem offers a basic strategy for algebraic design. The second theorem explores the “replaceability” of such systems. Their possible implementations are investigated through experiments. In particular, the design of inputs of a system so that it generates multiple target time-series and the replacement of stationary or non-stationary target systems by a given system that is designed algebraically are included. The proposed framework is shown to have the potential of designing given physical computing systems with theoretical support.</div></div>\",\"PeriodicalId\":20050,\"journal\":{\"name\":\"Physica D: Nonlinear Phenomena\",\"volume\":\"470 \",\"pages\":\"Article 134382\"},\"PeriodicalIF\":2.7000,\"publicationDate\":\"2024-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Physica D: Nonlinear Phenomena\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0167278924003324\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Physica D: Nonlinear Phenomena","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0167278924003324","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
Recently, computational techniques that employ physical systems (physical computing systems) have been developed. To utilize physical computing systems, their design strategy is important. Although there are practical learning-based methods and theoretical approaches, no general method exists that provides specific design guidelines for given systems with rigorous theoretical support. In this paper, we propose a novel algebraic design framework for a physical computing system, which is capable of extracting specific design guidelines. Our approach describes input–output relationships algebraically and relates them to given target tasks. Two theorems are presented in this paper. The first theorem offers a basic strategy for algebraic design. The second theorem explores the “replaceability” of such systems. Their possible implementations are investigated through experiments. In particular, the design of inputs of a system so that it generates multiple target time-series and the replacement of stationary or non-stationary target systems by a given system that is designed algebraically are included. The proposed framework is shown to have the potential of designing given physical computing systems with theoretical support.
期刊介绍:
Physica D (Nonlinear Phenomena) publishes research and review articles reporting on experimental and theoretical works, techniques and ideas that advance the understanding of nonlinear phenomena. Topics encompass wave motion in physical, chemical and biological systems; physical or biological phenomena governed by nonlinear field equations, including hydrodynamics and turbulence; pattern formation and cooperative phenomena; instability, bifurcations, chaos, and space-time disorder; integrable/Hamiltonian systems; asymptotic analysis and, more generally, mathematical methods for nonlinear systems.