181.
总被引：3，自引：0，他引：3
程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。 相似文献
182.
183.
184.
总被引：3，自引：0，他引：3
本文在文献［１］所给出的有关三叉树有其相关概念的基础上，提出了一种新的三叉树存储结构，即“儿子－兄弟链表”方法，并在这种结构下，对三叉树的基本操作的实现算法进行了较详细的讨论。 相似文献
185.
186.
总被引：3，自引：0，他引：3
科学技术的高度发展使得控制的对象日益复杂化，传统的自动控制理论在面临复杂性所带来的困境时，力图突破旧的模式以适应社会对自动化学科提出的新要求。智能控制作为自动控制理论的前沿学科之一，反映了控制理论界近年来在迎接对象复杂性的挑战中所作的种种努力［１］。本文以近年来在智能控制领域的研… … 相似文献
187.
188.
189.
190.
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
