Pile-ArXiv

# 数据介绍
## 简介
Pile-ArXiv数据集是一个基于arXiv学术论文预印本数据库构建的大规模学术论文集合。arXiv是一个开放获取的学术论文预印本存储库，涵盖了多个学科领域的科学研究论文。这些论文涵盖了各种学科领域，包括物理学、数学、计算机科学、生物学等。
Pile-ArXiv数据集可以用于学术文本分析、学术趋势分析、知识发现等应用，推动学术研究和创新。
## 数据内容
### 数据说明
Pile-ArXiv数据集涵盖了57.1G的数据。
### 数据示例
```
{
"id": "263736539",
"source_id": "",
"doc_id": "151445",
"data_type": "text",
"data_source": "pile",
"data_url": "enwiki-c4-pile-ccnews",
"content": "---\nabstract: 'Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modelling languages for such systems in the relevant industry. To address this problem, we propose a formal visual modeling framework called as a concise and precise way to specify and analyze such systems. To capture the temporal properties of periodic control systems, we provide, along with , a property specification language based on interval logic for the description of concrete temporal requirements the engineers are concerned with. The statistical model checking technique can then be used to verify the models against desired properties. To demonstrate the viability of our approach, we have applied our modelling framework to some real life case studies from industry and helped detect two design defects for some spacecraft control systems.'\nauthor:\n- |\n Zheng Wang$^{1, 5}$, Geguang Pu$^{1}$, Shenchao Qin$^{2}$, Jianwen Li$^{1}$,\\\n Kim G. Larsen$^{3}$, Jan Madsen$^{4}$, Bin Gu$^{5}$, Jifeng He$^{1}$\nbibliography:\n- 'main.bib'\ntitle: |\n : A Mode Diagram Modeling Framework for\\\n Periodic Control Systems \n---\n\n$^{1}$ [<[e-mail]>]{}, [<[e-mail]>]{},\\\nShanghai Key Laboratory of Trustworthy Computing,\\\nEast China Normal University\\\n$^{2}$ [<[e-mail]>]{}, University of Teesside\\\n$^{3}$ [<[e-mail]>]{}, Aalborg University of Denmark\\\n$^{4}$ [<[e-mail]>]{}, Technical University of Denmark\\\n$^{5}$ [<[e-mail]>]{}, Beijing Institute of Control Engineering\n\nintro.tex\n\nlang.tex\n\nproperty.tex\n\nverification.tex\n\nexperiment.tex\n\nrelated.tex\n",
"remark": {
"pile_set_name": "ArXiv"
},
"sub_path": "arxiv/val"
}
```
## 引文
```
@misc{conghui2022opendatalab,
title={OpenDataLab: Empowering General Artificial Intelligence with Open Datasets},
author={Conghui He, Wei Li, Zhenjiang Jin, Bin Wang, Chao Xu, Dahua Lin},
journal={https://opendatalab.com/},
year={2022}
}
```
## Download dataset
:modelscope-code[]{type="git"}

# 数据集介绍
## 概述
Pile-ArXiv数据集是基于arXiv学术论文预印本数据库构建的大规模学术论文合集。arXiv作为开放获取的学术论文预印本存储库，收录覆盖物理学、数学、计算机科学、生物学等多学科领域的科研论文。
该数据集可应用于学术文本分析、学术趋势研判、知识发现等场景，助力学术研究与创新发展。
## 数据集内容
### 数据集说明
Pile-ArXiv数据集总数据量达57.1G。
### 数据示例

{
"id": "263736539",
"source_id": "",
"doc_id": "151445",
"data_type": "text",
"data_source": "pile",
"data_url": "enwiki-c4-pile-ccnews",
"content": "---
abstract: 'Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modelling languages for such systems in the relevant industry. To address this problem, we propose a formal visual modeling framework called as a concise and precise way to specify and analyze such systems. To capture the temporal properties of periodic control systems, we provide, along with , a property specification language based on interval logic for the description of concrete temporal requirements the engineers are concerned with. The statistical model checking technique can then be used to verify the models against desired properties. To demonstrate the viability of our approach, we have applied our modelling framework to some real life case studies from industry and helped detect two design defects for some spacecraft control systems.'
author:
- |
Zheng Wang$^{1, 5}$, Geguang Pu$^{1}$, Shenchao Qin$^{2}$, Jianwen Li$^{1}$,\
Kim G. Larsen$^{3}$, Jan Madsen$^{4}$, Bin Gu$^{5}$, Jifeng He$^{1}$
bibliography:
- 'main.bib'
title: |
: A Mode Diagram Modeling Framework for\
Periodic Control Systems
---

$^{1}$ [<[e-mail]>]{}, [<[e-mail]>]{},\
Shanghai Key Laboratory of Trustworthy Computing,\
East China Normal University\
$^{2}$ [<[e-mail]>]{}, University of Teesside\
$^{3}$ [<[e-mail]>]{}, Aalborg University of Denmark\
$^{4}$ [<[e-mail]>]{}, Technical University of Denmark\
$^{5}$ [<[e-mail]>]{}, Beijing Institute of Control Engineering

intro.tex

lang.tex

property.tex

verification.tex

experiment.tex

related.tex
",
"remark": {
"pile_set_name": "ArXiv"
},
"sub_path": "arxiv/val"
}

## 引用文献

@misc{conghui2022opendatalab,
title={OpenDataLab: Empowering General Artificial Intelligence with Open Datasets},
author={Conghui He, Wei Li, Zhenjiang Jin, Bin Wang, Chao Xu, Dahua Lin},
journal={https://opendatalab.com/},
year={2022}
}

## 数据集下载
:modelscope-code[]{type="git"}