谢慧珍
- 作品数：4 被引量：2H指数：1
- 供职机构：河北工业大学计算机科学与软件学院更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 数理逻辑形式推演证明题的自动评阅系统的研究
- 考试是教学中的一个重要环节，而大量的考试又会给教师带来很大的阅卷工作量。传统阅卷方式存在种种弊端，而计算机自动阅卷因其快速、公平成为目前的一种趋势，并成为计算机辅助教学领域的一个研究热点。其中，针对主观题的自动阅卷更是因...
- 谢慧珍
- 关键词：数理逻辑自动评分VBA技术软件设计
- 文献传递
- 基于颜色和空间信息相结合的目标提取方法
- 针对传统基于颜色特征的目标提取方法仅考虑颜色的相似性,提取的目标不完整.提出了一种结合颜色和像素空间位置信息的目标提取算法.首先对原彩色图像进行并行处理,一方面在HSV空间中通过颜色特征进行初始目标提取,得到目标的大致区...
- 魏玮张丽纯谢慧珍
- 关键词：计算机视觉
- 文献传递
- 一种新的融合颜色和空间信息的目标提取方法被引量：1
- 2015年
- 对于目标中带孔或目标局部区域颜色与背景相似的图像,单独利用颜色特征或空间信息易产生过分割和欠分割问题。提出一种颜色和空间信息相结合的目标提取算法。首先对原彩色图像进行并行处理,一方面通过颜色特征提取目标的大致区域;另一方面利用灰度信息提取连续边缘。然后,利用空间信息进行目标轮廓匹配。最后,对初始提取的目标区域进行区域合并,得到最终的目标区域。测试结果证明了该算法的正确性和高效性,具有实用价值。
- 魏玮张丽纯谢慧珍徐丹
- 关键词：空间信息
- 命题逻辑中形式推演证明题的自动评阅系统被引量：1
- 2014年
- 自动阅卷评分是大规模计算机考试的必然选择,而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题,其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支,命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明,即存在一题多解的情况,但其证明有严格的程式,针对其特点用C#开发一个适用于其自身的自动评分系统。应用表明,系统操作界面友好,可大大提高教师阅卷的工作效率。
- 魏玮谢慧珍张丽纯
- 关键词：命题逻辑自动评分C#
