论文部分内容阅读
对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化，证明设计的规格说明能够满足用户的需求．
基于Z规格的答疑系统的标准检查
【摘 要】
：
对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化，证明设计的规格说明能够满足用户的需求．
【机 构】
：
松山职业技术学院计算机系,西南大学计算机与信息科学学院
【出 处】
：
西南大学学报：自然科学版
【发表日期】
：
2007年11期
其他文献
说起超导磁悬浮列车,你一定早有耳闻。在它所齐集的众多高新技术中,超导技术尤其不可或缺。那么,“超导”究竟是怎样一种技术呢? 炙手可热,缘自优越特性 1911年,荷兰莱顿大学
按(P1×P2)不完全双列杂交设计,分析了9个玉米自交系及其组配的20个组合的穗上叶叶长、穗上叶叶宽、穗上叶叶面积、穗上叶夹角及穗上叶叶数等5个株型性状的配合力,从而筛
用淀粉糖化酶、α-淀粉酶、普鲁兰酶水解甘薯淀粉制备一种具有吸附功能的微孔淀粉载体.研究表明,淀粉糖化酶对生甘薯淀粉作用力最强;淀粉糖化酶水解制备甘薯微孔淀粉的最佳工