シーケンス制御システム設計支援のための動作仕様記述言語(SOL)とその検証法
スポンサーリンク
概要
- 論文の詳細を見る
- 2001-11-14
著者
関連論文
- 言い回し表現に基づく係り受け解析によるプレスリリースからの製品特徴キーワード抽出方式
- 情報システム運用におけるストリームDBによるメッセージ分析方式
- マルチホップWebサービスにおけるスキーマ検証のためのポスト暗号化XMLスキーマ生成方法
- 運用自動化に向けた運用手順のパターン化
- ポスト暗号化XMLスキーマ生成方法の提案とその評価
- 暗号化XMLデータのスキーマ検証のためのポスト暗号化スキーマ生成方法(オフィスインフォメーションシステム,ディジタルドキュメント、一般)
- マルチホップWebサービスにおける部分暗号化データの処理方式
- ワークフローシステム導入事例に基づく導入効果の定量的評価
- BPIアプローチによるワークフローのSCMへの適用
- モバイル機器向けTFT-LCDドライバICの画質調整方法(電子ディスプレイ)
- マルチエージェントシミュレーション開発環境におけるモデル記述誤り検出支援方式
- オフショア開発組織内での中国語と日本語が混在する知識カードの分類管理システム
- サプライチェーンにおけるセキュア型電子タグを用いた企業間情報管理システム
- 障害原因解析のためのルール記述方法とその実行方式
- 定性・定量融合シミュレーションにおける感度解析を用いた近傍選択に基づく目標出力に対する入力値探索方式
- ピアレビューデータに基づく品質予測モデル構築の試み
- 利用者評価を用いたBBS検索オンライン処理における応答性能改善方式
- オフショアソフトウェア開発におけるプレレビュー作業での指摘事項率推定モデル
- モバイル機器向けTFT-LCDの階調時分割駆動方式(電子ディスプレイ)
- オフショアソフトウエア開発におけるプレレビュー作業に関する効果分析
- 見出し構造を用いた情報機器操作マニュアルからの用語知識獲得方式
- 受注生産製品の推奨販売方式
- ソーシャルネットワークにおける伝播形態の類似性に基づいた情報の関連性評価手法
- サービス事業におけるリスク回避効果の経済性評価
- 小規模ベクトル地図コンテンツの公正利用促進に向けた線分分割方式による電子透かし利用システム
- 整数線形計画を用いた電子債権譲渡における期日変更マッチング最適化方式
- メディアプロセッサを応用したブロードバンド端末のソフトウェア設計手法(システムプログラム)
- 電子債権譲渡における期日変更マッチング最適化方式
- ソリューション提案における顧客価値生成シナリオ記述方式
- 鉄道車両システム向けコンポーネント指向ソフトウェアフレームワークにおける起動フロー管理方式の提案
- 企業情報システム統合のための業務イベントモデルに基づくビジネスプロセス設計技法
- ワークフローモデルにおけるデッドロックパターン拡張によるデッドロック自動検出方式
- 高メンテナンス性を指向したワークフローシステム設計技法
- 資材注文依頼業務のワークフローについてのターンアラウンドタイム分析
- 販売促進業務電子化のための提案内容カスタマイズルール自動抽出方法
- 製品の仕様代替性と部品消費バランスを考慮した受注生産製品の推奨方式
- 営業文書からのメタデータ抽出のためのパラメータ自動生成技術
- プライバシー保護のためのICタグパスワード群管理方式
- セキュア電子タグを活用した書籍管理における改竄防止のためのタグパスワード管理方式
- ICタグの保有によるショッピングモールでのロケーションプライバシー侵害のシミュレーション評価
- セキュア電子タグを活用した書籍管理のためのタグパスワード管理方式
- 食肉業界向けデータセンタ型取引情報伝達システム
- 牛肉業界における効率的なトレーサビリティデータ収集システム
- 渇水時の管網解析と減圧給水制御
- 渇水時の減圧給水制御シミュレーション
- 実機システムへの適用によるFAセル制御言語の評価
- FAセル制御言語プログラムの高速実行方法
- 情報ライフサイクル管理におけるポリシーの検証方式
- 情報のメタデータに着目した情報ライフサイクル管理向けポリシー記述方式
- [パネル討論]システム工学とナレッジマネジメントの融合について
- 情報システム運用におけるストリームDBによるメッセージ分析方式
- マルチエージェントシミュレーション開発環境におけるモデル記述誤り検出支援方式
- アクセス制御統合による性能低下を改善する階層型アクセス制御方式
- 投資条件に合わせた債務担保証券設計方式
- Bluetooth を用いた展示案内システムのための移動予測による効率的なハンドオフ方式
- 月額課金方式の携帯コンテンツ配信における契約長期化のための顧客分析
- 社会調査データ・アーカイブSRDQにおけるアンケート作成支援のための質問項目対応表作成ツール
- 相関分析によるビル空調システムの不具合検知支援方式
- 連続測定データに対する確率的定性推論の高速化
- 確率的定性推論における定量値の柔軟な定性値化方式
- 確率的定性推論によるビル空調設備故障診断のための定性値定義の決定方法
- ビル空調システムのための定性推論によるセンサ施工時不具合検知方式
- ビル空調システム故障診断のための確率付定性モデル自動生成
- 実測データに基づく確率付定性モデルのパラメータ自動調整
- 確率的定性推論を利用した空調システム不具合検知方法
- 確率的定性推論によるビル空調用熱源システムの不具合検知方式
- 遺伝的アルゴリズムを用いた計画用知識学習方式
- 複数のニュースリリースに含まれる時系列数値データの抽出方式
- ピアレビューデータに基づく品質予測モデルの構築
- 定期預金残高増加見込み顧客予測方法
- 定期預金残高増加見込み顧客予測方法
- 要求仕様に基づく分散制御システム概要設計支援ツールの開発
- 非文法的自由回答形式アンケートデータに対応した非定型回答抽出支援方式
- コーディネータを常設しない地域通貨取引における部分的取引仲介による地域通貨運用方法の提案
- 地域通貨の仲介方式とマルチエージェント・シミュレーションによる評価
- 情報システム運用におけるストリームDBによるメッセージ分析方式
- 投資ニーズ合致型CDOにおけるトランシェ間優先劣後制約の緩和によるリスク低減効果の分析
- 企業情報システムの変遷と今後の展望
- ロット分割方式による鉄鋼生産スケジューリングシステムの開発
- 利己的制約充足型GAによる幹線物流網構築手法
- マルチステージGAによる共同物流網における配送計画作成手法
- 巡回輸送を含む共同物流網の計画のための混合整数計画問題モデル化とダミー荷物を用いた高速解法
- 利己的制約充足型GAによる幹線物流網構築手法
- 共同物流網構築のための配車計画作成手法
- 巡回輸送を含む共同物流網の計画のための混合整数計画問題モデル化とダミー荷物を用いた高速解法
- 情報システム省電力運用のシステム運用観点での分類
- 見積情報を先行指標として利用した受注生産製品の需要予測方式
- 通販業における需要予測支援のためのエキスパートシステムの開発と評価
- ソフトウェアによる実時間ディジタルメディア処理向けシステムオンチップ(VLSIシステム)
- ルール制御型ワークフローシステムにおけるビジネスプロセス正常終了検証法の提案
- 出力任意設定型ワークフローシミュレーションシステム
- 情報セキュリティ監査におけるリスク抽出状況の分析
- 2512 情報セキュリティ監査における監査作業の分析とその課題(一般セッション)
- 契約の柔軟性を考慮した電力サービス選択の分析手法
- IT投資戦略立案のための相乗効果を考慮したロードマップ構築手法
- クラスタ構造を持つ半導体製造装置向けの柔軟性の高い制御システムCTCSS (Cluster Tool Controller Software System)
- 証券決済システムの電子化方式に関するAHPによる評価
- IT ガバナンス確立に向けたIT アセスメント手法
- 証券決済システムの電子化方式に関するAHPによる評価
- 情報化投資に対する効果阻害要因の分析方法