Whatever tools are used must assure this validity as part of the creation and maintenance process.
无论使用哪些工具，都必须确保作为创建和维护进程一部分的这种有效性。
Maintenance is to be done by the maker before delivery of equipment and it shall ensure at least one year and above of period of validity.
设备出厂前必须做好保养工作，其保养必须能确保有至少一年以上的有效期。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
应用推荐