Static analysis of programming exercises: Fairness,usefulness and a method for application     

Stephen Nutbrown  Colin Higgins 《Computer Science Education》2016,26(2-3):104-128

This article explores the suitability of static analysis techniques based on the abstract syntax tree (AST) for the automated assessment of early/mid degree level programming. Focus is on fairness, timeliness and consistency of grades and feedback. Following investigation into manual marking practises, including a survey of markers, the assessment of 97 student Java programming submissions is automated using static analysis rules. Initially, no correlation between human provided marks and rule violations is found. This paper investigates why, and considers several improvements to the approaches used for applying static analysis rules. New methods for application are explored and the resulting technique is applied to a second exercise with 95 submissions. The results show a stronger positive correlation with manual assessment, whilst retaining advantages in terms of time cost, pedagogic advantages and instant feedback. This study provides insight into the differences between human assessment and static analysis approaches and highlights several potential pitfalls of simplistic implementations. Finally, this paper concludes that static analysis approaches are appropriate for automated assessment; however, these approaches should be used with care.  相似文献   

明代中日武术文化渗透带来的武道变革     

蔡宝忠 《沈阳体育学院学报》2004,23(4):498-500

主要采用历史资料考察的方法,探讨明代中日武术文化在相互渗透的过程中对本国武道的影响。研究认为:明代是中日两国文化交流的兴盛时期,武术的相互渗透,有效促进了各自武道的发展。日本的刀法对中国刀法有一定影响,而中国武术对日本空手道和柔道的形成起到了决定性作用。  相似文献   

�������ϱ�Ŀ——��Ŀ���������ٵĻ�������ս   总被引：20，自引：0，他引：20  

曾新红 《图书情报工作》2000,44(8):56-59

介绍联机联合编目的含义和发展趋势,分析现阶段在我国实现联机联合编目的可行性。着重探讨在联机联合编目时代编目工作者面临的机遇与挑战,并就如何提高我国编目工作者队伍的整体素质提出建议。  相似文献   

一种用于双负载重力货架自动存取系统的排序方法(英文)     

陈竹西  李小平 《东南大学学报》2015,31(1):31-37

重力货架自动存取系统的双提取操作排序问题等价于在一组提取货物中进行两两配对以生成最小执行成本的双提取操作序列,因此双提取操作排序问题被建模为一个匹配问题.提出一个基于匈牙利方法的启发式方法 RSHM来生成具有最小总行驶时间的双提取命令.为了保证生成可行的双提取操作序列,对称标记法被引入RSHM;为了打破对称标记法引起的无限循环,RSHM被设计成一个递归过程.仿真实验对双负载装卸设备的成本效益和RSHM的性能进行了评价和分析.仿真实验结果显示:与单负载设备相比,采用双负载装卸设备可以节省超过40%的提取操作总行驶时间;与贪婪规则相比,RSHM能够减少5%~10%的总行驶时间.  相似文献   

用真情演绎人性的赞歌——读严歌苓小说《小姨多鹤》     

朱巍 《柳州师专学报》2014,(1):21-23

严歌苓的《小姨多鹤》再次对"人性"主题进行挖掘。通过多鹤、小环和张俭三个人关系和情感的层层转变,即从小环和张俭对多鹤的同情到张俭与多鹤之间的爱情,再到他们三人在经历种种磨难之后形成的亲情的转变表现人性的升华和超越。  相似文献   

利用大吨位吊车分解吊装组合式输电钢管杆     

吕宝生  孙伟 《江西电力职业技术学院学报》2014,(1):1-5

针对双杆或四杆的组合式钢管杆,采用大吨位吊车进行吊装。重点介绍了大吨位吊车型号的选择,构件吊点位置的确定,吊具的设计和吊装施工方法。通过220kV越溪—菀平线开断环入江城变工程的施工实践,表明采用大吨位吊车分解吊装组合式钢管杆具有经济实用、施工效率高、工器具少、安全可靠等优点,值得在输电线路施工中推广应用。  相似文献   

冶金起重机选型探讨     

陈娥 《中国科技纵横》2014,(16):52-53

介绍了正和钢管炼钢厂冶金起重机的基本情况,分析了三台冶金起重机的技术要求,阐述了QD型、QDY型及YZ型起重机的区别,说明了技术选型的文件参考,明确了冶金起重机的选型,描述了选型变更后的实际效果。  相似文献   

确定门机对重的动态优化法     

张纪元  李春木 《上海海事大学学报》2001,22(4):5-7

提出了确定门机对重质量及其位置的动态优化法.其基本思想是;计及惯性力和风力等影响,在满足结构布置等要求的前提下,以变幅电机功率为目标函数,建立非线性约束优化的数学模型,并用正交计算设计法求解.经编程运行,取得了较好的计算结果.  相似文献   

大跨度单层工业厂房上部结构的设计     

邱丽丽  饶卫东 《洛阳工业高等专科学校学报》2001,11(3):21-22

１工程概况 中国长城铝业公司新建炭素二焙车间焙烧工段厂房为单层单跨排架工业厂房，跨度３６ｍ，总长１９８ｍ，按伸缩缝区段划分为三个部分，屋面采用３６ｍ跨梯形钢屋架和１２ｍ跨钢天窗架，上铺６ｍ跨大型混凝土屋面板和天沟板，柱距６ｍ，柱子采用预制钢筋混凝土工字型柱，部分柱为现浇矩形截面柱，柱基采用钢筋混凝土灌注桩，厂房内设有两台新型多功能天车，每台自重１６８ｔ，其中小车自重５８．６ｔ，装满料后总重量达２０ｔ，工作级别为特重级，吊车梁采用钢吊车梁，其截面高度为１２４０ｍｍ。该天车自重大，使用频繁，是决定柱…  相似文献   

论苏轼诗词中"鸿"与"鹤"意象的审美意蕴   总被引：1，自引：0，他引：1  

方星移 《黄冈师范学院学报》2001,21(1):51-55

苏轼诗词中鸿、鹤两种意象具有深厚的文化底蕴,前者具体化为飞鸿、孤鸿、归鸿,分别象喻了苏轼人生历程中的青年、壮年、老年阶段的生命体验,后者以"驯鹤"为主要形式,象喻了主体的品格.  相似文献