基于MapServer的WebGIS地图符号化研究与实现

地图符号化是当前数字地图研究的重要内容之一．在研究MapServer引用地图符号库实现WebGIS原理的基础上,着重探讨了MapServer的地图符号渲染方式,同时以基础要素为例实现地图的分类符号化,建立基础要素符号库,最后构建具体实例调用,验证其可行性与有效性．     

一类四阶椭圆方程弱解的存在性

通过特征值构造局部环绕结构,并利用同调非平凡临界点的相关理论讨论了一类四阶椭圆方程Dirichlet问题在空间E=H2(Ω)∩H10(Ω)中解的存在性问题,进而得到了其具有三个非平凡弱解的结论.     

Optimized quantum singular value thresholding algorithm based on a hybrid quantum computer

Quantum singular value thresholding (QSVT) algorithm, as a core module of many mathematical models, seeks the singular values of a sparse and low rank matrix exceeding a threshold and their associated singular vectors. The existing all-qubit QSVT algorithm demands lots of ancillary qubits, remaining a huge challenge for realization on nearterm intermediate-scale quantum computers. In this paper, we propose a hybrid QSVT (HQSVT) algorithm utilizing both discrete variables (DVs) and continuous variables (CVs). In our algorithm, raw data vectors are encoded into a qubit system and the following data processing is fulfilled by hybrid quantum operations. Our algorithm requires O[log(MN)] qubits with O(1) qumodes and totally performs O(1) operations, which significantly reduces the space and runtime consumption.     

TiO2/CNTs复合材料涂覆隔膜的制备及在锂硫电池中的应用

以金属有机框架材料MIL-125(Ti)为模板制备了多孔TiO₂, 同时引入碳纳米管, 得到碳纳米管交联包覆多孔TiO₂的三维导电复合材料. 将该复合材料涂覆在隔膜表面并应用于锂硫电池. 利用透射电子显微镜(TEM)、 扫描电子显微镜(SEM)和X射线光电子能谱仪(XPS)等对材料的结构和组成进行了表征. 电化学测试结果表明,在0.5C(1C=1675 mA/g)倍率下, CNTs/S复合正极材料表现出高达1051.1 mA·h/g的放电容量, 循环150周后仍可保持在904.8 mA·h/g. 在1C倍率下, 放电容量最高可达1036.9 mA·h/g, 循环250周后仍有763.0 mA·h/g, 展现出了良好的倍率性能和循环稳定性.     

高效液相色谱-蒸发光散射检测法同时测定固态食品中6种稀有糖

稀有糖在固态食品中的应用量与日俱增，引发了掺假、过量添加等食品安全问题，因此建立固态食品中稀有糖(阿洛酮糖、塔格糖、海藻糖、异麦芽酮糖、赤藓糖醇和甘露糖醇)的检测方法十分重要。本文基于高效液相色谱-蒸发光散射检测器，建立了一种同时检测固态食品中6种稀有糖的分析方法。选用Zorbax Original NH₂色谱柱(250 mm×4.6 mm, 5μm)进行分离，流动相为乙腈-水(80∶20, v/v),流速梯度洗脱。蒸发光散射检测系统的漂移管温度设置为50℃,雾化器载气为高纯氮，载气流速为1.0 mL/min,压力为275.79 kPa,增益值为3。样品经25 mL水提取，振荡涡旋10 min,分别加入200μL的乙酸锌溶液和200μL的亚铁氰化钾溶液净化，4 500 r/min离心10 min,取上清液1 mL,过0.22μm水相滤膜，待上机分析。6种稀有糖在各自范围内线性关系良好，决定系数(R²)均>0.998 5,方法的检出限为0.02～0.60 g/100 g。以空白固态食品样品为基质，在3种加标水平下，6种稀有糖的回收率为92...     

环氧树脂中磷系阻燃剂协效体系的研究进展

近年来,出于环保等方面的考虑,一些卤系阻燃剂被逐渐淘汰,磷系阻燃剂作为卤系阻燃剂的替代品备受关注。然而,高效的磷系阻燃剂通常会在提高阻燃性能的同时产生更多的烟雾,因此需要与协效剂搭配使用。本文介绍了磷系阻燃剂在环氧树脂中的阻燃机理,综述了环氧树脂中磷系阻燃剂的协效体系的研究进展,包括无机协效剂、有机协效剂及有机-无机杂化协效剂等,并对环氧树脂体系中磷系阻燃剂的协效体系的未来发展趋势进行了展望。     

天然大蒜精油对人体的排铅作用

本文探讨了天然大蒜精油的排铅功能。研究中采用石墨炉原子吸收光谱法分析测定志愿者血液中铅含量,检测方法按照国家卫生标准(WS/T20-1996)进行,其线性回归方程为:A=0.00158+0.00152c,相关系数为r=0.9997,并采用国家标准物质(GBW09139)进行验证,结果符合要求。志愿者服用大蒜精油胶囊4周后,68.7%参试人员排铅率达50%以上,21.9%参试人员排铅率为25%~50%。该研究验证了天然大蒜精油具有显著的排铅功能,作为一种安全的食源性添加剂,可帮助人们通过正常的食物摄取降低乃至消除铅中毒的潜在风险。     

机器人控制系统关键模块的形式化验证

随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。     

强磁场条件下金属凝固过程中第二相的迁移行为

理论分析表明,第二相的迁移行为可以通过迁移速度进行表征.影响迁移速度的因素包括第二相和熔体的物理性质、磁场强度和梯度大小、第二相的形状和体积等因素.强磁场下洛伦兹力的效果为促进第二相在基体中的均匀分布,其效率在磁场强度大于某一定值时逐渐降低.在梯度强磁场条件下,第二相迁移行为和分布状态的主要控制参数是梯度磁场下的磁化力.在磁场梯度较小时,因洛伦兹力的制约磁化力控制第二相迁移的效果不明显,随着磁场梯度的增加,磁化力的作用效果逐渐增强.通过研究强磁场下Al-Si合金、Al-Ni合金中原位自生第二相的迁移行为实 关键词： 强磁场 迁移 第二相 凝固     

WT-CFAR雷达杂波处理器

根据子波变换的多尺度分析理论,构造了一种恒虚警雷达染处理器。并对子波分解尺度的选取进行了分析,最后对杂波环境下的雷达信号进行处理,验证了该方法的有效性和鲁棒性。