【摘 要】
：
计算机的发展影响着社会的方方面面,教育系统也不例外。学生的成绩是学生学习和教师劳动的体现,也是国家、社会选拔人才的参考材料之一。本着为提高阅卷教师的工作效益、评卷
论文部分内容阅读
计算机的发展影响着社会的方方面面,教育系统也不例外。学生的成绩是学生学习和教师劳动的体现,也是国家、社会选拔人才的参考材料之一。本着为提高阅卷教师的工作效益、评卷质量、真正体现公平、合理、正确的评卷系统的目的,我参加了贵州省科技厅工业攻关科技攻关计划——基于互连网的远程无纸化阅卷系统的研究。我在系统中完成主观题评阅模块的B/S架构的设计,功能模块划分及部分模块的详细设计和代码编写。完成阅卷教师的实时评阅质量监控。定义了阅卷系统中评价教师阅卷质量的评价指标之一——吻合指数。在系统开发过程中,结合Hoare和何积丰的统一程序理论(Unifying Theories of Programming,简称UTP),使用Java风格的对象系统精化演算语言[32](Refinement Calculus of Object Systems,简称rCOS)探讨描述面向对象的多线程规范,对多线程的语义在rCOS的基础上进行扩展。
其他文献
他们的事迹,不惊天地、不泣鬼神,却令人肃然起敬;他们拒腐蚀、永不沾的品质,表现了新时代革命军人的清醒;他们拒腐蚀、永不沾的品德,展示新时期人武干部的风采。镇康县人武部
本篇论文的目的是引进一种求解一般混合拟变分不等式的显式迭代方法.在[22]中，Noor介绍了一种隐式迭代方法，虽然条件比在[1]中介绍的显式方法条件弱，但由于是隐式迭代，计算量比较
２００４年是六霍起义胜利７５周年。当年那些起义勇士们叱咤风云的斗争经历、英勇无畏的革命精神早已为史书所记载，本文记录的是其中三位先烈革命生涯中的几则趣闻轶事，从另一个侧面反映了先烈们的风采，这也算是一种深情的祭奠吧。 汪维裕赎身 １９２９年正月十五晚上，燕子河镇锣鼓喧天，鞭炮长鸣，大家小户，都喜气洋洋地忙着闹花灯，欢庆元宵节。可在街西头的一间屋子里，坐着七八个年轻人，每个人都紧
无线基站传输网络作为移动传输网络的重要组成部分,必须不断进行升级改造以满足移动通信业务的高速发展。随着网络规模的扩大,传输网络的拓扑可靠性评估与优化问题变得相当复
本文研究了椭圆曲线密码中的点乘与双线性对的计算.对于受限制的硬件环境，椭圆曲线密码系统是一种更有效的公钥密码系统，在椭圆曲线密码系统中，椭圆曲线上的算术运算是至关重要
设C为复数域，R为实数域，m,n是两个任意的正整数．记Mn(C)和Hn(C)分别为R上n×n全矩阵空间和n×n复Hermite矩阵空间． T1表示Hn(C)到Mn(C)保幂等的线性映射，其全体记为N2(Hn(C)，Mn(C))
最优化问题，尤其是大规模优化问题广泛见于经济计划、工程设计、生产管理、国防与航空航天等重要领域，因此构造大规模优化问题的计算方法，研究这些方法的理论性质及其实际计算表
作为高性能网络的一种关键机制，IP多播以其高效率的传输性能，受到了研究学者的广泛关注。但是，由于自身存在的一些缺陷，使得IP多播未能得到广泛的部署应用。因此，一些学者提出了应
粒子群优化算法是群体智能算法的一个新的范例,它是现代启发式最优化算法中的一个新算法。粒子群优化算法起源于社会心理学和人工生命,由于受到群体智能领域的强烈启发,Kenne