期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
脂溶性维生素对杜寒杂交肉羊育肥阶段生长性能和消化代谢的影响 预览
1
作者 周丽雪 马涛 +6 位作者 崔凯 王文义 杨东 王韵斐 陈怀森 陈仁伟 刁其玉 《动物营养学报》 CAS CSCD 北大核心 2019年第3期1188-1197,共10页
本试验通过研究饲粮中部分扣除或过量添加脂溶性维生素(维生素A、维生素D、维生素E)对杜寒杂交肉羊育肥阶段生长性能、营养物质表观消化率、氮和能量代谢的影响,旨在为我国肉羊饲养标准中脂溶性维生素需要量参数的制订提供依据。采用单... 本试验通过研究饲粮中部分扣除或过量添加脂溶性维生素(维生素A、维生素D、维生素E)对杜寒杂交肉羊育肥阶段生长性能、营养物质表观消化率、氮和能量代谢的影响,旨在为我国肉羊饲养标准中脂溶性维生素需要量参数的制订提供依据。采用单因素试验设计,选择120只90日龄断奶后体重为(26.0±0.1) kg的杜寒杂交肉羊,根据体重随机分为5组,每组12个重复,每个重复2只(公母各占1/2)。对照组(PC组)饲喂基础饲粮,不扣除任何维生素;试验组分别在PC组基础上扣除30%的维生素A(PC-VA组)、维生素D(PC-VD组)和维生素E(PC-VE组);另设过量添加组,其3种脂溶性维生素添加量均为对照组的7.5倍(PC-7.5组)。预试期10 d,试验期90 d。结果表明:第60~90天,PC-VE组公羊干物质采食量(DMI)最低,显著低于其他各组(P<0.05);PC-7.5组母羊平均日增重(ADG)最低,显著低于其他各组(P <0.05);PC-7.5组母羊饲料转化率(FCR)最高(P <0.05),显著高于其他各组(P <0.05)。部分扣除维生素E和试验周期对公羊DMI和ADG存在显著交互作用(P<0.05);摄入高倍剂量脂溶性维生素和试验周期对母羊ADG和FCR存在显著交互作用(P<0.05);摄入高倍剂量脂溶性维生素和试验周期对肉羊的干物质、有机物、粗蛋白质和酸性洗涤纤维的表观消化率存在显著交互作用(P<0.05)。结果提示,饲粮长期扣除30%的维生素E或摄入过量的脂溶性维生素可降低杜寒杂交肉羊增重和营养物质表观消化率,对肉羊生长性能产生负面影响。 展开更多
关键词 脂溶性维生素 部分扣除 肉羊 生长性能 消化
在线阅读 下载PDF
CLP(R)程序部分演绎的研究 预览
2
作者 张秀珍 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 1996年第5期 347-354,共8页
本文从实例分析总结了在宽度优先语义下对CLP(R)程序进行部分演绎的基本规则和两条特殊规则,首次提出了将抽象解释技术应用于CLP(R)程序的部分演绎的新课题。本文的结果虽然是初步的,但它是在CLP(R)程序的部分演绎... 本文从实例分析总结了在宽度优先语义下对CLP(R)程序进行部分演绎的基本规则和两条特殊规则,首次提出了将抽象解释技术应用于CLP(R)程序的部分演绎的新课题。本文的结果虽然是初步的,但它是在CLP(R)程序的部分演绎这一研究方向上的首次尝试。 展开更多
关键词 程序设计 部分演绎 抽象解释 CLP(R)程序
在线阅读 下载PDF
一个基于抽象解释部分演绎过程 预览
3
作者 刘椿年 《软件学报》 EI CSCD 北大核心 1994年第11期 31-37,共7页
本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里,针对给定的程序P和目标G,同时进行PPU{G}的部分演绎和抽象解释,以轴象解释控制部分演绎的展开过程,只要抽象论域是有穷的,部分演绎必定终止,耐用P... 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里,针对给定的程序P和目标G,同时进行PPU{G}的部分演绎和抽象解释,以轴象解释控制部分演绎的展开过程,只要抽象论域是有穷的,部分演绎必定终止,耐用P’带有抽象解释估算出的关行其运行性质的信息,便于对P’作进一步优化。 展开更多
关键词 逻辑程序 部分演绎 抽象解释 程序设计
在线阅读 下载PDF
PROLOG程序部分演绎的一种新方法 预览
4
作者 陶意 刘椿年 《北京工业大学学报》 CAS CSCD 1997年第3期 51-61,共11页
提出一个新的基于程序变换的Prolog程序部分演绎的方法。该方法以程序-目标对(P0,Q0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(Pn,Qn),该方法保证结果程序-目标对(Pn,Qn)和输入程序-目... 提出一个新的基于程序变换的Prolog程序部分演绎的方法。该方法以程序-目标对(P0,Q0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(Pn,Qn),该方法保证结果程序-目标对(Pn,Qn)和输入程序-目标对(P0,Q0)计算等价,并且程序Pn解目标Qn比程序P0解目标Q0效率更高。 展开更多
关键词 逻辑程序设计 PROLOG程序 部分演绎 程序设计
在线阅读 下载PDF
约束逻辑程序部分演绎过程的研究 预览
5
作者 陶意 刘椿年 《计算机学报》 EI CSCD 北大核心 1997年第3期 238-244,共7页
约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的CLP部分演绎的过程。该过程以程序-目标为输入,经过一系列程序变换后终止,输出结果程序-目标对。该过程保证结果程序-目标对和输入程序-目标对... 约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的CLP部分演绎的过程。该过程以程序-目标为输入,经过一系列程序变换后终止,输出结果程序-目标对。该过程保证结果程序-目标对和输入程序-目标对计算等价,并且程序Pn解目标Qn比程序P0解目标Q0效率更高。本文提出的方法语给出了一个CLP程序部分演绎的运行这例。 展开更多
关键词 约束逻辑程序 部分演绎 程序设计
在线阅读 下载PDF
逻辑程序部分演绎系统的研制 预览 被引量:2
6
作者 陶意 《北京工业大学学报》 CAS CSCD 1994年第3期 109-118,共10页
介绍了如何实现一个自动化的逻辑程序部分演绎系统,在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构,并分模块描述了它们的功能和实现技术,特别对核心模块-程序部分演绎模块的算法作了较为详细的分析,最后讨论了计算... 介绍了如何实现一个自动化的逻辑程序部分演绎系统,在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构,并分模块描述了它们的功能和实现技术,特别对核心模块-程序部分演绎模块的算法作了较为详细的分析,最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。 展开更多
关键词 逻辑程序 部分演绎系统 程序设计
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