多模态多维信息融合的鼻咽癌MR图像肿瘤深度分割方法

收集421名鼻咽癌患者头颈部水平位T1加权（T1W）、T2加权（T2W）以及T1增强（T1C）三种模态MR图像,并由2名经验丰富的临床医生对图像中的肿瘤区域进行勾画,将其中346位患者的多模态图像及其标签作为训练集,将剩余75位患者的多模态图像及其标签作为独立测试集;分别构建单模态多维信息融合、两模态多维信息融合以及多模态多维信息融合（MMMDF）的卷积神经网络（CNN）,并对模型进行训练和测试;使用Dice、豪斯多夫距离（HD）与面积差占比（PAD）评估3种模型的性能,结果表明,多模态多维融合模型的性能最优,两模态多维信息融合模型性能次之,单模态多维信息融合模型性能最差. 结果证明,多模态二维与三维特征融合的深度卷积网络能够准确有效地分割鼻咽癌MR图像中的肿瘤.     

由S域证明系统完全响应表示为卷积积分的可能性

系统的零状态响应可表示为激励函数与相应的系统冲激响应的卷积积分．而系统的完全响应可否应用卷积积分求解呢?本文以S域模型证明．系统的初始状态可以等效为激励源，因此系统的完全响应可表示为卷积积分。并用例题作了证明。     

基于多模态卷积神经网络的脑血管提取方法研究

提出了一种基于多模态的卷积神经网络对脑部CT血管造影图像（CTA）进行分割,从而实现脑血管的单独提取。该方法首先对原始CTA图像进行高斯和拉普拉斯处理, 并将处理后的图像与原始图像共同构成多模态图像作为输入,然后通过多个并行的卷积神经网络对多模态图像进行分割,最终将所有的分割结果通过线性回归进行融合从而提取出脑血管。该文通过一系列的实验不仅证明了卷积神经网络在脑血管分割上的有效性,而且证明了本文所提出方法的分割效果比现有的脑血管分割算法更加出色。     

传统滑模控制律的改进措施

对于由两个惯性环节构成的二阶定常受控系统,设计其滑模控制器时,如果使用尤金等人提出的传统滑模控制律,系统将出现静态误差,且滑态颤动幅度大。为此本文提出带前馈控制的滑模控制律消除系统静态误差;另外引入在开关线邻近区域对控制量进行衰减的抑制滑态颤动方案。并将此两种方案相结合形成一种新的滑模控制律。计算机仿真结果表明了此控制律的可行性。     

V掺杂ZnO性质的第一性原理研究

采用第一性原理平面波超软赝势,计算了纤锌矿ZnO和不同浓度的V掺杂ZnO晶体的能带结构、态密度和分波态密度.计算表明,V的掺杂导致ZnO晶格发生了微小膨胀,禁带宽度变窄,体系引入的杂质能级靠近导带底,费米能级进入了导带并且穿插在杂质能级中,自旋态密度分布具有不对称性,自旋向上的电子数比自旋向下的电子数多,对态密度进行积分后发现V掺杂ZnO体系表现出净磁矩,具有磁性.当V掺杂后,V-3d态电子与O-2p态电子的态密度分布大部分重合,形成了pd杂化.     

用于室内环境语义分割的全卷积网络

卷积网络是一种功能强大的可视化模型,可以生成特征层次结构,通过卷积网络的端到端训练、像素到像素的训练等,可以达到语义分割的目的。针对现阶段语义分割多用于室外环境,而且传统CNN网络不能满足任意大小的图像输入等问题,首先通过将传统卷积网络中的连接层替换为卷积层,将现有的分类网络(AlexNet、VGG网络和GoogLeNet)改为全卷积网络,然后利用全卷积网络对PASCAL VOC 2012的数据库进行训练,将该训练模型进行室外环境语义分割的测试,证明通过全卷积网络训练后获得的模型可用于语义分割。最后,选取室内三种外形的椅子进行了数据采集,建立室内环境语义分割的数据库,通过微调训练以及验证,证明该方法用于室内语义分割的有效性,同时证明了该网络支持任意大小输入。     

基于Stateflow技术多模态飞行控制律仿真

Stateflow是有限状态机原理的图形实现，能在仿真过程中进行连续状态间的切换。无人机飞行过程正是多模态飞行控制律的切换过程，是由飞行任务驱动的有限状态机系统。该文描述了如何用Stateflow实现控制模态间的切换，按无人机自主导航的控制逻辑建立了Stateflow仿真模型。仿真结果说明采用Stateflow实现多模态飞行控制律仿真的有效性。     

一类带加法噪声密度卷积的小波估计

