理学 程序正确性 释 assertion 断言 通常指系统状态需要满足的谓词（常表示为谓词公式）。
assertion 断定
assertion 论断†，断言,断定
人工智能 自动推理 释文 assertion 断言
- traffic impact analysis
- traffic impact analysis of construction project
- traffic impediment warning systems
- traffic incident detection system
- traffic indication
- traffic information collecting
- traffic information collection system
- traffic information dissemination
- traffic information security
- traffic injury
- Traffic Insurance and Compensation
- traffic intensity
- traffic island
- traffic island greening
- traffic landscape
- traffic land use
- traffic level of service
- traffic light
- traffic line
- traffic line marking
- traffic maintenance of equipment
- traffic management
- traffic management information system(TMIS)
- traffic map
- traffic mark