形式化方法

相关

• 美国医学会杂志《美国医学会杂志》（JAMA: The Journal of the American Medical Association）是一份美国出版的经由同行评审的医学期刊。该期刊由美国医学会以每周一期出版。起初于1883年创
• Schistosoma haematobium埃及血吸虫（学名：Schistosoma haematobium），一种扁形动物，寄生虫，是寄生于人类引起血吸虫病的一种血吸虫。埃及血吸虫基因组大小为385 Mbp，2012年，完成了埃及血吸虫的全基因组测序。
• CPR心肺复苏术（英语：Cardiopulmonary Resuscitation，CPR）是一种救助心搏骤停病患的急救措施，通过人工保持脑功能直到自然呼吸和血液循环恢复。心肺复苏术并非单一的技术，它包含了一系
• 罗德贝尔马丁·罗德贝尔（英语：Martin Rodbell，1925年12月1日－1998年12月7日），美国生物化学和分子内分泌学家，以发现G蛋白而闻名。因发现G蛋白和这些蛋白在细胞信号传导中的作用与艾尔佛列·
• 奥运会奥林匹克运动会（希腊语：Ολυμπιακοί Αγώνες、法语：Jeux olympiques、英语：Olympic Games），简称奥运会、奥运，是国际目前最高等级的综合型体育赛事，由国际奥林匹克委
• 华威大学华威大学（英语：University of Warwick），也译作沃里克大学，位于英国英格兰中部的考文垂，是一所研究型大学。学校创立于1965年，稳居英国排名前十。华威大学于1967年成立世界知名的华
• 头夹肌头夹肌（Splenius capitis muscle）是脖子的肌肉。头夹肌（Splenius capitis muscle）起始于项韧带的下半部、第七段颈椎的棘突和上面三段或四段胸椎的棘突。肌肉纤维向上和横向，在胸
• 舍顺克一世舍顺克一世（英语：Sheshonk I） 古埃及第三中间期第二十二王朝的首任法老（约公元前943年—约公元前922年在位），为利比亚人的后裔，称号为“梅什韦什人的伟大领袖”，定都布巴斯提斯。凯
• 丁溴东莨菪碱丁基东莨菪碱（Hyoscine butylbromide），商品名补斯可胖（Buscopan），是一种用于治疗腹部绞痛、食道痉挛（英语：esophageal spasm）、肾绞痛，以及膀胱过动症的药物。本品也可用于临终（英语：End
• 斯勒格斯勒格（slug）是英制单位中的一种质量单位。若1磅力（lbF）的力作用在某物体上，此物体获得1 英尺/秒2（1 ft/s2）的加速度，则此物体的质量是1斯勒格。1 sl