搜索筛选:
搜索耗时3.9850秒,为你在为你在102,285,761篇论文里面共找到 18 篇相符的论文内容
类      型:
[会议论文] 作者:孙怀民, 来源:中国第三届知识工程研讨会 年份:1990
[期刊论文] 作者:谢康,孙怀民, 来源:北京航空航天大学学报 年份:1992
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。...
[期刊论文] 作者:孙怀民,梁群, 来源:计算机学报 年份:1993
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程...
[期刊论文] 作者:Graham R.Little,孙怀民,, 来源:科学对社会的影响 年份:1981
作为个人信念的一种陈述,作者断言,只有理性之光能照射到这种直达人类存在的最遥远边界的阴影上,并提出关于社会计划的危险的警告。为了避免这些危险,我们必须打断社会真情中...
[期刊论文] 作者:姜涛,孙怀民, 来源:计算机研究与发展 年份:1992
调试,是任何程序设计的一个基本方面,一个好的程序开发工具和环境,对于高效地开发程序具有重要意义.本文所叙述的Prolog调试工具dbtools,是在Sunview环境下开发成功的,它不但...
[期刊论文] 作者:姜涛,孙怀民, 来源:软件学报 年份:1994
本文用类型一阶理论来定义逻辑程序,并通过引入Lakatos的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论,在此基础上,建立了一个基于假说演算的逻辑自动程编......
[期刊论文] 作者:孙怀民,刘蒙恩,, 来源:城市道桥与防洪 年份:2012
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[会议论文] 作者:孙怀民,王立国, 来源:中国数学会计算机科学学术会 年份:1984
该文定义了一种多论域逻辑演算语言—子目标演绎语言SDL。它是古典一阶语言的一个变型。文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统。说...
[期刊论文] 作者:孙怀民,梁群, 来源:中国科学(A辑 数学 物理学 天文学 技术科学) 年份:1992
机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方......
[期刊论文] 作者:郭霞,李建明,孙怀民,, 来源:中国健康心理学杂志 年份:2008
目的探讨婚姻质量的研究现状。方法在中国期刊网,利用文献检索法复习了近年24篇研究论文,进行归纳分析,从不同侧面探讨婚姻质量与家庭关系。结果1婚姻质量的测量工具较多;2社...
[期刊论文] 作者:孙怀民,沈元花,刘蒙恩, 来源:河南畜牧兽医:综合版 年份:2012
1发酵床养殖肉鸡的优点1.1增强肉鸡的抗病力利用肉鸡啄食垫料的习性.使得有益微生物进入其消化道,改善肠道微生物菌群,增强机体免疫力,从而提高肉鸡的抗病和抗应激能力。...
[期刊论文] 作者:孙怀民,孙立明,王兴波, 来源:兽医导刊 年份:2011
附红细胞体病是由附红细胞体寄生在牛、羊、猪等动物红细胞表面和血浆及骨髓中引起的一种溶血性传染病。一般多发生在夏秋温暖季节。主要经蚊、虻、蜱和吸血昆虫传播传染。也...
[期刊论文] 作者:杨玉芝,王永芹,孙怀民, 来源:兽药市场指南 年份:2007
目前,控制口蹄疫均采用灭活疫苗(killed vaccine)进行免疫。但是,在对猪、牛和羊进行口蹄疫疫苗接种的过程中,经常会出现一些过敏反应。严重的可引起家畜死亡。近年来,笔者针对口蹄......
[期刊论文] 作者:丁文卿,孙怀民,王永芹, 来源:河南畜牧兽医 年份:2004
笼养蛋鸡疲劳猝死症在现代化养鸡生产中时有发生,尤其是高温高湿的酷暑夏季,发病死亡率较高....
[期刊论文] 作者:李伟东,杨玉芝,孙怀民,郭海伟, 来源:河南畜牧兽医 年份:2007
鹅活体拔毛是一项很有推广价值的新技术,但不是所有的鹅都可以用来活体拔毛的,也不是任何时候都可以活体拔毛,更不是任何部位的毛都何以拔。...
[期刊论文] 作者:孙怀民,裴树坤,孙立明,张秉柱,李宏伟, 来源:现代畜牧兽医 年份:2012
气肿疽是由气肿疽梭菌引起牛的一种亚急性散发性传染病。触压时有捻发音,产奶牛多发生气肿疽性乳房炎,黄牛和育成奶牛多发生在肩、背、腰、前臂至臂、胫骨等部位气肿疽病。发病......
[期刊论文] 作者:丁文卿,孙怀民,杨玉芝,李小刚,王永芹, 来源:河南畜牧兽医 年份:2004
1什么是霉菌毒素霉菌毒素是某些霉菌在基质上生长繁殖过程中产生的有毒二次代谢产物.毒素在谷物的生长过程、饲料加工、贮存及运输过程都可发生.现已检测到的毒素已超过350种...
[期刊论文] 作者:孙怀民,王兴波,张秉柱,孙立明,李晓伟, 来源:现代畜牧兽医 年份:2010
犊牛先天性维生素A缺乏症是由于妊娠期间母牛日粮和饲草中维生素A供应不足或维生素A在肠道内吸收障碍产生的。妊娠期母牛维生素A缺乏,必然促使胎儿体内维生素A缺乏,发育受阻,发......
相关搜索: