法拉第旋光器温度特性对无源解调全光纤电流互感器的影响

无源调制式光纤电流互感器在原有的In-line光纤电流互感器结构基础上加入了22.5的法拉第旋光器用以达到将信号检测的工作点移到最敏感的位置且同时提高系统的抗扰度的目的。为促进无源解调型全光纤电流互感器的实用化进程,根据制备法拉第旋光器的法拉第晶体温度特性,从理论上分析了法拉第旋光器温度特性对无源解调全光纤电流互感器温度稳定性的影响,并针对不同种温度特性各异的法拉第晶体采用数值计算的方法对法拉第旋光器温度特性对系统输出的温度稳定性的影响进行了评估。     

Trie+结构函数式建模、机械化验证及其应用

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.T.Nipkow给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,本文基于索引即键值的思想提出的Trie+结构,相较于传统的索引与键值分开存储的结构能减少50%的存储空间,大大提高了空间利用率.并且,对Trie+结构的查找、插入、删除等操作给出了函数式建模及其严格的机械化验证,保证操作的正确性和可靠性.进一步,首次提出一种匹配算法的通用验证规约,旨在解决一系列的匹配算法正确性验证问题.最后,基于Trie+结构与匹配算法通用验证规约,建模和验证了函数式中英文混合多模式匹配算法,发现并解决了现有研究中的基于完全哈希Trie的多模式匹配算法的模式串前缀终止的Bug.所提的Trie+结构以及验证规约在提高Trie结构空间利用率和验证匹配算法中,有一定的理论和应用价值.     

激光熔覆过程数值模拟研究现状

激光熔覆是新型的增材制造及表面修复技术,已成为当今工业领域的研究热点.利用激光熔覆技术制备高性能的合金涂层,能够显著提高基材的耐磨、耐腐蚀、使用寿命等性能.通过对激光熔覆过程的温度场、残余应力、组织形变等的数值模拟研究进行阐述,总结了国内外目前针对上述物性参数的分布及演变规律分析所使用的数值模拟方法,揭示了残余应力、组...