命题逻辑中形式推演证明题的自动评阅系统

自动阅卷评分是大规模计算机考试的必然选择,而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题,其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支,命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明,即存在一题多解的情况,但其证明有严格的程式,针对其特点用C#开发一个适用于其自身的自动评分系统。应用表明,系统操作界面友好,可大大提高教师阅卷的工作效率。     

聚烯烃树脂中氯的分光光度法测定

采用硫氰酸汞分光光度法测定PP树脂中的氯含量。进行了最佳实验条件的选择。在460nm,测得络合物表观摩尔吸光系数为1930,桑德尔灵敏度为0.0184微克氯/cm~2,氯的回收率95～102%。相对标准偏差不大于2%。共存元素铝、钛、铁均不干扰,约2.5小时可完成对三批试样的平行测定。     

一种新的融合颜色和空间信息的目标提取方法

对于目标中带孔或目标局部区域颜色与背景相似的图像,单独利用颜色特征或空间信息易产生过分割和欠分割问题。提出一种颜色和空间信息相结合的目标提取算法。首先对原彩色图像进行并行处理,一方面通过颜色特征提取目标的大致区域;另一方面利用灰度信息提取连续边缘。然后,利用空间信息进行目标轮廓匹配。最后,对初始提取的目标区域进行区域合并,得到最终的目标区域。测试结果证明了该算法的正确性和高效性,具有实用价值。