检索结果-南通市图书馆

维普期刊数据库

技术重塑建筑——性能提升对南头古城建筑更新设计的影响

在线全文

学校读者我要写书评

暂无评论

建筑学报 2024年第7期 45-51页

作者：康琪邓璟辉华南理工大学建筑学院广州510641 万路设计咨询(深圳)有限公司深圳518052

调研深圳南头古城更新中,市政设施改善、结构加固、机电设备升级等技术手段对建筑性能的提升作用,以8座建筑为典型案例,结合对建筑、结构与设备施工图的精读,分析结构加固和设备引入的具体技术措施,及其对建筑空间、建筑内外界面和构造... 详细信息

调研深圳南头古城更新中,市政设施改善、结构加固、机电设备升级等技术手段对建筑性能的提升作用,以8座建筑为典型案例,结合对建筑、结构与设备施工图的精读,分析结构加固和设备引入的具体技术措施,及其对建筑空间、建筑内外界面和构造设计的影响,剖析技术如何在更新改造中重塑建筑。

关键词：建筑改造结构加固设备空间,性能提升建筑表达

求解时滞Fisher方程的两类保持结构的隐显差分法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国科学:数学 2024年

作者：胡梦婷邓定文南昌航空大学数学与信息科学学院

本文对二维时滞Fisher方程建立一个保持解的非负性的隐显差分法.运用数学归纳法和反证法证明在对网格步长没有任何限制的条件下它的解大于或等于0;运用能量法证明了其解的存在唯一性,在最大范数下有O(τ+hx2+hy2)的收敛阶、有界性和稳定... 详细信息

本文对二维时滞Fisher方程建立一个保持解的非负性的隐显差分法.运用数学归纳法和反证法证明在对网格步长没有任何限制的条件下它的解大于或等于0;运用能量法证明了其解的存在唯一性,在最大范数下有O(τ+hx2+hy2)的收敛阶、有界性和稳定性,这里τ、hx和hy分别表示时间步长、x-和y-方向上的空间步长.其次,运用截断法对上述隐显差分法的解作后处理,建立一类保持最大值原理的算法.类似地,运用能量法、反证法和数学归纳法等方法证明在对网格步长没有任何限制的条件下数值解满足离散的最大值原理(即数值解无条件落在[0,1]区间上),且在最大范数下以O(τ+hx2+hy2)的收敛阶收敛和具有好的稳定性.最后,数值结果表明两类算法理论结果的正确性和算法的有效性.

关键词：二维时滞Fisher方程有限差分法保非负性最大值原理

基于循环硬化模型的压气硐库围岩力学及变形分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

岩石力学与工程学报 2024年

作者：邓申缘姜清辉位伟武汉大学土木建筑工程学院

利用地下硐库进行压缩空气储能是大规模能源存储的可行方式之一。在研究压气硐库围岩在长期循环荷载作用下的力学及变形特征上，传统模型多采用基于Mohr-Coulumb屈服条件的弹塑性模型或统计损伤模型。然而，这些模型并未考虑到硐库内压... 详细信息

利用地下硐库进行压缩空气储能是大规模能源存储的可行方式之一。在研究压气硐库围岩在长期循环荷载作用下的力学及变形特征上，传统模型多采用基于Mohr-Coulumb屈服条件的弹塑性模型或统计损伤模型。然而，这些模型并未考虑到硐库内压低于疲劳阈值的情况。根据岩石疲劳实验过程中的力学特性，论证了硐库内压低于疲劳阈值时采用循环硬化模型计算围岩变形模量及位移变形的合理性，并以轴向残余应变为内变量推导了压气硐库围岩的循环硬化模型。在此基础上，研究了不同岩性岩石的疲劳参数对压气硐库围岩力学及变形特性的影响。并将现场实验的实测值与模型预测值进行了比较。结果表明循环硬化模型可以很好地预测压气硐库的围岩变形。

关键词：岩石力学压气硐库循环荷载残余应变硬化模型岩石疲劳参数

基于Fisher信息的传感器航迹自适应滤波算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

航空学报 2024年

作者：胡玉梅潘泉邓豹航空工业西安航空技术计算所西北工业大学自动化学院西北工业大学信息融合教育部重点实验室

针对单传感纯角度被动跟踪系统的不完全可观问题，结合变分贝叶斯推断提出一种基于Fisher信息累积的传感器航迹自适应估计算法。首先，在假设传感器速率保持不变的条件下，建立以传感器航向角、目标状态估计及其估计误差协方差为参数的... 详细信息

