给出模糊空值连接依赖的公理系统，并且进行了有效性证明。
The axiom of fuzzy null value join dependency is introduced and its availability is proved.
给出电子数据取证的流程，并就这一流程中的有效性规则处理模块和取证有效性证明模块进行了阐述。
The workflow of the digital forensics is put forward, at the same time, the modules of disposing the rules of reliability and proving reliability are described.
如果经销商对FDA的权威提出质疑，FDA可以要求他们提供产品安全性和有效性的证明。
FDA can ask for the proof of safety and effectiveness of a product if its distributors challenge FDA's authority.
应用推荐