云南高校图书馆联盟文献共享服务平台- AUTOMATON

AUTOMATON: 作品数：66被引量：99H指数：5; 导出分析报告; 相关领域：金属学及工艺更多>>; 相关作者：许庆彦鄂跃鹏钱华林葛敬国徐乾更多>>; 相关机构：清华大学中国科学院中国科学院研究生院兰州理工大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划北京市自然科学基金更多>>

Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton: 《Journal of Automation and Intelligence》2025年第1期39-51,共13页Mingyu Cai Zhangli Zhou Lin Li Shaoping Xiao Zhen Kan; supported by the National Natural Science Foundation of China under Grant 62173314.; This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision p...; 关键词：Formal methods in robotics and automation Linear temporal logic Motion planning Optimal control

On Some Properties of Graph of Prefix Code: 《Journal of Applied Mathematics and Physics》2024年第4期1571-1581,共11页Nikolai I. Krainiukov Mikhail E. Abramyan Boris F. Melnikov; We investigate decomposition of codes and finite languages. A prime decomposition is a decomposition of a code or languages into a concatenation of nontrivial prime codes or languages. A code is prime if it cannot be ...; 关键词：Finite Languages Minimal Deterministic Automata CONCATENATION CODES Graph of Automaton Free Algebra

A New Model for Spreading Malware over SMS Using Network Automata: 《Communications and Network》2023年第4期120-143,共24页Erick Iván Medina-Salas Ana Lilia Laureano-Cruces Ma. Elena Lárraga-Ramírez; By the year 2026, it is estimated that the number of smartphone users in Mexico will be approximately 118.1 million. Each smartphone has the functionality of sending and receiving SMS (Short Message Service) messages,...; 关键词：Cellular Automaton Malware Spread Complex Systems Network Automaton

New Moral Subjects: Walking the Line Between Autonomy and Automaton: 《Journal of Philosophy Study》2023年第11期463-467,共5页Ralf Lüfter; The question of“new moral subjects”arises today in connection with the use of advanced technologies in the context of Industry 4.0,i.e.,the industrial enterprise investing in smart factories,co-robotic,additive manu...; 关键词：new moral subjects ethics of automation RESPONSIBILITY AUTONOMY Industry 4.0

A Program Study of the Union of Semilattices on the Set of Subsets of Grids of Waterloo Language: 《Journal of Applied Mathematics and Physics》2023年第5期1459-1470,共12页Mikhail E. Abramyan Boris F. Melnikov; The aim is to study the set of subsets of grids of the Waterloo language from the point of view of abstract algebra and graph theory. The study was conducted using the library for working with transition graphs of non...; 关键词：Nondeterministic Finite Automata Universal Automaton Basic Automaton Grid Covering Automaton Equivalent Transformation Algorithms Water-loo Automaton

Recognition Methods of Geometrical Images of Automata Models of Systems in Control Problem: 《Journal of Mechanical Engineering Research》2021年第2期21-31,共11页Anton Epifanov; The laws of functioning of discrete deterministic dynamical systems are investigated,presented in the form of automata models defined by geometric images.Due to the use of the apparatus of geometric images of automata...; 关键词：Discrete deterministic dynamical system Mathematical model AUTOMATON Geometric image of an automaton mapping Geometric curve Sequence Recognition of geometric images of automata

TahcoRoll: fast genomic signature profiling viathinned automaton and rolling hash被引量：1: 《Medical Review》2021年第2期114-125,共12页Chelsea J.-T.Ju Jyun-Yu Jiang Ruirui Li Zeyu Li Wei Wang; NSF DGE-1829071,NIHR35-HL135772,NIH/NIBIB R01-EB027650.; Objectives:Genomic signatures like k-mers have become one of the most prominent approaches to describe genomic data.As a result,myriad real-world applications,such as the construction of de Bruijn graphs in genome ass...; 关键词：Aho-Corasick algorithm genome sequencing k-mers multiple pattern matching rolling hash.

On the Motions of Four Pagoda Clocks in the Forbidden City: 《Chinese Annals of History of Science and Technology》2020年第S01期61-81,共21页LI Yezhuo CHEN Yu-Hsun YAN Hong-Sen; the collaborative research program between the Science Museum in London,Beijing Jiaotong University,and the Institute for the History of Natural Sciences(Chinese Academy of Sciences)on“Time,Culture and Identity:The Co-Creation of Historical Research and Co-Development of Visitor Experience in China and the UK”supported by the UK’s Arts and Humanities Research Council; Ancient mechanical clocks and automatons are solid evidence regarding the evolution of technological development.At least four ingenious eighteenth-century clocks with pagoda automatons are preserved in the Palace Mus...; 关键词：pagoda clock mechanism AUTOMATON history of machines Forbidden City

Connection models for the Internet-of-Things: 《Frontiers of Computer Science》2020年第3期65-85,共21页Kangli HE Holger HERMANNS Hengyang WU Yixiang CHEN; supported by the National Natural Science Foundation of China(Grant Nos.61370100,61321064 and 61773019);Shanghai Knowledge Service Platform for Trustworthy Internet of Things(ZF1213);Shanghai Municipal Science and Technology Commission Project(1451100400);Defense Industrial Technology Development Program JCKY 2016212B004-2,by the ERC Advanced Grant 695614(POWVER);by the Sino-German Center for Research Project CAP(GZ 1023).; The Internet-of-Things(IoT)is expected to swamp the world.In order to study and understand the emergent behaviour of connected things,effective support for their modelling is needed.At the heart of IoT are flexible an...; 关键词：IOT REO COST TIME PROBABILITY AUTOMATON

A Conservator’s Perspective on the Approach to Historical Clocks: 《Chinese Annals of History of Science and Technology》2020年第S01期39-60,共22页Matthew READ; This paper investigates a conservator’s approach to a particular subset of physical cultural property:clocks.It looks at established conservation frameworks and practical elements of codes of practice,and considers h...; 关键词：CLOCK CONSERVATOR CONSERVATION AUTOMATON dynamic mechanism APPROACH function

AUTOMATON