Contents of Report

[Data of Report]

Report Number:: TR0790
Date of Registration:: 1992.08
English Title:: Design Sopport to Determine Range of Design Parameters by Qualitative Reasoning
Japanese Title:: ***
English Author:: M.Ohki,E.Oohira,H.Shinjo,M.Abe
Japanese:: ***
Name of Organization to which author belongs:: Hitachi,Hiatchi,Hiatchi,Hitachi
PDF:: tr0790.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Method of Determine Design Parameters	.... 4
3	System Organization	.... 7
3.1	Behavior Reasoner	.... 7
3.2	Parallel Constraint Solver	.... 9
4	Example	.... 10
4.1	DTL Circuit	.... 10
4.2	Schimitt Trigger	.... 14
5	Related Work	.... 16
6	Conclusion	.... 16
	Acknowledgements	.... 17
	References	.... 18
	End	.... 19

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