so it's good to use a proper header-checking tool to double-check.
因此最好使用合适的页头检查工具再三核查。
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
So the checking tool is an applied buffer overflow vulnerabilities checked tool.
能快速检测出大型程序中的缓冲溢出漏洞，具有一定的实用价值。
For example, while developing the Source Checking Tool, the team noted that 46 percent of all calls were identical.
例如，尽管该团队还在开发SourceChecking Tool，他们已经注意到46%的调用是一样的。
Reference checking tool is an important tool for science workers and also an important source for them to obtain scientific information.
文献检索工具是科技人员研究活动的重要文献调研工具，是获取科技信息的重要来源。
The Endianness Checking Tool provided as part of the Migration Kit for Solaris OS to Linux helps locate those parts of your code that depend on endianness.
EndiannessChecking Tool是MigrationKitforSolarisOStoLinux的一部分，它帮助您定位代码中依赖于 endianness 的各个部分。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
Sometimes "deleted" pages may say "404" or "Not found" on the page, but actually return a 200 status code in the page header; so it's good to use a proper header-checking tool to double-check.
有时“已经删除”页面可能会显示“404”或者“没有找到”，但事实上是在页头显示200状态代码；因此最好使用合适的页头检查工具再三核查。
In a drawing tool, there is no error checking or enforcement of rules.
在绘图工具中，没有错误检查，也不执行任何规则。
Based on the performance data in each server, a monitoring tool using PMI can help with workload management, capacity planning, and generating alerts by checking the values of related PMI counters.
基于每台服务器中的性能数据，使用PMI的监控工具有助于进行工作负载管理、容量规划并通过检测相关PM i计数器的值来生成警告。
As discussed later, we can expect improvements to static checking support in upcoming tool releases.
正如在后面讨论的那样，在即将发布的工具中，可以期盼获得静态检查支持方面的提高。
The db2diag utility was introduced — a useful tool for checking the contents of the db2diag.log.
本文还介绍了db2diag实用程序——这是用于检查db2diag . log内容的一个有用的工具。
The conciseness of a tool's aspect declarations should help determine the benefits of static checking for that tool.
AOP工具的方面声明的简洁性，应当有助于判断该工具静态检查的优势。
In summary, email is a necessary tool for client interaction, but it can also be a big distraction if you are checking it too frequently.
总的来说，电邮是一种与客户联系必不可少的工具，但若查看得太频繁也一样会是一种分心。
Waveforms are used as a tool for describing circuits during logic simulation and accurate simulation is achieved by computing and checking waveforms.
在逻辑模拟中用波形作为电路状态的描述工具，通过对波形的计算和检查实现精确的模拟。
It can improve the machining surface quality of the workpiece and reduce wear of the tool through checking collision and interference of nc programme.
通过对数控程序的碰撞和干涉检验，能够提高工件的加工表面质量，减少刀具的磨损。
This system is processes the tool by the computer achievement, has realized the checking attendance supervisory work automation comprehensively.
本系统是以计算机作为处理工具，全面实现了考勤管理工作自动化。
By tracing that path and checking the status of each element along the way, a management tool can "answer the question of why I can't send E-mail," he adds.
他还说，通过跟踪路径和检查一路上每个部件的状态，管理工具就能“回答我为什么不能送出电子邮件这样的问题了。”
An algorithm for tool path generation of nc machining by projection method is presented in this paper and the interference checking of the cutter is carried out.
提出了用投影方法来生成nc加工刀具轨迹的算法，并完成刀具干涉的检查。
It offers four simple and fast methods about checking the electric fault of the machine tool from the practice in order to improve the efficiency and accuracy of the checking.
从工作实际经验出发，提出了机床电气故障检查的四种简单快速方法，以提高机床电气故障检查的效率和准确性。
With PLC checking, application of state information of PLC and PLC ladder diagram, the fault of CNC machine tool can rapidly been diagnosed accurately.
通过对可编程序控制器plc的检查，利用PLC的状态信息和PLC梯形图，可以快速、准确地判断数控机床故障。
The modular idea begins at a modular product and ends up a modular device. It includes all objects of manufacture: product, technology, jig, tool, checking device, machine-tool and management.
模块概念起始于模块产品，结束于模块设备，它包括了机械制造流程中的所有对象：产品、工艺、夹具、刀具、检测装置、机床以及生产管理。
This paper aims to designing a tool auto-checking instrument that can be used for NC lathe.
本文设计的就是一个能在简易数控车床上使用的自动对刀仪。
The method of least square circle is adopted to measure tool, head radius when a tool checking instrument measuring too, parameter.
对刀仪在测量刀具时，采用最小二乘圆法来测量刀尖半径；
In this paper, a tool auto-checking instrument used for NC lathe is presented.
介绍了一种能在简易数控车床上使用的自动对刀仪。
The tool checking instrument has the advantages of small volume, simple structure, convenient operation, high accuracy, low cost and a wide range of applications.
本发明所述的对刀仪体积小，结构简单，操作方便，精度高，成本低，使用范围广。
The tool checking instrument has the advantages of small volume, simple structure, convenient operation, high accuracy, low cost and a wide range of applications.
本发明所述的对刀仪体积小，结构简单，操作方便，精度高，成本低，使用范围广。
应用推荐