On the fly による最適化
JAIST Repository: Efficient "on the fly" signature schemes based on integer factoring
... GPS-scheme), the proposed schemes are so-called “on the fly” signature schemes, that is, it does not require modulo reduction in the signature genera- tion ...in the random oracle model. ...
13
JAIST Repository: On-the-fly Model Checking of Security Protocols
... in the modern world, to ensure security protocols to be more reliable, and to speed up the development of new protocols, it is important to have tools that support the activity of finding flaws in ...
3
JAIST Repository: On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
... Implementation by Maude According to Theorems 4 and 5, we can detect the specifications for security properties by generating the satisfiable normal form set of each parametric trace that [r] ...
27
JAIST Repository: On-the-fly Model Checking Security Protocols and Its Implementation by Maude
... Unchangeable messages • An unchangeable message (UM) is an encrypted input message such that its key is not leaked in the environment. • A parametric variable in an unchangeable message cannot be instantiated to ...
33
PDFファイル 2D1 「遺伝的アルゴリズムによる最適化・AI応用」
... in the investigation of seismic ...to the task of generating earthquake forecast models based on cat- alog ...based on the framework laid out by the Collaboratory for the ...
4
PDFファイル 2D1 「遺伝的アルゴリズムによる最適化・AI応用」
... using the past image information which was evaluated by uses. Finally, the system shows the best cell image which is fitted to users ’ ...are the same, it can be pointed out that the ...
3
比較推定による最適化アルゴリズムの効率性向上(最適化問題における確率モデルの展開と応用)
... “Minimizing the real functions of the $ICEC’ 96$ contest by differential evolu- tion”, ...of the International Conference on Evolutionary Computation, ...
12
PDFファイル 2D1 「遺伝的アルゴリズムによる最適化・AI応用」
... The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014 こ の 非 対 応 領 域 を 抽 出 す る た め の ，線 形 重 回 帰 分 析 [Draper 66] を用いた非対応性の度合いを表す指標 N L の算 出法を以下に示す． ...
4
Cisco Application Control Engine によるOracle GRID Center の最適化
... さらに、複数のワークロード（アプリケーション）をこの 1 つのクラスタ・システム上 に展開し、これらのワークロードに割り当てるリソースを迅速に変化させることができま す。グリッド・コンピューティングにより IT 基盤を統合し共通化すると、システム拡張の 際に共通基盤を活かした開発を行うことができるため、柔軟かつ迅速に拡張を実施できま す。ビジネスのスピードにあわせた迅速なシステムの対応が可能となります。 ...
16
一般化セミマルコフ過程による生産ラインの解析(数理モデルにおける最適化理論)
... 生産システムをはじめ , 多くの現実のモデルは , 状態が離散空間で , 異なる事象が並行して進行 し , 事象が生起したときのみシステムの状態が変化する離散事象システム (Discrete Event System) として扱うことができる . 離散事象システムに関する解析手法として, 一般化セミマルコフ過程 が , ペトリネットモデ ) や , perturbation analysis とともに知られている . ...
10
適応的核密度推定による最適ソフトウェア若化スケジューリング(最適化問題における確率モデルの展開と応用)
... [9] 土肥 正 , 海生直人, 尾崎俊治, “コスト有効性に基づいた通信ソフトウェアシステムに対する予防保全ス ケジュールの決定 , ’ 信学論 (A), vol.J85-A, no.2, pp.197-206, Feb. 2002. [10] K. Rinsaka and T. Dohi, “Behavioral analysis of a fault-tolerant software system with ...
14
数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
... 図 1: REDLOG 実行画面 Mathematica: 商用の数式処理システム Mathematica では CAD, VS による QE コマンド (Reduce, Resolve) が使用できる． QE コマンドでは InequalitySolvingOptions グループのシステムオプションを設定 することで VS の使用等のスイッチを設定することができる．また QE の実行結果をそのまま描画コマンド ...
11
マルチマテリアルトポロジー最適化による荷重条件下の車両フレームのモード減衰比最大化
... Keywords : Topology optimization, Projection method, Damping ratio, Multi-material, Viscoelastic material 1. 緒 言 近年，自動車では電動化が進み，駆動系からの騒音が低減されている．一方，路面とタイヤとの間で発生する 振動がフレーム等の構造部材を伝わることによって発生するロードノイズが車内快適性を損なう大きな要因とし ...
12
最適意思決定問題のDNAコンピューティングによる解法 (決定理論と最適化アルゴリズム)
... のため、 計算機アルゴリズムでは並列計算法が研究されており、 ハードウエアーの開発が行われ ており、 von Neuman 型計算機の限界を超える努力がなされている。 本論分では、 DNA のシークエンシングの機能を用いて解を説く方法が、 1994 年にアドルマン がハミルトン問題を解いたことで、関心が高まっている。本論分では、 DNA によるコンピューテ ...
14
遺伝的アルゴリズムによるネットワーク接続の最適化
... Title 遺伝的アルゴリズムによるネットワーク接続の最適化 Author(s) 加藤 友彦 Citation 福岡工業大学研究論集 第41巻第1号 P7-P10 Issue Date 2008-9 URI http://hdl.handle.net/11478/968 Right. Type Departmental Bulletin Paper[r] ...
5
Millerの最適オブザーバ併合系の実験による考察 : 二重倒立振子の安定化制御において: University of the Ryukyus Repository
... 琉球大学工学部紀要節34号,1987年 ２１７ プザーバ併合系に比べてロバストな制御系である といえる。今後はこのMillerのオブザーバ併合系 のロバスト性について理論的検証を行っていきた い、 8．あとがき 本稿においては、当研究室で作製した二通倒立振 子の安定化､１１御実験において，Millerの股適オブ ザーバ(沖合系がMillerの職適オブザーバと同一のオ ブ[r] ...
11
プラズマ流動システムのマルチスケール統合化による最適制御
... EvaluationofIn−flightParticle Process Using a SmallPower DCLRF Hybrid Plasma FlowSystem. Abstractsofthe18thInternationalSympoSiumonPlasmaChemistry，（2007−8），P，608・[r] ...
15
マルチスタート単体法による多峰関数の最適化 (21世紀の数理計画 : 最適化モデルとアルゴリズム)
... Nelder-Mead 法は $D$ 上に与えられる $n$ 次元単体の各端点における目的関数 $f$ の値のみを用 いて最適化を行う。与えられた初期単体に対して、終了条件が満たされるまで、 Reflect, Ex- pand, Contract, Shrink の各基本操作を行い、 単体を更新して、 解を改善していく。 以下に Nelder-Mead 法のアルゴリズム [5] を示す。 ...
10
統合FPGA デザイン・フローによるモーター制御デザインの最適化
... ルを生成します。これらのツールは、 Verilog HDL か VHDL のいずれかを生成します。 これらのシステム統合ツールは、 Avalon インタフェースを使用して論理デバイス（オ ンチップまたはオフチップ）を接続します。モーター・システムでの Avalon インタ フェースは、ソフト・プロセッサをドライブ・システムの他の要素と接続します。こ ...
16
数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
... ここでは数式処理と区別するため浮動小数点を用いた従来の最適化手法を数値手法と呼ぶ．数値手法は高 速に計算ができるため活発に研究されているが，数値手法だけを用いて非凸な問題やパラメトリック最適化 問題多目的最適化問題について十分な精度をもった結果を得ることは困難である． 数式処理のアルゴリズムのひとつである限量記号消去 (Quantifier ...
11