马文鼎

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• 奥斯鲍恩·雷诺奥斯鲍恩·雷诺（英语：Osborne Reynolds，1842年8月23日－1912年2月21日），英国物理学家，在流体动力学有独到的见解。另外，他研究固体和流体之间的热传递现象也改善了锅炉和冷凝器的设计
• 自鸩自鸩，即服毒、仰药，是一种自杀的方法，指自杀者服用“鸩”（毒药的雅称）自杀。鸩是传说中的鸟类，以毒蛇为食，其羽毛紫黑色，有剧毒，故古人将其羽毛放在酒中，制为毒酒，是为“鸩酒”，后以“鸩
• 福音福音，字面意思是“有福的声音”、“好消息”。它主要用于基督教（英语：Gospel；希腊语：εὐαγγέλιον，转写：evangélion），“好消息”之意，中译为福音。它可以指：福音（英语：Gospel），亚
• 以色列国际广播电台以色列广播局（希伯来文：רשות השידור，英语：Israel Broadcasting Authority，国际简称：IBA）是一家已经不存在的广播电台兼电视台，为以色列的国家公共广播系统，是该国最具权威
• 政权更替政权更替（英语：regime change）指一个政权取代一个现存政权。此名词的使用最早可以追溯至1925年。政权更替的原因包括外国力量军事管制及占领、革命、政变以及国家失败后的重新
• 观测指标标识符逻辑命名与编码系统观测指标标识符逻辑命名与编码系统（Logical Observation Identifiers Names and Codes，LOINC） 是一部数据库和通用标准，用于标识检验医学及临床观测指标。LOINC数据库旨在促进临
• 中医内科学中医内科学主要包括人体的五大系统疾病，即：肝、心、脾、肺、肾，主要涵盖了现代医学的消化系统、循环系统、泌尿系统、呼吸系统、内分泌系统等疾病。 中医内科学涉及病证、辩证
• 杨志军杨志军（1955年5月－），籍贯河南孟津，生于青海西宁，中国作家。1981年毕业于青海师范大学中文系。曾任报社记者驻于青藏高原。杨志军的长篇小说《海昨天退去》得到中国“全国文学新人
• 大脚怪图书大脚怪图书（英文原名：Sasquatch Books），是总部位于美国华盛顿州西雅图的一家出版社。1986年由《西雅图周报》（）前职员大卫·布儒斯特创办。主要出版关于美国西部和加拿大的非虚构