摘要：大数据环境下,同态加密可以有效解决机器学习中的隐私泄露问题.本文利用CKKS同态加密技术,设计了一种两方参与、基于密文域上带除法延迟的改进共轭梯度法的隐私保护岭回归方案,参与模型训练的双方可以通过少量的交互,在密文数据上高效地训练岭回归模型,防止过程中有隐私被泄露;分析了方案的安全性、计算以及通信复杂度,基于HEAAN同态加密库利用C++实现了该方案;在公开数据集上验证了该方案,实验证明所提方案可以安全高效地训练岭回归模型.对于特征维度为77,样本个数为4000的UCI数据集Twitter,训练模型所需迭代次数仅为16,时间损耗为127.5 s,通信量为41.87MB,密文域上带除法延迟的改进共轭梯度法收敛速度快,模型训练效率高,通信损耗小,且在密文数据上的训练得到的模型参数与在明文数据上的计算结果相比误差不超过0.001,可以满足特定场景下的实际应用需求.

摘要：循环倍率是循环流化床锅炉的重要设计参数，对锅炉的设计和运行都有很大的影响。本文探讨了循环物料的选择、燃烧效率、分离器分离效率、密相区受热面的布置、过热汽温等与循环倍率的关系，并提出了相应有建议。

摘要：在科学计算、统计分析以及机器学习领域,许多实际问题都可以归结到线性系统Ax=b的求解,如最小二乘估计和机器学习中的回归分析等。而实际中用于计算的数据往往由不同用户拥有且包含用户的敏感信息。当不同的数据拥有者想在合作求解一个模型的同时保护数据的隐私,同态加密可以作为解决方法之一。针对两个用户参与的场景,基于Cheon等提出的HEAAN同态加密技术,设计了一种两方参与、利用Gram-Schmidt正交化方法安全求解线性系统Ax=b的新方案;提出了一种适用于该场景的交互式安全乘法逆协议,解决了同态加密无法高效计算除法的问题,保证在高效计算的同时保护数据的隐私信息;分析了方案的安全性、通信损耗以及计算复杂度;基于HEAAN同态加密库,利用C++实现了该方案;最后通过大量的实验证明,该方案可以安全高效地求解维度不超过17的线性系统,与在明文数据上的计算结果相比,相对误差不超过0.0001;针对该方案设计的平行编码方法,可以通过SIMD技术并行求解多个线性系统,拓宽了方案的可用性,基本满足特定场景下的实际应用需求,可进一步用于隐私保护数据挖掘算法的设计。

摘要：线性回归是一种基础且应用广泛的机器学习算法,线性回归模型的训练通常依赖于大量的数据,而现实中数据集一般由不同的用户持有且包含用户的隐私信息,当多个用户想要集中大量的数据训练效果更好的模型时,会不可避免地涉及用户的隐私问题。同态加密作为一种隐私保护技术,可以有效解决计算中的隐私泄露问题。针对数据集水平分布在两个用户上的场景,结合CKKS同态加密技术,设计了一种新的基于混合迭代方法的隐私保护线性回归方案。该方案分为两个阶段:第一阶段实现了密文域上的随机梯度下降算法;第二阶段设计了一种安全两方快速下降协议,该协议的核心思想基于雅可比迭代算法,可以有效弥补实际应用中梯度下降法收敛效果不佳的缺陷,加速了模型的收敛,从而降低了方案的计算代价和通信损耗,在高效训练线性回归模型的同时保护了两个用户的数据隐私。分析了方案的效率、通信损耗以及安全性,利用C++实现了该方案并将其应用于真实数据集。大量实验结果表明,该方案可以高效地解决特征规模较大的线性回归问题,可决系数的相对误差小于0.001,这表明得到的隐私保护线性回归模型在真实数据集上的应用效果接近于直接在明文数据上求得的模型,可以满足特定场景下的实际应用需求。

摘要：文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。

摘要：1 前言在循环流化床研究中,固体颗粒循环量是需要测量的一个重要参数.其测量方法很多,最常见的方法是在循环回路中安装蝶阀.当蝶阀关闭后其上堆积一定体积的物料,记录下所需要的时间,同时测量堆积段所产生的压差,进而得到颗粒的循环量.这一方法的特点是系统简单,操作方便.但是堆积段的压差数值较难准确获得,从而影响了测量的准确性,也有人通过测量示踪颗粒的平均速度来计算得到颗粒循环量,这需要昂贵的摄录像设备,测量费时,测试结果也不够准确.另外,有人将循环物料放出系统称重.这种方法使回路设计复杂化,操作不便,放出物料又影响了循环流化床内的流动工况,可见,建立准确可靠、系统简单、操作方便的颗粒循环量自动测量系统是非常必要的.本文简要报道作者在这方面已做的一些工作.

摘要：Lenstra-Lenstra-Lovasz(LLL)格基约化算法自1982年被提出以来,已被成功应用于计算机代数、编码理论、密码分析、算法数论、整数规划等众多领域。经过三十多年的发展,串行LLL算法的理论分析和实际效率都已得到显著改进,但仍不能满足密码分析等领域处理较大规模问题的需要。因此,并行LLL算法研究被寄予厚望。对并行LLL算法的研究现状进行了综述,总结了当前并行LLL算法设计与分析中存在的问题和难点,并对其未来发展趋势进行了展望。

摘要：针对现有同态加密算法效率太低的问题,设计实现了一个并行多比特明文比较模型。首先基于BGV方案实现了单比特明文的同态比较运算;然后利用单指令多数据流(SIMD)技术实现了多比特明文的同态比较运算;最后,充分利用明文槽个数多的优势,设计实现了一次运算可并行比较多个多比特明文的同态运算模型。通过调用HElib同态算法库中的同态加法及同态乘法操作,编写了同态比较运算操作函数并进行数值实验。结果表明该模型极大地提高了同态比较运算的效率,证明了该模型的有效性。

摘要：本文介绍了一款基于ARM控制器LPC2214的税控收款机的设计与实现方案,文中说明了税控收款机系统的组成及软硬件设计,并提出了一种使用软件协议来进行ISO7816智能IC卡操作的方案。

摘要：煤粒在热载体流化床中的热解规律对于设计煤气、热、电三联产的关键装置－热载体流化床干馏炉是十分重要的。本文建立了煤粒在热载体流化床中的传热和热解反应的微分方程，并对其进行了数值求解，得到了煤粒度、热载体流化床操作速度、热载体流化床床层温度、热载体颗粒粒径等对煤气产率的影响规律，为热载体流化床干馏炉的设计提供了计算方法和理论依据。