論文の概要: Demonstration of 3 V Programmable Josephson Junction Arrays Using
Non-Integer-Multiple Logic
- arxiv url: http://arxiv.org/abs/2402.16072v1
- Date: Sun, 25 Feb 2024 11:49:48 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-27 15:20:37.133986
- Title: Demonstration of 3 V Programmable Josephson Junction Arrays Using
Non-Integer-Multiple Logic
- Title（参考訳）: 非整数多重論理を用いた3vプログラマブルジョセフソン接合アレイの実証
- Authors: Wenhui Cao, Erkun Yang, Jinjin Li, Huan Qiao, Yuan Zhong, Qing Zhong,
Da Xu, Xueshen Wang, Xiaolong Xu, Shijian Wang and Jian Chen
- Abstract要約: 本稿では、プログラマブルなジョセフソン電圧標準に使用できる整数表現のための新しい種類のプログラマブル論理を実証する。
これは、ほとんどのビットにおけるジャンクションの数を、通常のバイナリ論理や三項論理とは異なる可変整数値にすることができる。
超伝導短絡による短絡の欠落は、この論理の下で許容することができる。
- 参考スコア（独自算出の注目度）: 19.582439018570764
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This article demonstrates a new kind of programmable logic for the
representation of an integer that can be used for the programmable Josephson
voltage standard. It can enable the numbers of junctions in most bits to be
variable integer values, which is different from normal binary logic or ternary
logic. Consequently, missing junctions due to superconducting short circuits
can be tolerated under this logic. This logic can also have nearly the same
segmentation efficiency as ternary logic. The completeness of the sequences
using this logic is proven by the recursive method in mathematics in this
paper. After that, a new algorithm for the representation of integers is
presented according to the proven process, and an analysis of the number of
fault-tolerant junctions for each bit is provided. Although the first and
second bits are not tolerant to missing junctions, bits beyond these can
tolerate one to hundreds of missing junctions. Due to the non-fixed multiples
between the bits of the sequence, this logic is called non-integer-multiple
logic. Finally, the design and fabrication of a 3 V programmable Josephson
junction array using this logic are described, and the measurements and
analysis of the characteristic parameters are presented.
- Abstract（参考訳）: 本稿では、プログラマブルなジョセフソン電圧標準に使用できる整数表現のための新しい種類のプログラマブル論理を実証する。
ほとんどのビット内のジャンクションの数を、通常のバイナリ論理や三元論理とは異なる可変整数値にすることができる。
したがって、超伝導短絡によるジャンクションの欠如は、この論理の下で許容される。
この論理は三元論理とほとんど同じセグメンテーション効率を持つこともできる。
この論理を用いた列の完全性は, 数学における再帰法によって証明される。
その後、証明されたプロセスに従って整数表現のための新しいアルゴリズムを示し、各ビットに対する耐故障ジャンクションの数の解析を行う。
第1および第2のビットはジャンクションの欠如に寛容ではないが、これら以外のビットは1から数百のジャンクションの欠落を許容する。
列のビット間の非固定多重のため、この論理は非整数多重論理(non-integer-multiple logic)と呼ばれる。
最後に、この論理を用いた3vプログラマブルジョセフソン接合アレイの設計と作製について述べ、特性パラメータの測定と解析について述べる。
関連論文リスト
- Boolean Matching Reversible Circuits: Algorithm and Complexity [16.397487896227766]
入力否定と置換の同値性は量子時間では可逆であり、古典的な複雑性は指数関数的であることを示す。
この結果は、自動化問題の解決における量子指数的スピードアップの初めての実証である。
論文 参考訳（メタデータ） (2024-04-18T13:47:17Z) - LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers [60.009969929857704]
論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。
本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。
我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
論文 参考訳（メタデータ） (2023-10-23T17:58:40Z) - A Circuit Complexity Formulation of Algorithmic Information Theory [1.5483078145498086]
インダクティブ推論のソロモノフ理論に着想を得て,回路複雑性に基づく先行モデルを提案する。
回路複雑性によって測定された単純な説明に対する帰納的バイアスがこの問題に適切であると主張する。
論文 参考訳（メタデータ） (2023-06-25T01:30:37Z) - A separation logic for sequences in pointer programs and its
decidability [5.229882716833972]
ヒープ制御プログラムの論理的推論にシーケンスを組み込んだシーケンスヒープ分離論理を提案する。
シーケンス変数とシングルトンヒープ格納シーケンスの量子化は、私たちの論理における新しいメンバーである。
シーケンス-ヒープ分離論理の命題的断片は決定可能であり、プログラム変数が2回、シーケンス変数が1回変更される断片は決定不可能である。
論文 参考訳（メタデータ） (2023-01-16T02:52:06Z) - A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
ほとんどの人造システム、特にコンピュータは決定論的に機能する。
本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
論文 参考訳（メタデータ） (2022-09-08T17:55:30Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Optimization-based Block Coordinate Gradient Coding for Mitigating
Partial Stragglers in Distributed Learning [58.91954425047425]
本稿では,分散学習における部分トラグラーの緩和を目的とした,新たな勾配符号化方式を提案する。
L の符号パラメータを L に表わした勾配座標符号化方式を提案する。
論文 参考訳（メタデータ） (2022-06-06T09:25:40Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳（メタデータ） (2021-09-25T00:00:47Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳（メタデータ） (2021-08-10T15:00:20Z) - Low-overhead pieceable fault-tolerant construction of logical
controlled-phase circuit for degenerate quantum code [11.106110829349221]
我々は、量子コードのための論理制御相ゲートの非可逆かつフォールトトレラントな構成を探索する。
この符号には3ピースのフォールトトレラントな論理CZ回路がある。
論文 参考訳（メタデータ） (2021-05-15T04:06:12Z) - Logical-qubit operations in an error-detecting surface code [0.0]
我々は、繰り返しエラー検出サイクルを用いて安定化された距離2の論理量子ビット上の論理演算セットを実現する。
各種類の動作に対して、フォールトトレラント変種に対する非フォールトトレラント変種よりも高い性能を観測する。
論文 参考訳（メタデータ） (2021-02-25T18:40:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。