兰姆塞真之冗余论探析

兰姆塞通过对"什么是真的"这一问题的分析,探讨了真的本性。他认为,只有具有命题指称并且有断定特性的信念才能成为"真的"载体,一个信念P是真的,当且仅当p。在他的定义中,他特别注重命题指称的分析,认为只有对命题指称进行分析,才能将"是真的"与"被断定"联系起来,也因为这样,兰姆塞的理论有符合论的影子,但从形式上看,他认为"是真的"属多余的谓词,可以删去,故其理论称为冗余论。

战略决策逻辑、冗余资源与数字商业模式构建——基于浙江177家企业数据的fsQCA分析

研究旨在探讨企业如何组合战略决策逻辑与冗余资源来构建数字商业模式。研究分析了战略决策逻辑与冗余资源对数字商业模式构建的单独与联合作用。在此基础上,通过对浙江177家企业数据应用模糊集定性比较分析方法,研究了数字商业模式构建所需的战略决策逻辑与冗余资源组态。结果显示,企业构建数字商业模式的组态是多样的,主要包括稳健的外部机会探索型、积极的内部条件利用型与双元型3种类型;构建效率型数字商业模式的组态与构建新颖型数字商业模式的组态存在显著的差异。研究结果也发现构建新颖型数字商业模式相比于构建效率型数字商业模式更强调投入企业内化的冗余资源与弱化因果逻辑影响而显得更激进。

生存进化阶段性搜索微粒群算法及其可靠性冗余分配优化应用

为高效解决含有异质冗余的多态系统(MSS)可靠性优化问题,并弥补微粒群优化(PSO)算法易早熟收敛的不足,从作用力方式和种群拓扑结构两方面对算法进行改进。改进PSO算法中单一的作用力方式,设置前后两个搜索阶段,对应两个搜索阶段分别构造平衡引斥力方式和双层引力(个体和全局最优解引力、中间适应度微粒引力)方式,提出阶段性搜索微粒群(SPSO)算法;利用生物个体“择友而交”和优胜劣汰的生存体系构建生存进化(SE)拓扑结构,以结构演化和算法进化并行方式将该拓扑结构融入SPSO算法,提出生存进化阶段性搜索微粒群(SPSO-SE)算法,进一步提升算法的优化性能;利用Benchmark函数对所提算法与PSO的改进算法进行测试对比,结果表明,所提SPSO-SE算法具有更好的寻优能力。采用SPSO-SE算法对串-并联和桥式结构的多态系统的可靠性冗余分配问题进行优化,得到的系统结构费用更低、可靠度更高。

永磁电机系统中冗余结构逆变器的可靠性分析对比研究

基于马尔可夫模型和可靠性框图模型,对永磁电机系统中并联冗余和备用冗余两种结构的逆变器在零件层面和系统层面进行可靠性分析,得到这两种结构逆变器的可靠性函数和平均无故障时间函数。首先,通过对比来确定判断何种冗余结构具有更高可靠性的边界条件函数。其次,分析边界条件函数随各参数的变化情况以及对冗余结构可靠性的影响,包括环境温度、电流、热阻抗和容错处理机制的成功率。然后,建立N相冗余逆变器的可靠性函数,并给出高可靠冗余结构中并联支路数和备用支路数量的确定方法。最后,以三相永磁电机逆变器为例,通过仿真和实验验证边界条件函数的准确性。

变电站系统抗震冗余性量化方法

为定量评价冗余性对变电站系统抗震性能的影响,提出了基于状态树方法的系统抗震冗余性分析方法.首先,在功能单元层面提出了冗余度、冗余效果指标、冗余系数的定义;其次,给出了系统冗余度的线性加权组合和非线性加权组合计算方法,将功能单元的冗余度和冗余系数进行集成;最后,建立了系统冗余度和冗余效果指标之间的关联模型.结果表明,变电站系统的抗震性能与其冗余度呈正相关性,系统冗余度-冗余效果指标模型可采用过原点直线表达,斜率为系统性能指标最大增量与系统最大冗余度的比值.母线单元具有汇集、分配电能的作用,对进线单元、变压器单元的冗余作用具有提升效果.采用线性加权和非线性加权组合计算方法时,变电站系统的最大冗余度分别为0.870和0.980,系统冗余度-冗余效果指标模型的斜率分别为0.698 9和0.618 1.