利用小波方法研究一类带加法噪声密度函数卷积问题,构造密度函数卷积的小波估计器,并给出其在Besov球B_(r,q)~s(L,M)的L~p平均收敛阶.当r≥p=2时,本研究的主要定理可以退回至Chesneau和Navarro(2014)的结论.     

量子比特的密度矩阵表示

介绍了量子比特、密度矩阵和Bloch向量的概念,然后借助外积这一数学工具给出了单量子比特和混合态量子比特的密度矩阵表示及其相关性质,以矩阵及算子理论为基础,对纯态、混合态、缠绕态及叠加态的密度矩阵表示进行了分析,所得结果有助于加深理解量子理论。     

磁性石墨烯结构中自旋波的性质

为了了解自旋波在磁性石墨烯结构中的传播性质,采用格林函数方法和海森堡模型研究了磁性石墨烯结构中的自旋波频率和自旋波态密度,分析了温度、外磁场和各向异性对自旋波谱和自旋波态密度的影响.结果表明,在整个布里渊区Γ-M-K-Γ中,自旋波频率和自旋波态密度随约化温度的升高而减小.随着外磁场强度的增加,自旋波频率和自旋波态密度均随之增加.随着各向异性的增加,自旋波频率和自旋波态密度均呈现微小程度的提高.在布里渊区M-K中,温度、外磁场和各向异性对自旋波谱的影响较大.     

选择公理与Tukey引理等价性的机器证明

基于计算机证明辅助工具Coq,提出一种选择公理与Tukey引理等价性的形式化证明.在公理化集合论形式化系统基础上,给出选择公理与Tukey引理的形式化描述,这是Tukey引理的首次形式化.完成了选择公理与Tukey引理等价性的证明代码,并在Coq中通过验证.体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠,在集合论、拓扑学和代数学的形式化构建中具有重要应用.     

粉状耐酸胶结料配制的耐酸混凝土及密实机理

采用耐酸胶结料、粉料和骨料配制了耐酸混凝土，研究了混凝土的强度及耐酸性能，探讨了耐酸胶结料的固化硬化密实机理．研究表明，采用粉状耐酸胶结料配制的耐酸混凝土强度可达32．8MPa，高于采用液体水玻璃配制的混凝土强度(25．1MPa)，并具有良好的耐酸性和抗高温性能．     

抗弹陶瓷的犁削机理和自锐作用研究

研制了铬刚玉抗弹陶瓷，其抗弹能力比标准均质钢有很大的提高，通过分析讨论，其主要抗弹机制为犁削机理和自锐作用。     

试论民事诉讼证明标准——从纠纷解决的角度

证明标准是民事诉讼证据制度中的一个重要问题,一定的证明标准,对法官认定案件事实具有重要的指导和约束作用.我国学者对证明标准的讨论已有多年,然而一直缺乏一种完全令人信服的观点.文章从纠纷解决的角度,结合民事诉讼的目的、减少不合理地适用证明责任判决等方面,就我国民事诉讼应采用优势证据标准进行了论述.     

验证荷载条件下的在役结构动态可靠度

提出了随机验证荷栽条件下的在役结构动态可靠度计算方法,经过实例计算表明了在考虑随机性验证荷载条件下的结构可靠度一般比不考虑这种验证荷载的结构可靠度要高。     

多边形三角化图三色问题证明的一个注记

对“简单多边形三角形化图S是可以3 色”的定理证明中用到的关键定理: “简单多边形三角形化图S的对偶图T是一棵树” 作了十分简化的证明, 从而简化了3 色问题及Art Gallery 问题 Watchman 定理的证明.     

浅谈数码打样

数码打样是目前印刷领域一种先进的印前方式。本介绍了印刷前处理技术中数码打样的国内现状和数码打样的含义、应用及发展状况，重点探讨了数码打样区别于传统打样的七大特点。     

镁合金的阻燃研究现状

介绍了镁合金阻燃的研究现状及进展,重点介绍了稀土合金化阻燃的研究。最后得出结论：混合稀土合金化阻燃镁合金是发展阻燃镁合金的方向。     

一种Lagrange乘数法及其推广的新证明

针对Lagrange乘数法传统证明方法过于繁琐的问题,利用向量及其相关性质,讨论了Lagrange乘数法一种新的证明方法。分别研究了二元函数、三元函数以及n元函数Lagrange乘数法的向量形式证明,这种以向量为工具研究等式约束的Lagrange乘数法,解决了传统方法难以迁移且结论模糊的问题。     

匹配追踪信号分解收敛性的一种证明

针对匹配追踪信号分解的收敛性问题,借鉴Qian的思路,采用几何辅助方法证明了Jones和Mallat给出的一般性结论,并消除了Qian的证明中的瑕疵。此证明方法可避免运用多个预备引理,完善了Qian的证明过程,同时也为读者提供了另外一种理解匹配追踪的思路。