逻辑程序综合的一种方法

木文给出逻辑程序综合的一种方法,按规范说明则p(X)Formula(X)中一阶公式Formula(X)的结构,反复运用变换规则,得到一个正确定义谓词p(X)Prolog程序。对于递归说明,也给出了相应的方法。     

“精细化学品化学”实践课程体系的建立初探

结合实际工作探讨了精细化学品化学课程实践的主要形式,介绍了安徽农业大学应用化学专业精细化学品化学实践课程的主要内容并对其存在的问题进行了探讨。     

重庆市胭脂鱼资源及保护现状

收集整理了重庆渔政网 2007～2009 年的胭脂鱼误捕信息,以及1997～2009年的<长江三峡生态环境公报>中有关胭脂鱼的资料,着重分析了胭脂鱼在重庆的分布区域、资源现状与保护现状等,提出了加强增殖放流效果研究、规范误捕记录、进行产卵场调查、增设保护区等建议.     

西部某油田处理站外输气弯管爆裂原因分析

通过断口分析、无损检测、力学试验和金相分析等手段研究了西部某油田处理站外输气弯管爆裂的原因。结果表明:弯管外弧侧和断口处的显微组织全部为马氏体,导致该处抗拉强度和硬度大幅升高,表现出极大的脆性;在服役过程中,弯管外弧侧的微裂纹一旦扩展,马氏体相即表现出脆性开裂。