从无状态到有状态优先级：技术报告
材料科学
2020-02-21 v1 介观与纳米尺度物理
摘要
我们提出有状态优先级（stateful priorities）的概念，用于对系统动作施加精确限制，以满足安全约束。通过使用有状态优先级，我们得以仅限制由约束指定的错误系统行为，而安全系统行为不受限。给定一个建模为离散自动机网络并带有错误约束的系统，我们给出利用这些输入综合有状态优先级的算法。我们也提出一种网络变换，利用综合得到的优先级阻断所有导向输入错误的系统动作。我们在三个真实世界例子上的实验展示了方法的适用性。
引用
@article{arxiv.2002.08647,
title = {Quasiparticle Interference Evidence of the Topological Fermi Arc States in Chiral Fermionic Semimetal CoSi},
author = {Qian-Qian Yuan and Liqin Zhou and Zhi-Cheng Rao and Shangjie Tian and Wei-Min Zhao and Cheng-Long Xue and Yixuan Liu and Tiantian Zhang and Cen-Yao Tang and Zhi-Qiang Shi and Zhen-Yu Jia and Hongming Weng and Hong Ding and Yu-Jie Sun and Hechang Lei and Shao-Chun Li},
journal= {arXiv preprint arXiv:2002.08647},
year = {2020}
}
备注
20 pages, 4 figures