针对单传感纯角度被动跟踪系统的不完全可观问题，结合变分贝叶斯推断提出一种基于Fisher信息累积的传感器航迹自适应估计算法。首先，在假设传感器速率保持不变的条件下，建立以传感器航向角、目标状态估计及其估计误差协方差为参数的变分贝叶斯迭代联合优化框架；在此基础上，推导给出变分置信下界关于航向角的Fisher信息矩阵，以便将Fisher信息矩阵最大化获得传感器航向角的最优解，从而实现传感器平台轨迹自适应优化；同时，考虑纯角度跟踪的鲁棒性，结合正则化方法以相邻迭代变分分布之间的加权Kullback-Leibler散度为惩罚项，构建以状态估计及其估计误差协方差为超参数的优化函数；继而，通过线性化方法给出优化函数的二阶近似，并计算其关于超参数的偏导数，获得状态估计及其估计误差协方差的迭代更新解析表达式；最后，通过被动传感器纯角度跟踪系统仿真实验验证：所提算法能够通过改变传感器航向角有效提高信息的累积量，实现较高精度的目标跟踪。

关键词：传感器航迹规划变分贝叶斯推断非线性滤波自适应滤波 Fisher信息矩阵

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

零知识证明递归与复合技术研究综述

计算机学报 2024年第10期 2466-2490页

作者：张宗洋周子博邓燚北京航空航天大学网络空间安全学院中国科学院信息工程研究所网络空间安全防御重点实验室中国科学院大学网络空间安全学院

零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极... 详细信息

零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.

关键词：零知识证明递归零知识证明内积论证增量可验证计算方案复合零知识证明承诺并证明的零知识证明

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

BPK模型中的双可重置零知识协议

密码学报（中英文） 2024年第4期11卷 807-819页

作者：祝维邓燚中国科学院信息工程研究所网络空间安全防御重点实验室北京100085 中国科学院大学网络空间安全学院北京100049

零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了BPK模型... 详细信息

零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了BPK模型中的14轮重置合理重置(T,ϵ)-零知识协议,相比于先前BPK模型中的双可重置协议(27轮),轮复杂度缩减了将近一半.本文使用近年来新开发的个体化归约技术,首先在BPK模型中构造了3轮的重置合理并发(T,ϵ)-零知识协议,随后根据标准模型中重置合理的类有界重置零知识协议构造了BPK模型中的双可重置协议.

关键词：交互证明系统零知识双可重置协议纯公钥模型

维普期刊数据库

川西北高寒退化草地恢复过程中土壤酶活性及其化学计量特征

在线全文

学校读者我要写书评

暂无评论

应用与环境生物学报 2024年

作者：邓竹辛类延宝孙庚刘琳四川农业大学草业科技学院中国-克罗地亚生物多样性和生态系统服务“一带一路”联合实验室中国科学院成都生物研究所

土壤胞外酶是来自土壤微生物、植物和动物的生物活性物质，影响草地生态系统的物质循环和能量流动，在环境条件变化时可降解土壤中复杂有机质。酶活性（EEA）及其化学计量比是衡量土壤微生物养分限制的关键指标。测定川西北高寒退化草地... 详细信息

土壤胞外酶是来自土壤微生物、植物和动物的生物活性物质，影响草地生态系统的物质循环和能量流动，在环境条件变化时可降解土壤中复杂有机质。酶活性（EEA）及其化学计量比是衡量土壤微生物养分限制的关键指标。测定川西北高寒退化草地5个恢复年限（未恢复、恢复2年、恢复6年、恢复12年、未退化）和2个不同土层（0-10 cm和10-20 cm）的C-获取酶（β-1，4-葡萄糖苷酶）、N-获取酶（β-1，4-N-乙酰氨基葡萄糖苷酶和L-亮氨酸氨基肽酶）和P-获取酶（碱性磷酸酶）活性，分析其酶活变化及关键影响因子。结果表明：在恢复过程中，未退化样地的0-10 cm和10-20 cm土层pH显著小于其它恢复年限，土壤总碳（TC）、总氮（TN）、微生物生物量碳、氮、磷（MBC、MBN、MBP）、BG、NAG、LAP和AP等含量均随恢复过程显著增加，土壤EEAC:P和EEAN:P呈增加趋势。0-10 cm和10-20 cm中向量长度（VL）逐渐降低，反映出恢复过程土壤微生物受碳限制程度逐渐缓解；向量角度（VA）均大于45°，表明其始终受磷限制。冗余结果表明：土壤MBC、TC、DOC是驱动土壤酶活性及化学计量变化的主要影响因子。综上所述，川西北高寒退化草地恢复过程中，随着恢复年限增加，群落多样性、土壤碳氮磷含量以及酶活性显著改善，且土壤微生物活动主要受到磷养分的限制。

