1) 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映射的混沌性作计算机严格辅助证明。
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) lighting CAD
计算机照明辅助设计
1.
This paper expounds the calculation and design of a bank hall by means of the lighting CAD software,developed by Institute of Building Physics (CABR) and disccusses the problems on the preregquisites and resulting evaluation of lighting calculation and CAD.
我们用中国建筑科学研究院物理所开发的计算机照明辅助设计软件，计算和设计了银行大厅的照明，达到了设计要求，得到很好效果。
4) computer-aided lighting design
计算机辅助照明设计
1.
The rise of computer-aided lighting design (CALD) has brought a revolution to the area of lighting design: the booming speed of personal computer development, the rapid popularization of lighting analysis and rendering software have greatly supported the realization .
计算机辅助照明设计的兴起给照明设计界带来了一场革新：个人计算机性能的飞速发展，专业照明计算软件、图形渲染软件的快速推广为当代照明设计师实现快速、高效的设计活动提供了有力支持。
5) Computer-assistant design and verification
计算机辅助设计和验证
6) computer-aided quality assurance
计算机辅助质量保证
补充资料：计算
①根据已知数通过数学方法求得未知数：～人数 ㄧ～产值。②考虑；筹划：做事没个～，干到哪儿算哪儿。③暗中谋划损害别人：当心被小人～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条