张树功博士生导师

和“数学机械化与自动推理平台”等国家重大项目，还曾担任国家自然科学基金和博士点基金研究项目的主要参加者。目前，他正在进行的科研项目包括973项目子课题“数学机械化方法及其在信息领域中的应用”（2004-2009年）和自然科学基金项目“CAGD中若干基本问题的代数几何理论与可行算法”（2005-2007年）。

如何评价论文的研究方法

评价论文的研究方法需要从以下几个方面进行考量：1. 方法是否符合研究目标：评价研究方法时，首先需要考虑方法是否符合研究目标。研究方法应该能够帮助实现研究目标，具有可操作性和可验证性。2. 方法是否科学合理：其次，需要考虑方法是否科学合理。研究方法应该基于科学原理和逻辑推理，遵循科学规范和伦理要求，...

王跃宣科研项目

从2007年至2012年，他作为子课题负责人参与了安全计算学的重大理论问题研究，项目编号为2007CB807900。2006年至2010年，他负责农业生物-环境信息获取无线传感器网络技术研究，属于863项目，编号为2006AA10Z216。2007年至2009年，他主导了面向可溯源的设备网格服务链模型推理和验证的国家自然科学基金面上项目...

高中生物 科学家 实验 方法 结论

他通过严谨的推理和大胆的想象而提出假说，并对性状分离现象和不同性状自由组合现象作出尝试性解释。然后他巧妙地设计了测交实验用以检验假说，测交实验不可能直接验证假说本身，而是验证由假说演绎出的推论，即:如果遗传因子决定生物性状的假说是成立的，那么，根据假说可以对测交实验结果进行理论推导和预测;...

吴尽昭的生平

2009年9月任广西民族大学副校长。长期从事高效能高可信计算与推理理论与工具的研究和开发，研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用；在国内外学术刊物和国际会议论文集上发表研究论文107篇，出版专著3部，获得软件著作权6项，申请专利3项；近年来承担国家自然科学基金、863、973子...

吴尽昭人物简介

他的研究领域集中在高效能高可信计算与推理理论与工具，涉及符号计算、自动推理、形式化方法等领域，成果丰硕，包括发表103篇学术论文，出版3部专著，获得6项软件著作权，并申请了3项专利。在科研项目上，他近年来承担了多项国家自然科学基金、863、973子课题等国家级和省部级项目，指导了14名博士研究生...

归谬赋值法的含义大神们帮帮忙

2.归谬赋值法的主要思路。3.自然推理中假设前提的引入。4.自然推理系统的主要规则。(三)应用 1.运用真值表法、归谬赋值法进行具体的命题判定或解应用题... law.lytu.edu.cn\/ReadNews.asp?NewsID=801 2009-07-24-网页快照- 预览 网络教学综合平台 在这里，它的含义就是指特殊的理论或特别的观点...

中国科学院信息技术科学部院士简介(4)

2006年，他被聘为国家重大基础研究（973）计划项目“可视媒体智能处理的理论与方法”项目的首席科学家。2010年，他成为清华-腾讯互联网创新技术联合实验室主任，并入选新世纪百千万人才工程国家级人选。2013年，胡事民入选“万人计划”首批科技创新领军人才。2015年，他带领清华大学“网络可视媒体智能处理”...

邱玉辉怎么从西南师大校长变成西南大学人工智能研究所所长了,这是降职...

发表人工智能方面的论文210余篇。出版学术著作《自动推理导论》、《专家系统中的不确定推理－模型、方法和理论》和《人工智能探索》等。主持、主研完成国家“863”、国家自然科学基金、省市基金和攻关项目15项。在研“973”项目1项，获重庆市自然科学奖二等奖1项，重庆市科技进步二等奖1项、三等奖2项...

中山大学珠海校区有什么专业?要很全面的。

哲学专业是培养具有一定马克思主义哲学理论素养和系统的专业基础知识，能运用科学的世界观和方法论分析当代世界与中国的现实问题的应用型、复合型高级专门人才的学科。4、数学学院 数学源自于古希腊语，是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用，由计数、计算、量度和...