高级功能简介
整个系统用户分为两种:游客及注册用户,针对这两种用户,开放的功能模块有所区别,这里主要介绍注册用户能够使用的功能模块
个人信息管理
通过个人主页可进行查看个人信息账号管理等操作,方便用户进行个人信息管理及账号管理等。
问题(算例)维护(Problem)
问题通过文件系统管理,用户可新建文件夹,在指定文件夹下上传问题文件、删除文件,问题文件上传成功后会自动进行文件的异步分析,分析脚本由平台自动提供,问题分析结果会存储在数据库中与问题关联,用户可在问题详情页查看分析结果
直接基于单个问题发起测算
可将多个问题(可跨文件夹)添加入处理池并设为问题集,基于问题集发起测算
直接将多个问题添加入处理池并发起测算(系统会自动生成系统问题集,通过Tag与人工生成的问题集做区分)
问题集维护(Problem Set)
问题集是问题的简单集合(页面默认显示人工生成的问题集),用户可在页面上查看问题集列表、问题集详情,可删除问题集(不会删除问题文件),可基于问题集发起测算
通过过滤功能,可以查看当前账户下生成的人工/系统/全部问题集
测算请求管理(Request)
测算请求是测算的历史记录,用户可查看所有历史记录列表、每次记录的详情
不管是基于问题集,还是基于单个、多个问题发起的测算都只会生成一条记录(一个请求ID),且只会对应唯一一个问题集ID;根据测算类型不同,记录的详情内容会有所不同
测算结果管理(Result)
测算结果是用户发起测算请求后,以问题为单位的测算历史数据汇总,用户可查看所有问题的所有测算结果,以及求解器针对该问题输出的原始日志。
一个请求ID可能对应多个测算结果