基于YOLOv7通道冗余改进的飞机蒙皮损伤检测

为提高蒙皮损伤检测的自动化程度,提出一种基于改进YOLOv7通道冗余的机器视觉检测方法。首先针对飞机蒙皮损伤数据集背景单一的特点,提出增强型颈部特征融合改进算法,提高了飞机蒙皮损伤的识别精度和检测速度;其次针对主干特征提取网络的卷积通道冗余的问题,引入部分卷积PConv(Partial convolution),提出主干特征提取网络轻量化,减少模型的参数量,同时提高损伤的识别效率。试验部分首先在飞机蒙皮损伤数据集上探索了不同增强型颈部特征融合改进算法,确定了最优的改进方案;接着在飞机蒙皮损伤数据集上做消融和对比试验,改进算法与原YOLOv7算法比较,mAP(Mean average precision)提升了2.3%,FPS(Frames per second)提升了22.1 f/s,模型参数量降低了34.13%;最后将改进的YOLOv7模型与主流目标检测模型对比,证明了改进算法的先进性。

基于冗余执行器的航空发动机推力快速响应控制方法研究

面向飞/推一体化控制需求,开展涡扇发动机推力快速响应控制研究,提出了适用于推力最小相位系统的冗余控制方案。研究内容包括:(1)借鉴阀位控制思想,提出在传统燃油流量(Wf)回路基础上增设尾喷口喉道面积(A8)回路,通过挖掘冗余执行器变化速率潜力,提高推力响应速度,降低了对于燃油泵快速作动的需求,同时该方法可以使喷口在推力响应过程逐渐回中,系统具备持续的推力快速调节能力;(2)分析了A8调节推力的物理机理,指出容腔压力动力学主导的部件间流量匹配过程使得A8对推力具有直馈作用,是提高推力响应速度的有效途径。基于发动机部件级模型的评估结果表明,本文提出的方法在执行机构存在速率限制的情况下,实现了推力10 rad/s闭环带宽和A8回中的设计目标,方法可行、有效。在推力响应过程中,A8直馈作用对推力变化的贡献度最高时超过50%。随着对于推力控制模式和推力响应速度的日趋关注,应对容腔内的压力动态过程给予充分的重视。

基于冗余分析的成都市府河缓冲带土地利用对水质的影响

土地利用是影响河流水环境质量的重要因素之一。然而,大型城市河流缓冲区的土地利用类型及组成对河流水质的影响方式仍不清晰。选取成都市中心城区的府河及其支流作为研究对象,设置17个水质监测断面,于2018年1月—2019年12月对COD_(Mn)、NH_(4)^(+)-N和TP 3个水质指标开展连续监测。同时,还获得了相同时段内的降水数据和基于高分卫星(GF-1)影像解译的土地利用数据。在此基础上,利用空间分析以及冗余分析方法,探讨河岸缓冲区内土地利用结构、组成对府河及支流水质的影响。研究结果表明:选取河段从上游到下游的COD_(Mn)、NH_(4)^(+)-N和TP浓度均呈增加趋势,这3类污染物在上游第一个监测断面浓度依次为1.73、0.26、0.06 mg/L,到下游最后一个监测断面浓度为2.59、0.97、0.15 mg/L。相对于干流,府河支流污染物浓度无明显空间分布特征。从时间上看,6—9月水体中各污染物浓度相对较高。基于冗余分析的结果发现,在河段2 000 m缓冲区范围内的土地利用类型对水质的影响最明显,校正后的解释度达57%,表明河段内污染物质主要源于此区域。该范围内,建设用地与其他生产用地可能是COD_(Mn)与NH_(4)^(+)-N的主要源区,农业用地是TP的主要来源,生态用地对于COD_(Mn)与NH_(4)^(+)-N具有一定的吸收分解作用。但是,研究区生态用地以园林绿化用地为主,需要施用磷肥,可能成为水体TP的重要贡献源。因此,合理规划河流2 000 m缓冲范围内的建设用地与生态用地比例,控制园林绿化用地的施肥用量,是保障成都市城市河流水环境安全的重要途径。

