設計・検証ツールトラック
取扱説明書 TCP/IP に係る 既知の脆弱性 検証ツール 取扱説明書 年 1 1 月独立行政法人情報処理推進機構セキュリティセンター
... 5)-45. トラブルシューティング 以下のようなエラーメッセージが頻繁に表示される時は、TCPIPConfirm を再インストールす る事をお勧めします。3).アンインストールを実行後、2).インストールを実行してください。エ ラーメッセージは、コマンドライン起動時はイベントログとエラーログ、画面で起動している時 はメッセージボックスで表示されます。また、TCPIPConfirm を実行しようとした時にインス ...
140
独立行政法人情報処理推進機構委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 抽象化に基づいた UML 設計検証支援ツールの開発 成果報告書 平成 26 年 2 月 公立大学法人岡山県立大学
... 本研究の到達目標は，組込みソフトウェア開発プロジェクトの設計工程において①UML 図で記 述されたソフトウェア製品の設計図を解析し，②当該製品において検証したい特性に関連する設 計情報のみを抽出し，③モデル検査ツールの入力形式に自動で変換・出力する，検証支援ツー ル（図 2-1）の実現である．公開されているモデル検査ツールは種々存在するが，本研究ではモ ...
85
グリーン庁舎計画指針の活用の検証―グリーン庁舎事例における計画設計過程の考察 [ PDF
... （3）N 庁舎、M 庁舎のグリーン庁舎計画設計の過程を考察し た。技術選定シートでは、LCCO 2 削減率の目標設定を行うが、 実際のグリーン化技術の選定では個別に導入の判断がなさ れているため、全体の方針を決定する目標設定として有効 に機能していないことを指摘した。また、LCCO 2 削減率30％ を目標値としていることにも、その原因があると言える。一 方、グリーン庁舎チェックシートは具体的な技術が例示さ ...
4
先進的な設計 検証技術の適用事例報告書 2013 年度版 2014 年 5 月
... Ａ－７ 設計工程における TERASOLUNA DS の適用 89 Ａ－８ Grails/Groovy の適用推進 103 Ａ－９ 個人依存開発から組織的開発への移行事例 119 Ａ－10 MBSE による双腕作業ロボット動作実行系のコンセプト設計 133 Ａ－11 仕様記述言語 VDM++ を用いたシステムの仕様の記述 145 Ａ－12 車載 ECU 開発における上流工程での品質確保 171 Ａ－13 ...
21
1. 3 次元設計の有効性と効率性 3 次元 CAD の中核となるのは製品設計 検証 作図 金型設計 NC ツールのプログラミングから検査まで 製造のあらゆる側面で使用されることになる 3 次元のマスターモデルです この 3 次元モデルはあなたの会社の製品に含まれるあらゆる部品とそれらの関係を正確に
... 統合された PDMソフトウェアにより複数の設計者グループが共通プロジェクトで効率的な 共同作業を実施できます。 PDMシステムは単なるファイルの保存と整理以上の機能を提供します。PDM システムにより、再利用可能な既存の部品を探し出せるため、設計者の重複 作業がなくなります。また、コスト見積のための材料リストを生成したり、 データをMRP（Manufacturing Resouce ...
7
署名ツール検証報告書
... z 松永豊 (東京エレクトロン デバイス株式会社) 1.3. 検証の範囲 1.1 節で説明しているように XML コンソーシアム Week までの検証では、2.2 節の４つの パターン署名方式に対する署名・検証と、それらを各々2 つの署名ライブラリー（Sun Java6 と.NET）での稼動検証及び各ライブラリー間での相互運用性検証のみを実施した。 この結果一部 ...
23
都河川水を利用した空調熱源システムの設計段階における性能検証に関する研究 [ PDF
... イニシャルコミッショニングは、設計段階にシステ ムの性能を検証できることにより、設計プラン変更が できる。想定の様々な条件下性能を把握することがで き、まだ性能低下の要因を見つけることができる。設 計段階から運用の改善について検討することができる より、制御への活用が期待できる。以上の背景より、 設計段階にある河川水利用の空調システムシを研究対 ...
4
第 91 回風洞研究会議論文集 31 ロケット再突入データ取得システムの空力設計検証試験について 青木良尚 南吉紀 高間良樹 石本真二 (JAXA) 1 内容 1. ロケット再突入システムについて 2. 空力設計等検証計画 3. 検証試験結果 4. 検証試験で判明した試験における課題 5. まとめ
... 2. 再突入機および将来輸送系に係る技術の蓄積 – 開発したシステムを飛行実験プラットフォームとして活用することによ り、低コストで飛行機会を確保し、再突入機のシステム設計技術、お よび将来輸送系の研究に資するデータ取得・評価技術を蓄積する。 ...
13
実機によるソニックブーム計測結果を用いた推算ツール検証 低ソニックブーム設計概念実証機 (S3CM) の空力解析 D-SEND#1 のフラッタ解析 航空機の空力 騒音に関する研究 CFD の小型旅客機設計適用に関する研究 将来型航空輸送機の空力形状設計 極超音速機の空力性能に関する研究
... 研究の概要 超音速機の自然層流設計には超音速逆問題設計という手法を適用した．この逆問題設計手法はあらか じめ境界層遷移解析より自然層流化を達成する翼表面の圧力分布（目標圧力分布）を求めておき，この 目標圧力分布を達成する翼型を求めることで計算負荷の大きい高精度なNavier-Stokes方程式のCFD解 ...
220
先進的な設計 検証技術の適用事例報告書 2015 年度版 2015 年 11 月
... 15-B-10 Web システムにおける単体テストの品質向上の取組み 住友電工情報システム (株) 15-B-11 安心なサービスの品質改善を実現する為の継続的システムテスト 楽天 (株) 15-B-12 セキュア開発手法の考察と診断ツールの活用事例の紹介 ～お客 様に「安心してご利用ください」と言えるための脆弱性対策～ ...
6
国語科の読むことが困難な生徒へのシンキング・ツールによる支援の効果の検証-香川大学学術情報リポジトリ
... れ，それを自分のものとする過程を示す概念」で ある。田島元信『共同行為としての学習・発達～ 社会文化的アプローチの視座』金子書房，2003， 等参照。濱田秀行は，国語科の小説の読みの対話 的交流において，他者の意見を取り入り自分のも のとする「専有」の過程を分析している。（濱田秀 行「小説の読みの対話的な交流における『専有』」 「国 語科教育第六十八集」全国大学国語教育学会編集， 2011，43～50頁。）尚，筆者も詩の読みにおける質 ...
14
デジタルプロトタイプ - デザイン ビジュアライズ シミュレート デジタルプロトタイプにより 製品設計 製造サイクルの早い段階で さまざまな検討 検証を行うことで 品質の作り込み 設計の最適化が可能になります また デジタルプロトタイプで提供される材料のデータベースはシミュレーションツールと統合され
... Vault File Store Vault Database Database Engine Vault A Vault B Inventor Add-In Vault Explorer ACM Add-In ACE Add-In Excel Add-In Word Add-In PowerPoint Add-In... Autodesk Da[r] ...
66
開発工程ごとの解析項目 設計においてはモデルベース開発を適用したが 検証 解析種別により複数の解析ツールを用途に応じて使い については 下記の理由から各種ツールを利用した コー 分けている 表１ また 図３に示すように コード解 ド解析 を実施することとした 析 専任者 が使用する解
... 3.2.5 自動生成におけるコード解析の必要性 モデルベース開発は、モデル自体の文法チェックや一 貫性のチェックが実施でき、また、視覚的に理解しやす い開発手法である。しかし、自動コード生成をするため にはプログラム言語に近い記述も必要であり、人為的な ミスやスキル不足による間違いがそのまま自動で生成さ れたコードに反映されてしまう。そのため、自動生成コー ドでもコード解析で不具合の検証を行う必要がある（図 ...
6
先進的な設計 検証技術の適用事例報告書 2105 年度版 PART Ⅱ 設計事例 SEC-2015-A A-9 ソニーの電子お薬手帳システム harmo に適用した セキュリティ設計分析手法 1 1. 概要 本編では ソフトウェアの仕様 設計に対するセキュリティ分析技術 ( セキュリ
... 図 15-A-9-10 ノード分解例：【攻撃者】は【情報資産】を【READ】できない 図 15-A-9-10 では、情報資産が存在し得る「場所」に着目して、ノードを分解している。 「場所」の概念は重要である。なぜなら情報資産が存在する場所に応じて、攻撃者の攻撃方 法も異なるし防御する側の防御方法も異なるからだ。たとえばモバイルアプリ内に情報資産 ...
21
アイウェーブの FPGA VHDL/Verilog/SystemC 数百万ゲートゲートの複雑複雑な論理設計 CPU コアを内蔵内蔵したしたシステムシステム設計 古い部品部品の互換設計 高速アプリケーション モデリング & シミュレーション 検証 & テストベクトル パートナー ザイリンクスアルテラ
... 高速 高速アプリケーション 高速 高速 アプリケーション アプリケーション アプリケーション モデリング モデリング＆ モデリング モデリング ＆ ＆シミュレーション ＆ シミュレーション シミュレーション シミュレーション 検証 検証＆ 検証 検証 ＆ ＆ ＆テストベクトル テストベクトル テストベクトル テストベクトル パートナー パートナー パートナー ...
22
4. 設計検証及び妥当性確認文書の概要 4.1. 機器の設計検証及び妥当性の確認の概要本品の設計検証及び妥当性確認のために実施した試験の要約を以下に示す なお 各試験は本品と同一の機器で実施したものとその直前の前世代品 ( 以下 単に 前世代品 と記す ) で実施したものがある 本品と前世代品の差分
... 画像を投影するにあたり、映像の元となるカメラの撮像が適正な解像度であることを確認する。 試験方法と適合基準： オシロスコープにより、カメラ撮像信号の同期信号（ピクセルクロック、水平同期信号、垂直同期信号） の周波数を測定し、水平解像度（水平同期信号の周期／ピクセルクロックの周期） 、垂直解像度（垂直同 期信号の周期／水平同期信号の周期）が以下の規格値を満たす（これらを満たす十分な解像度がある）こ とを検証する。 ...
34
国語科の書くことが困難な生徒へのシンキング・ツールによる支援の効果の検証-香川大学学術情報リポジトリ
... ことで，Ａ，Ｂの中で関係づけができ，書くこ とができたのである。 また，実践１，２からは，シンキング・ツー ルを活用する場合にも，個により異なる支援が 必要であることが明らかになった。Ａのように 既有知識はあるが「書く課題と既有知識が関係 づけられない」「書く課題と既有知識とはつな がっているが，それを表現できない」生徒には， シンキング・ツールを提示するだけでも効果的 であった。一方，Ｂのように「書く課題に対す ...
14
2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 Circuit Design Engineering Lab. - Okayama Prefec
... Terminal_A inidal inidal wait send com 端末が通信中(Terminal_A=com)であるにもかかわらず ， 通信モードが通話無し(MD_A=0)となる状態に到達している • UML 図による設計の誤りを正しく検出できた ...
18
特長 包括的な金型設計 すぐに利用できる標準部品 / 金型ベース ライブラリ 簡単に定義および再利用できる設計基準スプレッドシート 標準部品登録ウィザードを含む金型ベース設計機能 シャットオフやパーティング ライン コア / キャビティ分割を迅速に設計するツールやパーティング サーフェスの自動設計ツ
... 順送金型設計 ：NXは、面倒な作業を自動化し、極めて 複雑なプロセスを効率化することにより、順送金型設 計に必要なすべての段階を通してユーザをガイドしま す。部品の準備をスピーディに行うため、NXでは、 成形性を検証し、複雑なフリーフォーム部品の 展開形状とブランク形状を作成するワンステッ プ・プロセスが提供されています。また、フィ ーチャの認識機能やプリベンドおよびオーバー ...
6
はじめに ここ 10 年の間に 有限要素法 (FEA) は 解析専任者のツールとしてだけでなく 設計において実用的に使用できるツールとなりました 現在の CAD ソフトウェアは FEA を内蔵しており 設計者は日常の設計ツールとして製品設計の過程で FEA を使用します しかしながら 最近まで 設計
... しかしながら、最近まで、設計者が利用できるほとんどの FEA アプリケー ションが線形解析に制限されていました。線形解析は設計者が持つほとん どの問題に許容できる近似値を提供します。それにもかかわらず、時折、 より難解な問題は起こり、その場合には非線形解析を必要とします。 従来エンジニアは、非線形解析の使用は複雑な問題の定式化と長いソ リューション時間を必要とするため、その利用を避けていました。 現在で ...
16