论文部分内容阅读
对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化，证明设计的规格说明能够满足用户的需求．
基于Z规格的答疑系统的标准检查
【摘 要】
：
对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化，证明设计的规格说明能够满足用户的需求．
【机 构】
：
松山职业技术学院计算机系,西南大学计算机与信息科学学院
【出 处】
：
西南大学学报：自然科学版
【发表日期】
：
2007年11期
其他文献
说起超导磁悬浮列车,你一定早有耳闻。在它所齐集的众多高新技术中,超导技术尤其不可或缺。那么,“超导”究竟是怎样一种技术呢? 炙手可热,缘自优越特性 1911年,荷兰莱顿大学
按(P1×P2)不完全双列杂交设计,分析了9个玉米自交系及其组配的20个组合的穗上叶叶长、穗上叶叶宽、穗上叶叶面积、穗上叶夹角及穗上叶叶数等5个株型性状的配合力,从而筛
This study aimed to describe a Computational Fluid Dynamics(CFD) procedure using the ANSYS CFX software 16.1 and Design of Experiments for the determination of
A gravitational flat-plate heat pipe is designed and fabricated in this paper to serve as a heat spreader to diffuse the local heat source to the hot side of th
Dynamic modeling and numerical simulation of hydrate slurry flow behavior are of great importance to offshore hydrate management.For this purpose,a dynamic mode
随着企业改革的深化,秦皇岛市一些企事业单位为减员增效,擅自撤并了武装部。问题发生后,市党政军领导高度重视,迅速采取有效措施加以纠正。在市民兵工作调整改革领导小组调查
用淀粉糖化酶、α-淀粉酶、普鲁兰酶水解甘薯淀粉制备一种具有吸附功能的微孔淀粉载体.研究表明,淀粉糖化酶对生甘薯淀粉作用力最强;淀粉糖化酶水解制备甘薯微孔淀粉的最佳工
新时期,“经费难筹措、人员难落实、活动难开展”三个问题一直制约着民兵、预备役建设的发展。怎样克服“三难”,以提高民兵、预备役建设的质量,各级各地都展开了积极的探索
随着国有企业改革和多种所有制经济的迅速发展,原有的城市民兵组织编组模式已不适应生产组织形式的变化,亟待予以调整改革。 第一,要拓宽城市民兵的组建渠道。随着国有大中型
最近,我们调查了舟山市已实行股份合作制的5家企业、通过转让或兼并等形式改制的3家企业和正在进行机制改革的6家企业的民兵组织建设情况,感到当前企业民兵组织处于极不稳定