年 〜
年

検索結果 16 件

グラフからマルチセットへの時相論理を用いた抽象化

グラフからマルチセットへの時相論理を用いた抽象化
紙図書
萩谷昌己, 東京大学 [著][萩谷昌己]2006-2007<Y151-H18500003>
国立国会図書館
  • 件名シェイプ解析 / 静的解析 / 停止性解析 / モデル検査 / 様相論理

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
紙図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2006-2007<Y151-H18500023>
国立国会図書館
  • 件名形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制御 / XML / セキュリテ...

ピン柱および剛接柱からなるブレ-ス付鋼骨組の設計法の開発

ピン柱および剛接柱からなるブレ-ス付鋼骨組の設計法の開発
紙図書
内田, 保博, 鹿児島大学2001-2002<Y151-H13650634>
国立国会図書館
  • 件名筋違付鋼骨組 立体 ピン柱 耐力低下 偏心 安定性 静的解析 動的解析

携帯用電子機器のマイクロはんだ接合部の衝撃強度評価に関する研究

携帯用電子機器のマイクロはんだ接合部の衝撃強度評価に関する研究
紙図書
白鳥, 正樹, 横浜国立大学1999-2000<Y151-H11555029>
国立国会図書館
  • 件名電子デバイス 落下衝撃 衝撃破壊寿命 静的解析 動的解析 衝撃破断試験

アクティブソフトウェアの設計検証手法に関する研究

アクティブソフトウェアの設計検証手法に関する研究
紙図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2004-2005<Y151-H16500019>
国立国会図書館
  • 件名形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制御 / 静的解析 / 実行履歴 / 形式言語 / セキュリティポリシー

線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究

線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究
紙図書
米澤, 明憲, 東京大学1994-1995<Y151-H06452389>
国立国会図書館
  • 件名並行計算 線形論理 並列オブジエクト指向 静的解析

座屈拘束ブレースを対象とした準静的非線形解析の適用可能性に関する研究 : その2 : 解析結果

座屈拘束ブレースを対象とした準静的非線形解析の適用可能性に関する研究 : その2 : 解析結果
デジタル文書・図像類
木藤, 一輝, 島本, 崇史, 吉永, 光寿, 戸張, 涼太, 山岡, 賢史, 薩川, 恵一愛知工業大学耐震実験センター2022-10-31愛知工業大学耐震実験センター年次報告書＝Annual Report of the Seismic Resistance Experiment Centervol.14p.68-69
全国の図書館
  • 件名座屈拘束ブレース 拘束効果 座屈モード 繰返し載荷 準静的解析

座屈拘束ブレースを対象とした準静的非線形解析の適用可能性に関する研究 : その1 : 解析概要

座屈拘束ブレースを対象とした準静的非線形解析の適用可能性に関する研究 : その1 : 解析概要
デジタル文書・図像類
島本, 崇史, 木藤, 一輝, 吉永, 光寿, 戸張, 涼太, 山岡, 賢史, 薩川, 恵一愛知工業大学耐震実験センター2022-10-31愛知工業大学耐震実験センター年次報告書＝Annual Report of the Seismic Resistance Experiment Centervol.14p.66-67
全国の図書館
  • 件名座屈拘束ブレース 拘束効果 座屈モード 繰返し載荷 準静的解析

地盤-構造物系の地震時挙動のシユミレーシヨンにおける地震前の初期応力状態の重要性

地盤-構造物系の地震時挙動のシユミレーシヨンにおける地震前の初期応力状態の重要性
紙図書
太田, 秀樹, 金沢大学1996-1997<Y151-H08455220>
国立国会図書館
  • 件名地震 応力 不覚乱 構成モデル 土/水連成解析 静的解析 動的解析 力学試験

有限要素法を用いた座屈拘束ブレースの拘束効果に関する基礎的研究

有限要素法を用いた座屈拘束ブレースの拘束効果に関する基礎的研究
デジタル文書・図像類
太田, 幹久, 木藤, 一輝, 薩川, 恵一, 戸張, 涼太, 山岡, 賢史愛知工業大学耐震実験センター2021-10-31愛知工業大学耐震実験センター年次報告書＝Annual Report of the Seismic Resistance Experiment Centervol.13p.64-65
全国の図書館
  • 件名座屈拘束ブレース 一方向載荷 拘束効果 座屈モード 繰返し載荷 準静的解析

言語組込みアクセス制御の高信頼化に関する研究 : 平成22年度実績報告書

言語組込みアクセス制御の高信頼化に関する研究 : 平成22年度実績報告書
デジタル文書・図像類
関, 浩之奈良先端科学技術大学院大学2011
インターネットで読める全国の図書館
  • 件名アクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析

言語組込みアクセス制御の高信頼化に関する研究 : 平成20年度-22年度研究成果報告書

言語組込みアクセス制御の高信頼化に関する研究 : 平成20年度-22年度研究成果報告書
デジタル文書・図像類
関, 浩之奈良先端科学技術大学院大学2011
インターネットで読める全国の図書館
  • 件名アクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析

言語組込みアクセス制御の高信頼化に関する研究

言語組込みアクセス制御の高信頼化に関する研究
デジタル文書・図像類
関, 浩之奈良先端科学技術大学院大学2009
インターネットで読める全国の図書館
  • 件名アクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書
デジタル文書・図像類
関, 浩之奈良先端科学技術大学院大学2008
インターネットで読める全国の図書館
  • 件名形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ 実行履歴 XML

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書
デジタル文書・図像類
関, 浩之奈良先端科学技術大学院大学2008
インターネットで読める全国の図書館
  • 件名形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ 実行履歴 XML

地盤-構造物系の地震時挙動のシミュレーションにおける地震前の初期応力状態の重要性

地盤-構造物系の地震時挙動のシミュレーションにおける地震前の初期応力状態の重要性
デジタル文書・図像類
太田, 秀樹, Ohta, Hideki1999-03-15平成9(1997)年度 科学研究費補助金 基盤研究(B) 研究成果報告書概要 = 1997 Fiscal Year Final Research Report Summary1996 – 1997p.2p.-
全国の図書館
  • 件名地震 応力 不覚乱 構成モデル 土 水連成解析 静的解析 動的解析 力学試験 constitutive model ...
  • 一般注記...につれ,従来個別に解析してきた静的解析と動的解析との関係を検討することができた. A series...

検索結果は以上です。