| dbo:abstract
|
- Der Begriff Rechnerreversibilität oder englisch Reversible Computing bezeichnet eine Architektur für Computer, die (wenigstens näherungsweise) reversibel ist, bei deren Berechnungen also aus dem Endresultat auch der Anfangszustand wiederhergestellt werden könnte. Wichtigste Motivation für die Forschung an reversiblen Rechnerarchitekturen ist der Wunsch, die theoretische Grenze der Energieeffizienz der heutigen Rechnerarchitektur zu umgehen. Dies ist insbesondere im Hinblick auf den Bau von Quantencomputern interessant, da bei diesen die Wärmeentwicklung irreversibler logischer Schaltungen zu Fehlfunktionen führen würde. (de)
- Computación reversible es un modelo de computación en el que el es, hasta cierto punto, reversible. En un modelo que usa deterministas de un estado de la máquina abstracta a otro, una condición necesaria para la reversibilidad es que el diagrama de relación desde un estado (con probabilidades distintas a cero) a sus sucesores debe ser de uno a uno. La computación reversible es una forma de computación no convencional. (es)
- Le calcul réversible est un domaine de l'informatique qui s'intéresse au fait de pouvoir inverser (physiquement ou logiquement) un calcul. Il s'agit d'un domaine transversal, qui a des applications allant de l'architecture matérielle à l'algorithmique répartie en passant par le calcul quantique. D'un point de vue physique, cela implique que ce calcul n'implique pas de phénomène dissipatif conduisant à une augmentation de l'entropie ; bien qu'il soit physiquement impossible d'atteindre cet objectif du fait du second principe de la thermodynamique, s'en rapprocher permet l'augmentation de l'efficacité des processeurs. En effet, la puissance des processeurs peut être améliorée en augmentant leur fréquence d'horloge ; une limite à cette méthode est une tendance à la surchauffe. Un processeur capable de calculs peu dissipatifs, et donc générant peu de chaleur, permettra d'adopter une fréquence d'horloge plus élevée. D'un point de vue logique, cela implique de ne pas perdre d'information afin de pouvoir rétablir un état précédent du calcul. Par exemple, l'addition n'est pas réversible car si, en partant de 3 et 5, on peut calculer leur somme (3+5 = 8), on ne peut pas, en revanche, retrouver les deux opérandes à partir du résultat. En effet, 3 et 5 sont une possibilité, mais 2 et 6 une autre, et sans information supplémentaire, on ne peut pas retrouver les opérandes initiales. (fr)
- Reversible computing is any model of computation where the computational process, to some extent, is time-reversible. In a model of computation that uses deterministic transitions from one state of the abstract machine to another, a necessary condition for reversibility is that the relation of the mapping from states to their successors must be one-to-one. Reversible computing is a form of unconventional computing. Due to the unitarity of quantum mechanics, quantum circuits are reversible, as long as they do not "collapse" the quantum states they operate on. (en)
- 可逆計算（かぎゃくけいさん、英: Reversible computing）とは、可逆な、すなわち計算過程において常に直前と直後の状態が一意に定まる計算。可逆計算は、計算過程において情報が消失しないため非破壊的計算（Non-destructive computing）としても知られている。 (ja)
- La computazione reversibile è un modello di nel quale il processo di calcolo è invertibile.In particolare, si consideri una formalizzazione operazionale del calcolo, ad esempio ad automi, dove una funzione di transizione descrive l'evoluzione della macchina da uno stato ad un altro.Affinché il calcolo sia reversibile, la funzione deve necessariamente essere iniettiva. Vi sono due tipi di reversibilità che si cerca di ottenere: la reversibilità fisica e quella logica. La reversibilità fisica consentirebbe di ottenere dei risultati senza aumentare l'entropia del sistema. Per poter essere reversibile fisicamente un calcolatore deve essere anche logicamente reversibile, come affermato da Rolf Landauer (it)
- Обратимые вычисления (англ. reversible computing) — модель вычислений, в которой процесс вычисления является в некоторой степени обратимым. Например, в вычислительной модели, использующей наборы состояний и переходов между ними, необходимым условием обратимости вычислений является возможность построения однозначного (инъективного) отображения каждого состояния в следующее за ним. На XX век и начало XXI века обратимые вычисления обычно относят к нетрадиционным моделям вычислений. (ru)
- Оборотні обчислення - це модель обчислень, де обчислювальний процес певною мірою є оборотним у часі. У моделі обчислень, яка використовує детерміновані переходи від одного стану абстрактної машини до іншого, необхідною умовою оборотності є те, що відношення відображення з станів (з ненульовою імовірністю) до їх наступників має бути один до одного. Оборотні обчислення - це форма нетрадиційних обчислень. (uk)
- 可逆計算（英語：Reversible Computing），是一種計算模型，它的計算過程是可逆的。在這種計算模型中，使用的能量很低，熵的增加會最小化，換句話說，它幾乎不會產生額外的熱。 在可逆計算模型中，轉換函數的前一個狀態，與下一個狀態之間的關係，是一對一的反函數。因此，它的邏輯閘，除了產生出我們想要的答案之外，還需要包含許多額外的位元，用以記憶運算的歷史。最早提出可逆計算的先驅，是IBM的工程師（Rolf Landauer）。 (zh)
|
| rdfs:comment
|
- Computación reversible es un modelo de computación en el que el es, hasta cierto punto, reversible. En un modelo que usa deterministas de un estado de la máquina abstracta a otro, una condición necesaria para la reversibilidad es que el diagrama de relación desde un estado (con probabilidades distintas a cero) a sus sucesores debe ser de uno a uno. La computación reversible es una forma de computación no convencional. (es)
- Reversible computing is any model of computation where the computational process, to some extent, is time-reversible. In a model of computation that uses deterministic transitions from one state of the abstract machine to another, a necessary condition for reversibility is that the relation of the mapping from states to their successors must be one-to-one. Reversible computing is a form of unconventional computing. Due to the unitarity of quantum mechanics, quantum circuits are reversible, as long as they do not "collapse" the quantum states they operate on. (en)
- 可逆計算（かぎゃくけいさん、英: Reversible computing）とは、可逆な、すなわち計算過程において常に直前と直後の状態が一意に定まる計算。可逆計算は、計算過程において情報が消失しないため非破壊的計算（Non-destructive computing）としても知られている。 (ja)
- Обратимые вычисления (англ. reversible computing) — модель вычислений, в которой процесс вычисления является в некоторой степени обратимым. Например, в вычислительной модели, использующей наборы состояний и переходов между ними, необходимым условием обратимости вычислений является возможность построения однозначного (инъективного) отображения каждого состояния в следующее за ним. На XX век и начало XXI века обратимые вычисления обычно относят к нетрадиционным моделям вычислений. (ru)
- Оборотні обчислення - це модель обчислень, де обчислювальний процес певною мірою є оборотним у часі. У моделі обчислень, яка використовує детерміновані переходи від одного стану абстрактної машини до іншого, необхідною умовою оборотності є те, що відношення відображення з станів (з ненульовою імовірністю) до їх наступників має бути один до одного. Оборотні обчислення - це форма нетрадиційних обчислень. (uk)
- 可逆計算（英語：Reversible Computing），是一種計算模型，它的計算過程是可逆的。在這種計算模型中，使用的能量很低，熵的增加會最小化，換句話說，它幾乎不會產生額外的熱。 在可逆計算模型中，轉換函數的前一個狀態，與下一個狀態之間的關係，是一對一的反函數。因此，它的邏輯閘，除了產生出我們想要的答案之外，還需要包含許多額外的位元，用以記憶運算的歷史。最早提出可逆計算的先驅，是IBM的工程師（Rolf Landauer）。 (zh)
- Der Begriff Rechnerreversibilität oder englisch Reversible Computing bezeichnet eine Architektur für Computer, die (wenigstens näherungsweise) reversibel ist, bei deren Berechnungen also aus dem Endresultat auch der Anfangszustand wiederhergestellt werden könnte. (de)
- La computazione reversibile è un modello di nel quale il processo di calcolo è invertibile.In particolare, si consideri una formalizzazione operazionale del calcolo, ad esempio ad automi, dove una funzione di transizione descrive l'evoluzione della macchina da uno stato ad un altro.Affinché il calcolo sia reversibile, la funzione deve necessariamente essere iniettiva. Vi sono due tipi di reversibilità che si cerca di ottenere: la reversibilità fisica e quella logica. (it)
- Le calcul réversible est un domaine de l'informatique qui s'intéresse au fait de pouvoir inverser (physiquement ou logiquement) un calcul. Il s'agit d'un domaine transversal, qui a des applications allant de l'architecture matérielle à l'algorithmique répartie en passant par le calcul quantique. (fr)
|
