论文部分内容阅读
知识程序设计语言的研究与进展
【机 构】
：
国防科技大学
【出 处】
：
中国第三届知识工程研讨会
【发表日期】
：
1990年期
其他文献
水是维持基本生命活动所必需的一种重要营养素,约占健康成年人体重的60％～70％[1].人体内所有生命现象及物质代谢过程都有水的参与,如消化作用、血液循环、物质交换、组织合成、体
期刊
该文阐述了PROLOG语言在逻辑模拟中的应用，通过一些实例说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处，进而指出基于PROLOG语言的电路描述可用于逻辑电路的模
作者研制了一种新型的LISP语言——DCLISP，其中实现了用模式匹配传递参数的功能。具体来说，程序员可以在函数定义中对于参数应具有的结构给出显式表示，称作模式；可以给出有关数据
肥胖是由于机体能量摄入和能量消耗长期失衡,由脂肪细胞肥大或前体脂肪细胞增生所引起脂肪组织增加的结果.运动对脂肪组织能够产生诸多良好的生理学效应.越来越多的研究显示:
目的:采用光遗传学技术揭示纹状体表达多巴胺Ⅱ型受体的中等多棘神经元(D2-MSNs)在改善帕金森病(PD)小鼠运动行为障碍中的作用.方法:雄性D2-Cre转基因小鼠,随机分成假手术安
目的:采用气相色谱串接质谱联用技术建立人尿中包括脱氢氯甲睾酮、美雄酮、司坦唑醇等在内的44种外源性蛋白同化类激素的确证方法.方法:根据世界反兴奋剂机构(以下简称WADA)