摘要：目的建立一种基于近红外荧光探针的亚硒酸钠检测方法。方法基于荧光探针的构建方法,在近红外荧光团中引入乙酰丙氨酸基对荧光团结构中羟基进行保护并淬灭荧光,设计并合成荧光增强型近红外探针SeP1,通过核磁氢谱(^(1)hydrogen-nuclear magnetic resonance,^(1)H NMR)、核磁碳谱(^(13)carbon-nuclear magnetic resonance,^(13)C NMR)和高分辨质谱法(high resolution mass spectrometry,HRMS)的确证其化学结构,通过荧光光谱法研究探针SeP1对亚硒酸钠的识别效果。结果在多种分析物中,探针SeP1对亚硒酸钠具有高效专一的荧光选择性,其最大荧光发射在近红外区(657 nm),能够克服基质中常见背景荧光干扰。在其他常见阴离子存在的情况下,具有较强的抗干扰能力并能够对亚硒酸钠实现裸眼识别。该探针对亚硒酸钠的最低检测限为0.068μmol/L。其原理是:当亚硒酸根离子与探针结构中乙酰丙基基团发生特异性反应后,使得探针结构中羟基脱保护重新生成带有羟基的中间体1,释放出强烈的荧光,通过高分辨质谱进一步确证了上述识别机制。结论该探针对亚硒酸钠具有高效专一的识别能力,并成功的应用于饮用水中亚硒酸钠加标回收检测,具备较强的实用性。

摘要：通过某一小区工程设计实例,对在软土地区用沉降控制方法进行复合桩基础设计进行了分析和评价,探讨了桩、土和承台共同作用的机理,以便今后在同类地区进行桩基设计时参考借鉴。

摘要：称量系统作为混凝土搅拌站的核心模块,称量精度直接影响混凝土的质量和性能。针对落料冲击对称量精度的影响,在分析称量机理的基础上,通过三维软件建立称量系统简化模型,选取Hertz-Mindlin非线性接触模型进行离散元EDEM落料称量仿真,使用冲击系数表征冲击载荷大小。根据仿真结果对称量装置进行优化,设计了缓冲装置锥形溜料板,并对改进后称重模型进行仿真分析,对比冲击系数发现,改进后对称体的冲击载荷明显减小,称量精度得到了有效改善,为混凝土机械的设计与优化提供了理论依据。

摘要：大电网互联容易造成电力系统低频振荡,随着我国电力系统规模的不断扩大,区域间低频振荡限制了互联系统间的输电能力,并危及到电力系统安全运行。因此针对互联系统的弱阻尼问题,首先比较了目前抑制低频振荡的常规措施,而特高压交流线路上出现的约0.13 Hz的超低频振荡现象利用有限的电力系统稳定器(PSS)难以抑制,故采用并联储能型柔性交流输电系统(FACTS)装置进行抑制。通过分析并联储能型FACTS装置抑制低频振荡的机理,根据相角补偿原理设计了并联储能型FACTS装置的附加阻尼控制器,并在电力系统分析综合程序(PSASP)环境下进行仿真计算。仿真结果表明,含附加阻尼控制器的并联储能型FACTS装置能有效抑制特高压交流线路的功率振荡,可以增强互联系统阻尼比,能够提高华中电网和华北电网联网的稳定水平。

摘要：介绍了轮轴铸造工艺设计与优化,以及在工艺设计和优化过程中采用ProCAST模拟软件对其进行模拟的结果。结果表明,铸件上部厚大部位热节大,原工艺浇注系统不利于铸件形成顺序凝固,补缩效果差,易形成缩孔、夹砂缺陷。通过改进浇道系统、芯子结构等工艺方法,减少了铸造缺陷,提高了产品合格率。

摘要：分析了Genesio-Tesi系统和Coullet系统的混沌特征,并对2种典型的三阶自治混沌系统进行了电路设计,用电路仿真软件EWB 5.0对所设计的电路进行仿真.结果表明,电路仿真结果与数值仿真结果一致.搭建硬件电路进行混沌演变过程实验,给出了相应的实验结果.硬件实验结果与计算机仿真结果吻合得比较好,证明了实验结果的正确性.

摘要：为设计出简便高效的方法搜索最优神经网络结构,提出一种改进鲸鱼优化算法的浅层神经网络搜索方法.该方法首先通过模拟鲸鱼狩猎的个体偏好行为和鲸鱼群位置移动的非线性权值更新机制对传统鲸鱼优化算法进行改进;然后将改进鲸鱼优化算法作为浅层BP神经网络结构搜索策略,构建基于浅层BP神经网络的最优网络结构的权值阈值搜索优化方法.数值实验结果表明,改进的鲸鱼优化算法不仅在求解不同维复杂函数上具有良好的寻优性能,而且通过改进鲸鱼优化算法搜索得到的最优浅层BP神经网络结构在回归任务中具有更好的预测精度和泛化性能.

摘要：基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/maRTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/maRTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/maRTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMma平台和时间自动机验证工具UPPAAL设计实现了对SysML/maRTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。

摘要：针对基于日志聚类的异常检测方法(LogCluster)处理的日志类型单一的问题,提出一种改进的基于LogCluster的日志异常检测方法,SW-LogCluster。通过使用滑动窗口(sliding window)的方式将日志划分为日志序列,将划分后的日志序列向量化来进行特征提取,使其既能检测带标记符的日志,也能检测不带标记符的日志,扩展原始方法的应用范围。实验结果表明,SW-LogCluster方法能对所有类型的非结构化日志进行检测,有效扩展了LogCluster方法的适用性。

摘要：为解决大数据环境下统一授权管理的问题,分析开源组件Apache Ranger的模型与授权方式,综合考虑授权用户数量、策略管理难度等问题,提出基于用户属性的访问控制模型。将CP-ABE算法引入Ranger原生访问控制模型中,通过算法的加、解密为Ranger策略添加访问控制树,实现用户属性级别的授权和基于用户可变属性的动态访问控制。通过开发原型系统,实现权限管理、用户管理、属性管理等功能。在实验部分,通过对不同量级用户进行访问控制,验证模型的有效性。