阅卷信息的形式化描述及其应用

来源 :计算机科学 | 被引量 : 0次 | 上传用户:y810417
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程.这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域.
其他文献
2011年9月,原卫生部在全国14个省46个城市展开了为期两年的康复医疗服务体系建设的试点工作。然而,在“康复服务体系”架构初见成效的同时,一些区域康复服务体系内机构管理不健
新时期,如何提高党员干部的党性修养,如何提升党校党性教育的针对性与实效性是我们面临的一个大课题。从强化思想意识、优化教学内容、加强为人、为官道德教育、强化时效观念
通过对影响双级圆柱齿轮减速器传动比分配的等强度原则、润滑原则、最小外形尺寸原则等多因素的分析,提出传动比分配优化设计的数学模型及其求解方法.
园林景观工程具有专业性、综合性、艺术性和独特性等的特点。因而其施工质量、进度和造价的控制比一般工程更难。而严格的施工管理将是实现设计效果的重要保障。文章分别对设
<正>不少树叶含有蛋白质、脂肪、粗纤维、糖分以及钙、磷等矿质元素和丰富的维生素,营养成分比较全面。树叶作饲料,具有易消化、成本低、加工简便等优点,可代替部分饲料。
目的探析彩色多普勒超声(CDFI)诊断在卵巢囊肿蒂扭转中的临床效果。方法方便选取50例疑似卵巢囊肿蒂扭转的急腹症患者,均于2014年9月-2018年12月期间在该院接受诊疗。所有患
目的在长途转运中密闭式吸痰管在儿科危重症机械通气患者气道护理管理的应用。方法选自2013年~2015年间本院从外院转运的危重症机械通气的患者,分为新生儿(NICU)及儿童(PICU
采用高效液相色谱法对贵阳市道路地表灰尘中16种多环芳烃(PAHs)进行了定量分析,研究了贵阳市道路地表灰尘中PAHs在不同功能区分布特征,并分析了其可能来源。最后以单因子指数、
目的探讨舒适护理运用在分娩期中的临床效果。方法将202例产妇分为两组,对照组行常规护理,观察组行舒适护理,比较两组效果。结果观察组HAMA和HAMD评分低于对照组(P<0.05);观
经济发展是由主导产业的发展而带动的,主导产业的选择是区域经济学研究的一个重点问题.本文以需求收入弹性为基准,结合经济发展阶段理论对现阶段吉林省主导产业选择和确定情