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

来源 :曲靖师范学院学报 | 被引量 : 0次 | 上传用户:szxszxszy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在基于谓词逻辑对知识的表示的基础上,用Unity逻辑系统对其加以扩充,形成一个小型的用户需求功能规格说明语言(Small problem Specification Language),用这种形式化的语言对电梯控制系统作出形式化的用户需求功能规格说明.
其他文献
介绍了小麦后期引发白穗现象的三种病害,即全蚀病、纹枯病和赤霉病,总结了三种病害的发生症状及防治措施,以促进民权县小麦高产。
计算机是20世纪最伟大的发明之一,以计算机为核心的信息技术对社会经济、文化、生活的各方面带来深刻影响,使社会产生巨大变化.对计算机文化现象和计算机文化内涵进行深入全
通过胡萝卜品种"菊阳五寸"在福建省永泰镇的试种情况,从整地、施肥、播种、种子预处理、肥水管理、病虫害防治等方面总结出优质高产生产措施。
1地块选择与试验设计试验地块选在山头店镇庙李村统防统治示范方内,该地块土壤肥力好,地势平坦,灌溉方便。试验共设3个处理,每个处理不设重复,小区东西长50m,南北宽5m,对照的面积为1
郑黄糯2号是河南省农业科学院选育的国审糯玉米品种,审定编号:国审玉2007036。从土壤条件、播种、施肥、灌溉、病虫草害综合防治和适时收获几个方面介绍了郑黄糯2号机械化免耕