退出
我的积分:
中文文献批量获取
外文文献批量获取
何志贵;
贵州省桐梓县第一中学,563200;
三角恒等式; 证明策略; 例析; 附加条件; 函数学习; 证明过程; 条件等式; 三角函数;
机译:二元三角恒等式的组合证明
机译:使用频域技术的三角恒等式:通过实践,推导大多数三角恒等式要比查找它们容易得多
机译:与约束条件匹配的稳定性和策略证明:必要条件和充分条件
机译:用喇叭条件进行统一的策略:与喇叭条款进行核查证明搜索
机译:一旦证明流形为双曲型,就证明它是双曲的
机译:基于Wolbachia的针对库蚊(Culex quinquefasciatus)蚊子的种群控制策略在半田间条件下证明是有效的
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。
机译:用于证明I / O自动机抽象特性的可重用pVs证明策略
机译:在部分可观察的市场条件下的风险敏感型投资策略
机译:用于基于网络条件选择策略服务器以在一段时间内接收策略请求的方法,策略请求路由器和机器可读硬件存储设备
机译:身份证明文件用插页,书本型身份证明文件及制造用于身份证明文件用插页的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。