刘定飞
- 作品数：8 被引量：11H指数：3
- 供职机构：武汉工业大学更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 用动态有序弹性匹配方法识别手写印刷体汉字
- 1993年
- 本文为手写印刷体汉字分类提供了一种新的实用解决方法。本方法采用日本山本氏提出的用松驰匹配方法识别手写印刷体汉字的基本思想。给出了用汉字轮廓点的差分作为轮廓跟踪及折断点选择的算法,提高了轮廓折线化速度;分类是按汉字四周的外轮廓线分二级进行匹配的,提出了动态有序弹性匹配方法,使全域松弛匹配得以在局部区域进行,从而有效地提高了匹配速度;在进行第一级粗分类时,采用多个模板,有效地提高了按偏旁位置分布进行分类的正确率;最后利用内轮廓折线与字典逐字匹配,达到手写印刷体汉字识别的目的。本识别系统在386微机上用C语言编程实现,对国标一级3755个汉字进行了三万余字的识别试验,前十位的累计正确分类率达92%,第一位的累计正确分类率达84%。识别时间为每字1.8秒。
- 胡家忠刘定飞
- 关键词：手写印刷体汉字识别微机
- 程序结构分解及复杂性度量被引量：3
- 1991年
- 本文基于程序的结构分解,建立了子流程图、1—入口子流程图、1—入口真子流程图、基本流程图、最大真子流程图、流程图的分解等概念.并给出了程序结构分解的三个定理(定理1,2,3).由此,得到了程序复杂性度量的两个公理及公理化的复杂性度量方法.本文最后的讨论表明经典的度量方法都可化归为本文给出的度量形式.
- 吴锡琪钟珞刘定飞
- 抽象数据类型条件方程的求取被引量：4
- 1994年
- 抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方程方法的正确性作了讨论。
- 刘定飞夏红霞钟珞
- 关键词：抽象数据类型程序设计方法
- 栈的一种算法理论被引量：1
- 1995年
- 栈的算法理论是栈的关系系统的特定性质。本文证明了不同于已知的有关理论的关于栈的算法特征的新公理，即ｗｈｉｌｅ型公理。这一公理说明每个栈的关系与有限元素序列系统是同构的。
- 孙运英夏红霞赵愚刘定飞
- 关键词：数据结构
- 支持程序验证的模块方法被引量：2
- 1994年
- 本文给出一种支持程序验证的模块方法,并讨论了基于函数语义的模块验证。程序(特别是大型复杂的程序)可划分为若干个摸块,模块本身又可划分为若干个更小的子模块,其验证独立进行。将独立验证过的各子模块复合,完成上级模块或程序本身的验证。
- 刘定飞钟珞
- 长江经济开发战略区域一体化
- 1995年
- 论述了开发长江流域经济的优势及对我国未来国民经济发展的重要性；提供了长江经济开发可供选择的模式和区域一体化的战略原则。据此，本文提出了长江经济开发战略区域一体化模式与实施构想。
- 赵愚韩志斌钟珞刘定飞陆燕红
- 关键词：长江流域流域经济
- 支持活动图的程序设计工具的实现
- 1995年
- 就一个支持活动图的程序设计工具进行讨论，该工具用ＴＵＲＢＯＣ实现，具有友好的用户界面，使用方法灵活，生成的程序具有良好的结构化风格。
- 刘定飞夏红霞赵愚卢月
- 关键词：活动图程序设计
- 知识系统开发生命周期的改造被引量：3
- 1991年
- 系统开发方法学上的进步,使知识库系统的生命周期有所改进。在新的开发方法中,过程代替了阶段和步骤,在系统开发期间。过程的动态活动使系统的性能得到改进。
- 吴锡琪钟珞刘定飞夏红霞
- 关键词：知识库系统软件工程
