三维网格模型的空间布尔运算

为了快速正确地对各种复杂程度(开放、封闭)的网格模型进行空间布尔运算,根据复式网格的可定向性建立各元素间的拓扑关系,并根据这些拓扑关系判断网格面片的最终去舍,得到布尔运算结果.算法首先对网格方向一致化,然后通过相交测试求出两两相交三角形面片之间的交线,再由相交三角形与它的交线得到多边形,并对该多边形进行三角化,得到"结果交域",最后根据这些"结果交域",以及各元素间的邻接关系判断其他网格的取舍,得到最终结果.实验表明该算法结果正确、计算量少、速度快,同时适应于封闭与开放网格模型.     

中国铌钽锆铪资源

铌、钽、锆、铪是重要的关键金属,铌与钽、锆与铪具有相似的地球化学性质.我国铌钽矿床与铝质花岗岩(过铝和准铝)、花岗伟晶岩、碱性-过碱性花岗岩和碳酸岩有关,在空间上主要分布于环太平洋构造域、特提斯构造域、古亚洲洋构造域以及扬子板块和华北克拉通边缘,成矿作用主要发生于5个地质时期:中-新元古代、古生代、早中生代、晚中生代和新生代.据对我国近50个已查明储量的铌钽矿床(点)统计,我国铌资源储量(以Nb₂O₅计)约为267万t(不包括白云鄂博Fe-Nb-REE矿床的铌储量),钽资源储量(以Ta₂O₅计)约为17万t,但对外依存度均接近或超过90%.由于锆铪与铌钽具有相似的地球化学性质,我国主要的内生锆铪矿床在空间上常与铌钽矿床共伴生,时间上主要成矿于晚古生代和中生代,与碱性-过碱性花岗岩、花岗伟晶岩和铝质花岗岩有关.但我国可供开采的锆铪资源主要来源于第四纪外生矿床,包括滨海沉积型、河流冲积型和风化壳与残坡积型三类;锆储量(以ZrO₂计)约50万t.鉴于我国铌钽锆铪资源禀赋,一方面需要加...     

加法范畴的推出范畴

在范畴C中以推出为对象,推出态射为态射构成推出范畴C^□．本文了给出了范畴C^□中的三角可换定理,并得到了C^□中上积存在的条件,进一步还证明了加法范畴的推出范畴仍为加法范畴．     

基于自由体积理论的沥青分子模型黏度预测

沥青的黏度特性由化学结构决定.然而,目前在分子层面上对沥青动态黏度机理的认识并不清晰.本文采用分子动力学(molecular dynamic, MD)模拟,从自由体积的角度研究了沥青的黏度.基于一定范德瓦耳斯(van der Waals, vdW)半径下的自由体积预测,计算得到了沥青模型黏度与温度之间的关系.结果表明,沥青的动态黏度与自由体积有关;沥青模型的自由体积随vdW半径、沥青模型类型等参数变化,随vdW半径的减小而增大;单组分模型的自由体积明显大于多组分模型.利用不同半径的自由体积对沥青的动态黏度进行了预测,当vdW半径为1.39?时计算出来的自由体积预测的沥青模型黏度平均偏差最低.此外,不同沥青模型的平均偏差不同,四组分模型的平均偏差最小.黏度测试结论与模拟结果吻合较好,说明MD结果是可靠的.本文有助于理解沥青黏度的微观机理及其与分子结构间的关系.     

纸基和类纸基柔性薄膜器件研究进展

近年来,柔性薄膜器件得到了蓬勃的发展,尤其是纸基或类纸基的器件由于具有低成本、柔性、多孔性、自发的液体驱动性等独特的优势,在生物、化学、物理、材料等领域都已得到了广泛的应用.得益于纸基和类纸基(柔性基质材料和光子晶体纸)等膜材料的快速发展,许多多功能、高集成的膜基器件得以问世,使得传统纸张与其他薄膜材料之间的严格界限也逐渐变得模糊.传统纸张可以被认为是一种柔性的薄膜材料,而具有适当柔性或多孔结构的薄膜材料也可以被定义为"纸".纸基和类纸基材料可以驱动液体和调控电子,制作出来的柔性薄膜器件可以用于生化分析器件和复杂的微电子器件.本文较为全面地对传统纸张以及其他柔性薄膜材料所制作的柔性薄膜器件的历史发展和最新进展进行了总结,包括纸基和类纸基柔性膜的制备方法、对微流体和电子的操控和基于这些操控所衍生出来的多元化应用.     

