切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于逻辑系统的用户需求功能规格说明语言及其应用
基于逻辑系统的用户需求功能规格说明语言及其应用
来源 :曲靖师范学院学报 | 被引量 : 0次 | 上传用户:szxszxszy
【摘 要】
:
在基于谓词逻辑对知识的表示的基础上,用Unity逻辑系统对其加以扩充,形成一个小型的用户需求功能规格说明语言(Small problem Specification Language),用这种形式化的语言对
【作 者】
:
张忠玉
【机 构】
:
曲靖师范学院计科系
【出 处】
:
曲靖师范学院学报
【发表日期】
:
2002年3期
【关键词】
:
知识表示
逻辑系统
用户需求功能规格说明
形式化语言
用户需求设计
电梯控制系统
Prediction
Knowledge expressing
Logic s
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在基于谓词逻辑对知识的表示的基础上,用Unity逻辑系统对其加以扩充,形成一个小型的用户需求功能规格说明语言(Small problem Specification Language),用这种形式化的语言对电梯控制系统作出形式化的用户需求功能规格说明.
其他文献
小麦后期引发白穗现象的三种病害及防治措施
介绍了小麦后期引发白穗现象的三种病害,即全蚀病、纹枯病和赤霉病,总结了三种病害的发生症状及防治措施,以促进民权县小麦高产。
期刊
小麦
白穗
症状
防治
计算机文化的探讨及思考
计算机是20世纪最伟大的发明之一,以计算机为核心的信息技术对社会经济、文化、生活的各方面带来深刻影响,使社会产生巨大变化.对计算机文化现象和计算机文化内涵进行深入全
期刊
计算机文化
内涵
影响
信息化社会
思维方式
生活方式
文化科学教育
Computer culture
Intension
Influence
“菊阳五寸”胡萝卜秋播试种总结
通过胡萝卜品种"菊阳五寸"在福建省永泰镇的试种情况,从整地、施肥、播种、种子预处理、肥水管理、病虫害防治等方面总结出优质高产生产措施。
期刊
胡萝卜
秋播
试种
小麦返青期除草剂防治效果试验
1地块选择与试验设计试验地块选在山头店镇庙李村统防统治示范方内,该地块土壤肥力好,地势平坦,灌溉方便。试验共设3个处理,每个处理不设重复,小区东西长50m,南北宽5m,对照的面积为1
期刊
防治效果试验
除草剂
返青期
小麦
地块选择
试验设计
土壤肥力
小区
国审糯玉米郑黄糯2号机械化免耕精播栽培技术
郑黄糯2号是河南省农业科学院选育的国审糯玉米品种,审定编号:国审玉2007036。从土壤条件、播种、施肥、灌溉、病虫草害综合防治和适时收获几个方面介绍了郑黄糯2号机械化免耕
期刊
玉米
郑黄糯2号
机械化
栽培
其他学术论文