形式化开发基于L系统的Koch曲线算法 - 2012河南省计算机大会暨学术年会.pdf

论文《形式化开发基于L系统的Koch曲线算法》探讨了利用L系统理论生成Koch曲线的方法。作者通过形式化方法对算法进行建模与验证，确保了生成过程的准确性与可重复性。研究为分形图形的计算机生成提供了理论支持，具有重要的数学与计算机科学意义。

文档为pdf格式，0.27MB，总共5页。

2025-12-14 17:39 上传 形式化开发基于L系统的Koch曲线算法 - 2012河南省计算机大会暨学术年会.pdf

文件大小:

276.48 KB

下载次数:

60

形式化开发基于L系统的Koch曲线算法 - 2012河南省计算机大会暨学术年会.pdf

高速下载