【摘要】在软件工程中，一致的系统需求集合是软件项目成功的基础。需求改变是当今软件项目的常态，需求改变可能引起需求集合的定义模糊、集合元素冗余、集合不完整及集合含有不一致等问题，成为影响需求质量及软件质量的主要因素。一旦需求规格说明书建立，新的需求请求将可能会导致系统中出现需求不一致问题。通常来讲，融合新旧需求集合以完善系统的问题及消除需求合集中不一致的问题重要且亟需。将博弈论的理论思想移植到软件工 […]

【摘要】学者们对公共池塘资源困境的研究,大多局限于公共池塘资源困境问题的某一个方面,且主要集中在对公共池塘资源困境的治理方面。对公共池塘资源困境提出治理策略时,并不考虑公共池塘资源本身的特点,对困境形成的逻辑过程的探讨也较为不足。这就好比给人治病,不考虑病人本身的特点,较少考虑疾病的成因,只是根据疾病的表面特征来治病,这明显是不足的。本文所要做的是：从整体上把握公共池塘资源困境的全貌,循序渐进地将 […]

【摘要】安全多方计算(SecureMulti-partyComputation,SMPC)是现代密码学重要的研究方向之一,它不但作为密码学基础的一部分,研究分布式情况下进行安全计算的基本原理和方法,还是很多应用型密码学协议的直接基础,例如合同签署,电子投票,电子拍卖和电子签名等。SMPC可以描述为这样一个问题：多个相互独立的参与者拥有各自的私有输入,他们希望能够使用这些输入计算一个约定的函数。基本 […]

【摘要】在过去的几十年中,兴起了从经济学视角分析排队服务系统的热潮.从经济学视角出发,结合顾客对服务的需求及厌恶等待的特性,需要将收入-支出函数注入排队系统中,并且允许顾客拥有独立的决策和行事权,可以最大限度地为自己获取福利.不可避免的是,每个顾客的决策将会影响其他顾客、服务商和系统管理员的决策,同时也会受到他们的影响.因此,该系统可以建模为顾客之间或者顾客与服务商之间或者顾客与系统管理者之间的博 […]