基于逻辑系统的用户需求功能规格说明语言及其应用  

A User's Problem Specification Language & Application Based on Logical System

作　　者：张忠玉[1] 

机构地区：[1]曲靖师范学院计科系,云南曲靖655000

出　　处：《曲靖师范学院学报》2002年第3期83-85,共3页Journal of Qujing Normal University

摘　　要：在基于谓词逻辑对知识的表示的基础上 ,用Unity逻辑系统对其加以扩充 ,形成一个小型的用户需求功能规格说明语言 (SmallproblemSpecificationLanguage) 。Over the formalism expressing of knowledge based on the prediction logic, extend it to be a small type of problem specification language according to the Unity logic system. Take it to make out the ECS's user request specifications in formlism.

关 键 词：知识表示 逻辑系统 用户需求功能规格说明 形式化语言 用户需求设计 电梯控制系统 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构] TP18[自动化与计算机技术—计算机科学与技术]