论文部分内容阅读
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题，文章介绍了这个系统的目的，意义，作用和应用。
XYZ系统的目的、意义、作用与应用
【摘 要】
：
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题，文章介绍了这个系统的目的，意义，作用和应用。
【机 构】
：
中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
1999年4期
其他文献
证明了给定任何非零的递归可枚举图灵度ａ存在递归可枚举图灵度ｃ〈ａ和ｄ∈Ｍ，使得ａ≤ｄＵｃ．由此可以得到：在每个非零「Ａ」∈Ｒ∧Ｍ中不存在极小元，即给定任何非可盖递归可枚举图灵度ａ，存在一个递归可枚
衰老是生物体组织、器官的退行性变化,是许多生理、病理过程综合作用的结果. 祖国医学关于衰老的学说很多,其中肾虚衰老学说占有很重要的地位.祖国医学很早就指出,"肾为先天
本文结合传统物理化学实验中存在的问题,探索了问题化教学方法在物理化学实验不同教学环节中的应用,有利于改善教学效果,引导学生养成勤于思考的习惯,提高创新能力。
提出了一种利用局部优先信息对汉语分析算法进行优化的新方法，通过利用从语料库中自动获取的结构优先关系数据作为优先判断依据。此方法使目前的汉语概率分析器的整体效率提高