孙永新
- 作品数：10 被引量：25H指数：4
- 供职机构：仲恺农业工程学院信息科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多尺度形状分析的叶形识别系统被引量：9
- 2009年
- 叶形自动识别系统使用一种改进了的边界跟踪算法检测叶片边界,应用多尺度形状分析技术有效地提取出规范锯齿长度和曲率尺度空间图像极大值点集两个曲率特征。综合叶片的离心率、似圆率和这两个边界曲率特征来检索叶片数据库,进行形状匹配,实现叶片自动分类。实验结果表明,该系统使用的技术能大幅提高叶形识别的精确率和检索率。
- 孙永新
- 关键词：曲率尺度空间
- 编译算法网络演示系统开发被引量：1
- 2009年
- 编译算法网络演示系统是一个基于JFLAP设计、以网页形式实现的演示系统,其设计目的是为了降低编译算法学习的难度,该系统采用超媒体技术将图形、文字等多种表现方式结合在一起演示编译算法,提供交互、演示跟踪以及在线帮助、使用示例以提高学生学习编译算法的兴趣和效率。学生试用后反映该系统确有助于理解编译算法和掌握编译技术。
- 孙永新闫大顺
- 语义Web的初步逻辑研究
- 2010年
- 阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。
- 孙永新闫大顺李晟
- 关键词：语义WEB本体描述逻辑逻辑研究
- 动画演示与算法教学研究被引量：4
- 2009年
- 算法向来就是计算机教学中的难点,一般算法教学方法很难有效帮助学生理解算法。通过分析算法动画演示的认知作用,强调只有好的算法动画演示才能有效促进算法学习,然后从认知主体需要出发,提出设计好算法动画演示的四个原则,说明只有认真调查研究每一个算法的演示目标和重点,合理安排演示内容和形式,才能设计出一个好的算法动画演示系统。
- 孙永新闫大顺
- 关键词：可视化教学动画演示
- 描述逻辑的动态时序扩展被引量：5
- 2012年
- 在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。
- 孙永新赵希顺符志强
- 关键词：语义WEB服务
- 多线程共享智能指针的实现被引量：1
- 2010年
- 标准C++库的智能指针适用范围有限。介绍一种共享智能指针SmartPtr的实现,SmartPtr模拟C++指针的语法和语义,用互斥对象加锁的引用计数器记录内存对象的共享次数。SmartPtr适用范围广,同时具有简单高效、使用方便的特点。
- 孙永新
- 关键词：C++多线程引用计数
- 基于基本块标识方法的控制流图生成器设计被引量：4
- 2010年
- 设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。
- 孙永新吴家培闫大顺
- 基于动态时序描述逻辑的动作理论
- 2014年
- 动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。
- 孙永新赵希顺
- 带测试动作的动态时序逻辑扩展
- 2012年
- 作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支持测试动作,提出一个DLTL扩展DLTL+和一个判定DLTL+公式可满足性的tableau算法,并给出了算法的正确性以及其时间复杂度为2O(n)的证明。分析表明,DLTL+提供了一种直接的、有效的测试动作支持方式,该方式比已知的其他方式更具有实际应用价值。
- 孙永新赵希顺
- 关键词：TABLEAU算法
- 基于健壮的边界跟踪算法的二维灰度图像边界提取被引量：1
- 2009年
- 在分析二维灰度图像边界的常规提取方法的基础上,提出了一种新的健壮的边界提取方法。该方法首先采用Canny边缘算法检测二维图像边缘,然后使用了一种健壮的边界跟踪算法抽取物体边界,这种边界跟踪算法在跟踪边缘图像的物体边界过程中能自动修补断裂边缘和排除虚假边界点。实验证明,新方法成功率高,能较有效排除干扰,准确识别出物体边界。
- 孙永新
- 关键词：二维灰度图像CANNY边缘检测边界跟踪算法
