dense logic
常见例句
- We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑,它是区间时序逻辑的一种实时扩充。 - However, since memory circuit is very large and dense and the growing of its size is amazing, it is unpractical to extract the logic parameter directly with simulation tools.
然而,由于存储器单元密集和电路庞大的特点,并且存储器的增大极为迅速,使得用模拟工具直接提取逻辑参数并不现实,存储器的简化迫在眉睫。
dict.site 返回 dense logic