【課題】入力画面を含む帳票システムの構築に要する設計、プログラミングを軽減することができる帳票システム構築支援装置を得る。
【解決手段】既存の帳票様式ファイ９１４の入力枠を入力されるデータの種別に応じた色で着色し、この着色された入力枠を有する帳票様式ファイル６１４からイメージ様式ファイル９１１を生成し、入力枠認識手段１１０により、イメージ様式ファイル９１１の着色部分に基づき、入力枠の色と入力枠の範囲とを認識して入力枠情報９１２とし、一方、文字列認識手段１２０により、イメージ様式ファイル９１１から入力枠に付された名称の文字列と文字列範囲を認識して文字列情報９１３とし、入力枠情報９１２及び文字列情報９１３を基にして、入力枠属性９２１を編集し、編集された入力枠属性９２１を用いて画面生成手段３１０により、画面情報９３１を生成するようにした。 （もっと読む）

【課題】メガマクロブロックとの重なりが少ないクロック構造を広い解空間において効率良く探索できるようにすること。
【解決手段】チップ情報に含まれるチップ領域を覆う格子を設定する格子設定部と、チップ領域の中心から格子の各セルの中心へクロック信号を分配するクロック構造であってチップ領域を格子に含まれるセルの境界に沿って縦方向又は横方向に２分割することを再帰的に繰り返すことにより生成されたクロック構造を構成する線分の候補を候補線分として生成する候補線分生成部と、チップ領域の分割方向及び分割順序を節点及び枝として有する２分木を生成する２分木生成部と、候補線分に設定された重みの総和である目的関数が最小となるように２分木の各節点の分割方向を選択する分割方向選択部と、各節点の分割方向が選択された２分木によって表されるクロック構造を生成するクロック構造生成部と、を有する。 （もっと読む）

【課題】放電管の周囲の導体の影響、あるいはリーク電流の影響を考慮することによって、解析対象物の温度分布をより正確に計算することができる熱解析装置、熱解析方法、熱解析プログラム、および記録媒体を提供する。
【解決手段】熱解析装置１００は、放電管を表わす放電管モデルと導体を表わす導体モデルとを記憶するためのメモリ１０５と、熱解析装置を制御するためのプロセッサ１１０とを備える。プロセッサは、放電管モデルを第１の個数のエリアへと分割し、エリアのそれぞれと導体との間の浮遊容量を計算し、浮遊容量に基づいて解析対象物の温度分布を解析する。 （もっと読む）

【課題】ＬＳＩの消費電力の見積もりに必要な時間を短縮し、それにより、ＬＳＩ設計の効率を向上させる。
【解決手段】ＬＳＩの動作が処理順序に沿って記述された動作記述９１のシミュレーションを実行するシミュレータ２０と、動作記述９１中の変数をレジスタに割り当てるバインディング処理を実行し、そのバインディング結果９４に基づいてレジスタ転送レベル記述９５を生成する高位合成装置３０と、ともに用いられるＬＳＩの設計装置１０。設計装置１０は、シミュレータ２０のシミュレーション結果９３と、レジスタに格納されるクロックサイクル毎の変数の変数名を含む高位合成装置３０のバインディング結果９４と、を入力する入力部１１と、入力部１１により入力されたシミュレーション結果９３及びバインディング結果９４に基づいて、レジスタに格納される変数の１クロックサイクルあたりの変化率を算出する算出部１２と、算出部１２により算出された変化率に基づいて動作記述９１に対応するＬＳＩの消費電力を見積もる見積部１３と、を備える。 （もっと読む）

【課題】現実のタイヤに近いシミュレート結果が得られるタイヤモデルとホイールモデルとの複合体モデルを作成できる複合体モデル作成方法、及び複合体モデル作成装置を提供する。
【解決手段】空気入りタイヤを複数要素でモデル化したタイヤモデルと、ホイールを複数要素でモデル化したホイールモデルとの複合体である複合体モデルを作成する複合体モデル作成方法であって、複合体モデルを作成する組付ステップＳ３と、複合体モデルに対して所定の空気圧を設定する内圧設定ステップＳ４とを有し、内圧設定ステップＳ４では、内圧が所定値以下の場合、内圧がインナーライナーを構成する要素に負荷されるように設定され、内圧が所定値を上回る場合、内圧がカーカスプライを構成する要素に負荷されるように設定される。 （もっと読む）

