摘要：随着云计算、物联网技术的发展,可验证计算作为一种新兴的计算技术得到了广泛的应用。可验证计算在为用户带来便利的同时也存在着安全挑战:数据隐私性、结果可验证性和高效性。目前,矩阵乘法可验证计算方案基本采用稀疏矩阵相乘的加密方法来保护数据的隐私性。分析稀疏矩阵加密算法后,发现存在两个挑战:一是行或列公因子泄露原始矩阵行或列数据,二是零元素泄露原始矩阵零元素统计信息。同时,现有方案对云服务器计算结果的验证效率也不理想。针对数据隐私保护挑战,设计的批量矩阵乘法可验证计算方案利用三重扰动加密算法在不增加加解密计算复杂度的同时达到更强的隐私保护效果,其中,通过构造特殊的上或下三角稀疏矩阵加入双重扰动(乘法扰动和加法扰动)来保护行或列数据,通过构造特殊的加法稀疏矩阵加入单重扰动(加法扰动)来保护零元素信息。针对云服务器计算结果验证效率挑战,所提方案利用矩阵线性组合技术实现计算结果的批量验证,验证效率提高了约50倍,并随着矩阵数量的增多而提升。性能分析表明,所提方案基本没有增加客户端加解密开销,并提高了结果验证效率。

摘要：氨是重要的化肥原料,也是颇具潜力的氢能源载体,对于可再生能源的储存、运输和终端利用至关重要.然而,传统Haber-Bosch工艺合成氨的反应条件苛刻,需要高温高压条件,并消耗大量化石能源及排放大量二氧化碳.可再生能源电解水制氢耦合温和合成氨新技术(eHB),不仅能实现可再生能源电力的“消纳和调峰”,而且可进行低成本、跨地域长距离存储运输,并可将“绿氨”与氢能产业相结合.然而,现有的高温高压合成氨催化剂与eHB工艺相不匹配,因此,迫切需要开发温和条件下高效合成氨催化剂技术,以实现可再生能源电力电解制氢体系和合成氨技术互补融合.目前,虽然助剂对于Ru基纳米簇(≥1 nm)合成氨催化剂的影响规律已得到了广泛研究,但它们对于Ru原子簇催化剂的作用机制尚不清楚,需要进一步揭示.本文考察了Ba及Ce助剂对Ru原子簇催化剂的影响规律,并分析了其作用机制.首先,通过简单的浸渍法将Ba和/或Ce物种掺杂到Ru原子簇催化剂(2 wt%Ru ACCs),制得Ba/Ce/2 wt%Ru ACCs催化剂;然后,通过一系列实验考察了这些催化剂的合成氨性能,并利用多种表征手段对其进行了深入分析.合成氨性能测试结果表明,添加Ba和Ce助剂后,2 wt%Ru ACCs催化剂的合成氨速率明显提高,在400℃和1 MPa下,Ba/Ce/2 wt%Ru ACCs催化剂的合成氨反应速率达到56.2 mmolNH_(3) gcat^(-1) h^(-1),是2 wt%Ru ACCs的7.5倍,且催化剂表现出较好的稳定性,在稳定运行140 h后活性未见明显降低.球差校正电子显微镜和X射线吸收精细结构谱结果表明,负载Ba和/或Ce后,Ru以Ru_(3)原子簇形式存在.X射线吸收近边结构谱和X射线光电子能谱结果表明,Ru与Ba及Ce物种之间存在较强的簇-金属氧化物助剂电子相互作用,可促进电子转移到Ru物种,形成富电子状态的Ru,进而促使电子转移到N_(2)的p*反键轨道,提高温和条件下合成氨反应速率.利用25%N_(2)+75%D_(2)气氛下的原位红外光谱研究催化剂的合成氨反应机理,结果表明,在Ba/Ce/2 wt%Ru ACCs催化剂表面同时检测到N_(2)D_(2)物种和N_(2)D_(x)物种的振动吸收峰,说明添加Ba和/或Ce物种没有改变Ru原子簇催化剂活化N_(2)的方式,N_(2)仍是通过加氢的路径合成氨.综上,本文考察了助剂对Ru原子簇的影响规律,揭示了其作用机制,为设计高效的温和条件合成氨催化剂提供参考.

摘要：为提高应对突发事件的应急处置能力,电力企业编制了较为完善的应急预案。根据本体论的方法将文本式的应急预案表示成计算机能够理解的形式化语言,从中提炼出应急处置中的决策参考信息,并提出了应急辅助决策规则的数学模型。基于经典关联规则算法Apriori的思想,设计了一种电力应急辅助决策规则的生成方法。最后,结合某电力企业的应急预案实例,分析了该生成方法的实际效果,为进一步研究动态生成突发破坏事件恢复控制与应急资源调度策略奠定了基础。

摘要：采用同时满足热不灵敏与最佳倍频条件的六镜及四镜８字型环行谐振腔，设计了内腔倍频稳频Ｎｄ：ＹＡＰ激光器。六镜腔与四镜腔分别在输入１．４４ｋｗ和１．２ｋＷ电功率的情况下，获得了８００ｍＷ与５８０ｍｗ的单频倍频光（λ＝０．５４μｍ），功率波动小于±２．５％与±２％，频率稳定性优于±１．９ＭＨｚ与±１ＭＨｚ。

摘要：在城市数字化转型背景下,交通规划大数据平台建设与应用能够实现规划业务的数据赋能。介绍上海市交通规划大数据平台的技术框架和主要功能,并从数据应用、维护管理、安全协同等方面详细阐述了平台的设计特点。平台依托上海市交通规划模型相关技术,以规划业务人员为应用对象,汇集了多维度、多渠道数据,提供常用专题图和公开共享的数据资源,支持各种数据资源的叠加分析应用和个性化制图功能。最后,以案例形式展示平台在规划工作中的典型应用。平台在保障数据安全的前提下,可实现数据资源的高度共享和有效利用,有效支撑规划业务人员的日常工作,也为相关业务人员的交流提供媒介。

摘要：牛栏江-滇池补水工程干河泵站引水隧洞在穿越地下暗河施工中,其2号施工支洞出现特大集中涌水。为解决涌水问题,通过专题补充地质勘探,查清了隧洞掌子面的涌水量、涌水的补给途径、水压等情况,并采取分流、分级强抽排结合洞内开挖支护的措施,使涌水得到控制,而后根据支洞段开挖所揭示的暗河情况,按制订的封堵预案成功封堵涌水。该工程抢险实践对类似岩溶地区地下隧洞特大涌水处理提供了成功经验。

摘要：目的提高隐匿性阴茎的诊断与治疗水平。方法1998年8月～2004年1月,共收治43例隐匿性阴茎患儿,年龄2～14岁,平均7岁。其中肥胖患儿8例;1例伴蹼状阴茎。本组均采用黄鲁刚等设计的术式,手术的关键是将阴茎海绵体根部的白膜固定在阴茎与腹壁交接处的皮下筋膜上,1例同时行阴茎阴囊交界处横切纵缝,矫正蹼状阴茎;2例肥胖患儿行耻骨前脂肪剔除术。结果术后随访3个月～2年,8例肥胖患儿疗效欠满意,其中2例行耻骨前脂肪剔除术后的患儿,远期效果欠佳。余35例术后阴茎外观改善满意。结论该术式治疗隐匿性阴茎,方法简便,效果满意,但对肥胖患儿手术应慎重。

摘要：为指导江苏中烟某牌号卷烟定向模块设计,以236个在库烟叶样品为材料,开展感官评吸和化学成分测定。根据卷烟配方使用特点,将216个已进入配方使用的烟叶样品划分为增香提质、增浓提劲头、平衡烟气、填充料4组功能组分,筛选出96个各组分代表性样品,利用K–近邻方法,对剩余120个样品进行组分划分优化,确定216个烟叶样品功能性组分划分,采用逐步判别分析方法建立功能性识别模型。结果表明:烟气浓度、香气量、透发性、柔和程度、干燥感、余味和总植物碱等7个指标进入判别函数,自身验证法和留一交互验证法正确率分别为93.1%和92.6%。采用该模型对拟进入配方使用的20个样品进行预测,判别正确率达100%。

摘要：近些年,随着网络音视频会议日益普及,会议中的终端音视频流质量问题,例如视频流图像模糊,音频丢帧等也受到越来越多的关注。本文提供了一种检测方式:会前音视频质量检测,该方式一定程度上解决了终端音视频质量问题。这个方式采用特殊网络模式——混杂模式,该模式抓取从交换机指定端口镜像出来的实时数据,送给服务器解码,解码后数据交给音视频质量检测模块,最后将检测结果送报业务检测模块。试验结果表明,该服务能很好的预警会前检测终端音视频质量问题,并且工程实施方便。

摘要：针对深部矿山安全生产管理面临的一系列问题,结合《金属非金属矿山安全标准化规范地下矿山实施指南》(AQT 2050. 2—2016)的要求,提出了从采场检测到远程控制的一体化解决方案,特别是针对矿山井下采场、穿脉道等区域的安全检测难点,提出了基于无线技术的检测思路,理论分析可行、实践应用前景较好。通过采用基于矿山物联网异构技术条件下的无线传感检测技术思路,构建了深部矿山一体化安全管理及控制平台体系,可有效满足深部矿山安全生产管理需求,推进智慧矿山建设进程。