一个有界解的紧性

Ｊ．Ｄｉｅｕｄｏｎｎｅ在文［１］中证明了（１）～（３）存在唯一解，本文证明了（１）～（３）的任何有界解都有准紧值域．     

纳米氧化铝薄膜湿度传感器的研制

研究了阳极氧化三氧化二铝多孔膜的制备工艺,采用两步阳极氧化法和独特的后处理工艺获得了孔洞分布均匀、孔径大小一致且耐水合的多孔氧化膜,分析了传感器的湿敏特性:传感器的湿滞<2%,响应时问<10s,恢复时间<40s,性能非常优良.     

飞行器动态数据存储测试系统的可靠性分析

本文针对某回收式飞行器动态数据存储测试系统,从可靠性设计理论出发,在建立元器件可靠性模型及分析了飞行器测试系统的应用环境、构成系统可靠性关键元器件工作环境的基础上,对飞行器测试系统进行了详细可靠性预计计算,预测系统是否能达到要求的可靠性指标。在分析了一种可靠性分配算法的基础上,进行可靠性分配,将系统的可靠性指标分配到构成系统的电路单元上。     

基于三维参数化模型的水利工程设计体系及应用

在大中型水闸工程的精细化管理中,要求在设计阶段均要进行重要细小结构的破坏分析,模型构建也随之越来越复杂。为便于模型调试,提出一套基于三维参数化模型的水利工程设计体系。分析了参数化建模的关键技术,结合红山窑水利枢纽工程,探讨了各专业的参数化协同设计方式及应用模型优化土方平衡、交通道路等设计方案。     

基于模型预测的定风量系统串级控制研究

针对定风量系统室内温度的控制,提出了一种基于模型预测的串级控制方法,用以提高室内温度控制的鲁棒性和精确度.该方法根据实时的负荷情况,利用送风温度预测模型预测系统需要的送风温度,并以此作为设定值,通过冷水阀门开度调节进行控制,使得送入空调区域的冷量始终满足负荷需求,进而实现室内温度的鲁棒控制.采用TRNSYS软件建立定风...     

基于特征图梯度连接生成对抗网络的结肠癌腺体细胞数据增强

深度学习的良好表现往往离不开大量数据的支持。为了更好地利用深度学习来研究结肠癌腺体细胞病理,提出了特征图梯度连接生成对抗网络的算法模型。该模型通过在生成器和判别器特征图大小对应相等的卷积层后添加额外的卷积层建立梯度连接,来给GAN模型提供更多的梯度,缓解梯度消失的问题。在cifar-10数据集上的实验表明,该算法模型较DCGAN而言能更好的收敛,而且生成的图像较DCGAN和WGAN生成的图像而言具有更高的Inception Score。最后将该算法模型应用在结肠癌腺体细胞病理图像的生成任务上,在一定程度上实现了数据增强。     

改进GAN的光化性角化病图像数据增强方法

针对传统网络应用于医学图像数据增强时出现的特征丢失和多样性不足的问题,提出一种基于能量的改进生成对抗网络模型。首先将简单的原始随机噪声输入高斯混合模型,尽管增加了少部分的计算量,但转换后具有潜在复杂分布的噪声能在一定程度上提升生成样本的类内多样性和类间多样性。然后在判别器部分把简单自编码器替换为U-Net状的变体网络,多层采样的过程可以增强对细节纹理的感知,进而提高生成图像的清晰度和特征还原。最后使用混合体驱动算法,按照加权参数逐步混合多个生成器,在迭代过程中弥补先前混合体的不足,提高生成模块的鲁棒性。在光化性角化病图像数据集上的实验结果表明,该网络训练生成的图像在弗雷歇初始距离上优于现有的WGAN(Wasserstein GAN)模型3.41。另外由于判别器可预训练的特性,收敛速度快于当前的WGAN。同时也在公开数据集MNIST和CelebA上验证改进生成对抗网络的有效性。     

深圳规划大厦结构设计及关键技术问题处理

本文详细介绍了深圳规划大厦的结构设计,包括地基与基础处理、结构体系与计算分析以及关键技术的解决方案.针对楼板多处开大洞、上下楼层柱网变化、以及大跨度等技术问题,结构设计分别采用局部转换和预应力技术,以满足建筑功能要求.此外,利用搭接柱转换,解决不同柱网尺寸转换,又满足建筑净空要求.对于超高跃层柱采用芯柱措施,以弥补抗震性能延性差的缺点.最后,针对剪力墙和框架柱采用清水混凝土施工工艺,给予相应的处理措施.针对具体问题,在满足现行规范规定的前提下,灵活采用合理有效的结构方案,实现建筑专业复杂多变的功能要求,是结构设计面临的一个新课题.通过对本工程结构设计论述,供同类工程借鉴.     

稀疏低秩双线性判别模型及其应用

"高维度小样本"问题是模式识别应用中的主要障碍之一。跨越这一障碍的有效方法之一是采用参数矩阵的低秩逼近,目的是控制模型复杂度。常用的低秩逼近方法需要预先指定目标矩阵秩的大小(如主成分分析)。提出了一种新的基于稀疏约束的低秩判别模型,此模型通过对目标参数进行矩阵分解,然后分别对子成分施加低秩(稀疏)约束,从而达到低秩逼近的目的。进一步将这一思想嵌入一个双边判别模型,并用坐标下降法对目标函数进行优化,使得算法在低秩逼近的同时还有效利用了输入数据的空间特性,从而得到更好的推广性能。其有效性在一个安全生物识别应用上得到了验证。     

MEMS高量程加速度传感器的动态特性分析

利用霍普金森杆激光干涉冲击试验台对实验室研发的MEMS高量程压阻式加速度传感器进行动态校准;采用两种不同解算方法对实验数据将进行分析处理,求解出该传感器的幅频特性,绘制了对数幅频特性曲线;通过对比两种算法的结果知道,镜像映射法优于FFT算法,其算法简单有效,能直接辨识出系统模型参数和模型阶次。