节点文献
扫描输入图象中曲线图形的细化
The Global Properties of Valid Formulas in Modal Logic K
【摘要】 扫描输入中得到曲线图形,为了去除多余的噪声和提取有用的目标信息,线细化就是一项很重要的工作。本文在分析经典算法基础上,提出了串并结合的二值图象线细化算法,经程序验证和对比,表明它具有良好的细化效果和较快的处理速度。
【关键词】 扫描图象;
曲线细化;
串并算法;
【Key words】 Modal logic system K; global property; tableau method; automated reasoning;
【Key words】 Modal logic system K; global property; tableau method; automated reasoning;
- 【文献出处】 计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,1996年03期
- 【分类号】TP391.4
- 【被引频次】6
- 【下载频次】34