Virtual finite-state machine とは

仮想有限状態マシン(VFSM)は、#Virtual環境で定義された有限状態マシン(FSM)です。 VFSMの概念は、入力制御プロパティと出力動作の割り当てられた名前を使用して制御システムの動作を記述するソフトウェア仕様方法を提供する。
VFSMメソッドは、実行モデルを導入し、実行可能な仕様の考え方を容易にします。この技術は、主に複雑な機械制御、計装および電気通信アプリケーションに使用されます。

Belt machine とは

コンピュータエンジニアリングおよびプログラミング言語の実装では、ベルトマシンは、個々のマシンプロセッサレジスタではなく先入れ先出し(FIFO)キューを使用してプログラム内の各部分式を評価する、実際のまたはエミュレートされたコンピュータです。ベルトコンピュータは、引数を明示的に指定するが暗黙的に結果を出力する命令セットを用いてプログラムされる。
ベルト機械の一般的な代替はレジスタマシンであり、各命令はオペランドの引数と結果の位置に使用する特定のレジスタを明示的に指定します。ベルトマシンは、プッシュダウンスタックを暗黙的に使用する引数と結果の両方を指定するスタックマシンに関連しています。他の選択肢は、目に見える一時レジスタを有するアキュムレータ・マシンと、目に見える一時レジスタを持たないメモリ – メモリ・マシンとである。
ベルトマシーンは、コンベアベルトに類推して、固定長のFIFOキューまたはベルトを備えた一時的なストレージを実装します。算術論理ユニット(ALU)および他の機能ユニットのオペランドは、ベルト上の任意の位置から取得され、計算結果はベルトの前方位置に落とされ(格納され)、ベルトを前進させて余裕を持たせる。ベルトが固定された長さであるため、前面の液滴は、背中から落ちる古いオペランドによってマッチします。プッシュオフされたオペランドはアクセス不能になり、後で作業するために必要な場合は明示的に保存する必要があります。命令セットのほとんどの動作は、データレジスタまたはメインメモリセルではなく、ベルト上のデータでのみ機能します。
addのような一般的な命令の場合、両方の引数オペランドがベルト上の明示的に指定された位置から来て、その結果が前面にドロップされ、次の命令の準備が整います。複数の結果を持つ操作では、ベルトの前面に多くの値がドロップされます。ほとんどのベルト命令は、結果レジスタ、メモリアドレス、またはリテラル定数を指定するためのフィールドを追加せずに、オペレーションコード(opcode)と2つのベルト位置としてのみエンコードされます。このエンコーディングは、2つ以上の入力または複数の結果でより豊かな操作に容易に拡張されます。定数オペランドは、別々のロード即値命令によってドロップされます。主ランダムアクセスメモリ(RAM)におけるプログラム変数の全てのアクセスは、1つのメモリアドレスを含む別々のロード命令またはストア命令に分離されるか、ベルトオペランドからそのアドレスを計算する何らかの方法で分離される。
すべてのベルトマシンには、ローカル変数とヒープにアクセスするためのロード/ストアオペコードのバリアントがあります。これはオフセット、ベルト上のポインタ、またはさまざまな専用ベースレジスタから行うことができます。同様に、ベルトから取り出された住所に分岐するための命令と、プログラムカウンタに対する分岐とがある。

FRACTRAN とは

FRACTRANは、数学者John Conwayによって考案されたチューリング完全な難解なプログラミング言語です。 FRACTRANプログラムは、最初の正の整数入力nと共に正の分数の順序付けられたリストです。整数nを次のように更新することによってプログラムが実行されます。
 nfが整数であるリストの最初の小数fについては、nをnfで置き換える。このルールを繰り返すと、nを乗算して停止するまで整数を生成しない。
数学の本では、ジョン・コンウェイとリチャード・ガイは、FRACTRANの素数の数式を与えました:
( 17 91 , 78 85 , 19 51 , 23 38 , 29 33 , 77 29 , 95 23 , 77 19 , 1 17 , 11 13 , 13 11 , 15 14 , 15 2 , 55 1 ) {\displaystyle \left({\frac {17}{91}},{\frac {78}{85}},{\frac {19}{51}},{\frac {23}{38}},{\frac {29}{33}},{\frac {77}{29}},{\frac {95}{23}},{\frac {77}{19}},{\frac {1}{17}},{\frac {11}{13}},{\frac {13}{11}},{\frac {15}{14}},{\frac {15}{2}},{\frac {55}{1}}\right)}
n = 2から始まるこのFRACTRANプログラムは、以下の整数列を生成します。
(OEIS中の配列A007542)、配列番号2、配列番号15、配列番号825、配列番号725、配列番号1925、配列番号22、
2の後、このシーケンスは2の次の累乗を含みます:
2 2 = 4 , 2 3 = 8 , 2 5 = 32 , 2 7 = 128 , 2 11 = 2048 , 2 13 = 8192 , 2 17 = 131072 , 2 19 = 524288 , {\displaystyle 2^{2}=4,\,2^{3}=8,\,2^{5}=32,\,2^{7}=128,\,2^{11}=2048,\,2^{13}=8192,\,2^{17}=131072,\,2^{19}=524288,\,\dots } (OEISにおける配列A034785)
それは2の主要な力です。

Communicating X-Machine とは

通信(ストリーム)Xマシンは、通信エージェントで構成されるシステムをモデル化するために、1990年代にさまざまな研究者によって導入された計算モデルです。このモデルはSamuel EilenbergのXマシンやGilbert LaycockのStream X-Machineに直接基づいています。

