Multi-objective Particle Swarm Optimization Algorithm Based on Performance and Reliability of Discrete System Resources Configuration

Considering research on multi-objective optimization for reliability and performance suffering cost constraints in digital circuits,an improved multi-objective optimization algorithm based on performance and reliability was proposed to solve the problem of discrete system resources configuration in this paper. This algorithm used the particle-swarm optimization( PSO) to evaluate the tradeoffs configuration of the system resources between reliability and performance and proved the feasibility through the simulation.Finally, the information of resources configuration from optimization algorithm was used to effectively guide the system design so as to mitigate soft errors caused by single event effect( SEE).     

可限制李三系

给出了可限制李三系的定义,讨论了限制李三系和可限制李三系的等价关系,并通过可限制李三系,讨论了限制李三系的存在性问题.     

19阶Steiner三连系的构造与计数

阐明了19阶Steiner三连系构造的基本思路.给出了边矩阵的定义,先将边矩阵分解为完全图和完全三分图,然后将完全图和完全三分图分别分解,得到Steiner三连系,提出了基于Kv的子图分解的Steiner三连系的构造方法和计数方法.用2种方案具体给出19阶Steiner三连系的构造过程和计数.结果表明:文中的Steiner三连系的构造方法和计数方法是有效的,对Steiner三连系的构造方法和计数方法具有可推广性.     

一种基于功能复用的容错扫描链电路结构

由于软错误已经成为影响芯片可靠性的主导原因,文章提出一种容忍软错误的高可靠BIST结构——TMR-CBILBO。通过构建三模冗余的容错扫描链电路结构,在触发器输出端插入表决器,可有效地防护单事件翻转,容忍瞬态故障引发的软错误。以多输入特征寄存器的功能复用为切入点,有效地降低容错设计的面积开销。在UMC 0.18μm工艺下针对ISCAS 89基准电路的实验结果表明,TMR-CBILBO的软错误率下降95.56%～98.21%,面积开销为71.68%～84.21%,性能开销为1.75%～4.39%。     

基于SDH/MSTP的煤矿物联网设计

在分析总结了目前我国普通工业物联网及煤矿物联网技术和原理的前提下,提出了应用矿用本安型多信道工业环网SDH/MSTP技术,实现煤矿物联网的新型架构体系。阐述了新型煤矿物联网的基本原理及设计思想;论述了系统的构架及要求,研究了系统的功能特点、建设条件及基本内容,以及系统的主要技术问题。同时,基于笔者设计的新型煤矿物联网架构体系,设计了音频、视频、数据三网合一的传输模式,解决了实时数据运行中的技术难题。经过多个特大型煤矿的应用实践,实现了井下少人及无人工作面的监控,取得了良好效果。     

因子von Neumann代数上非线性*-Lie导子的刻画

设M是Hilbert空间H上维数大于1的因子von Neumann代数, 给出M上非线性*-Lie三重导子的定义, 并用代数Pierce分解方法证明： 如果Φ: M→M是一个非线性*-Lie三重导子, 则Φ是非线性*-Lie导子.     

FATI与FITA的等价性

在模糊系统中,给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理,也可先分别依据各给定规则进行推理,然后将所得结果进行聚合.本文讨论分别利用CRI算法与三I算法进行推理时,上述2种方法的等价性问题.证明了当聚合取并运算且用CRI算法进行推理时,FATI与FITA方法等价,而对三I算法只有在恰当选择蕴涵算子时,2种方法才能等价;当聚合取交运算且用CRI算法和三I算法进行推理时,FATI与FITA方法不一定等价.     

几种特殊模糊二元关系的探讨

讨论了竞赛，全序，偏序，弱序，拟序，严格全序，严格偏序，严格弱序八种特殊的二元关系，指出了它们之间的联系。如全序关系一定是弱序关系，弱序关系一定是拟序关系等；以T，S三角模算子为基础，在丁非对称，S强完全，T传递，S负传递这些概念的基础上，分别给出了模糊竞赛，模糊全序，模糊偏序，模糊弱序，模糊拟序，模糊严格全序，模糊严格偏序，模糊严格弱序关系的定义，并讨论了它们之间的联系，如T-S全序一定是T-S弱序，T-S弱序一定是T拟序等，得出了与普通情形下相一致的结论。     

基于三剪统一强度准则的厚壁圆筒极限承压分析

基于三剪统一强度准则分析了长厚壁圆筒的极限承压问题,得到了一个新的统一解形式,以往基于Mohr-Coulomb强度准则、Tresca屈服准则和Von Mises屈服准则的解均为其特例.分析表明,厚壁圆筒材料的拉压屈服极限比a和强度准则的中间主应力效应参数对其承压极限均有影响.弹性极限内压和塑性极限内压均随b增大而增大,随a增大而减小;弹性极限外压和塑性极限外压则与之相反.     

t=3和4时平衡t叶三元系存在性

研究了平衡t叶三元系的存在性,给出了平衡t叶三元系存在的必要条件.利用循环三元系和横截设计证明了平衡3叶三元系的充要条件是λ(v-1)≡0(mod 18)且v≥7;平衡4叶三元系存在的充要条件是λ(v-1)≡0(mod 24)且v≥9.