符号执行

相关

• 吡嗪酰胺吡嗪酰胺（Pyrazinamide）是一种治疗结核病的药物，有抗菌杀菌的功效，在pH值较低（5～5.5）的条件下，抗菌活性最强。其主要的副作用是可能引起血液中尿酸增高，从而引发关节痛。
• 韵书韵书是中国古代按韵编排的字典。记录了每一个字的意义之余，还用反切记录了它的读音。韵书和韵表不同之处，在于韵表依照一个既定的格式，把字按着音、韵、调来排列。最初，韵书编纂
• 工蜂工蜂是一种缺乏生殖能力的雌性蜜蜂，在蜂群的雌性蜜蜂中，仅有蜂后拥有生殖能力。多数的雌蜂在幼虫时期，仅有最初几天可食用蜂王浆，之后改喂食一般的蜂蜜，因而无法完成生殖能力的发
• 高雄市市长高雄市市长是中华民国高雄市的最高行政首长，综理市政，由20岁以上的高雄市市民普选产生，每4年选举一次，并且同时进行市议员选举。市长任期4年，连选得连任一次。 现任高雄市市长为
• 冲量冲量是作用在物体上的力在时间上的累积。冲量的量纲和单位都与动量一样。（kg· m/s或N·s ） 一个随时间改变的力对一个物体的冲量指这个力的作用对时间的积累效果。即力对时间
• 公寓春光《公寓春光》（The Apartment）是美国导演比利·怀德所执导的一部黑白爱情电影，由杰克·李蒙（Jack Lemmon）与莎莉·麦克琳（Shirley MacLaine）所主演。本片是继1959年比利·怀德执导的
• 蛙类无尾目（学名：Anura）是两生纲的一个目，其下生物即蛙或蟾。该目的生物成体基本无尾，卵一般产于水中，孵化成蝌蚪，用鳃呼吸，经过变态，成体主要用肺呼吸，但多数皮肤也有部分呼吸功能。无尾
• 剑虻科剑虻科（学名：Therevidae）是双翅目食虫虻总科下的一个科，总计包括1,600个物种，其中大部分生活在沙质土壤的干旱或半干旱区域。其幼虫在土壤中捕食昆虫的幼虫。该科苍蝇通常多毛或
• 埃尔福特火车总站埃尔福特火车总站（德语：Erfurt Hauptbahnhof）坐落于从哈勒至贝布拉的图林根铁路（德语：Bahnstrecke Halle–Bebra）的运转中心点，为德国铁路运输的重要枢纽。作为德国图林根州首府埃
• 武起潜武起潜（？－1629年），字用潜，江西进贤县人，一作山东曹州人。明朝末年政治人物。万历四十三年（1615年）举人，天启五年（1625年）乙丑科进士。初任顺天府武清县知县，调遵化县，因事牵连被劾，解职候代