State (computer science) とは

情報技術とコンピュータサイエンスでは、前の出来事やユーザーのやりとりを覚えておくように設計されていると、プログラムはステートフルとして記述されます。記憶された情報はシステムの状態と呼ばれる。
システムが占有できる状態のセットは、その状態空間として知られています。離散システムでは、状態空間は数えられ、しばしば有限であり、システムの内部挙動またはその環境との相互作用は、入力の受け入れや出力の生成など、個別に発生する個々の動作またはイベントから成り立ちます。その状態を変更します。そのようなシステムの例は、デジタル論理回路および構成要素、オートマトンおよび形式言語、コンピュータプログラム、およびコンピュータである。デジタル回路またはコンピュータプログラムの出力は、いつでもその現在の入力およびその状態によって完全に決定される。

Nested stack automaton とは

オートマトン理論では、ネストされたスタックオートマトンは、追加のスタックとなることができるデータを含むスタックを利用できる有限オートマトンである。スタックオートマトンのように、ネストされたスタックオートマトンはスタック内で上下に動いて現在のシンボルを読み取ることができます。さらに、新しいスタックを作成し、そのスタックを操作し、最終的にスタックを破壊し、古いスタックで操作を続けることができます。このようにして、スタックは任意の深度に再帰的にネストできます。しかし、オートマトンは常に最も内側のスタックでのみ動作します。
ネストされたスタックオートマトンは、索引付けされた言語を認識することができ、実際には索引付き言語のクラスは、一方向の非決定的なネストされたスタックオートマトンによって受け入れられる言語のクラスです。
ネストされたスタックオートマトンは、計算能力が低い埋め込みプッシュダウンオートマトンと混同しないでください。

Stochastic computing とは

確率的コンピューティングは、ランダムビットのストリームによって連続的な値を表現する技法の集合です。複雑な計算は、ストリーム上の単純なビット単位の演算によって計算することができます。確率論的コンピューティングは、ランダム化アルゴリズムの研究とは異なる。

Communicating finite-state machine とは

コンピュータサイエンスでは、通信有限状態マシンは、あるアルファベットのチャンネルに「受信」および「送信」オペレーションが付いた有限状態マシンです。それらはBrandとZafiropuloによって導入され、ペトリネットのような並行プロセスのモデルとして使用できます。通信有限状態マシンは、有界性、デッドロック、および不特定の受信を含む主要なプロトコル設計エラーを検出することを可能にするので、通信プロトコルをモデル化するために頻繁に使用される。
有限状態機械を通信することの利点は、それらがそのような特性を検出するだけのレベルを超えて、通信プロトコルにおける多くの特性を決定することを可能にすることである。この利点は、人間の援助または一般性の制限の必要性を排除する。
2つの有限状態機械が1つのタイプのメッセージのみと通信するときに、有界性、デッドロック、および不特定の受信状態を決定し識別することができるという概念自体の導入によって証明されているまたはそれ以上の種類のメッセージ。後で、1つの有限状態マシンだけが単一のタイプのメッセージと通信している間に、そのパートナーの通信が制約されていない場合でも、有界性、デッドロックおよび不特定の受信状態を決定し特定することができることがさらに証明されている。
さらに、有限状態機械間の通信に2種類以上のメッセージが存在する状況においても、メッセージ優先度関係が空の場合に有界性、デッドロック、不特定受信状態を判定できることが証明されている。
有界性、デッドロック、および不特定の受信状態はすべて多項式時間で決定可能である(特定の問題は無限大の時間ではなく、扱いやすい形で解決できることを意味する)。
有限状態機械を伝えることは、伝播遅延が無視できない(一度に複数のメッセージが通過するようになる)状況、プロトコル当事者と通信媒体を別々のエンティティとして記述するのが自然な状況。

Computing with Memory とは

メモリによるコンピューティングとは、ファンクションレスポンスがルックアップテーブル(LUT)の形で1次元または2次元のメモリアレイに格納され、関数がLUTから値を取り出すことによって評価されるコンピューティングプラットフォームを指します。これらのコンピューティングプラットフォームは、フィールドプログラマブルゲートアレイ(FPGA)のような純粋に空間コンピューティングモデル、または複数のクロックサイクルにわたって機能が評価される時間計算モデルに従うことができます。後者のアプローチは、コンピューティング要素内で相互接続リソースを折り畳むことによって、FPGA内のプログラム可能な相互接続のオーバーヘッドを削減することを目指しています。高密度の2次元メモリアレイを使用して、大規模な多入力多出力LUTを格納します。メモリを使用したコンピューティングは、同じチップ上にプロセッサとメモリを統合してメモリのレイテンシを短縮し、帯域幅を拡大するという観点から広く検討されているメモリまたはプロセッサインメモリ(PIM)のコンセプトとは異なります。これらのアーキテクチャは、プロセッサとメモリ間のデータ移動距離を短縮しようとします。 Berkeley IRAMプロジェクトは、PIMアーキテクチャの分野で注目すべき貢献です。

Nets within Nets とは

ネット内のネットは、ペトリネットのファミリーに属するモデリング方法です。この方法は、他の種類のペトリネットとは、ペトリネットモデリングに基づいた適切な構造をトークンに提供する可能性によって区別されます。したがって、ネットは、さらにネットアイテムを含むことができ、移動して自ら発砲することができる。