区间分析，又称区间数学，是一门用区间变量代替点变量进行运算的数学分支。它最初是从计算数学的误差理论研究发展起来的。1966年R.E.穆尔在《区间分析》一书中第一次系统提出区间运算理论。 9b6U] z,
程序验证（9）- 区间分析 ^f N/
Interval Analysis Hxy=J
interval：间隔，间歇 G _q t~U
inter-, 在内，在中间，相互， -val, 墙，词源同 wall. 原指两堵墙之间的空间，后引申词义间隔，间歇。 ;>/Mal
character（性格）：环境在人的身心留下的印记 rR ^o
英语单词 character 来自希腊语 kharakter ，本意是“刻下的印记”， 来自 kharax （尖头的棍子）。由此产生了 character 的基本含义“符号、印记”。古代希腊人认为，环境和人的成长经历会在人的身心留下印记，从 而使其具有与众不同的性格特征，因此 character 又衍生出“性格、个性、特征”的含义。在文学、戏剧等艺术作品中，作者通过对人物性格的刻画，从而 塑造出个性鲜明的人物，这种“人物角色”也被称为 character 。 vH}VieU
character：['kærəktə] n. 性格，品质，特性，角色，符号，字符，印记 vt. 印、刻，使具有特征 R' 1 j
该词的英语词源请访问趣词词源英文版：character 词源，character 含义。 >mtwXmI
数值分析(numerical analysis)，为数学的一个分支，是研究分析用计算机求解数学计算问题的数值计算方法及其理论的学科。它以数字计算机求解数学问题的理论和方法为研究对象，为计算数学的主体部分 H/*slqL
analysis：分析，分解 C[{E8Tg/
analysis 的原始意义是"解开 , 松开";来源于希腊语中由前缀 ana- (向上 , 向后)和基本动词 luein (松开 , 自由)组成的复合动词 analuein (解开 , 松开)的派生词 analusis ;17世纪进入英语后成为 analysis,u ←→ y 。 uzb|yV'B
numerical：数字的，以数字表示的 >bI\p J
词根词缀： -numer- 数 + -ical 形容词词尾 pub ?%
method：方法，措施，条理，规则 fg , vTpBk
来自拉丁语 methodus, 教育方法，来自 meta-, 在后， -hod, 路，词源同 anode,cathode,accede. 字面意思即跟随，探询，找到，引申词义因材施教。后词义通用化，用以指方法，措施等。 'Sgz\ =K
该词的英语词源请访问趣词词源英文版：method 词源，method 含义。 Zc w <USF8
mechanic：机械的，机械师，技工 %jx<<h W
来自拉丁 mechanicus, 机械师，来自 machina, 机械，引擎，工具，词源同 machine. 5{ !"}
mechanic 与 machine 是同源词，但为啥拼写中 ch 的读音不同呢？因为，虽然都是希腊词源，但 mechanic 是英语经由拉丁语借自希腊语， ch 的读音保留了/ k /音，但 machine 经由法语， ch 音腭音化为/ʃ/。 ?ecR9X k
