A knowledge base system INCAP(Integration of Catalyst Activity Patterns)for selecting catalyst components has been developed by decomposing the catalyst designproblem into 5 easily solved sub-problems and by building ...A knowledge base system INCAP(Integration of Catalyst Activity Patterns)for selecting catalyst components has been developed by decomposing the catalyst designproblem into 5 easily solved sub-problems and by building up a weighted experimental es-timation model of catalytic activity for application of activity data.The INCAP was ap-plied to the design of catalysts for oxidative dehydrogenation of ethylbeneze and the re-sults are in agreement with the experimental ones.The characters of INCAP are analyzedfrom the view of design expert system.展开更多
In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-pleme...In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.展开更多
文摘A knowledge base system INCAP(Integration of Catalyst Activity Patterns)for selecting catalyst components has been developed by decomposing the catalyst designproblem into 5 easily solved sub-problems and by building up a weighted experimental es-timation model of catalytic activity for application of activity data.The INCAP was ap-plied to the design of catalysts for oxidative dehydrogenation of ethylbeneze and the re-sults are in agreement with the experimental ones.The characters of INCAP are analyzedfrom the view of design expert system.
文摘In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-plemented.