联系型存在的4种情况 二元联系(Binary Relationship): 三元联系(Ternary Relationship): 两个实体型间存在多个不同的联系:如“员工”和“部门”两个实体之间既存在“工作”关系,...
基于20个网页-相关网页
Based on this, unary operation about region and binary relationship between region is defined. A Real-time Region Temporal Logic, called RRTL,is introduced.
基于上述考虑,在本文中,我们提出了由区间的无限序列组成的区域的概念,定义了区域的一些一元运算和二元关系。
参考来源 - 面向实时系统的实时区域时态逻辑:RRTL·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