高级功能简介

整个系统用户分为两种:游客及注册用户,针对这两种用户,开放的功能模块有所区别,这里主要介绍注册用户能够使用的功能模块

个人信息管理

通过个人主页可进行查看个人信息账号管理等操作,方便用户进行个人信息管理及账号管理等。

问题(算例)维护(Problem)

问题通过文件系统管理,用户可新建文件夹,在指定文件夹下上传问题文件、删除文件,问题文件上传成功后会自动进行文件的异步分析,分析脚本由平台自动提供,问题分析结果会存储在数据库中与问题关联,用户可在问题详情页查看分析结果

  • 直接基于单个问题发起测算

  • 可将多个问题(可跨文件夹)添加入处理池并设为问题集,基于问题集发起测算

  • 直接将多个问题添加入处理池并发起测算(系统会自动生成系统问题集,通过Tag与人工生成的问题集做区分)

问题集维护(Problem Set)

问题集是问题的简单集合(页面默认显示人工生成的问题集),用户可在页面上查看问题集列表、问题集详情,可删除问题集(不会删除问题文件),可基于问题集发起测算

通过过滤功能,可以查看当前账户下生成的人工/系统/全部问题集

测算请求管理(Request)

测算请求是测算的历史记录,用户可查看所有历史记录列表、每次记录的详情

不管是基于问题集,还是基于单个、多个问题发起的测算都只会生成一条记录(一个请求ID),且只会对应唯一一个问题集ID;根据测算类型不同,记录的详情内容会有所不同

测算结果管理(Result)

测算结果是用户发起测算请求后,以问题为单位的测算历史数据汇总,用户可查看所有问题的所有测算结果,以及求解器针对该问题输出的原始日志。

一个请求ID可能对应多个测算结果

最近更新: 03/22/2022