Scratchbox

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• 避孕生育控制（英语：Birth control）也称为避孕，是避免怀孕的方式或是设备。而计划生育即对生育子女的数量和时间做出计划，其中也会包括取得及使用避孕设备或方式。从远古时代以来，人类
• 2011年加拿大人口普查2011年加拿大人口普查是加拿大统计局于2011年5月10日进行的一次详尽的加拿大全国人口统计。统计部每隔五年会进行一次全国人口普查。是次人口普查乃全国第十五次按《1867年
• 种　康种康（1962年4月－），陕西省合阳人，中国植物生理学家，中国科学院植物研究所研究员。2017年当选为中国科学院院士。1984年毕业于兰州大学生物系获学士学位，1988和1993年先后获得兰州大
• 体积最大的生物世界已知最大的生物的定义有很多种，可能被定义成最大由体型、重量、高度或长度之极者。此外一些生物在群居的情况下制造出超有机体（superorganism），但不在此列。大部分体型大的
• 中宗朝鲜中宗（朝鲜语：조선 중종／朝鮮 中宗 Joseon Jungjong；1488年三月十九－1544年十一月十四），名李怿（朝鲜语：이역／李懌 Yi Yeok），字乐天（朝鲜语：낙천／樂天 Nak cheon），明朝赐谥号恭僖，庙号中
• 雷西斯滕西亚坐标：27°27′S 58°59′W / 27.450°S 58.983°W / -27.450; -58.983雷西斯滕西亚（西班牙语：Resistencia）位于阿根廷东北部巴拉圭河畔，是查科省的首府，人口275,962（2001年）。国立东
• 个人快速公交个人快速运输系统（英语：Personal Rapid Transit），简称PRT，也称个人捷运，是一种自动导向轨道交通系统，旨在提供按需求不间断的的运输。一般被用于城市交通。个人快速运输系统的车厢
• 清圆唇软颚近音清圆唇软颚近音（英语：voiceless labialized velar approximant）是辅音的一种，是浊圆唇软颚近音的清化音。历史上又叫做清圆唇软颚擦音。又写成或 。在美式英语中有这种辅音，很多
• 质点质点是一个有质量的点，在动力学中常用来代替物体。质点是一个物理抽象，也是一个理想化模型。例如研究一架飞机在地球中的飞行轨迹，则可以将飞机视为一个质点，从而简化问题。又例