首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   0篇
轻工业   2篇
自动化技术   4篇
  2022年   1篇
  2018年   1篇
  2013年   2篇
  2011年   1篇
  2008年   1篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性.分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型.论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的.  相似文献   
2.
采用同位素稀释液相色谱-串联质谱法测量生鲜乳中黄曲霉毒素M1,建立了结果不确定度的数学模型。根据《测量不确定度的评定与表示》相关规定对测定过程中的不确定度来源和各分量进行分析计算与结果的表示。  相似文献   
3.
野生葎草对育肥羊生产性能的影响   总被引:1,自引:0,他引:1  
研究在自由采食条件下,新鲜葎草对育肥羊生产性能的影响.试验组每天饲喂2.5 kg新鲜葎草,对照组饲喂等量新鲜苜蓿;另外补加精料补充料0.5 kg/只.结果表明:试验组的平均日采食量和料肉比分别降低了18.1%和15.71%,均达到了显著水平(P<0.05);试验组粗蛋白质的消化率比对照组降低10.82%,但差异不显著(P>0.05),粗脂肪和粗纤维的消化率比对照组分别提高9.92%和2.69%,均差异不显著(P>0.05).  相似文献   
4.
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得到的等价正规逻辑程序的最小不动点为切入,给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明,该良基模型是合理的,用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。  相似文献   
5.
魏昆鹏  王以松 《计算机工程》2011,37(11):181-183
以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集。实验结果证明了该算法的正确性及复杂性。  相似文献   
6.
为完成一种植物叶片分割与计数模型LU-Re Net,利用Xception module和Coord Conv改进模型编码器,通过改进的Re Net模型并参照Unet模型结构将CNN和RNN结合在一起。在CVPPP的A1、A2、A3基准数据集上,LU-Re Net模型取得了0.95的平均F1-score、95.54%的平均前景-背景Dice(FBD%)、0.95的平均召回率和1.91的平均计数差分绝对值(|Dic|)。在A2基准数据集上,该模型表现超越大部分最新算法。实验结果表明,该网络在拥有高分割准确率的同时具有良好的泛化能力。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号