拟轮图的导出匹配可扩性

从导出匹配可扩图的定义、结构出发,研究了拟轮图的性质, 构造了一类新的导出匹配可扩图Γn. 主要结果如下:(1)判定具有奇数个顶点的图几乎导出匹配可扩性是co-NP-完全的. (2)Γn中的任何一个图均是边数为5n-6的导出匹配可扩的拟轮图.     

一种改进变换网络的域自适应语义分割网络

语义标签的人工标注成本高,耗时长,基于域自适应的非监督语义分割是非常必要的.针对间隙大的场景或像素易限制模型训练、降低语义分割精度的问题,通过分阶段训练和可解释蒙版消除大间隙图片和像素的干扰,提出了一种改进变换网络的域自适应语义分割网络(DA-SSN).首先,针对部分源图到目标图的域间隙大、网络模型训练困难的问题,利用训练损失阈值划分大间隙的源图数据集,提出一种分阶段的变换网络训练策略,在保证小间隙源图的语义对齐基础上,提高了大间隙源图的变换质量.然后,为了进一步缩小源图中部分像素与目标图域间间隙,提出一种可解释蒙版.通过预测每个像素在源图域和目标图域之间的间隙缩小置信度,忽略对应像素的训练损失,以消除大间隙像素对其他像素语义对齐的影响,使得模型训练只关注高置信度像素的域间隙.结果表明,所提算法相比于原始的域自适应语义分割网络的分割精度更高.与其他流行算法的结果相比,所提方法获得了更高质量的语义对齐,表明了所提方法精度高的优势.     

基于构建软件功能描述的可复用软件检索方法

软件复用技术能够有效降低新软件产品开发的时间、人力和成本.在软件复用中,基于待开发软件的基本描述与简单需求,如何衡量已有软件的可复用性并对大量已有软件进行快速、自动的可复用性评估,已成为首要解决的问题.目前已有较多评价软件产品或软件项目相似度的研究工作,但相似性并不等于可复用性.因此,该文通过调研软件产品可复用性的相关研究,定义了一套适用于开源软件仓库中软件项目的可复用性评价指标,并设计了基于待开发软件项目的基本需求快速查询可复用软件项目的算法,实现了可复用软件项目检索系统.通过实验及专家对检索结果的评价,验证了所提描述方法的高效性和可用性.     

关于马氏过程散度的极限性质

在有限状态空间中取值的随机变量序列,假设它在概率测度P下是一非齐次马氏链,在概率测度Q下是一齐次马氏链,利用非齐次马氏信源的渐近均分割性,齐次马氏信源的渐近均分割性及随机变量序列的一致可积性,给出了马氏过程散度的极限存在条件,并得到了马氏过程散度的极限的值,在此基础上将马氏过程散度的极限存在条件推广到了高阶马氏过程的情形,同时也给出了高阶马氏过程散度的极限的值.     

3D打印铝合金力学性能的非线性超声检测

为了研究非线性超声检测技术评估材料抗拉强度的可行性,对不同成型角度下的3D打印铝合金材料进行非线性超声检测和力学拉伸试验。结果表明材料的抗拉强度、微观缺陷比率和超声非线性系数三者之间有很强的相关性。随着材料微观缺陷比率增大,超声非线性系数也随之增大,而抗拉强度呈现变小的趋势,因此超声非线性系数可以评价材料的强度。此外,对不同成型角度下的3D打印铝合金试件进行疲劳试验,发现疲劳加载后试件的超声非线性系数随着微裂纹萌生而增大。因此,非线性超声检测技术可用于3D打印铝合金材料力学性能的评估和微裂纹的检测。