考虑主动管理模式的多目标分布式电源规划

在考虑主动管理模式条件下,建立了多目标双层分布式电源规划模型.其中,上层规划以分布式电源年投资运行成本和网损最小为目标,下层规划以分布式电源出力切除量最小为目标,考虑风电光伏等间歇式能源出力的随机性及负荷的不确定性,利用基于拉丁超立方抽样的蒙特卡洛模拟方法对风速、光照强度和负荷进行抽样,利用非支配排序遗传算法对上层规划模型进行求解,采用原对偶内点法对下层规划模型进行求解,以得到问题的Pareto最优解集,从而避免了传统加权求解方法中权重确定的主观性.同时,通过对33节点配电网算例的仿真和分析,验证了所建模型的合理性和算法的有效性.     

用于 RFID 网络规划的含 Expansion 关系的多目标云优化算法

给出了一个含有Expansion关系的多目标云优化算法,并用于求解RFID网络规划问题。该算法的思想源自于云模型,利用云模型理论估计优化过程的优势解区域和生成新解。在优化过程中,算法利用获得的信息建立优势解区域的云模型,并用反向云生成算法计算该云模型的3个数字特征。在此基础上,依据这3个数字特征,用正向云生成算法产生当前代的子代种群。为了引导寻优过程,Expansion关系被用于比较最好的一些个体,并对当前代种群和当前代子种群的并集用Expansion关系进行排序;之后,依据这个排序结果从中选择一些最好的个体组成下一代种群。该算法与其它一些算法就一组基准函数进行了模拟测试比较,并用于求解一个模拟RFID网络规划问题,代距准则（ GD）和多样性（Δ）用于评价算法的性能,模拟结果显示该算法是有效的。     

德萨格定理与点共线及线共点问题

德萨格定理及其逆定理是证明"点共线"和"线共点"问题实用性很强的理论工具,讨论了在"点共线"和"线共点"问题中应用德萨格定理及其逆定理的基本方法与思想。     

悬架控制臂多目标拓扑优化

为了对悬架控制臂进行轻量化,并保证轻量化的悬架控制臂仍能满足动静态性能要求,采用了多目标拓扑优化的方法。首先以控制臂为柔性体在Adams/Car中建立悬架刚柔耦合模型并对该模型进行多体动力学分析,从而得到悬架控制臂在制动、转向及过凸包等极限工况时的边界条件;然后采用惯性释放的方法对悬架控制臂进行有限元静力分析及模态分析,并根据结果分析其动静态性能;再运用折衷规划法对该悬架控制臂进行多目标拓扑优化,并通过正交试验的方法确定目标函数的权重。最终得到的新控制臂模型重量比原模型降低18.1%,总体刚度及低阶频率都有提高,各极限工况应力均小于许用应力。结果表明,轻量化的悬架控制臂满足性能要求,验证了设计的合理性。     

多层屏蔽体在γ辐射下的多目标优化

在γ射线下对多层屏蔽体的性能进行函数建模,并采用遗传算法多目标优化思想对多层屏蔽材料就屏蔽性能、质量以及造价三个方面进行多目标优化,通过帕累托迭代和评价函数的甄别得到最优解。与此同时,将应用蒙特卡罗软件MCNP模拟计算γ辐射环境下的多种排列方式,通过对比多种方案的数据来确定多层屏蔽体多目标优化的最佳方案。通过与数据库的数据对照,以及多种方案结果的对比,证明了该种方法的可行性和正确性。     

一种新的协同多目标粒子群算法

提出了一种动态协同多目标粒子群算法,该算法采用一种新型群体停滞判别准则,自适应地决定子群体的新增和灭绝。用外部集合及精英保留策略保存Pareto有效解,用于指导整个粒子群的进化。通过子群体间的信息交换,使整个群体分布更均匀,并且避免了局部最优,保证了解的多样性。对弹簧的优化设计实例进行验证,与传统的多目标算法相比,该算法能够获得更优的结果。     

Model Checking over Paraconsistent Temporal Logic

Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies （inconsistencies often occur, especially in the early stage of the development, when large and complex concurrent systems are developed）. In this paper, we propose the use of a guasi-classical temporal logic （QCTL） for supporting the verification of temporal properties of such systems even where the consistent model is not available. Our models are paraKripke structures （ extended standard Kripke structures）, in which both a formula and its negation are satisfied in a same state, and properties to be verified are expressed by QCTL with paraKripke structures semantics. We introduce a novel notion of paraKripke models, which grasps the paraconsistent character of the entailment relation of QCTL. Furthermore, we explore the methodology of model checking over QCTL, and describe the detailed algorithm of implementing QCTL model checker. In the sequel, a simple example is presented, showing how to exploit the proposed model checking technique to verify the temporal properties of inconsistent concurrent systems.     

基于多目标决策的电网无功优化

从经济学的角度引入了调控成本概念,用变量梯度法计算系统优化前后网损变化量、优化前后电压平均偏离变化量、调控成本三个指标,再用层次分析法(AHP)进行多目标决策,计算电容器和变压器是否值得动作.IEEEl4节点算例表明所提出的方法能有效地提高系统运行的经济性和安全性.     

建设工程价款优先受偿权若干问题思考

建设工程价款优先受偿权是法律赋予建设工程承包人优先受偿的权利。但是现有的法律对该权利的具体规定很少,导致很多争论,对该权利的行使产生不利影响。我们可通过分析和探讨相关学说和法律规定,对建设工程价款优先受偿权的法律性质、行使,与工程垫资的关系,与抵押权、消费者权利的竟合等问题进行研究。     

列车运行调整问题的分解协调计算模型

针对列车运行调整问题集中式求解方法的不足,构建多目标优化列车运行调整的数学模型,并设计分解协调计算模型来求解.分解协调计算模型将求解过程分为4个层次,分别是将待调整列车分解为子调整列车集的协调分组层,确定子列车集优化目标的目标设定层,完成子调整问题求解的优化计算层和将各子问题解还原为原问题解的结果还原层.该计算模型能适应多种线路条件,也能适应不同列车调度员指挥的习惯偏好,并能快速求出优化解.