本文に飛ぶ

年 〜
年

検索結果 13 件

構成的プログラミングにおける最適化の研究

構成的プログラミングにおける最適化の研究
紙図書
林, 晋, 神戸大学1996-1997<Y151-H08680367>
国立国会図書館
  • 件名プログラム検証 プログラム合成 形式的方法

対象系のシミユレーシヨンに基づくプログラム理解とそのプログラム開発支援への応用

対象系のシミユレーシヨンに基づくプログラム理解とそのプログラム開発支援への応用
紙図書
伊東, 幸宏, 静岡大学1996-1997<Y151-H08680393>
国立国会図書館
  • 件名プログラム理解 対象世界モデル プログラム検証

地震時の高速走行鉄道車両と軌道構造との連成振動・衝撃現象の数値解析法の開発と解明

地震時の高速走行鉄道車両と軌道構造との連成振動・衝撃現象の数値解析法の開発と解明
紙図書
田辺誠, 神奈川工科大学 [著][田辺誠]2005-2007<Y151-H17560215>
国立国会図書館
  • 件名鉄道車両と橋梁の連成振動 / 地震 / 数値計算法 / マルチボディダイナミックス / 車輪とレール間の衝撃 / プログラム開発 / プログラム検証

構成的プログラミングの新局面の研究

構成的プログラミングの新局面の研究
紙図書
林, 晋, 神戸大学1994-1995<Y151-H06680333>
国立国会図書館
  • 件名構成的プログラミング プログラム検証 プログラム論理

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
紙図書
米澤明憲, 東京大学 [著][米澤明憲]2000-2003<Y151-TR747-001>
国立国会図書館
  • 件名ソフトウェアセキュリティ / 安全なメールシステム / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム

タイプ理論と線形論理のプログラム言語理論への応用

タイプ理論と線形論理のプログラム言語理論への応用
紙図書
岡田, 光弘, 慶応義塾大学1998-1999<Y151-H10044094>
国立国会図書館
  • 件名タイプ理論 線形論理 プログラミング言語 プログラム意味論 形式的プログラム検証 形式的仕様 情報科学の論理 証明論

高階プログラミング言語で記述された大規模ソフトウェアの検証

高階プログラミング言語で記述された大規模ソフトウェアの検証
デジタル図書
寺内, 多智弘2017-05-31科学研究費助成事業研究成果報告書p.1-4
全国の図書館
  • 件名プログラム検証 モデル検査 高階関数 述語論理 型システム 抽象詳細化 時...

データ管理領域におけるプログラム検証の自動化に関する研究

データ管理領域におけるプログラム検証の自動化に関する研究
デジタル図書
矢竹, 健朗2011-04-01科学研究費補助金研究成果報告書p.1-4
全国の図書館
  • 件名プログラム検証 定理証明 オブジェクト指向 データ管理領域
  • 一般注記...、データ管理領域に焦点を当て、プログラム検証を自動化する手法を提案した。データ管理システムに特有の繰り返...

熱伝導有限要素法解析プログラムの並列化条件

熱伝導有限要素法解析プログラムの並列化条件
デジタル規格・テクニカルリポート類
原田, 公一, 磯部, 俊夫, 奥村, 秀人, Harada, Koichi, Isobe, Toshio, Okumura, Hidehito航空宇宙技術研究所1998-07航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1350p.1-11
全国の図書館
  • 件名...処理アルゴリズム 共役傾斜法 プログラム検証 数値解析 並列処理プログラム 熱伝導解析プログラム hea...

複雑形状まわりの流れの数値解析手法の検証

複雑形状まわりの流れの数値解析手法の検証
デジタル規格・テクニカルリポート類
高木, 亮治, Takaki, Ryoji航空宇宙技術研究所1998-10航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1376p.1-28
全国の図書館
  • 件名...Dコード 計算流体力学コード プログラム検証 風洞実験 超音速流 アロー翼 翼胴形態 マルチブロック格子...

軌道再突入実験における高々度圧力計測

軌道再突入実験における高々度圧力計測
デジタル規格・テクニカルリポート類
松崎, 貴至, 井上, 安敏, Matsuzaki, Takashi, Inoue, Yasutoshi航空宇宙技術研究所1995-11航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1281p.1-15
全国の図書館
  • 件名...表面圧測定 容量型圧力変換器 プログラム検証 実在気体 CFDコード 計算流体力学 飛行データ解析 隔膜...

スクラムジェット飛行実験の検討

スクラムジェット飛行実験の検討
デジタル規格・テクニカルリポート類
スクラム実験機検討グループ, Scramjet Flight Test Study Group航空宇宙技術研究所1994-02航空宇宙技術研究所資料 = Technical Memorandum of National Aerospace Laboratory662p.1-56
全国の図書館
  • 件名...空気流 空気取入口 よどみ点 プログラム検証 シミュレータプログラム 縮尺模型 地上発射 空中発射 研究...

HOPEの極超音速流数値シミュレーション　3

HOPEの極超音速流数値シミュレーション　3
デジタル規格・テクニカルリポート類
山本, 行光, Yamamoto, Yukimitsu航空宇宙技術研究所1992-07航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1168p.1-95
全国の図書館
  • 件名...面効き 衝撃波離脱距離 CFDプログラム検証 hypersonic flow chemically no...

検索結果は以上です。

RSS