Dept. of Computer Software College of Electronics and Information Engineering Sejong University, Seoul, Korea;
机译:分布式云计算环境中数据标准与水资源综合数据相结合的设计与实现
机译:面向对象网络编程的分布式计算环境模型的设计与实现
机译:分布式计算环境中基于个体的捕食者-猎物模型的设计与实现
机译:用于分布式计算环境的锁定机制的设计与实现
机译:查询接口在分布式计算环境中对约束数据库的实现和应用。
机译:使用客户端/服务器技术和分布式计算环境来实现医师工作站。
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。