Contents of Report

[Data of Report]

Report Number:: TM0628
Date of Registration:: 1988.11
English Title:: ***
Japanese Title:: 時制論理に基づく実用的仕様記述言語PTSからの手順自動生成
English Author:: N.Uchihira,H.Kawata
Japanese:: 内平　直志,川田　秀司
Name of Organization to which author belongs:: Toshiba,Toshiba
PDF:: tm0628.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 4
2	PTSの同期と基本概念	.... 5
3	KPTS	.... 8
4	PTS	.... 12
5	PTSによる手順の自動生成	.... 14
6	計算量と記述量の評価	.... 18
7	例;電力系統操作手順の生成	.... 20
8	まとめ	.... 25
	参考文献	.... 26
	付録	.... 28
	End	.... 29

目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda