三峡流域一体化水污染应急管理系统开发及应用

以三峡库区流域为对象,利用ArcGIS Engine组件库,以VB为程序开发语言,以DLL动态连接库的形式构建了水力/水质模型库,以Geodatabase为数据库,开发了一体化的水污染综合管理信息系统,为三峡库区突发性水污染事故的应急管理提供了一种信息化的技术手段。该系统同时集成了多种数学模型,并实现了不同模型之间的无缝衔接,不仅具备了污染源动态管理、水体水质查询及评价、流速场和浓度场模拟等功能,而且具备了流域内突发性污染事故的应急管理功能。通过针对翻船事故污染的应急管理应用,表明该系统能快速模拟出事故污染带的迁移转化过程,自动统计出各种污染事故所产生污染带在不同时间的影响范围和污染程度,为突发性污染事故的应急措施提供决策支持。     

电动轿车造型如何融合中国元素

针对国内外企业不断大力发展电动轿车项目的现象,企业界及学术界对电动轿车都投入了极大的关注。但现阶段针对电动轿车的研究大部分都在工程理论和一些核心技术的研究上,忽视了作为汽车家族一员的电动轿车在造型艺术与工程理论结合点上同样需要给予关注和研究。本课题研究就是要在现有的电动轿车造型艺术基础上,以造型艺术与中国元素融合为切入点,分析总结出电动轿车的造型中国化的一些理论知识。     

隧道埋深及开挖方法对于二衬支护时机的影响

为了研究隧道埋深和施工方法对二衬支护时机的影响,以广梧高速公路牛车顶隧道为工程背景,建立数值计算模型,分别改变隧道埋深和施工方法,得到相应的隧道二衬支护时机.结果表明：通过数值计算,可定量得到二衬及掌子面之间的允许距离和埋深的关系;当埋深较小时,二衬与掌子面的允许距离随着埋深的增加而增加;当埋深超过某一限值时,隧道二衬与掌子面的允许距离基本不变;开挖工法对二衬与掌子面间的允许距离影响比较显著,而对仰拱与掌子面的允许距离影响很小.随着开挖断面分部的增加,开挖对围岩的扰动减小,因而可以适当延缓构筑二衬时机.若选取Ⅲ级围岩中的全断面开挖法作为参考基准,则围岩中二衬与掌子面的允许距离将由于选择不同工法需进行修正,相应的修正值为：全断面法1.0,上下台阶法和中隔壁法均为1.5.     

面向方面的XML结构连接算法的改进

为了解决在多文档下插入节点或需要修改节点编码时查询效率比较低的问题,提出了一种有效的结构连接算法.在分析现有单文档下的XML结构连接算法基础上,对祖先/后裔与双亲/孩子结构查询进行改进,基于归并思想解决多文档下的结构连接,以适应在面向方面的XML Schema中定义的基于多文档的查询.改进后的结构连接算法可以进一步利用XML数据的特点、索引和织入文档信息减少连接扫描的代价,具有一定的合理性、有效性和实用性.     

低频端超宽谱HPM低电离层中的自作用效应分析

基于电波电离层传播基本理论和高功率微波大气传输机理,讨论了低频端超宽谱高功率微波 (HPM)低电离层中的自作用效应,得到了强场条件下自作用因子表达式,分析了强场条件下电场强度、电波频率、电子碰撞频率、电子密度、传播距离等参数对自作用效应的影响. 仿真结果表明,初始场强振幅大、频率高、电子密度越大、传输距离越远,自作用效应越明显.     

氯化汞复配触媒的开发与应用

氯化汞复配触媒在合成氯乙烯工业生产中的应用试验表明 ,该触媒的使用寿命比氯化汞长 ,利用率高 ,降低了PVC树脂生产成本 ,具有明显的经济效益     

掺铕铌酸锂晶体的M■ssbauer谱

测量了Ｅｕ：ＬｉＮｂＯ_３和（Ｅｕ，Ｍｇ）：ＬｉＮｂＯ_３的Ｍｓｓｂａｕｅｒ谱，并对数据进行了拟合。根据拟合结果和ＬｉＮｂＯ_３晶体结构的特征，讨论了Ｅｕ~（３＋）在晶格中的占位，并以Ｅｕ~（３＋）的参数为探针．讨论了Ｍｇ（２＋）在晶格中的占位。     

计算密集型与数据密集型混合网格作业调度算法

针对计算密集型作业与数据密集型作业混合情况,在一个作业有时间限制的动态环境中,对传统的网格作业调度方法进行扩展,提出了三种网格作业调度启发式算法:Emin min、Ebest、Esufferage。并在一个由多个Cluster组成的、通过高速网络连接的网格模型上,对三种算法进行验证。与Min min算法的比较结果显示：三种算法均优于Min min算法。与ASJS算法比较结果显示：Emin min减少了等待时间与作业的makespan; Esufferage算法以减少作业完成量为代价,减少了作业的等待时间及makespan; Ebest在完成作业数量上与ASJS基本保持一致,但却增加了作业的等待时间与makespan。总体上,Emin min具有比较大的优势。     

结合Transformer的轻量化中文语音识别

近年来,深度神经网络模型在语音识别领域成为热门研究对象。然而,深层神经网络的构建依赖庞大的参数和计算开销,过大的模型体积也增加了其在边缘设备上部署的难度。针对上述问题,提出了基于Transformer的轻量化语音识别模型。首先使用深度可分离卷积获得音频特征信息;其次构建了双半步剩余权重前馈神经网络,即Macaron-Net结构,并引入低秩矩阵分解,实现了模型压缩;最后使用稀疏注意力机制,提升了模型的训练速度和解码速度。为了验证模型,在Aishell-1和aidatatang_200zh数据集上进行了测试。实验结果显示,所提模型与Open-Transformer相比,所提模型在字错误率上相对下降了19.8%,在实时率上相对下降了32.1%。     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。