伊藤 潔

並行処理ソフトウェアシステムの設計段階に適用されるソフトウェアプロトタイピング手法とそのツールを述べる.並行処理ソフトウェアシステムは,通常の逐次処理ソフトウェアシステムにはない多数の並行処理モジュールから成り,それらが並行して多数のトランザクションを処理するソフトウェアシステムである.内部構造やアルゴリズムの選択・決定,およびその妥当性の検討という機能面での設計のためには,多数のトランザクションを種別し,システム内でのそれらのルート作りを行い,このルートを除々に詳細化する中で,排他的なアクセスを必要とする資源や購成要素を正しく識別し,それらをさらに詳細化しながら,互いに並行的に稼働する並行処理モジュール群を定め,個々の内部でのアルゴリズムや実行手順を設計する.この機能面での設計とともに性能面の設計の作業が並行処理ソフトウェアシステムに対して特に必要である.このためには,機能面での設計に並行して徐々に明確となる資源の利用度合いや並行処理モジュールの実行時間などの見積りを正しく導入する.以上の並行処理ソフトウェアシステムの設計のために「ステップワイズプロトタイピング」手法を考案し,パソコン上で並行処理ソフトウェアシステムのプロタイプを稼働させ,機能面での振舞いの評価を視認でき性能評価データの収集を自動化させるために,Prolog言語とその処理系を活用したPFlots(Prolo...

三面図が表す三次元物体を求める手段として,単純に各面図の頂点や線分について各面図間で対応をとり,三次元空間上の頂点と稜線から成るワイャフレームモデルを作成し,次に,それらの稜線で囲まれた領域を面として認識したサーフィスモデルを作成する方法が考えられるこの方法をとると,偽の物体要素を含むサーフィスモデルを作成してしまう場合がある.この偽の物体要素を含むサーフィスモデルから所望の物体を見いだすためのこれまでの多くの方法では,試行錯誤的な探索プロセスのアルゴリズムを提案している.我々は探索アルゴリズムの提案ではなく,連立した線形の擬似ブール代数等式・不等式を用いた定式化による解法(線形擬似ブール代数解法)を提案する.そこでは,物体要素群が多面体を構成するための条件および三面図に合致するための条件を線形項による擬似ブール連立式で定式化し,この連立式を満たす解を基に,多面体を構成し,かつ三面図に合致する物体要素群を求める.この手法を理論的かつアルゴリズム的に確立し,榎々の例題に適用し,この手法の有効性と適用範囲を明らかにした.

This paper studies the performance of automatic production lines with the fixed number and fixed ordering of working processes. In our models, it is supposed that every stage has an exponential distribution of time between failures and a logarithmic normal distribution of repair time. We propose some procedures to estimate the influence of configuration parameters on the line production rate with the use of GPSS simulation method. The configuration parameters to be studied are capacities of buffer storages, productive performances of stages, a way of allocating buffer storages, and forms of...

情報システムのソフトウェアの機能と性能を効果的に評価するシステム記述評価システム(SDES)を京都大学大型計算機センタのFACOM M-190で開発した. 情報システムのソフトウェアの評価活動における困難さの多くは, 評価活動がソフトウェアの製作活動と分離していることに帰因していると考えられる. SDESでは, これらの活動を統合している. SDESでは, システム内に存在する, 互いに逆の関係にある2つのタイプの実体-処理の主体となっている処理エンティティと, 処理を受けている被処理エンティティ-に着目する. SDESでは, まず, 対象システムが処理エンティティ(プロセス)の側から作成される. 次に, この記述の上に, 被処理エンティテイの振舞を, 対象システムの評価のための記述としてオーバラップして与える. 被処理エンティティを表わしその振舞をトレースするユニットをトラパーサと呼び, 被処理エンティティの振舞の記述は, このトラパーサの経路・属性などの指定をすることにより行われる. 以上の, 互いに逆の関係にある2つの概念から, 統合された記述を作成する方法を, 双対プログラミングと呼ぶ. この統合された記述を作成し, その後, この記述をSDES評価システムで実行し, 機能と性能に関する各種の評価データを収集する方法をトラバーシング法と呼ぶ.