作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

535名教师人际信任量表(IT)评定报告  CNKI文献

本文对535名教师采用IT量表进行评定,评定结果总均分男性74.10±0.4,女性73.50±1.3;不同性别、不同文化程度、不同年龄之间比较无显著差异。对各因子分析发现,他们对专家、父母、学生的信赖程度是比...

孙怀民 李建明... 《健康心理学杂志》 1998年02期 期刊

关键词: 教师 / 人际信任量表

下载(769)| 被引(10)

牛气肿疽病的诊治  CNKI文献

气肿疽是由气肿疽梭菌引起牛的一种亚急性散发性传染病。触压时有捻发音,产奶牛多发生气肿疽性乳房炎,黄牛和育成奶牛多发生在肩、背、腰、前臂至臂、胫骨等部位气肿疽病。发病率不高,多数是散发,偶尔暴发使发病率增高...

孙怀民 裴树坤... 《现代畜牧兽医》 2012年09期 期刊

关键词: 气肿疽梭菌 / 奶牛 / 前臂 / 静脉注射

下载(28)| 被引(2)

14例犊牛先天性维生素A缺乏症  CNKI文献

犊牛先天性维生素A缺乏症是由于妊娠期间母牛日粮和饲草中维生素A供应不足或维生素A在肠道内吸收障碍产生的。妊娠期母牛维生素A缺乏,必然促使胎儿体内维生素A缺乏,发育受阻,发生先天性维生素A缺乏。1994年1~4月铁岭...

孙怀民 王兴波... 《现代畜牧兽医》 2010年11期 期刊

关键词: 犊牛 / 缺乏症 / 营养缺乏病 / 维生素

下载(33)| 被引(3)

利用子目标演绎和结构归纳法的自动编程技术  CNKI文献

本文介绍了我们在递归程序自动综合方面的一些研究,我们的初步成果主要有三个方面:1.发展了一种新的机器推理技术——子目标演绎法,它在一定程度上缓合了组合爆炸的困难;2.在程序综合方面,利用了结构归纳法原理,从而建...

孙怀民 王立国 《计算机学报》 1983年06期 期刊

关键词: 子目标 / 自动综合 / MEM / 自动编程技术

下载(30)| 被引(2)

断奶仔猪营养性腹泻的防治  CNKI文献

(一)早期合理补饲要想避免仔猪营养性腹泻,必须使用最好的仔猪颗粒料,早期补料。对4~5周龄断奶的仔猪需要进行高质量的补料,应喂给优质、易消化、适口性好的饲料,使其在断奶前采食到大量饲料,建立免疫耐受力,对保证其...

孙怀民 刘蒙恩 《农村养殖技术》 2012年03期 期刊

关键词: 营养性腹泻 / 仔猪断奶 / 断奶仔猪

下载(49)| 被引(0)

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

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

孙怀民 梁群 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1992年10期 期刊

关键词: 证伪方法论 / 重写系统 / 关系变元 / BN合一

下载(27)| 被引(1)

犊牛附红细胞体病的诊治  CNKI文献

附红细胞体病是由附红细胞体寄生在牛、羊、猪等动物红细胞表面和血浆及骨髓中引起的一种溶血性传染病。一般多发生在夏秋温暖季节。主要经蚊、虻、蜱和吸血昆虫传播传染。也可能在大母牛血液中寄生少量的附红细胞体穿...

孙怀民 孙立明... 《兽医导刊》 2011年08期 期刊

关键词: 犊牛 / 附红细胞体病 / 血虫体病 / 吸血昆虫

下载(25)| 被引(0)

基于二阶项重写技术的逻辑自动编程理论  CNKI文献

程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识...

孙怀民 梁群 《计算机学报》 1993年03期 期刊

关键词: 二阶子句 / 二阶SLD归结 / 布尔方程 / BN合一

下载(20)| 被引(0)

抽象数学机模型与程序方法论  CNKI文献

本文提出了一种抽象数学机——正则自动机(简称RA)作为程序流程的数学模型。为了描述RA的语义特性,文中把自动机理论中的正则语言与数理逻辑的模型论语言结合起来,建立了一种一阶谓词的动态逻辑语言(?)_R。文中表明,一...

孙怀民 王立国 《计算机研究与发展》 1984年06期 期刊

关键词: RA / 定理 / 逆函数 / 程序

下载(20)| 被引(0)

Prolog程序的规范与自动综合  CNKI文献

本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方...

孙怀民 王立国 《计算机研究与发展》 1987年06期 期刊

关键词: 语义学 / 子目标 / 程序规范 / Prolog

下载(10)| 被引(0)

抽象数学机模型与程序方法论(下)  CNKI文献

