近似等价相关论文
近年来,并发系统有着颇为广泛的应用。事件结构作为并发系统的语义模型之一,引起了理论与工程学界极大的关注和兴趣,并吸引了大量......
等价性研究一直是混杂系统分析验证领域热门的研究方向之一。微分半代数混杂系统是一种较为复杂的混杂系统,在描述和验证分析带有微......
迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等,然而精确相等需要的精确度量在现实物理世界里是无法实......