基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

水下声发射燃速测量系统测量不确定度的评定

介绍了水下声发射燃速测量系统测量不确定的评定     

棉花核雄性不育性完全保持的遗传分析

棉花“洞A”型核雄性不育性完全保持的遗传,受隐性不育主基因和“散粉”多基因系统共同控制。当存在显性可育主基因时,多基因系统的作用被掩盖,不育性表现为一对隐性基因的简单遗传。但当主基因呈纯合隐性不育态时,多基因系统则对不育性起修饰作用,导致不育株表现部分散粉可育。“散粉”多基因效应中,加性效应[d]、显性效应[h]及加性×显性的互作效应[j]均极显著,其中[d],[j]对散粉起增效作用,[h]则起减效作用。这种模式被称为作物核不育主基因,多基因互作模式。     

第四届全国微全分析系统会议在大连召开

不久前，第四届全国微全分析系统会议（μ-TAS 2007）在大连海天白云大酒店隆重召开。此次会议由中国化学会、国家自然科学基金委员会化学部主办。微全分析系统是芯片实验室的重要组成部分，从20世纪末开始发展至今以其众多潜在优势和广阔应用前景受到世界范围的关注，被认为是21世纪重要科学技术平台之一。