静的解析ツールの利用について
C言語プログラムのためのソースコード静的メトリクスを利用したタスク粒度解析手法
... Sincethistaskschedulingisacombinatorialoptimizationproblem,itisimportantfbrittosuppressthe numberoftaskswhichconstitutestheprogram.Therefbre,uselessparallelismisremovedusingthe infbrmati[r] ...
8
システムコール解析ツール「IO-Dock」使用手引書
... ・analyze_syscall_per_time.pl：単位時間当たりのシステムコールの 実行回数を出力します。 この際、各スクリプトで「--csv」オプションを指定した出力をファイルに 保存し、そのファイルを入力として「--plot」オプションを使用することで グラフを作成することができます。これにより IO の傾向を視覚的に確認する ことができ把握しやすくなります。 ...
16
Static Analysis... 4 メイン静的解析 - Main Static Analysis... 4 解析範囲 Analysis Scope... 4 ヘッダーファイルのインクルード - File Inclusion... 4 マクロ展開 - Macro Expansion... 4 コ
... テンプレートタイプの自動解決 - Automatic Resolution of Templated Type TBrun は、テンプレートクラスの完全なテストとスタブ 化を可能にします。この過程において、ユーザーは、 テンプレートクラスのオブジェクトを生成するときに、テ ンプレート引数の型を最初に定義します。その後メソ ッドをテストするときに、テンプレート型は要求された ...
38
開発工程ごとの解析項目 設計においてはモデルベース開発を適用したが 検証 解析種別により複数の解析ツールを用途に応じて使い については 下記の理由から各種ツールを利用した コー 分けている 表１ また 図３に示すように コード解 ド解析 を実施することとした 析 専任者 が使用する解
... 計・検証コストの改善」事例である。 自動車の高機能化・電子制御化に伴い、一台の自動車に搭載されるECU（電子制御ユニット：Electronic ControlUnit）の数は年々増加し、また要求される機能も複雑化している。ECUの増加に伴い、実現するソフ ...
6
HOKUGA: アイヌ語地名構成要素解析のための辞書と解析ツールの構成
... Yoshio Momouchi and Ryosuke Kobayashi １．はじめに アイヌ語地名の構成に関する基礎的な 察と地 名構成要素解析の自動化のために，アイヌ語地名 構成辞書とアイヌ語地名構成要素辞書の構成と電 子化は，重要な課題であると える．本報告では， 羽田野によってまとめられている異なり語数 231 語の 頻出アイヌ語地名 ...
12
建物全体の解析のためのWebサービスツール スタートアップガイド
... この概要は、建物内の人数や建物の種類に基づき、建物の水の使用量の見積もりを示します。 水の消費量は設備の数には関連しないことに注意してください。 Photovoltaic Potential（太陽光発電の可能性） この Web サービスは、太陽光発電装置を使って発電できる可能性を見積もるために、屋根、壁、 ...
26
アルファテック ( ビージェーソフト ) 製品 FlexNet ライセンスログ解析ツール ユーザガイド 本書は アルファテック ( ビージェーソフト ) 製品の FlexNet ネットワークライセンス使用ユーザ向けのライセンスログ解析ツールのユーザガイドです
... 追加プロパティの表示 チェックを入力すると設定ファイルの選択が可能になります。 設定ファイルを指定することで「対象ユーザ」項目にプロパティを表示することが可能となります。 プロパティ情報は絞り込みユーザの情報を目安として表示することだけが目的となります。 この情報が解析のグラフに影響を与えることはありません。また、反映させることもできません。 ...
26
「IBM SPSS Statistics_統計解析ツールの基本操作 データ分析手法」
... ― 統計解析ツールの基本操作 / データ分析手法 IBM SPSS Statistics は、統計解析の初心者からプロまでが利用する スタンダード・ツールです。 統計解析のスタンダードソフトウェアとして定評のある「IBM SPSS Statistics」 ...
2
電力系統解析ツール (PSAWIN2 Linux 版 ) Ver
... ============================================================================================== ●はじめに 本ソフトは，電力系統の諸現象を誰でも手軽に解析するためのツールです。 ...
10
HOKUGA: 階層的なアイヌ語・日本語対訳データの構成と層指定解析ツールの開発
... 次に，このデータを入力ファイルとして層指定解析ツールを利用し，第１層（アイヌ語単語 列）と第３層（単語直接翻翻訳）に対して，１−gram，２−gram，３−gramでの解析処理を 行った．この結果のパターン数と総数，そして，解析データ内の上位３つのデータをまとめた ...
20
インターネットにおけるコミュニケーションツールの利用とパーソナリティ特性との関連 [ PDF
... カニズムについて「その行動をすることによって何らか の欲求が満たされる（もしくは不快な状況から解放され る）ことや，その行動に意識的・無意識的に大切な意味 があるといった行為者の心理的課題と関連する必要性」 を考慮することが心理臨床学的理解をするうえで重要で あると述べており，行為者のその行為に対する意味や体 験を詳細に検討することには意義がある。また，インタ ...
4
目次 1. はじめに エンドポイント 利用開始まで ユーザー登録 CLI ツールのインストール CLI ツールのインストール RubyGems のインストール CL
... Yahoo!ビッグデータインサイトでは、すぐにお客様に操作して頂けるようにサンプルデータが登録されて います。ここではサンプルデータに対してクエリを実行する手順について記載します。 5.1. コンソール コンソールには対話的なチュートリアル機能が実装されていて、チュートリアルに沿って操作すればクエ リの実行方法を理解できると思います。 ...
19
相同性配列検索ツール：GHOST-MPと ヒト口腔内メタゲノム解析
... – 感度が高く、高速な検索 • GHOSTXアルゴリズム （ Suzuki et al. 2014） による高速な検索 • Message Passing Interface （MPI）と OpenMPによる並列化による計算資源の利用 • 大量クエリ配列の並列検索を高速に行える ...
32
The Ultimate Protein Analysis Tool 包括的タンパク質解析ツール Technology NF-κB の解析例より システムを利用することでタンパク質解析が行える例として NF-κB の解析例を紹介いたします ベクターに p65 遺伝子をクローニングし 細胞内で発現させ
... ホタルルシフェラーゼの定量的な回収 HaloTag ® -ffLuc を発現する大腸菌 LB 培養液 50ml よりライセート上澄み 5ml を調製し（S）、HaloLink TM Resin 1ml を添加した。ルシフェラーゼの 活性は TEV を添加しても失活しないこと（S-TEV）、また効率よくレジン に捕捉できたことが示された（ FT）。室温で 1 時間かけて標的タンパク質 を捕捉後 HaloLink ...
20
PTC Creo の設計検討支援 ( 広義の CAE) ツールご紹介 Agenda 1. PTC Creo Simulate 最近の機能強化について 2. PTC Creoの解析製品全般と 3rdパーティ製品について 3. 他社 CADデータを活用 解析のための形状の簡略化 パラメータスタディ 4.
... #LiveWorx Creo BMX を使用した場合に必要な作業量は? • ステップ 1 — モデルの重心と目的の位置に 1 つずつデータム点を定義する • ステップ 2 — 重心の “実際” の位置から “目的” の位置までの距離を測定する解析フィーチャーを作成する • ステップ 3 — ...
39
デザイン解析およびフロアプラン チュートリアル : PlanAhead ツール (UG676)
... このチュートリアルでは、PlanAhead ツールを使用して、インプリメンテーション ツールを実行する前に合成済みの デザインとターゲット デバイスを確認および解析しました。これにより、潜在的な問題やエラーを、インプリメンテー ション中ではなく、デザイン サイクルの早期段階で発見できました。また、デザイン リソースの概算、デザイン ルー ...
55
ボンドグラフと熱伝導解析による EHA熱解析ツールの開発
... ACKが戻ってこない場合、タイムアウトが発生し、パケットを再送 通信性能： 1パケットの伝送時間/RTT 1RTT時間内に1パケットしか送信できないため 500Byteのパケットを1Mb/sで送信する場合 ⇒ 伝送効率は 10%程度 ～広域ネットワークに不向き、 短距離で遅いネットワーク には利用可 ...
6
静的解析と動的解析を組み合わせた バイナリーコードの制御フロー解析 IIJ- II 技術研究所 泉田大宗
... レース (システムコール名、引数、返り値)を出力 – システムコールの終了を検知するためにページ フォルト処理を用いたブレークポイントを利用 • BPの置かれたシャドウページをはずす ...
31
静的増分解析に基づく履歴型ダンパーの最適設計法に関する研究 [ PDF
... 6.3 地震応答解析結果 提案設計法によって設計したダンパー付骨組の地震 応答解析を行った．図 10 には設計用地震力 PGV を 50cm/s とし，目標層間変形角 R tar を 1/150rad.とした解 析結果を示している．縦軸は層，横軸は最大応答層間 変形角である．△が純ラーメン骨組の応答を，■がダ ンパー付骨組の応答を，破線が目標層間変形角を表す． ...
4
ボンドグラフと熱伝導解析による EHA熱解析ツールの開発
... Stop-and-wait方式：ACKが帰ってくるまで次パケットを送信できない Go-back-n方式：再送パケット以降のパケットは全部再送 Selective ACK方式：誤ったパケットのみを再送 TCPで利用されている誤り回復技術 ...
7