退出
我的积分:
中文文献批量获取
外文文献批量获取
孙汉中; 王俊;
湖北省黄石实验高中,435000;
函数单调性; 抽象函数; 证明策略; 应用; 表达式; 技巧性; 性质;
机译:住房分配问题的联合策略证明性和资源单调性
机译:单向单调性作为策略证明的一种形式
机译:连续小波变换在特殊抽象函数空间中的应用
机译:抽象函数空间中的源优化,以最大程度地提高可区分性:在光学层析成像反问题中的应用。
机译:两个函数的商的单调性规则及其应用
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。
机译:用于证明I / O自动机抽象特性的可重用pVs证明策略
机译:驱动器单调性确定装置和驱动器单调性确定方法
机译:通过生成,确定列的单调性来优化数据库查询,该列的单调性为未检查谓词列表中的每个剩余不等式谓词生成表达式
机译:应用于车辆空调系统的显示器及其控制方法,当按下按钮时,可通过改变显示器的亮度和控制周期来改变其单调性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。