如果系统采用传统的未提供日志功能的文件系统，那么操作系统在检测到系统为非正常关机时，会使用fsck应用程序执行一致性检验。
When a system using a traditional, non-journaling file system is improperly shut down, the operating system detects this and performs a consistency check using the FSCK utility.
问题在于，遗留系统并不进行数据输入编辑和检验，因此不能确保应用程序中捕捉的数据与逻辑数据模型保持一致。
The problem was that the legacy systems did not have the data entry edits and validations to ensure that the data captured in the application was consistent with the logical data models.
您在重新开始检验前，是否按程序审核数据、检查仪器或系统适用性是否有故障、是否用错了试剂、计算或数据录入是否有误？
Before you start a retest, do you have a procedure for review of the data, checking of instrument or system suitability malfunction, faulty reagents, and calculation and transcription errors?
我们不断监测我们的管理，生产和检验程序，以确保适合为目的的产品和系统，以提高效率和可靠性。
We constantly monitoring our management, production and testing procedures to ensure that suits for the purpose of product and system, in order to improve efficiency and reliability.
同时系统具备动态模拟检验加工程序的功能。
Meanwhile there is a dynamical simulative testing function for working program in the system.
用MATLAB语言将灰色系统理论中的GM（1，1）模型，从建模到模型的检验过程编制成一个普适程序。
MATLAB program, which can be used in the whole procedure of modeling and testing a gray model GM(1,1), was designed in this paper.
文章简要地介绍了在可行性研究、系统设计、程序开发和系统合成及调试等四个阶段执行的检验鉴定计划的工作内容。
The V and V activities, which were executed in the four stages of feasibility research, system design, code development and system integration and regulation, are briefly introduced.
该系统根据数控车削加工的特点实现了数控源程序编辑、代码检验解释、加工过程仿真等功能，在计算机上实现了数控车削编程和仿真加工的全过程。
This system can realize editing of CNC codes, explaining of program codes, and simulation of cutting process. CNC programming and simulation are done completely by the computer.
该系统可由工件零件图直接生成加工该工件的高精度圆体成形车刀的零件图及刀具廓形的数控线切割加工程序，同时还能通过仿真检验所设计的刀具廓形及其加工程序代码的正确性。
By using this system, detail drawings of these tools and NC program for wire cutting can be directly generated, and the outline shape of designed tool and processing codes can also simulated.
最后，采用算例对理论分析过程和计算程序进行检验，并将三维结构面网络渗流分析结果应用到块体系统渐进失稳分析中。
At last, some cases are analyzed to check the theoretical schemes and calculating programs. The results of 3d fracture network seepage are applied to the block system for progressive failure analysis.
文中对初始试探值的选择以及逼近程序收敛性的保证作了较全面的论述，并以扁矩形消声管道为实例检验了系统逼近程序的可靠性。
For given parameter a, the improved approach of the eigenvalue can be determined from the foregoing approaches with the aid of interpolation polynomial.
文中对初始试探值的选择以及逼近程序收敛性的保证作了较全面的论述，并以扁矩形消声管道为实例检验了系统逼近程序的可靠性。
For given parameter a, the improved approach of the eigenvalue can be determined from the foregoing approaches with the aid of interpolation polynomial.
应用推荐