中种被

failing

失败

形式验证比较的结果有三种,通过(passing),失败(failing)和放弃(aborted). 通过的点意味着功能一致,失败则相反,放弃点意味着验证工具无法决定是否通过. 这种情况通常是因为验证过程中被中断,或是超过验证时限,或是出现非同步循环等出现.

fatty liver

脂肪肝

根据作者的经验,所谓的"脂肪肝"(Fatty liver)常常在极度消瘦的鳍脚动物中见到,因而被认为是一种营养原因引起的疾病,其病理组织学特征为纤维样变性和脂肪便性.

favism

豆中毒

蚕豆中毒(favism) 蚕豆含有二种核苷-蚕豆嘧啶葡糖苷(vicine)和伴蚕豆嘧啶核苷(covicine),它们在弱酸环境中被β-糖苷酶分别水解为蚕豆嘧啶(divicine)和异乌拉米尔(isouramil).这两个糖苷配基在体内能降低红细胞的GSH含量,

double fertilization

双受精

双受精(Double fertilization)是一种在生物学上具有独特意义的生殖系统,被认为是开花植物演化中的一个关键创新. 与动物受精不同的是,双受精涉及一对精细胞通过不同子细胞的选择性分裂的生成.

fetishism

恋物癖

本案例是一个"恋物癖"(fetishism)的病例. 恋物癖是常见于社会新闻中的一种性变态,通常是一名猥琐男子潜入人家的庭院、阳台或内室,偷取晒衣架或衣柜里的女性内衣裤,当场被逮个正着,扭送警办,而成为社会新闻的. 这些"不雅之贼"偷这些东西,

feverfew

白菊

十月六日 生日花:小白菊(Feverfew) 花语:清澄(Clear) 这是一种带有清爽香气的芳香植物. 在希腊神话中最伟大的英雄-阿基里斯,除了后脚筋外全身刀枪不入. 有一次,却非常不幸的被人伤到后脚筋,幸亏阿基里斯用西洋蓍草疗伤,才保住了性命.

file system

档案系统

档案系统(File System)是作业系统用来储存和管理档案的方法,而每种作业系统支援的档案系统数量和种类都不同,因此在了解系统运作前,我们必须对档案系统的结构有所了解,尤其在Linux中,所有软硬体都被视为档案,所以此部份的内容更形置要.

Fill

装满

然后让学生根据单词设想这样一种情景:小山(hill)中有一座装满(fill)药丸(pill)的面粉厂(mill),直到(till)将要(will)杀死(kill)病(ill)人时才被发现. 教师还可引导学生设想更多的与这些词有关的情景,以进一步巩固记忆这一词块.

forfeiture

丧失

"纳税权保护"应当与"财产权保护"在宪法的逻辑层面上应当统一,即纳税权与财产权在宪法中都应当加以规定. 公民私人财产权保护分为"取得"(entitled)和"丧失"(forfeiture)两个环节,相辅相成,缺一不可,征税是公民财产权被"剥夺"的一种情况.

forge

锻炉

他们可以在锻炉(Forge)中升级护甲,护盾以及武器. 当你的对手是Zerg的时候,一种比较有效的战士就是黑暗圣堂武士配合海盗船舰队:海盗船快速地杀光Zerg领主,之后黑暗圣堂武士大开杀戒. 强大的Zerg对空防御可以被海盗船的分裂网(Disruption Web)牵制,

overturned：倒转的

倒转的 inverted | 倒转的 overturned | 倒转点 inversion point

remind sb of/about sth：使某人想起

9. on the go 忙碌, (整天)奔忙 | remind sb. of / about sth. 使某人想起... | have fun 取乐