ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, 筆者らが開発してきたビジュアルプログラミングシステムを対象とした時間制約の図的記述と一貫性検査について述べる. まず, 時間制約の定義とその図的な記述法を提案する. 次に, その図的な特徴を生かして, 複数の時間制約間の関係を把握し, それらが互いに与える影響を考慮しつつ, 時間制約を満たすようにプログラミングする方法を示す. そして, 試用評価と関連研究との比較評価の結果から, 提案した手法が有効であることを示す.
- 2003-11-20
著者
-
田中 稔
山口大学工学部知能情報システム工学科
-
山口 真悟
山口大学工学部
-
玉井 清寛
山口大学大学院理工学研究科
-
山県 仁嗣
山ロ大学大学院理工学研究科
-
玉井 清寛
山ロ大学大学院理工学研究科
-
山県 仁嗣
山口大学大学院理工学研究科
関連論文
- 色知覚に基づいたCRT上での色指定法の検討
- Gauss平滑化とHessian行列の固有値にもとづく腫瘤(結節)と血管の識別
- 割り込み処理のDelegationに基づく設計方法およびモデル検査方法について
- サイクル言語に対する幾つかのパ-サ(技術談話室)
- 携帯電話のQRコードリーダー機能を用いた出席システム(e-LearningとFD支援/一般)
- 均質な情報付き立方体の集合による3次元空間充填問題
- 階層化ペトリネットによる飲食店業務のワークフローモデリング
- 動的なワークフロー変更のSCO方式に関する性能評価
- カラーペトリネットによるワークフローのモデリングおよび評価
- カラーペトリネットによるワークフローのモデリングおよび評価
- SA-6-3 在宅医療サービスのためのマルチエージェントシステムについて
- 柔軟なワークフロー動的変更を実現するための変更方式Selective Shiftの提案(コンカレント工学一般)
- リソース付き状態機械ワークフローネットにおける最大スループットの計算について(コンカレント工学一般)
- サイコロ世界とその操作システム
- サイコロ世界とその操作システム
- サイコロ世界とその操作システム
- 引数単位の動的なメニュー切り替えによるコマンド入力支援システム
- CUIのためのユーザの作業の再利用支援インターフェース
- サイコロ世界のグラフ理論的考察
- ワークフローの部品化と部品合成によるワークフロー変更
- コマンド入力支援のための動的なメニュー切り替えシステム
- ユーザのコマンド入力傾向の抽出とコマンド引数の補完
- GOMSモデルに基づくGUI操作手順のヘルプ機構
- 指揮者と奏者の相互対話に基づく仮想演奏空間
- 指揮者と奏者の相互対話に基づく仮想演奏空間
- 指揮者と奏者の相互対話に基づく仮想演奏空間
- 空間推論のための画像オブジェクトモデルの構築
- アイコンの適応的配置機構を備えたユーザインターフェース
- マルチポインティングを用いたマルチユーザアイコニックシステム
- ドメイン知識を用いたコマンドパラメータの補完
- システムの観察に基づくコマンドの入出力ファイルの取得
- 手続き駆動型アプリケーションのためのGUI実装支援
- 組織構造に基づく対話型ワークフロー管理方式
- 組織構造に基づく対話型ワークフロー管理方式
- 動的輪郭モデルによる変形柔体の抽出
- 動的輪郭モデルによる変形柔体の抽出
- 干渉縞画像による3次元繊維配向の分布推定
- スケールスペース解析によるカラーテクスチュア画像の構造記述
- スケールスペース解析によるカラーテクスチュア画像の構造記述
- システムの状態と依存関係に基づくコマンド予測
- システムの状態と依存関係に基づくコマンド予測
- アフィンスケールスペース解析による画像の構造記述
- マルチユーザアイコニックシステムにおけるアイコンの選択的表示
- アイコン共有機構を備えたマルチユーザアイコニックシステム
- 画像オブジェクトに基づく空間推論
- 確率過程に基づくアイコンの呈示
- インタラクティブMRIの使用経験
- ハイレベル・ペトリネットによる飲食店業務のワークフローモデル化手法
- ハイレベル・ペトリネットによる飲食店業務のワークフローモデル化手法
- 等高線情報を用いたエコーイメージの生成
- 1)螢光眼底写真の貼合せと血管構造の総合(画像技術応用研究会(第36回))
- 蛍光眼底写真の貼合せと血管構造の総合
- 血管構造に基づく眼底写真の貼合せ
- 階層的画面はり合せ法によるモザイク画面の構成
- 部分画面のはり合せにおける空白領域・冗長画面の検出
- 部分画面のはり合せに関するグラフ理論的考察
- インタフェースボードを使用するソフトウェアのためのビジュアルプログラミングシステム
- SA-7-1 状態機械ワークフローネットのFlush方式とAbort方式による動的変更に対する最悪変更時間の計算について(SA-7. 企業・社会活動におけるコンカレント技術)
- 動的なワークフロー変更のMigrate方式に対するモデル化と変更時間の計算
- アイコニックワークスペースを応用した看護情報システムの開発
- D-9-17 Javaによるアイコニックワークスペースの開発とその応用
- 特徴抽出時間を考慮した最適分類木の一作成法--例画像入力による類似画像検索への応用
- データフロープログラムネットの標準形およびその表現能力
- Acyclic Well-StructuredデータフロープログラムネットのMaxPARAdegの近似計算について(コンカレントシステム, 一般)
- SWITCH-nodeを持つデータフロープログラムネットの並列度の計算について(コンカレントシステム, 一般)
- プログラムネットの不活性について(グラフ,ペトリ,ニューラルネット及び一般)
- プログラムネットの不活性について(グラフ,ペトリ,ニューラルネット及び一般)
- 干渉縞画像による3次元繊維配向の分布推定
- 競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
- 競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
- ワークフローにおけるリソースの解析および最大スループットの算出について
- ワークフローにおけるリソースの解析および最大スループットの算出について
- 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について(コンカレントシステム, 一般)
- OR-nodeの瞬時発火規制に基づいたプログラムネットの2プロセッサスケジューリング
- OR-nodeの瞬時発火規則に基づいたプログラムネットの2プロセッサスケジューリング
- D-3-4 delegationイベントモデルに基づく割り込み処理のUMLモデリング(D-3.ソフトウェアサイエンス,一般講演)
- ワークフローネットの健全性と並列度について(コンカレントシステム, 一般)
- 複数のCPUボードを用いたシステムの実行時間と稼働率を見積り可能なビジュアルプログラミングシステムの開発
- 部分画面のはり合せにおける隣接位置関係の決定
- 学習者の"気づき"に基づくプログラミング学習支援システム
- プログラムネットの状態方程式と非循環SWITCH-lessネットのSelf-Cleanness判定法への応用(コンカレント工学一般)
- 動的なワークフロー変更のフラッシュ方式とアボート方式に対する過渡時間による性能評価
- 興味優先学習支援システムの開発と評価(先進的学習システム/一般)
- 学習者の自己評価を利用した学習支援システム
- リソース配置変更によるマークグラフワークフローネットの最大スループットの改善について(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について
- ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について
- ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について
- リアルタイムシステムのためのビジュアルなソフトウェア開発環境の開発
- 正方プロセッサの接続による代数系(体)における計算
- 均質な情報付き立方体世界における任意形状の作成可能性
- メモを利用した発想を支援するデータベースシステム
- 均質な情報付き立方体世界の生成能力等価に関する考察