基于改进PSPNet网络的古代壁画分割方法

针对传统方法在古代壁画图像分割过程中出现的目标边界模糊、图像分割效率低等问题,提出一种基于PSPNet网络的多分类壁画图像分割模型(PSP-M).模型首先融合轻量级神经网络MobileNetV2,降低硬件条件对于模型训练的限制.其次通过全局金字塔模块,将不同级别的特征图拼接起来,避免了表征不同子区域之间关系的语境信息的丢失.最后利用金字塔场景解析网络嵌入壁画背景特征,减少特征损失的同时提高特征提取效率.实验结果表明,PSP-M模型较传统的图像分割模型在训练精确度上平均提升2%,峰值信噪比(PSNR)较实验对比模型平均提高1～2 dB,结构相似指标(SSIM)指标较实验对比模型平均提高0.1～0.2,实验验证了PSP-M模型在壁画分割方面的可行性.     

支持多用户的高效前向安全可搜索加密方案

大多数已有的前向安全可搜索加密方案主要针对单用户环境,本地存储的关键词状态使得这些方案无法有效拓展到多用户环境;同时支持多用户检索的前向安全方案较少,且需要增设可信的代理服务器,带来了额外的开销,实用性不足。针对目前缺乏实用的多用户前向安全可搜索加密方案的问题,基于一个双链索引结构,设计了满足前向安全和支持多用户检索且无需增设代理服务器的可搜索加密方案(EMFS)。该方案中,双层索引结构由主链索引和侧链索引组成,其中主链索引由陷门单向函数和全局状态生成,不依赖于各个关键词的单独状态,从而避免了关键词状态在多用户间的同步问题;侧链索引采用流密码的方式生成,提高了搜索效率。并将EMFS方案与3个现有的单用户前向安全方案(Sophos、FAST、BESTIE)进行对比实验,实验结果表明EMFS方案有良好的拓展性和实用性:(1)EMFS方案以合理的搜索性能代价实现了支持多用户检索的拓展;(2)EMFS方案尤其适合匹配文件数较大的数据集;(3)EMFS方案具有客户端存储开销小的优势。     

可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

两阶段串联可修系统的统计过程控制与视情维修整合研究

针对两阶段串联可修系统,考虑随机偏移的情况,研究统计过程控制（SPC）与视情维修整合的问题. 首先,应用均值-残差联合控制图监控系统的质量状态,根据质量状态采取相应的维修策略,在此基础上,分析SPC与视情维修策略整合的可能场景,并根据全概率公式给出了每个场景发生的概率;其次,考虑人力成本、生产率以及停时损失,根据更新理论构建了SPC与视情维修整合的数学模型;然后,针对具体实例,将构建的模型与单独的维修策略模型和采用经验法则选取控制图的设计参数模型进行了比较分析,结果表明构建的模型在节约成本方面有着明显的优势;最后,运用部分析因设计对过程参数、时间参数和成本参数进行了敏感性分析.     

点可区别全色数的一个界

图G的一个正常全染色被称作点可区别全染色,如果G中任意两个点的色集合不同,其中每个点的色集合包含该点及其关联边的颜色。在点可区别全色数界(χvt(G)≤|V(G)|+2)的基础上,应用概率的方法得到了阶数为n,且无孤立边的简单图G的点可区别全色数的一个较小上界。     

软土地基上储油罐的抗震设计

软土地基上储油罐的抗震分析由于翘离等因素的非线性影响，计算非常繁复，虽然经过一系列简化，仍须经过迭代运算，该文根据储油罐的工程特点及震害经验提出了一种简化计算方法以方便工程应用。     

非线性不确定系统的鲁棒镇定与非线性H~∞控制

研究一类非线性不确定系统的局部鲁棒镇定，提出了不确定系统的Ｌｙａｐｕｎｏｖ型可镇定的鲁棒性概念．在不确定项满足模有界结构条件下，对控制矩阵的不确定性分２种情况，分别从Ｈ∞控制和微分几何角度，给出了非线性Ｈ∞控制与非线性系统Ｌｙａｐｕｎｏｖ型可镇定的充分条件．     

可列个非负线性合成对策的解结构

给出了可列个非负线性合成对策，证明了可列个非负线性合成对策的几种解也可由其子对策相应的解来表达，从而解决了可列个非负线性合成对策解的结构问题．     

对离域π键形成条件的探索

本文对现行《无机化学》教材中提出离域π键形成的条件进行了认真地探索，详细阐述形成离域π键时，还必须满足键合原子半径适宜和轨道对称性匹配原理，并结合一些典实例，对不同类型的离域分子窝囊 过程遂亦的进行探索或解释。     

1—群自由积的非2可迁表示

A.M.W.Glass给出了有理数集Q上两个l-群的l-自由积的2-可迁表示.本文在作者已经得到两个l-群的l-自由积的高O-可迁表示的基础上给出自然数集N上l-群的自由积的非2可迁表示.