布尔电路上保护隐私集合并集运算的研究与实现

隐私保护技术是当前信息安全领域的研究热点。然而,现阶段集合并集运算中的隐私保护技术侧重理论研究,在实验模型的开发上较为欠缺。针对该问题,该文首先设计了保护隐私的集合合并运算电路、去重电路和混淆电路,并应用YAO氏通用混淆电路估值技术提出了一种布尔电路上保护隐私的集合并集协议。然后,该文使用模拟器视图仿真法证明了协议的安全性。最后,基于MightBeEvil中的YAO氏混淆电路估值框架,开发了该文理论方案对应的实验模型。实验结果表明,在安全计算稀疏集合的并集时,所提算法效率优于当前布尔电路上的其他算法。     

风云三号卫星先进微波大气探测仪系统设计与研制

先进微波大气探测仪(AMAS)是安装在风云三号卫星(C/D星)上的新一代微波湿度计,是风云三号卫星(A/B星)微波湿度计的继承和发展。在150 GHz(水平极化和垂直极化)和183.31 GHz(水平极化,三通道)的基础上,探测频率和通道设置为89 GHz(垂直极化)、118.75 GHz(水平极化,八通道)、150 GHz(垂直极化)、183.31 GHz(水平极化,五通道),仍采用垂直于飞行方向的交轨扫描方式,科学目标是探测全球大气温度和湿度的垂直分布、降雨等。本文介绍了微波湿度计-II的系统设计与构成,描述了微波湿度计-II的性能指标要求。测试结果表明,性能指标满足设计要求。     

安全两方线段求交协议及其在保护隐私凸包交集中的应用

研究了现有安全多方计算几何协议,提出了安全多方计算几何的模型和框架,从数学模型、安全模型和通信模型3个维度展开描述。针对现有安全两方线段关系判定协议都忽略求解交点坐标的问题,在半诚实模型下基于Paillier同态加密技术提出了安全两方线段求交协议,使用Goldreich证明法进行了理论安全性分析,并在恶意模型下进行了推广。分析结果表明,该半诚实模型下的算法在效率上优于现有算法。作为安全两方线段求交协议的应用,结合O’Rourke算法提出了保护隐私的凸包求交集协议,弥补了安全计算几何领域仅实现了凸包并集算法的缺陷。     

基于粗糙集和人工免疫的集成入侵检测模型

针对当前入侵检测存在的问题,通过引入粗糙集方法,综合误用检测和异常检测设计了一种基于粗糙集和人工免疫的集成入侵检测（RSAI-IID）模型,提出了一种在入侵检测中实现疫苗注入的方法。采用粗糙集方法获取疫苗,并保证了疫苗的优良性,优化检测性能;误用检测筛掉已知的入侵行为,提高检测的速度;异常检测针对未知攻击进行实时检测。最后在KDD99数据集上进行实验仿真,验证了模型的可行性和有效性。     

银川东750kV变电站变电施工技术研究及应用

针对我国第一座交、直流背靠背敞开式布置最大变电站工程变电施工的特点,介绍了750kV变电站构架吊装施工技术、支架压力灌浆施工技术、主变油坑防沙盖板施工技术、主变和高压并联电抗器基础梁清水混凝土施工技术、利用自行开发的专用软件计算架空软母线下料与起吊架设技术、电缆沟及电缆施工技术、设备安装调试技术及施工中的应用情况。     

后现代主义教育思想与大学生发展规划

探讨了后现代主义教育思想的一些基本观点对我国大学生发展规划的启示意义,提出了大学生发展规划要有创造性,大学生发展规划要注重教育的多样性和差异性,大学生发展规划要以人为本。     

风云三号卫星微波湿度计天线驱动控制

微波湿度计的工作周期完全由天线扫描周期决定,系统根据天线角编码信息,按照既定时序完成对地观测数据、热源及冷空的定标参数的采集。天线的扫描模式分为变速扫描、匀速扫描和定点观测三种。三种工作模式需通过地面数据注入控制切换,数控单元解析后由天线扫描驱动控制电路将模式控制指令发送至天线驱动控制模块（MCDE）,最终由扫描机构执行。着重介绍数控单元如何根据地面注入指令控制天线扫描驱动机构的工作模式,同时通过读取天线辅助参数,根据天线角编码信息所对应的时序完成科学数据的采集。     

Web应用中数据库交互行为验证

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的 Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有 效性。     

W波段微波辐射计

详细介绍了在航天863-2的支持下,开展的W波段(92 GHz)和F波段(118.75 GHz)毫米波辐射计研究,这两个频率微波辐射计的研究在国内还属首次。F波段微波辐射计正在研制过程中,已完成W波段微波辐射计的系统集成,并对系统各项指标进行了测试。     

基于USB接口微波湿度计地面检测系统的实现

本文介绍了一种能够进行控制输出和数据采集的便携式FY-3地面检测系统。该系统通过USB接口与PC机相连,实现了通用数字I/O控制和批量数据传输,使计算机和外部设备进行快速、便捷、可靠的数据传输和设备通讯。