排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
引进Petri网概念刻划图标(Icon)的动态行为和相互作用并给出一个可视化编程系统.通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术 相似文献
2.
FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。 相似文献
3.
似然推理是知识工程研究的主要课题之一。目前已有计多似然推理体系被应用在各种专家系统中。证据理论是八十年代被引入到知识工程研究中的似然推理理论,现己受到高度重视。本文提出一种基于证据理论的似然推理算法,它可以充分发挥证据理论的优点。 相似文献
4.
1