ヒューリスティクアプローチによる協調システムの性能シミュレーション(さまざまな分野の形式的検証最前線及び一般)

概要

論文の詳細を見る
The domain expert's heuristics in the performance improvement of collaborative systems are systematized as qualitative rules. An expert system built by using the qualitative rules, diagnoses the bottlenecks in system operation and suggests improvement in the operation. However, bottlenecks cannot be completely resolved owing to the constraints imposed on system resources. Our strategy is to resolve local bottlenecks, while keeping in check the global state of the system. No local bottleneck may be improved at the cost of incurring fresh bottlenecks elsewhere in the network. Performance improvement task is guided by a set of forward propagation and backward propagation rules; in particular, the changes to be made in the upstream of the network so as to resolve a given bottleneck are guided by the backward propagation rules. The effect on the downstream of the network due to the resolution of the network is given by the forward propagation rules.
社団法人電子情報通信学会の論文
2005-10-14