基于面向位向量的最优化模理论的程序分析方法和系统

    公开(公告)号:CN118981386A

    公开(公告)日:2024-11-19

    申请号:CN202411063318.4

    申请日:2024-08-05

    Abstract: 本发明公开了一种基于面向位向量的最优化模理论的程序分析方法和系统。包括:接收客户端中的程序分析工具发送的优化请求信息;基于接收到的优化请求信息构建面向位向量的最优化模理论模型;将面向位向量的最优化模理论模型转化为合取范式;利用并行OBV‑BS方法求解合取范式后,获得优化结果并返回给程序分析工具。本发明通过使用多线程并行化的方法,并结合信息共享机制,提高了最优化模理论的求解效率,更好地帮助解决了程序分析中的优化问题。

    一种用于FPGA高吞吐量的安全伪随机数发生器和方法

    公开(公告)号:CN119917064A

    公开(公告)日:2025-05-02

    申请号:CN202510402023.3

    申请日:2025-04-01

    Abstract: 本发明公开了一种用于FPGA高吞吐量的安全伪随机数发生器和方法。本发明方案基于FPGA,设计了12轮置换函数及其模块,每轮通过一系列线性与非线性操作对输入数据进行充分混淆;设计了非线性反馈移位寄存器的轮常数生成器,通过与特定位置的数据进行异或操作;设置计数器和逻辑电路对轮常数处理优化增加非线性变化;设置时间阈值机制,定期重种操作。本发明在显著减少节约了硬件资源的同时,还提升了数据随机性和抗攻击能力,提升了轮常数存储资源的利用率,实现高吞吐量、高效、高随机性的伪随机数生成,实现安全性与性能的平衡,提高了效率、不可预测性和硬件资源利用率,保证了长期运行中的随机性、安全性。

    一种基于大数据的客服人员流失评估预警方法及装置

    公开(公告)号:CN119514809A

    公开(公告)日:2025-02-25

    申请号:CN202510065912.5

    申请日:2025-01-16

    Abstract: 本发明公开了一种基于大数据的客服人员流失评估预警方法及装置;该预警方法包括:获取历史客服人员流失原因数据,并整合为数据区域;其中数据区域包括多个子区域,子区域包括多个数据点;针对当前客服人员流失原因,在数据区域中标记数据点,获取填充区域;预设阈值,并获取历史填充区域的统计值,根据统计值和阈值的判断情况触发预警信号;预警装置包括数据区域整合模块、数据点标记模块和预警模块;通过上述方式,能够根据客服人员流失原因,进行全面、准确地评估客服人员的流失风险,同时能够对客服人员流失的具体原因进行保密,提高对客服人员隐私的保护性能。

    一种单输入安全多方计算协议的构造方法

    公开(公告)号:CN118278055B

    公开(公告)日:2024-09-10

    申请号:CN202410711988.6

    申请日:2024-06-04

    Abstract: 本发明公开了一种单输入安全多方计算协议的构造方法。本发明包括:离线阶段时,构造多方VOLE协议;在线阶段时,结合多方VOLE协议,对验证者的输入进行加密,获得其密态输入消息,再利用电路拓扑结构计算获得各验证者的密态输出消息,同时对电路拓扑结构中的乘法门进行验证,验证通过后再解密输出。本发明解决了诚实大多数模型的限制,构造了多方VOLE协议,并基于此对输入输出进行加解密操作,保障了协议的隐私性,有更高的安全性,拓宽了协议的应用范围。本发明还降低了在线通信轮数,即仅需一轮在线通信,达到了在线阶段通信轮数最优。

Patent Agency Ranking