关键词：酶化学计量比养分限制高寒沙化草地生态恢复川西北

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

复合式无人直升机姿态控制半物理仿真验证

系统工程与电子技术 2024年

作者：邓柏海徐锦法南京航空航天大学航空学院直升机旋翼动力学国家重点实验室

半物理仿真作为飞行控制系统设计验证的一条有效测试途径，能降低其研制风险和成本。姿态控制回路是飞行控制系统设计的关键，决定着飞行控制系统设计的成败。复合式无人直升机（CUH）的飞行动态特性不但非线性明显、耦合性强，而且操... 详细信息

半物理仿真作为飞行控制系统设计验证的一条有效测试途径，能降低其研制风险和成本。姿态控制回路是飞行控制系统设计的关键，决定着飞行控制系统设计的成败。复合式无人直升机（CUH）的飞行动态特性不但非线性明显、耦合性强，而且操纵输入冗余，给飞行控制律设计带来极大挑战。本文建立复合式无人直升机飞行动力学全量非线性运动方程，以此为被控对象，设计姿态线性自抗扰控制器(LADRC)，用STM32F405嵌入式控制器作为机载控制器完成软硬件实现，与被控对象飞行动力学模型构成姿态控制半物理仿真系统。机载控制器实时在环，姿态控制律设计为LADRC和PID二种，控制通道输出经操纵策略分配作用于被控对象模型操纵舵面，采用姿态控制对比方法在半物理仿真系统上完成仿真试验，以仿真结果验证LADRC满足复合式无人直升机姿态控制要求，其稳定性、抗扰性和鲁棒性均好于PID控制，能使复合式无人直升机在全飞行模式下稳定可靠飞行。试飞结果验证了所设计控制方法的有效性。

关键词：复合式无人直升机(CUH) 操纵策略线性自抗扰控制半物理仿真

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数据驱动的半无限介质裂纹识别模型研究

力学学报 2024年第6期56卷 1727-1739页

作者：江守燕邓王涛孙立国杜成斌河海大学工程力学系南京211100

缺陷识别是结构健康监测的重要研究内容,对评估工程结构的安全性具有重要的指导意义,然而,准确确定结构缺陷的尺寸十分困难.论文提出了一种创新的数据驱动算法,将比例边界有限元法(scaled boundary finite element methods,SBFEM)与自... 详细信息

缺陷识别是结构健康监测的重要研究内容,对评估工程结构的安全性具有重要的指导意义,然而,准确确定结构缺陷的尺寸十分困难.论文提出了一种创新的数据驱动算法,将比例边界有限元法(scaled boundary finite element methods,SBFEM)与自编码器(autoencoder,AE)、因果膨胀卷积神经网络(causal dilated convolutional neural network,CDCNN)相结合用于半无限介质中的裂纹识别.在该模型中,SBFEM用于模拟波在含不同裂纹状缺陷半无限介质中的传播过程,对于不同的裂纹状缺陷,仅需改变裂纹尖端的比例中心和裂纹开口处节点的位置,避免了复杂的重网格过程,可高效地生成足够的训练数据.模拟波在半无限介质中传播时,建立了基于瑞利阻尼的吸收边界模型,避免了对结构全域模型进行计算.搭建了CDCNN,确保了时序数据的有序性,并获得更大的感受野而不增加神经网络的复杂性,可捕捉更多的历史信息,AE具有较强的非线性特征提取能力,可将高维的原始输入特征向量空间映射到低维潜在特征向量空间,以获得低维潜在特征用于网络模型训练,有效提升了网络模型的学习效率.数值算例表明:提出的模型能够高效且准确地识别半无限介质中裂纹的量化信息,且AE-CDCNN模型的识别效率较单CDCNN模型提高了约2.7倍.

关键词：数据驱动比例边界有限元法自编码器因果膨胀卷积神经网络裂纹识别

维普期刊数据库