文献

J-GLOBAL ID：202202280941542592   整理番号：22A1063699

実験を制御する機械の力【JST・京大機械翻訳】

The Power of Machines That Control Experiments

著者 (3件)： De Brito Vasco Boavida (Department of Mathematics, Instituto Superior Tecnico, Universidade de Lisboa, Portugal) ,  Costa Jose Felix (Department of Mathematics, Instituto Superior Tecnico, CFCUL - Centro de Filosofia das Ciencias da Universidade de Lisboa, Universidade de Lisboa, Portugal) ,  Pocas Diogo (LASIGE, Departamento de Informatica, Faculdade de Ciencias, Universidade de Lisboa, Portugal)
資料名： International Journal of Foundations of Computer Science  (International Journal of Foundations of Computer Science)
巻： 33  号： 2  ページ： 91-118  発行年： 2022年 
JST資料番号： W0409A  ISSN： 0129-0541  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： シンガポール (SGP)  言語： 英語 (EN)

抄録/ポイント： 著者らは,Turingマシンとして実験器(例えば,実験的物理学者),ディジタル部品,および測定の実験を,Turing機械のオラクルとして,アナログ成分,および測定の実験を,考察した。機械におけるアルゴリズムは,測定の実験方法(実験行動の再帰的構造をコード化する)を,実験によって選択した。本論文では,中央アナログディジタル複雑度クラスP,[数式:原文を参照]および[数式:原文を参照]を,標準Turingマシンによって制御された測定を実行するプロトコルに関して特性化できることを証明した。Copyright 2022 World Scientific Publishing Company All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *実験 ,  Turing機械 ,  アナログ系 ,  計算 ,  データベース管理システム ,  ディジタル方式 ,  キャラクタリゼーション
準シソーラス用語： オラクル ,  複雑度 , 【Automatic Indexing@JST】

著者キーワード (5件)： アナログ計算 ,  アナログ-ディジタルシステム ,  ハイブリッドシステム ,  不均一複雑性 ,  Church-Turing thesis

分類 (3件)： オートマトン理論  (JB04000O) ,  計算理論  (JB02000A) ,  AD・DA変換回路  (NC05080M)

タイトルに関連する用語 (2件)： 実験 ,  力