多级冗余强干扰下医用三维力传感器数据的自动挖掘方法

针对医用三维力传感器容易受电磁场等外部环境的影响,产生大量相似特征数据,导致其输出紊乱信号,降低传感器控制精度和测量速度的问题,提出一种多级冗余强干扰下三维力传感器数据挖掘方法。根据角度标定理论采集三维力传感器冗余数据;引入相似度指数函数计算冗余因子,获取三维力传感器冗余数据活跃度,完成数据冗余分类;通过差值去噪算法高性能过滤三维力传感器冗余数据;利用谱聚类算法构建拉普拉斯矩阵,剔除冗余数据,实现三维力传感器数据自动挖掘。仿真结果表明,所提方法在多级冗余强干扰下的三维力传感器控制精度为96.54%,测量速度为0.61 ms,能量消耗为0.26 kcal。由此证明,所提方法的控制精度高、测量速度快、传输效果优,能够满足机器人辅助手术过程中的力反馈控制需求。

面向商业航天卫星成本效益的三模冗余软错误防护技术:近似计算的实践

三模冗余(TMR)作为如今集成电路可靠性领域中最为常用且有效的软错误加固技术,在满足高容错要求之时,不可避免地牺牲了庞大的硬件损耗。为实现面积、功耗等硬件性能和容错电路加固能力的折中考虑,适应低成本高可靠性加固的时代需求,针对基于近似计算的三模冗余加固技术(ATMR)进行研究,该文提出一种基于近似门单元(ApxLib)的动态调整多目标优化框架(ApxLib+DAMOO)。首先,其基本优化框架采用非支配排序遗传算法(NSGA-Ⅱ)实现,通过极性分析与预创建的近似库对电路实现快速近似。随后,该框架提出动态概率调整和极性扩张两种创新机制,根据可测性分析对遗传算法中门单元的突变概率进行动态更新,对双向门单元进行定向识别和重构,以实现寻优效率和寻优效果的双重优化。实验结果表明,该文提出的优化框架与传统NSGA-Ⅱ相比,在相同硬件损耗下可实现最大10%~20%的额外软错误率(SER)降低,且其执行时间平均降低18.7%。

双工字钢板组合梁桥的时变体系冗余性评估

为评估双工字钢板组合梁桥应对非对称极端作用的时变体系冗余性,采用数值增量算法,开展了双工字钢板组合梁桥非对称荷载下的弹塑性全过程分析.提出了基于弹塑性累积应变能的构件承载贡献率指标,研究了双工字钢板组合梁桥时变体系冗余性的影响因素及变化规律,揭示了双工字钢板组合梁桥冗余性不足的内在原因.结果表明:横向刚度和主梁延性是影响钢板组合梁桥体系冗余性的主要因素,横向传力刚度越大,主梁延性越高,则结构体系冗余性越强;与典型多主梁体系相比,双工字钢板组合梁桥的横向传力刚度降低约24%,导致结构冗余度降低约55%;材料劣化引起的主梁延性退化会导致冗余度在寿命周期最大下降约25%.

腰椎管狭窄与马尾神经冗余关系的MRI形态学定量分析

