主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

非约束环境下的实时人脸检测方法

在不受限制的场景下,人脸检测大多部署在移动端或者边缘设备上,这些设备计算能力低且内存较小.使用无锚检测思想,基于CenterNet无锚检测器,提出以人脸为点的检测方法.不需要人工预先设置锚框,也不需要使用非极大值抑制来后处理,模型变得简单且高效.模型的骨干网络使用改进的ShuffleNetV2,轻量级网络保证了模型参数...     

Ni(Ⅱ)-NH3-Cl--H2O体系中Ni(Ⅱ)配合平衡热力学

根据质量平衡和电荷平衡的双平衡法,研究Ni(Ⅱ)-NH3-Cl--H2O体系中Ni(Ⅱ)配合平衡热力学;求出氨水浓度和氯离子浓度在0～5 mol/L范围内变化时,体系的pH值、体系中总镍、游离氯离子、游离氨以及各种镍-氨配合物等的平衡浓度,绘制热力学平衡图,并对热力学计算结果进行试验验证和差异分析.研究结果表明:镍离子浓度理论计算值与试验值之间的相对误差绝对平均值为6.91%,这说明该热力学模型是正确的,所选数据的准确性较好.     

全能流视角下的城市能源规划方法

基于图论思想,提出了一种可较好地解决多源多汇多路径的城市能源系统的规划方法。建立了汉密尔顿有向图来描述城市能源网络供需间的能量流动过程,构建了以节点、路径、网络平衡为要素的通用模型,以矩阵的形式表示能源网络的节点性能和拓扑结构。并且将能流路径所对应的权重作为目标函数,分析比较不同路径匹配的系统性能。之后,利用此方法对联产系统的节能情景进行评估,对不同情景下联产系统的路径匹配特性进行说明。其结论可为城区建设和旧城改造过程中的分布式能源系统推广和城市能源系统规划提供参考。     

重离子注入对小麦染色体畸变率的影响

采用中科院近代物理研究所100kev、200kev及20mev离子注入机,产生不同剂量的C~(1 )、N~(1 )、Fe~(1 )对春小麦品种“81529”及N~(7 )对“82579”进入注入实验,研究对小麦染色体畸变率的影响及其生理生化效应。 研究结果表明:①不同离子同一剂量对小麦染色体畸变率的影响不同;②同一离子随剂量的增加染色体畸变率呈上升趋势;③小麦剥皮后提高了离子注入的敏感性;④中能离子注入对小麦染色体畸变率的影响更为明显;⑤Fe~(1 )离子注入可使小麦种子呼吸强度增强;⑥重离子N~(7 )注入对小麦可溶性蛋白质和过氧化物酶的影响效果随剂量的增加更为明显。     

边缘场景下基于多维损失优化超分辨率网络的天气图像检测算法

在边缘场景下,气象图像采集模型大多部署在算力较低的移动端或边缘设备上,造成观测图像分辨率较低,给天气现象检测带来困难,且传统FSRNet生成的图像存在伪影、模糊等问题,因此需要优化天气图像超分辨率网络,提高图像的分辨率.基于无锚检测器,提出以观测要素为点的检测方案,不需要手动设置锚框,使检测模型轻量且高效.通过引入热图损失、目标注意力损失和对抗性损失等多维损失函数,对粗糙SR网络进行优化,使低分辨率图像完成递进式训练.优化骨干网络ShuffleNetV2,使检测模型更加轻量化,提高超分辨率天气图像检测的性能.实验结果证明,此天气图像超分辨率重建模型可以生成质量更高、细节更加清晰的目标观测图像,更加轻量的检测模型适用于非约束场景,在FDDB上的平均精度值（AverP）达到97.7%,优于其他先进模型.     

加料方式对氟化沉淀法脱除硫酸锰溶液中钙镁杂质的影响

考察加料方式对氟化沉淀法脱除硫酸锰溶液中钙、镁杂质的影响,查明在正加、反加和并加条件下氟化锰用量对钙镁脱除率、沉淀渣过滤速度及沉降性能的影响规律.研究结果表明:增加锰离子质量浓度不利于钙镁离子的脱除,即使在锰离子质量浓度饱和状态下,采用氟化锰仍可将钙和镁完全脱除.理论上,当Mn2+质量浓度达到140 g/L时,采用氟化...     

Ni（Ⅱ）-NH3-CI^——H2O体系中Ni（Ⅱ）配合平衡热力学

根据质量平衡和电荷平衡的双平衡法,研究Ni（Ⅱ）-NH3-CI^--H2O体系中Ni（Ⅱ）配合平衡热力学：求出氨水浓度和氯离子浓度在0～5mol／L范围内变化时,体系的pH值、体系中总镍、游离氯离子、游离氨以及各种镍-氨配合物等的平衡浓度,绘制热力学平衡图,并对热力学计算结果进行试验验证和差异分析。研究结果表明：镍离子浓度理论计算值与试验值之间的相对误差绝对平均值为6．91％,这说明该热力学模型是正确的,所选数据的准确性较好。