AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
刘敏; 吴贤国; 石晶林;
中科院计算技术研究所信息网络实验室;
北京;
100080;
网络地址翻译; 业务流; 网络测量;
机译:将基于源地址的NAT应用于IPsec-NAT遍历:在NAT环境中实现PtoP IPsec
机译:基于源地址的NAT在IPsec-NAT穿越中的应用-在NAT环境中实现P to P IPsec
机译:基于源地址的NAT在NAT环境中的P到P IPSec的IPSec-NAT遍历实现
机译:NAT66的实现以及NAT66环境中的多宿主解决方案
机译:CYP1A2,NAT1和NAT2遗传变异在核苷酸切除修复中的功能作用-缺乏的人类成纤维细胞:对环境芳基胺的毒理学风险的影响。
机译:在解剖病理过程建模中实现业务流程建模符号(BPMN)
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。
机译:T-Check in Technologies for Interoperability:Web服务环境中的业务流程管理
机译:在没有NAT的情况下实现实体的网络连接的虚拟化环境中的分区之间支持IP网络的互连的方法
机译:在事件驱动的环境中实现业务流程的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。