1) logic probe indicator
逻辑探针指示器
2) logic probe indicator
逻辑探头指示器
3) logic probe
逻辑探针
4) logical indicator/pointer
逻辑指示器<字>
5) logic state indicator
逻辑状态指示器
6) pointer logic
指针逻辑
1.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
2.
In terms of the authors sketch of design and verification of safety programs,a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统。
3.
On the basis of our framework for the design and verification of safe program,and the PointerC pointer logic,this paper mainly introduces our research on an assembly pointer logic system for the assembly pointer programs.
根据已经提出的安全程序设计与证明的框架以及PointerC指针逻辑,提出一种汇编语言指针逻辑。
补充资料：氧传感器探头
分子式：
CAS号：
性质：一种由氧离子导体构成的氧浓差电池，是由固体电解质与具有不同氧分压的两边电极所构成。固体电解质是氧离子导体，一般是由CaO或Y2O3稳定的ZrO2。电池一端采用已知氧分压的标准电极，另一端是待测氧分压的气体或液体。未知氧分压可由电池的电动势按能斯特公式算出。氧传感器用于工业锅炉废气监测，汽车尾气中CO，CHx，NOx气体控制，钢液和铜液溶解氧测定等。
CAS号：
性质：一种由氧离子导体构成的氧浓差电池，是由固体电解质与具有不同氧分压的两边电极所构成。固体电解质是氧离子导体，一般是由CaO或Y2O3稳定的ZrO2。电池一端采用已知氧分压的标准电极，另一端是待测氧分压的气体或液体。未知氧分压可由电池的电动势按能斯特公式算出。氧传感器用于工业锅炉废气监测，汽车尾气中CO，CHx，NOx气体控制，钢液和铜液溶解氧测定等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条