用指针实现的程序的标准化及其应用

为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性.     

山高自有客行路,水深自有渡船人——程序设计课程教学的思考与实践

在程序设计课程中,应该培养学生具备哪些能力以及如何培养这些能力是近年来研究和探讨的主要问题。文章首先分析程序设计课程教与学过程中存在的主要问题,然后从如何提高学生的学习兴趣和学习主动性、如何加强对学生学习过程的监督指导以及如何客观公正地评价学生的编程实践能力等几个方面,介绍笔者在程序设计课程教学中的探索与实践。     

面向能力培养的“计算机图形学”课程教学方法

本文针对计算机图形学课程的具体特点和大纲要求,在剖析课程内容、总结教学实践经验的基础上,提出金字塔式、发现式和四结合式教学方法,以此提高学生对计算机图形学课程的学习兴趣,提高学生面向问题求解的能力,同时,针对该课程特点和能力培养目标,提出侧重于综合能力测试的课程考核方法,最后,介绍课程教学实践的效果。     

将创新教育融入到“计算机组成技术”教学之中

本文强调培养创新人才是高等学校教师责无旁贷的历史责任,要求教师把创新教育融入到日常的教学工作中。指出自主创新包括三方面的含义:一是原始创新;二是集成创新;三是技术引进、消化吸收基础上的再创新。通过"计算机组成技术"课程的教学,使学生在掌握计算机的工作原理和提高编程水平的基础上,透过计算机产生和发展过程中大量地创新事例,让学生感受到创新在推动技术进步中的巨大作用,从而培养起学生的创新兴趣与创新意识,使学生初步掌握创新的能力与方法。     

一种基于神经网络和证据理论的信息融合算法

针对目前多传感器系统中常用的信息融合方法,识别率较低、网络稳定性不好、不能很好地处理不确定性等问题,提出一种基于神经网络和DS方法的信息融合算法。该方法兼顾神经网络和DS推理二者的优势,有效地解决了目前信息融合方法对大噪声不确定性传感器测量信息的误识别问题。仿真实验结果验证了该算法在提高目标识别率和抗噪能力方面的有效性。     

用兴趣点凸包和SVM加权反馈实现图像检索

针对采用环状颜色直方图的图像检索方法存在的不足,提出一种基于兴趣点凸包的图像特征提取方法,通过对用小波变换检测出的必趣点递归求出它们的凸包,并将每个凸包上的兴趣点按一定的算法安插在相应的桶内,对每个桶求出颜色直方图,利用桶与桶之间的相似度定义两幅图像的相似度.这种特征提取方法可有效抑制兴趣点集合中出现游离兴趣点的情况,结合基于兴趣点的空间离散度和Gabor小波纹理等特征实现图像检索,可有效提高图像检索精度.最后,提出一种新的相关反馈方法,通过利用支持向量机分类结果设置权值来改进移动查询点相关反馈方法.实际图像数据库上的实验表明,引入这种反馈方法后可将图像检索的查准率提高20%左右,查全率提高10%左右.     

基于K-Medoids聚类的多传感器航迹关联算法

为有效解决目标密集环境下的航迹关联问题,提出了一种基于K-Medoids聚类的航迹关联算法.该算法采用局部航迹与系统航迹进行关联的策略,将系统航迹作为Medoids,降低了需要关联的航迹对数量,避免了K-Medoids的固有缺陷,很大程度上提高了关联算法的效率.通过采用无穷范数计算采样点点迹距离求出了两条航迹的近似距离,这使得关联判决能考虑历史和当前航迹,提高了正确关联率.在多传感器多目标环境下讨论了其具体实现过程,仿真实验结果验证了该算法的有效性和优越性.该算法在存在噪音和离群点时,具有很强的健壮性,适合目标密集环境.     

基于未来锁集的死锁规避

针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁定才执行该加锁操作,否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁,开销较小,扩展性好,不影响程序正确性.     

海水浸泡对增强MC尼龙力学性能的影响

针对尼龙在海水中浸泡后的力学性能变化的问题,文章通过将试样置于海盐溶液中浸泡,采用常压浸泡试验、不同压力浸泡试验以及拉伸试验,对尼龙试样浸泡后的力学性能进行了测试,得到了尼龙试样的吸水率以及弹性模量、拉伸强度、拉伸屈服应力的变化情况,探索了尼龙试样力学性能的变化变化规律。结果表明随着吸水率的增加,尼龙的弹性模量、拉伸强度以及屈服拉伸应力均有所减小。     

锆铝球石加工陶瓷原料的高效节能应用研究

目前,市场上使用中铝球石加工陶瓷原料的球磨机普遍存在球磨时间长、用电成本高以及球磨效率低等缺点。针对这一系列问题,本文采用密度较大的锆铝球石作为研磨介质,代替传统的中铝球石和鹅卵石介质,并研究采用二次研磨的方式,探索出原料加工高效节能的有效途径。