go top

实例检查

网络释义

  instance checking

当Tbox为空时,A是一致的等价于存 在A的模型I; ② 实例检查Instance checking):在Abox A的约束下,a:C成立,当 且仅当A的任意模型I, 也等价于 不是一致的, 记为A |= a:C; ③ 检索问题(Retrieval problem...

基于8个网页-相关网页

短语

检查实例 test case

有道翻译

实例检查

Instance inspection

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • tcp_usrreq函数中的切换实例检查接字本地端口绑定

    The switch case in the tcp_usrreq function checks for the binding of a local port with the socket.

    youdao

  • tcp_usrreq函数切换语句中,PRU_LISTEN的实例检查接字是否绑定端口

    Within the switch statement of the tcp_usrreq function, the case for PRU_LISTEN checks if the socket is bound to the port.

    youdao

  • 之后,元数据功能可以检查注释实例注释类型

    The metadata facility can then check annotation instances against the annotation types.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定