2) computer aided proof
计算机辅助证明
1.
Using the software we designed the Heilbronn problem computer aided proof system, we get a new result:when n=9, 2 4<λ 9≤2 569237.
研究Heilbronn问题的最大最小距离之比A”，利用所设计的计算机辅助证明系统，得到n＝9时，2。
3) rigorous computer assisted proof
计算机严格辅助证明
1.
Other works include the study of the relation between discrete Conley index and bifurcation points, and the rigorous computer assisted proof of the chaotic property of the Ikeda map by Conley index.
此外,我们还研究了离散Conley指标与分支点的关系,以及用Conley指标对Ikeda映射的混沌性作计算机严格辅助证明。
4) computer forensics
计算机取证
1.
Research of distributed and autonomous computer forensics system;
分布式自治型计算机取证系统研究
2.
A Computer Forensics Process Model based on Tracking;
一个基于跟踪的计算机取证过程模型
5) computer evidence
计算机证据
1.
Computer Forensics in Crime Investigation--A Study of Computer Evidence;
计算机犯罪侦查取证技术——计算机证据研究
2.
Researchers of law investigate the relevant law features and identification of computer evidences, while computer scientists investigate the technological features and acquisition methods of computer evidences.
法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计据的技术特征及其获取技术。
3.
From the angles of semantic analysis and legislative study,audio-visual materials include sound-recording evidence,video evidence and computer evidence.
范围的确定应从视听资料的语词分析和立法考察中得出,它包括音像证据和计算机证据。
6) computer validation
计算机认证
补充资料：计算机输入/输出控制系统(见计算机输入/输出系统)
计算机输入/输出控制系统(见计算机输入/输出系统)
computer input/output control system
iisuanii shuru/shuehu kongzhi xitong计算机输入/输出控制系统(com-puter inPut/ou中ut eontrol system)见计算机输入/输出系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条