论文部分内容阅读
在基于谓词逻辑对知识的表示的基础上,用Unity逻辑系统对其加以扩充,形成一个小型的用户需求功能规格说明语言(Small problem Specification Language),用这种形式化的语言对电梯控制系统作出形式化的用户需求功能规格说明.
基于逻辑系统的用户需求功能规格说明语言及其应用
【摘 要】
：
在基于谓词逻辑对知识的表示的基础上,用Unity逻辑系统对其加以扩充,形成一个小型的用户需求功能规格说明语言(Small problem Specification Language),用这种形式化的语言对
【机 构】
：
曲靖师范学院计科系
【出 处】
：
曲靖师范学院学报
【发表日期】
：
2002年3期
其他文献
记者：《全日制义务教育语文课程标准（实验稿）》（以下简称《语文课标实验稿》）自2001年颁布实施已11年，广大教育教学工作者在贯彻落实《语文课标实验稿》的同时一直在关心着课程标准
计算机是20世纪最伟大的发明之一,以计算机为核心的信息技术对社会经济、文化、生活的各方面带来深刻影响,使社会产生巨大变化.对计算机文化现象和计算机文化内涵进行深入全
发展学生的语文学力，应立足于开放的教材文本，采用立体的教学方式。一、立体读：回归文本阅读读是立足于文本的学习方式。一些语文课堂里缺少文本阅读，充斥着词句的碎片、理性的辩
《义务教育语文课程标准（2011年版）》（以下简称《语文课程标准》）在第三学段目标和内容中提出“阅读简单的非连续性文本，能从图文等组合材料中找出有价值的信息。”到第四学段则要
全国农业技术推广服务中心组织植保系统和科研、教学单位专家分析预测,2015年小麦病虫害总体偏重发生,预计发生面积0.63亿公顷次,其中虫害发生面积0.34亿公顷次,病害发生面积
1地块选择与试验设计试验地块选在山头店镇庙李村统防统治示范方内，该地块土壤肥力好，地势平坦，灌溉方便。试验共设3个处理，每个处理不设重复，小区东西长50m，南北宽5m，对照的面积为1
一个国际团队在最新一期英国《自然·气候变化》上报告说，现有粮食作物产出受气候变化影响在未来10年可能会下降，各国有必要加速培育能更好适应新气候条件的粮食作物品种并
郑黄糯2号是河南省农业科学院选育的国审糯玉米品种,审定编号：国审玉2007036。从土壤条件、播种、施肥、灌溉、病虫草害综合防治和适时收获几个方面介绍了郑黄糯2号机械化免耕