四、程序的交换在算法的设计方法中,递归是一种很重要的工具。然而在算法的程序实现中,递归程序的效率低于循环程序。而且有时候,由于设计者所容许采用的语言的限制,根本无法实现递归算法。因此,关于由递归程序变换成...

孙怀民 王立国 《计算机研究与发展》 1984年07期 期刊

关键词: 递归程序 / NRA / 递归调用 / 化简

下载(16)| 被引(0)

基于类型一阶理论的逻辑自动编程  CNKI文献

本文用类型一阶理论来定义逻辑程序,并通过引入Lakatos的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论.在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论...

姜涛 孙怀民 《软件学报》 1994年11期 期刊

关键词: 类型一阶理论 / 假说演算 / 反驳 / 逻辑自动编程

下载(46)| 被引(3)

基于Lakatos证伪方法论的机器发现逻辑  CNKI文献

介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。

谢康 孙怀民 《北京航空航天大学学报》 1992年03期 期刊

关键词: 证伪方法论 / 项重写系统 / 关系变元 / BN合一

下载(18)| 被引(0)

婚姻质量的研究现状  CNKI文献

目的探讨婚姻质量的研究现状。方法在中国期刊网,利用文献检索法复习了近年24篇研究论文,进行归纳分析,从不同侧面探讨婚姻质量与家庭关系。结果1婚姻质量的测量工具较多;2社会阶层较高者、婚前感情基础较好、婚后一致...

郭霞 李建明... 《中国健康心理学杂志》 2008年07期 期刊

关键词: 婚姻质量 / 婚姻测量 / 影响因素 / 综述

下载(2353)| 被引(57)

dbtools:一个基于Sunview环境的Prolog调试器  CNKI文献

调试,是任何程序设计的一个基本方面,一个好的程序开发工具和环境,对于高效地开发程序具有重要意义.本文所叙述的Prolog调试工具dbtools,是在Sunview环境下开发成功的,它不但提供诸如:单步、连续、连续执行到断点(借用...

姜涛 孙怀民 《计算机研究与发展》 1992年04期 期刊

关键词: 断点 / 共享存储区 / 进程通信

下载(7)| 被引(0)

逻辑编程语言PROLOG及其系统设计原理  CNKI文献

本文简要地介绍与评价了第五代计算机的核心语言——PROLOG;给出了PROLOG语言的BNF描述;从两个方面叙述了PROLOG系统的设计原理:一个是较高级的PROLOG自解释系统PIP,另一个是可用较低级的语言来实现PROLOG系统的一个算...

王立国 孙怀民 《计算机研究与发展》 1986年03期 期刊

关键词: 谓词符号 / BNF / PROLOG / 第五代计算机

下载(31)| 被引(0)

霉菌毒素的危害不容忽视  CNKI文献

1什么是霉菌毒素霉菌毒素是某些霉菌在基质上生长繁殖过程中产生的有毒二次代谢产物。毒素在谷物的生长过程、饲料加工、贮存及运输过程都可发生。现已检测到的毒素已超过350种,普遍认识的有8种(黄曲霉毒素、呕吐毒素...

丁文卿 孙怀民... 《河南畜牧兽医》 2004年06期 期刊

关键词: 霉菌毒素 / 毒枝菌素 / 麦角毒素 / 呕吐毒素

下载(45)| 被引(0)

母鸡疲劳猝死症的诊断与防治  CNKI文献

笼养蛋鸡疲劳猝死症在现代化养鸡生产中时有发生,尤其是高温高湿的酷暑夏季,发病死亡率较高。1病因夏季天气炎热,鸡舍通风不良,鸡长时间热喘息,使血液中二氧化碳量不足,影响了血液中的酸碱平衡,造成血液粘稠,鸡体内代...

丁文卿 孙怀民... 《河南畜牧兽医》 2004年09期 期刊

关键词: 猝死症 / 猝死 / 母鸡

下载(12)| 被引(0)

大名油料生产爬坡  CNKI文献

河北省大名县把强力推进农业产业化作为促进农业增效、农民增收的一项重要措施来抓,以调整结构为切入点,扶强壮大龙头企业,完善联接机制,强化服务引导,使大名花生、小磨香油等特色产业规模不断扩大,已形成龙头企...

郝益民 孙怀民... 农民日报 2001-07-10 报纸

关键词: 农业产业化 / 油料生产 / 种子包衣 / 基地规模

下载(1)| 被引(0)

社会模型:蓝图还是过程?  CNKI文献

作为个人信念的一种陈述,作者断言,只有理性之光能照射到这种直达人类存在的最遥远边界的阴影上,并提出关于社会计划的危险的警告。为了避免这些危险,我们必须打断社会真情中的因果性链条,而采取未来的观点,这种观点允...

Graham R.Little 孙怀民 《科学对社会的影响》 1981年04期 期刊

关键词: 概念 / 因果关系 / 因果性 / 思维形式

下载(29)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》