不等式自动发现与判定程序agl2012功能的若干拓展     

刘保乾 《广东教育学院学报》2014,(5):28-35

对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.  相似文献   

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,36(2):20-24

为实现海铁联运节能降耗,探讨考虑能耗的海铁联运速度优化问题.通过分析航运速度与能耗、铁路运输速度与能耗的关系,提出在满足运输时间要求下实现能耗最低的国际海铁联运速度优化模型.针对铁路运输速度与能耗关系的复杂性,将铁路运行速度离散变量通过数据拟合转化为连续变量,在此基础上构建海铁联运的非线性优化模型.数值分析结果表明,低速航运与相对高速铁路运输联合能显著地降低总能源消耗并缩短运输时间.  相似文献   

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

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

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

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

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

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

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

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

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

钢轨表面裂纹缺陷形成的模拟试验     

任安超  周剑华  朱敏  费俊杰  郑建国  吉玉  田青 《武汉工程职业技术学院学报》2014,(2):36-38

为了判断铸坯表面缺陷与钢轨表面质量之间的对应关系,作者在铸坯表面制作人工缺陷,通过正常轧制,依据轧制延伸系数在钢轨成品对应人工缺陷处取样,采用Olympus PME3型光学显微镜和Quanta 400扫描电镜分析裂纹形貌,可判断铸坯表面缺陷与钢轨表面缺陷具有明显的对应关系,从而明确了重轨铸坯的棱部缺陷是重轨裂纹产生的根本原因。  相似文献   

冶金起重机选型探讨     

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

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