目的探讨应用MRI分析腰椎管狭窄与马尾神经冗余(redundant nerve roots,RNRs)之间的关系。方法选取我院临床诊断为腰椎管狭窄患者155例的MRI资料。根据矢状位T2WI马尾神经形态将患者分为RNRs阳性组和RNRs阴性组,测量并记录狭窄节段椎管硬膜囊横截面积及硬膜囊前后径,统计分析RNRs阳性组和RNRs阴性组之间硬膜囊横截面积、硬膜囊前后径、椎管狭窄程度的差异,进一步分析RNAs阳性组椎管不同狭窄程度间马尾神经冗余长度的差异。结果腰椎管狭窄患者中马尾神经冗余的发生率为34.2%。RNRs阳性组平均年龄大于RNRs阴性组,腰椎管最窄层面平均硬膜囊横截面积及硬膜囊前后径均小于RNRs阴性组,椎管狭窄程度大于RNRs阴性组,差异均有统计学意义(P均<0.05)。RNRs阳性组女性发生率较男性稍高(56.6%vs 43.4%),但差异无统计学意义(P>0.05);RNRs阳性组椎管不同狭窄程度间马尾神经冗余长度差异具有统计学意义(P<0.05)。结论RNRs是一种特殊的影像学表现,常见于较严重的腰椎管狭窄患者,能够被MRI清晰地展现,为腰椎管狭窄症的明确诊断提供了重要的依据。

提升RC框架结构抗震韧性的冗余柱性能分析

本文提出了一种通过设置可更换冗余柱以增强钢筋混凝土框架结构抗震韧性的方法。通过冗余柱纵筋在钢筋机械套筒里的锚固长度以控制冗余柱与框架连接节点处的钢筋失效,节点的刚性连接转变为铰链连接。以钢筋直径和锚固长度为变量,对钢筋机械连接套筒试件进行了13组拉伸试验和6组高应力拉压试验,每组包含3个试件,一个试件包含两段钢筋和一个机械套筒。试验结果表明,适当设计机械连接套筒锚固长度,可实现可控成铰性能。将实测数据应用于冗余柱的截面和构件仿真分析中,证明可通过改变钢筋于套筒锚固长度控制当冗余柱极限变形达到设计值时柱端自动成铰,使冗余柱损坏后仍为关键结构柱提供竖向承载能力,同时保护关键柱在遭遇强震时不易发生严重破坏。

基于过滤冗余信息相似性的电影推荐算法

现有的基于内容相似性的推荐算法在处理文本内容时,往往忽略了词序和上下文信息的重要性,并且计算复杂度较高。因此,文章提出了一种基于过滤冗余信息相似性的启发式方法,并成功地将该方法应用于电影推荐领域,实现了更精准的推荐效果。与其他算法对比,该算法在预测1部电影时的准确率提升了0.07百分点~0.24百分点,在预测3部电影时的准确率提升了0.05百分点~0.30百分点。以该算法的召回率作为基准(设为100%),在预测1部电影时,其他算法的召回率仅为该算法的2.38%~70.24%;在预测3部电影时,其他算法的召回率仅为该算法的3.78%~84.87%。以上结果证明了该算法的有效性和可行性。

组织冗余对企业ESG表现的影响研究——来自A股上市公司的经验证据

企业ESG实践是一项资源消耗性事业,组织冗余能否为其提供资源支持存在组织理论和代理理论两种观点。文章以2009—2022年沪深A股上市公司为研究样本,实证检验了组织冗余与企业ESG表现之间的关系。研究发现:直接可利用冗余、可恢复冗余和潜在冗余均与企业ESG表现呈“倒U型”的非线性关系。机制检验表明,股权激励正向调节了三种冗余与ESG表现的“倒U型”关系,而融资约束弱化了组织冗余与ESG表现的“倒U型”关系。文章拓展了ESG影响因素的研究,从组织内部冗余资源的视角,为改善企业ESG表现提供了理论基础和实践依据。

乘用车双电机冗余电动助力转向系统研究

