·2,447,543篇论文数据，部分数据来源于NoteExpress
给出了两公式间的DL3 -相似度与伪距离的概念，并建立了DL3 -逻辑度量空间，证明了此空间没有孤立点。
The conceptions of DL3-similarity degree and pseudo-metric on two formulas are given. DL3-logic metric space is built. And it is proved that this space has no isolated point.
报告分支覆盖的工具试图度量决策点(比如包含逻辑AND或OR的条件块)的覆盖率。
Tools that report branch coverage attempt to measure the coverage of decision points, such as conditional blocks containing logical ANDs or ORs.
大多数性能分析度量应用服务器是否能够快速处理请求、执行必需的应用程序逻辑和生成响应。
Most performance analysis measures the application server's ability to quickly handle requests, carry out necessary application logic, and generate a response.
应用推荐