【課題】浮動小数点実効値の構造化されたセットを含む数値データを圧縮するコンピュータ実装方法を提供する。
【解決手段】方法は、セットの対象実効値に関連した浮動小数点予測値を計算するステップを含む。計算するステップは、上記セットのサブセットの実効値の符号、指数、及び／又は仮数に対応する整数に対して演算を実行するステップを含む。また、上記方法は、対象実効値及び予測値から得られた整数の差を表すビットシーケンスを記憶するステップを含む。 （もっと読む）

【課題】検証が困難な実行結果が同一になる条件式の組み合わせを含む回路であっても、ハードウェア検証の漏れを防ぎ、バグのないハードウェア設計を実現させること。
【解決手段】検証支援装置１００では、検証対象情報の設計情報１１０として入力されたハードウェア記述１０１と仕様書１０２とを用いて、検証対象回路の検証に関する出力情報１２０を生成する。そこで、検証支援装置１００では、ハードウェア記述１０１中から、実行結果が同一になる条件式を含んだ条件分岐記述を抽出すると、実行結果が同一になる各条件式と他の条件式とを含む条件分岐記述を生成する。そして、あらたに生成された条件分岐記述ごとに漏れのない検証を実行するためのアサーション情報１２１を生成する。 （もっと読む）

【課題】実際に即した配線ＯＣＶｐ係数を用い、タイミング解析の精度を向上させる。
【解決手段】配線ＯＣＶｐ係数を用いて配線遅延値を補正することにより、設計回路に含まれる第１パスと第２パスとの間の遅延差を検証する。配線ＯＣＶｐ係数の変動成分ΔＯＣＶｐは、配線のグローバルばらつきに起因するΔＯＣＶｐ＿λと、同層の配線のローカルばらつきに起因するΔＯＣＶｐ＿θと、異層間の配線のローカルばらつきに起因するΔＯＣＶｐ＿ωと、を含む。ΔＯＣＶｐ＿λは、それぞれのパスを構成する配線の各配線層における配線長に依存する。ΔＯＣＶｐ＿θは、上記配線長に加えてパス間距離に依存する。ΔＯＣＶｐ＿ωは、上記配線長に加えてチップサイズに依存する。それら配線長、パス間距離、及びチップサイズを示すデータを読み出し、読み出されたデータを用いて配線ＯＣＶｐ係数を算出し、算出された配線ＯＣＶｐ係数を配線遅延値に適用する。 （もっと読む）

【課題】対象回路内の依存関係をもつ２つのノード間の信号の伝播に要する時間を、シミュレーションを実行することなく容易に特定する。
【解決手段】検証支援装置１００によって、入力値１１０として調査対象変数（信号やレジスタ）１１１およびクロック信号名１１２と、それらを定義・参照しているＲＴＬのソースコード１１３が入力されると、調査対象変数１１１についての遅延サイクル数１２１を出力値１２０として出力する。検証支援装置１００では、ＲＴＬのソースコード１１３における調査対象変数１１１のパス上のノードを各ノードのクロックドメインごとに検出することによって遅延サイクル数１２１を特定できる。 （もっと読む）

【課題】特に稼働時の影響を考慮して設計を行うことができる海洋構造物の調和設計方法及び海洋構造物の調和設計プログラムを提供すること。
【解決手段】目標設定手段３１が海洋構造物の使用条件と利活用目的に基づいて目標を設定し、構想構築手段３２が目標設定手段３１で設定された目標に従って海洋構造物の構想を構築し、基本設計／基本特性分析手段３３が、構想構築手段３２で構築した構想に従って海洋構造物の基本設計及び／又は基本特性分析を行い、基本仕様を定め、基本評価手段３４が、基本設計／基本特性分析手段３３で定めた基本仕様に従って目標に対する基本評価を行い、副次評価手段３６が、基本設計／基本特性分析手段３３で定めた少なくとも構想に基づいて目標に対する副次評価を行い、成立性評価手段３５、３７が、基本評価手段３４による基本評価の結果及び／又は副次評価手段３６による副次評価の結果に基づいて成立性評価を行い、成立性評価の結果に従って再検討を判断する。 （もっと読む）