为了提高电动助力转向系统的安全性以及可靠性,基于乘用车提出一种双电机冗余电动助力转向技术,采用转向执行双助力电机,可以从硬件上实现冗余,避免任意单电机发生故障时导致转向系统的失效,不仅可以满足转向系统对于轻便型、助力跟随性的要求,还可以减轻单个助力电机的负载提高电机的使用寿命。针对提出的问题,介绍了对双电机阻力转向系统整体结构及工作原理,并对其关键零部件进行分析论述。搭建双电机冗余系统仿真模型,双电机电流分配采用“一主一辅”的控制方式,并进行方向盘多种工况仿真验证。针对助力转向出现抖动问题,结合“扫频试验”,设计输出转矩超前滞后补偿方式进行相位校正补偿。通过实车试验验证了该算法的准确性和有效性。实验结果表明双冗余电动助力转向系统极大提高了转向力矩的稳定性,抑制其扰动性,有较好的助力效果,极大提高系统的可靠性和安全性。

一种基于冗余位结构CDAC的12 bit SAR ADC

提出一种基于非二进制冗余位结构CDAC的12 bit全差分逐次逼近型模拟数字转换器(SAR ADC)。传统SAR ADC中CDAC的单位电容数量随位数指数增长,且采用全差分结构的电容数量是单端结构的两倍,导致CDAC建立时间过长。为此,设计一种加入冗余位的分段式电容阵列,减少单位电容数量,提高CDAC建立速度。动态比较器的比较速度快,会导致数字码误判,通过加入冗余位弥补比较器对数字码误判的缺陷;采用底板采样技术,避免沟道电荷注入和时钟馈通,提高采样精度;采用SMIC 130 nm CMOS工艺。在电源电压1.2 V、20 MS/s采样率下,对1024点FFT仿真。结果显示:当输入频率(9.824 MHz)接近奈奎斯特频率时,该ADC的整体信噪失真比(SNDR)达到72.42 dB,有效位数(ENOB)达到11.73 bit;无杂散动态范围(SFDR)达到88.4 dBc,功耗为1.29 mW。

冗余驱动并联机构受力特性的控制方法研究

针对冗余驱动并联机构的驱动力优化,提出冗余驱动并联机构的位移协调模型,该模型考虑了各驱动臂的弹性变形和执行机构的位移。研究全位置控制、混合位置/力控制和全力控制3种控制方法在冗余驱动并联机构的力学特性,分析每种控制方法中驱动力/力矩、作动器位移、外载荷和驱动臂刚度之间的相关性,揭示了不同控制方法下输入位移和驱动臂刚度对力分布的影响规律。最后通过冗余驱动并联机构的实验平台,对3种控制方法进行了验证,并探讨了3种控制方法在不同工况下的应用。

一种航天测控冗余跟踪弧段处理方法

随着在轨航天器的日益增多,测控资源的需求量也日益增大,因此,其使用效率也倍受关注。当航天器重要测控弧段安排多个测控设备进行全力跟踪时,很容易出现测控弧段搭接或完全被覆盖的情况。为有效利用现有测控资源,针对弧段搭接的情况,提出了一种基于冗余度评价函数的跟踪弧段处理方法,该方法在不降低跟踪总时长情况下,通过合理有效地配置测控资源,剔除了冗余跟踪弧段,提高了现有测控资源的使用效率。

冗余驱动并联机械手运动精度校准方法研究

针对冗余驱动并联机械手(RAPM)的运动精度,以某三自由度主轴头为例,提出了一种基于最小误差模型的运动精度校准方法。首先通过消除冗余几何源误差,建立包含最少几何源误差的最小误差模型,采用蒙特卡罗模拟进行几何源误差灵敏度分析,研究各几何源误差对终端精度的相对影响。在此基础上提出了粗校准和精校准相结合的分层辨识策略,以实现冗余驱动并联机械手的精度校准。最后通过校准实验测试表明,所提出的校准方法能够大幅降低冗余驱动并联机械手的终端误差,验证了所提校准方法的有效性。