[論文レビュー] Molecular Programming Pseudo-code Representation to Molecular Electronics

Manas Ranjan Pradhan, E. G. Rajan|arXiv (Cornell University)|May 21, 2010

Molecular Junctions and Nanostructures参考文献 8被引用数 3

ひとこと要約

本論文は、分子エレクトロニクスデバイスの設計を目的として、有機分子を用いた整流ダイオードおよびANDゲートのような論理ゲートを焦点に、分子プログラミングのための擬似コード表現を導入する。これは、分子計算を形式化する汎用的な計算モデルを確立し、高水準プログラミング抽象化を用いて、分子スケールの論理回路を体系的かつシミュレーション可能に設計することを可能にする。

ABSTRACT

This research paper is proposing the idea of pseudo code representation to molecular programming used in designing molecular electronics devices. Already the schematic representation of logical gates like AND, OR, NOT etc.from molecular diodes or resonant tunneling diode are available. This paper is setting a generic pseudo code model so that various logic gates can be formulated. These molecular diodes have designed from organic molecules or Bio-molecules. Our focus is on to give a scenario of molecular computation through molecular programming. We have restricted our study to molecular rectifying diode and logic device as AND gate from organic molecules only.

研究の動機と目的

• 分子エレクトロニクスデバイスの設計を簡素化するための標準化された擬似コード抽象化を構築すること。
• 分子スケールの論理回路および整流子に対する高水準プログラミングインターフェースの欠如に対処すること。
• 形式化された計算モデルを用いて、分子論理ゲートの体系的かつ形式的な定式化とシミュレーションを可能にすること。
• 有機分子およびバイオ分子を、分子ダイオードおよび論理デバイスの構築ブロックとして焦点にすること。
• 分子エレクトロニクスに適用可能な構造的プログラミングパラダイムを通じて、分子計算の基盤を確立すること。

提案手法

• AND、OR、NOTなどの分子論理操作を、分子コンponentsを用いて表現する汎用的な擬似コードモデルを設計すること。
• 有機分子を基本構築ブロックとして用い、一方向の電流流れを実現する分子整流ダイオードを定義すること。
• アルゴリズム的抽象化を通じて、論理ゲート動作（例：ANDゲート）を分子構成にマッピングすること。
• 物理的量子力学から抽象化された高水準プログラミング構文を用いて、分子デバイスの組み立てと機能を記述すること。
• 図式的表現と実行可能に似た擬似コードを統合し、設計と検証を可能にすること。
• 化学的妥当性と既存の合成法との適合性を確保するため、モデルを有機分子およびバイオ分子に限定すること。

実験結果

リサーチクエスチョン

• RQ1 どのように高水準の擬似コード抽象化を定義することで、分子エレクトロニクスにおける分子論理操作を表現できるか？
• RQ2 擬似コードを用いて分子整流子および論理ゲートをモデル化するための、主要な構成要素と構造的ルールは何か？
• RQ3 体系的な分子スケールの電子回路設計を可能にする形式的プログラミングモデルを確立できるか？
• RQ4 擬似コードモデルは、図式的表現から実行可能な分子回路設計への移行をどのように促進するか？
• RQ5 提案されたフレームワークにおいて、有機分子のみを用いてANDゲートのような論理ゲートを実装する際の制限と実現可能性は何か？

主な発見

• 提案された擬似コードモデルは、ANDゲートを含む分子論理ゲートの設計を、高水準の抽象化を用いて形式的に成功裏に実現した。
• モデルは、有機分子を基本構成要素として用いた分子整流ダイオードの表現を可能にした。
• 擬似コード構文を通じて、論理演算と分子構成の明確なマッピングが確立された。
• フレームワークは、図式的表現に依存しない体系的かつスケーラブルな分子回路設計アプローチを提供し、その効果を高めた。
• 本アプローチは、将来的な分子エレクトロニクスシステムのシミュレーションおよび検証ツールとの統合を支援する。
• 本研究は、プログラミングに類似した抽象化を用いて、分子スケールの電子デバイスのモデル化と設計が可能であることを示した。