论文部分内容阅读
通用PROLOG抽象解释器GK-GPAI的设计与实现
【机 构】
：
国防科技大学
【出 处】
：
第三届全国青年计算机学术会议
【发表日期】
：
1991年期
其他文献
树突状细胞是免疫细胞家族的“新成员”。研究者提出了树突状细胞分化发育的新途径,该研究为深入认识免疫应答调控机制提供了理论基础,为某些疾病的治疗提供了新思路。
Dend
该文采用快速收敛的ADC法，K-ε双方程湍流模型和雷诺方程，计算了连铸结晶器熔池内的三维流场，计算结果与实验测定相一致并在流场结构及特性上得出了较二维计算更为真实全面的结
2008年是科学基金事业又好又快发展的一年.国家自然科学基金委员会组织受理全国1594个依托单位提出的各类基金项目申请83877项.申请总量比上年增长17.6%;统筹部署研究项目、