C-RECS （Creative Repository of Electro-Communications)
Not a member yet
9371 research outputs found
Sort by
Design Methods on Reverse Supply Chain Network for Sustainable Material Recovery Using Multi Criteria Decision Making
Get PDF電気通信大学博士（工学）2023doctoral thesi
A comprehensive study of the effect of fundamental design parameters on freeze plug performance in molten salt reactors
Get PDF電気通信大学博士（工学）2023doctoral thesi
Research on Minimal System-on-Chip (SoC) for IoT Wireless Sensor Network
No full text電気通信大学修士2023thesi
Coordinated Flight Path Generation and Fuzzy Model-Based Control of Multiple Unmanned Aerial Vehicles in Windy Environments
Get PDFThis paper presents a new approach to coordinated flight path generation and control of multiple unmanned aerial vehicles (UAVs). A key feature of this paper is to present a new method for generating plural complicated paths and for achieving coordinated path following control of multiple UAVs in windy environments. To coordinate among plural flight paths for multiple UAVs, this paper newly introduces ratio parameters and path-length variables that are able to easily express a wide variety of complicated flight paths. Using the ratio parameters and path-length variables, kinematic models of UAVs defined on Serret–Frenet frame are exactly converted into augmented Takagi–Sugeno (T-S) fuzzy models in considered operation domains of UAVs. Stabilization conditions for the augmented T-S fuzzy models are derived in terms of linear matrix inequalities and are utilized to obtain stable feedback gains of the T-S fuzzy controllers. Finally, the simulation results demonstrate that the designed controllers can stabilize the UAVs on complicated paths in coordinated flight under windy environments.journal articl
Roles of structural defects in polycrystalline platinum nanowires for enhanced oxygen reduction activity
Get PDFNanocatalysts have uneven reactivity and lively change in reactions, challenging revealing catalytic origins. Phenomenologically, Pt-based nanowires, one of the most important nanostructures, have displayed high activity for oxygen reduction reaction (ORR); however, the fundamentally catalytic origin behind such high performance remains elusive and was implicitly ascribed to one-dimensional structure and/or low-index facets. Here, with molecular-level and operando spectroscopic evidence, we reveal that the polycrystalline platinum nanowires with enhanced ORR activity are closely correlated with structural defects including grain boundaries (GBs), atomic steps, and a few amorphous regions, which is previously neglected or simplified. The local micro-strain is induced by GBs and increases with misorientation angles of GBs. Despite the same coordination number between edge sites and atomic steps, the latter together with a few amorphous regions disturb interfacial water networks via preferably hydrogen bonding, which destabilizes ORR intermediates on terraces and presumably promotes proton transfer.journal articl
インタプリタとコンパイラ生成コードの対比によるコンパイラ実行時環境理解支援ツール
Get PDF電気通信大学修士2022コンピュータ教育においてプログラム実行を可視化することが有用であることは、いくつかの研究により証明されている。そのため、多くのアルゴリズム可視化ツールが開発されている。これらのツールは、コンピュータプログラミングに初めて挑戦する学習者を対象としている。一方で、言語処理系の初学者にとっては、コンパイラやインタプリタの動きを理解するのを助ける可視化ツールはあまりない。類推的思考は、新しい知識の習得効率を改善することができる。例えば、C++言語を学んだプログラマがJava言語を学ぶとき、C++言語の知識を類推することで、Javaにすばやく取り組める。これは処理系を学ぶ学習者にも当てはまる。学習者はまずインタプリタの構造を学び理解し、その後コンパイラや仮想マシン(VM)を学ぶケースがよくある。インタプリタとコンパイラを類推すると、インタプリタの構造を理解することができる学習者は、コンパイラの対応する部分の原理もすばやく理解できると期待される。しかし、実際の実行では、インタプリタとVMの動作はかけ離れており、学習者には難しいと感じることがある。その具体的要因の一つは，関数呼出しや変数束縛の環境がVM上でどう実現されているかの理解不足（実行時環境の理解不足）にあると考える。これを踏まえて、本研究では、Scheme言語の処理系の初学者が実行時環境を理解するのを助けるために、ソースプログラムをコンパイルして生成されるコードのVM上での実行と，同一ソースプログラムのインタプリタによる実行を，同時並行・同期的にステップ実行しつつ，可視化した双方の環境等を並べて見せるツールを実装した。さらに、今回用いた対象処理系以外の処理系にも可視化機能を容易に組み込めるように込みマクロで簡単に自分の処理系が視覚化できる。thesi
公開鍵暗号における鍵漏洩耐性の再考
Get PDF電気通信大学修士2022我々が普段インターネット上でデータを通信する際, データを暗号化してから通信しているが,暗号技術は多くの場合秘密鍵が漏洩しないことを想定して設計されている. しかし, サイドチャネル攻撃を始めとした現実の攻撃を考えるとそのような想定は必ずしも正しくない. そのため,秘密鍵が漏洩したとしても安全性を保証する暗号技術の実現は重要な研究課題の一つである. 秘密鍵の漏洩に対する解決策として, 秘密鍵の更新機能や部分的な漏洩に対する耐性を持たせること, 必要最低限の機能性を持たせた秘密鍵の使用が挙げられる. しかし, それぞれの解決策には課題が存在する. セキュアメッセージングへの応用を目的として, Jostら(EUROCRYPT'19)とAlwenら(CRYPTO'20)によって提案された, 秘密鍵の更新が可能である鍵更新可能公開鍵暗号(Updatable Public Key Encryption; UPKE)は, 実応用が期待されているのにも関わらず, 実効率の面では改善の余地が残されている. また, 漏洩が発生する現実的な状況を考えた場合, 秘密鍵の更新機能と部分的な漏洩に対する耐性のどちらかの機能では不十分である. そして, 必要最低限の機能性を秘密鍵に持たせられる暗号技術として, 平文一致確認可能属性ベース暗号(Attribute-Based Public Key Encryption; ABEET)があるが, 既存の属性ベース暗号(Attribute-Based Encryption; ABE)では達成できている特性をABEETでは達成できていない.
本研究では, まず, ランダムオラクルモデルにおける効率的なUPKE 方式の一般的構成法を提案する. 提案構成法にJostらのCPA安全なUPKE方式を適用することで, 最も高い効率性を達成するCCA安全UPKE方式を得ることができる. 次に, 秘密鍵の更新機能と部分的な漏洩に対する耐性の両方を併せ持った新しい暗号技術である, 漏洩耐性鍵隔離暗号(Leakage-Resilient Key-Insulated Encryption; LR-KIE)の安全性定義とその構成を提案する. 最後に, 委譲可能性を持つABEを用いたABEETの一般的構成法を提案し, 既存方式では未達成の特性を持つ様々なABEET方式を得ることができる.thesi
