格值有限状态机的弱交换性

提出了格值有限状态机可弱交换的概念和格值变换半群可弱交换的概念,用矩阵和半群对格值有限状态机的弱交换性进行刻画,得出了格值有限状态机可弱交换的几个等价条件,并找出了格值有限状态机的弱交换性与其伴随第二类格值变换半群弱交换性的关系。此外,研究了格值有限状态机的满直积、限制直积、级联积、圈积及和的弱交换性,并研究了格值有限状态机伴随第二类格值随变换半群的全直积和限制直积的弱交换性,得出了其全直积和限制直积可弱交换的充分条件。     

适用于字符串加密的全同态加密方案

面对轨道交通能耗逐年递增的现状,我国大力提倡轨道交通节能,并提出绿色轨道交通的概念。针对传统轨道交通空调系统所存在的冷水机组制冷量过剩、冷冻和冷却水流量无法自动调节等问题,本文设计一种新型节能控制系统,对车站冷负荷变化规律进行分析,对系统进行集中监控。利用变频技术和闭环控制系统,计算所需冷负荷,智能控制电机转速,自动调节冷水机组的制冷量与空调末端冷量,使冷却系统处于最节能的工作点。轨道交通空调水系统应用该节能系统后耗电量大幅度降低,从而节约大量能源。     

基于三次多项式拟合三角函数的地理空间距离计算算法

移动互联网技术的快速发展,现有的APP提供了非常人性化的操作,用户可以进行对商家的筛选,APP默认的选项“智能排序”,“离我最近”。这两个选择项,系统都会去计算当前用户的位置和各个商家之间的距离。这种大量计算距离的场景十分消耗资源,按照现在的统计数据100W条数据时候,延迟将会达到140ms。且随着数据的增长,服务器的性能堪忧。当前计算空间距离的方法是使用Lucene算法进行计算,但是开销比较大,不利于用户一眼,文章提出了一种基于三次多项式拟合三角函数的优化算法对空间距离进行计算,文章从距离计算的准确性和快速性两个方面与原有方法进行比较。最后总结出优化算法的优势之处。