工程量清单计价招标工作探讨

一、实行工程量清单计价招标的必要性 1.体现了招标投标公平竞争的原则 工程量清单作为招标文件的组成部分,包括了拟建工程的分部分项工程项目、措施项目及其他项目的名称和相应数量的明细清单,由招标单位负责统一提供,从而有效保证了投标单位竞争基础的一致性,体现了招标投标公平竞争的原则.     

软件质量评价的一种定量化方法

提出一种从与软件质量特性有关的定性信息产生定量值的方法 ,其主要优点是能相当容易地从质量评价者那里获得定量输入信息 ,并能根据一致性指标检验评价判断的误差 .     

政治权利——一个需重新解读的概念

政治权利是我国宪法规定的公民享有的基本权利之一,然我国宪法学界对同时作为学术概念和法律概念的政治权利并未进行科学的解读,立法者对政治权利的外延规定也未保持一致性.同时,在我国现行的权利救济体制内,政治权利并未得到有效的保障.围绕政治权利概念的种种问题需要进一步的分析、思考.     

基于熵可靠性的相对熵集结模型

针对传统的相对熵集结模型在赋权方面存在的缺陷,本文基于熵可靠性对其进行优化.首先利用广义熵的可靠性分析,剔除原专家群组中可靠性较低的专家,建立新的专家群组;其次基于熵的可靠性,确定新群组中专家的权重;最后将权重应用于相对熵集结模型中,来集结专家群组的一致性.算例结果表明,优化后的相对熵集结模型是有效的,而且可靠性得到很大的提高.     

新的大群体一致性学习修正决策方法

针对某决策方案,提出了一种基于聚类算法、且能面向较大规模群体、考虑成员学习进化能力并有效收敛群体意见的群体一致性修正方法.首先设计了群体成员学习进化决策程序;接着,借助一种能够处理大数据量聚类的C-均值类型聚类算法,通过梯度下降法逐渐修正群体一致性来避免因个别成员意见偏离太大而引起的群决策失误;最后通过计算机仿真和实验对比分析验证了该方法的正确、有效性.     

基于相容性准则的群组决策专家赋权最优模型

在群组决策中,针对专家给出的正互反判断矩阵提出一种专家赋权最优模型。在判断矩阵满足完全一致性的条件下,探讨了加权几何平均组合判断矩阵与加权几何平均组合向量所构成的特征矩阵的相容性。同时在相容性概念基础上,建立了基于相容性准则下的专家赋权方法的最优化模型,研究了模型的求解方法。最后进行了实例分析,结果表明提出的模型是合理可行的。     

RELAXED CONDITIONS FOR CONSENSUS IN MULTI-AGENT COORDINATION

This paper proposes relaxed sufficient conditions for the consensus of multi-agent systems by the averaging protocols with time-varying system topology. Bidirectional information exchange between neighboring agents is considered and both the discrete-time and continuous-time consensus protocols are studied. It is shown that the consensus is reached if there exists an unbounded time sequence such that two agents who own the maximum and minimum states at each time instant in the sequence will be jointly connected at some future time. Further, this result is applied to the original nonlinear Vicsek model, and a sufficient condition for the heading consensus of the group with restricted initial conditions is obtained.     

决策矩阵P.L.Yu解法的调整和应用

目前在县域经济的发展中,经常要对各产业结构的比例或各业重要性程度的排序作出判断.但由于较复杂的各种主客观因素,严重影响了其数量化后的客观真实性或主客观的一致性.针对该量化的决策判断矩阵,对P.L.Yu算法进行调整和更强的一致性检验,并将其应用到山东陵县五业发展的具体背景中.图1,参3.     

预设一致检查点算法在双机容错系统中的研究

提出一种预设系统的一致检查算法ＰＣＣＰ１．算法以有通信关系的相关进程为设检查点的原则，设置系统一致检查点．描述了算法ＰＣＣＰ１的基本思想和执行过程，及在实验室环境中的模拟实现．     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。