简介:首先介绍选举理论中的5种投票方法(简单多数、单轮决胜、系列决胜、Coombs法、Borda计数)和5条公平性准则(多数票、Condorcet获胜者、Condorcet失败者、无关候选人独立性、单调性),并用政治和社会领域的若干实例给以解释。然后给出著名的Arrow不可能性定理的两种不同的版本,以及对Arrow一条公平性准则的修正;按照修正后的准则,存在满足所有公平性准则的投票方法。
简介:随机Petri网(SPN)是一种基于状态空间的可靠性建模分析方法,由于它具有其他可靠性分析方法(可靠性框图、故障树等)所不可比拟的优势,使其成为目前系统可靠性分析中备受关注的一种方法。但是,当所分析系统复杂时,状态空间爆炸问题是SPN进行系统可靠性分析最大的挑战。特别针对神光Ⅲ原型装置计算机控制系统这一庞大、复杂的系统,状态空间大小不可估量,所以很有必要研究克服SPN空间状态爆炸的方法。根据系统可靠性分析时常用到的SPN模型结构和有关可靠性分析理论知识,提出了模型结构约简方法,以约简系统模型,从而克服或缓解SPN模型可靠性分析中的状态爆炸问题。