退出
我的积分:
中文文献批量获取
外文文献批量获取
邢淑敏; 晃军峰;
玉林师范学院数学与计算机科学系,广西,玉林,537000;
玉林师范学院物理与信息科学系,广西,玉林,537000;
容错搜索; Ulam-Rényi问题; 天平; 序列算法;
机译:网格尺寸单调性的证明及其在中尺度模型网格尺寸选择中的应用
机译:在定理证明中寻求统一的搜索模型:子目标减少策略
机译:无线传感器网络中基于K-means分类和禁忌搜索的容错多目标定位
机译:关于双仿真,故障单调性和可证明的容错
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:使用TetR作为模型搜索器探索哺乳动物细胞中DNA结合蛋白的目标搜索
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。
机译:在用于空间应用的FpGa中实现容错控制单元
机译:关于一个或多个独立变量值的变化,在统计模型产生的预测中强制单调性
机译:用于推荐搜索项的方法,用于训练目标模型的方法,用于推荐搜索项的装置,用于训练目标模型的装置,电子设备和程序产品
机译:在资源受限环境中测量了在资源受限环境中的执行,并通过工作证明
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。