基于矩阵填充问题的高效零知识身份认证方案

针对目前大多数身份认证密码协议容易遭受量子计算机攻击且实现效率较低的问题,基于矩阵填充问题设计了一种新型零知识身份认证协议。与现有类似方案相比,本文的方案具有密钥尺寸小、易于实现等特点。矩阵填充问题属于NPC(non-deterministic polynomial complete)问题,本文提出的协议具有抗量子计算攻击潜力。利用本文方案并采用Fiat-Shamir标准转换方法,可得到一种安全高效的抗量子计算数字签名算法。     

基于.net三层架构技术的在线稿件管理系统的设计与实现

现有学术期刊的稿件管理系统存在系统结构复杂，扩展性安全性较差等问题，针对这些问题，基于．net三层架构技术提出并实现了稿件的整体管理解决方案，并着重研究了稿件管理系统中Word文档的在线修改和Excel报表生成等关键技术。该系统在功能性、扩展性及维护性较现有稿件管理系统都有了很大提高。     

窄带卫星通信系统地面通用多模网桥设计与实现

现有卫星通信地面网桥在进行IP数据星地传输时多采用私有协议和定制化结构,增加了前期系统联试和后期设备扩展的工作量.同时,窄带相较于宽带通信,占用频谱资源更少,不需要高信噪比的通信环境,可在复杂电磁环境等特殊场景应用.因此本文针对现有不足,并根据应用场景需求,为具有透明转发功能的卫星设计地面通用网桥设备,并对其协议、软件设计进行详细描述.最后通过两设备基带中频互通实验模拟设备与透明转发卫星组网,对其功能和性能进行测试,测试结果证明了方案的有效性.     

IrDA编解码电路的HDL设计与后仿真

随着无线通信技术的发展,红外线数据传输技术得到了越来越多的应用,因此迫切需要一种高效的设计与仿真方法．在IrDA协议组技术规范的基础上,提出一种基于HDL语言的IrDA编码和解码电路的实现方法,并通过后仿真结果与编解码的波形比较,验证了新设计的编解码电路的逻辑功能和时序都符合设计规范的要求．此外,采用HDL语言设计的电路简洁高效,可方便地在可编程逻辑器件中实现,并且在多个嵌入式系统的设计中得到了应用和验证．     

Kerberos协议的改进

以 Ｒ Ｓ Ａ 算法作为加密和签名工具，对 Ｋｅｒｂｅｒｏｓ 协议中票证和验证码的形式以及验证协议进行了改进，使整个验证过程更安全、可靠 在此基础上，通过在网络防火墙中增加网际验证服务器，实现了跨网络的远程安全访问方案     

基于ARM+FPGA的短波功放数字预失真硬件平台设计

数字预失真技术作为一种功放线性化的关键技术, 可有效提高功放线性度. 为高效实现短波功放数字预失真算法, 改善功放线性度, 设计并实现了一款以ARM+FPGA为核心的短波功放数字预失真硬件平台, 该平台使系统具有更好的可移植性、可重用性和扩展性. 在对设计的整体硬件框架进行阐述的同时, 着重讨论了模拟电路模块的设计, 并分析了短波功放预失真线性化采用的方案. 整机测试结果表明, 设计的新平台能够满足数字预失真的要求.     

HTTP协议的剖析及其在嵌入式监视系统中的应用

通过对超文本传输协议和嵌入式监视系统特点的分析，提出了一种用于嵌入式监视系统的HTTP协议实现方法，分别采用状态机制和循环机制实现单HTTP连接图像传输和多HTTP连接图像传输．在单片机Rabbit3000上实现了监视系统的HTTP服务器，并在局域网中对服务器进行了测试．测试结果表明：HTTP协议的实现方法能满足嵌入式监视系统的需要，同时也能应用于其他系统中．     

阵列数字测向系统的设计与实现

针对系统要求实时在线测向的需求,提出了一种基于FPGA实现的机载阵列数字测向系统设计方案.该方案基于软件无线电的设计思想,利用了单片机实现RS接口与上位机通讯,配置系统工作参数,并设计了一种简单有效的在线自校准系统进行通道一致性校正,在FPGA中实现数据正交解调以及超分辨测向MUSIC算法.该测向系统硬件结构简单,软件参数配置灵活,测试结果表明：在快拍数不小于64点时,阵列测向误差小于0.5°,在快拍数为256点时,测向时间小于6ms,该方案能够实现MUSIC算法的准确、快速计算.     

可选子密钥的门限追踪匿名认证方案

在现有的一些匿名认证方案中,成员不能自主选择子密钥,示证者不能自由选择匿名集,导致方案的计算代价较大,匿名认证过程较复杂.为了解决这两个问题,本文提出了一种新的门限追踪匿名认证方案.该方案允许成员自主选择子密钥,计算屏蔽子密钥作为签名私钥以保护成员的子密钥;示证者使用自由选择的匿名集和自己的签名私钥,借助1/n签名实现匿名认证;基于Lagrange插值,t个成员合作实现门限追踪,并验证追踪到的示证者身份的真实性.与现有方案相比,该方案计算代价较小,成员自主性更大,匿名认证更简单,匿名追踪更安全.在离散对数假设和DDH(Decisional Diffie-Hellinm)假设的前提下,该方案满足匿名性、门限可追踪性,可抵抗外部伪装攻击和一致性攻击.     

一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架

漏洞挖掘是解决当前工业控制系统安全问题的有效途径.本文分析了现有工业控制平台漏洞挖掘的问题,提出了一种改进的Fuzzing架构.通过引入置信度的概念对测试用例进行量化,将其作为分类器的输入进行分类,从而预先筛选出可能有效的测试用例,实现了减少输入空间、增加命中率的目的.基于该架构设计的针对工业控制系统的一种通用漏洞挖掘框架,实现了集畸形数据构造、测试目标监控和测试结果管理为一体,并同时支持多目标、多协议、多平台的扩展.通过对某款工业控制器进行实际测试,证明了该架构的可行性与高效性.     

基于CAS与Web服务的遗留系统集成框架研究

针对目前存在的大量遗留系统问题,提出了一种基于Web服务与CAS认证服务技术的遗留系统集成框架.该框架在应用集成过程中保持了原有遗留系统稳定性的同时,也解决了用户重复登录问题,使得遗留系统集成更加安全方便,从而对降低企业维护成本、提高应用系统可靠性有一定的实际意义.     

高校学生收费系统的开发

概要地介绍了笔者自行开发的高校学生收费软件的特色、性能、所采用工作平台和开发工具、主要的功能模块及各模块的基本功能,给出了高校学生收费系统的功能模块图。     

精确的堆内存使用量上界分析

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.     

集成多种GIS平台和技术的浙江省水利综合管理信息系统研究

本文介绍了浙江省水利综合信息系统的功能模块组成,对系统数据库结构及逻辑关系进行了分析,论述了系统主要开发工具和运行平台的特点。通过在浙江省政府等部门的应用表明,系统设计先进,功能强大,运行稳定,具有很强的实用性。     

数字地形技术在环境规划设计中的应用

近年来基于地理信息系统层面的数字地形技术的发展和完善,使得环境规划设计领域有可能利用其技术实现各种尺度的空间分析,从而改善原有操作环节,提高效率和精度,使准确的地形分析结论指导规划和设计.数字地形技术在环境规划设计中的应用存在衔接问题,首先体现在现状测绘图纸中的图元数据与建立数字地形所需的数据源存在着差异,应将其转换,必要时将通过对绘图平台的二次开发来完成数据源的兼容性处理.其次应当选择合适的地形模块来完成相关的数字分析.通过必要的技术衔接,在规划设计中,将实现对场地的基本地形分析、叠置分析、可视化以及其他方面的工程应用.该技术的应用是信息化规划设计的重要尝试,将在环境规划设计中预先体现出其优越性.     

乌鲁木齐市既有居住建筑采暖现状和改造形式浅析

建筑物使用过程中,能源消耗以采暖和空调所占的比例最大约为65％．采暖能耗是建筑能耗的最主要部分．也是浪费最为严重和节能潜力最大的部分．为贯彻落实国家提出的建设资源节约型和环境友好型社会的要求,有效降低建筑采暖能耗,既有建筑的节能改造成为开展节能工作的重点．本文就乌鲁木齐市既有居住建筑供热现状和建筑采暖方式进行了基础调查分析,并对采暖系统节能改造和新建居住建筑采暖系统形式进行了分析,以朗为乌鲁木齐市既有居住建筑采暖系统改造提供参考．     

自动程序生成工具QUICK

本文介绍的QUICK工具以构造通用事务处理系统的样板程序模式为基础，通过对软件规格说明信息作非过程性描述，实现了微机管理信息系统中许多应用.软件FozBASE源程序的自动生成.该工具在微机上实现，由FoaBASE和PASCAL语言混合编写而成.     

热震法分离电镀金刚石工具磨料层与基体的研究

提出一种电镀金刚石工具磨料层与基体的绿色分离方法,可以实现工具的有效回收和再利用．采用有限元分析软件ANSYS模拟了电镀金刚石磨头的热震过程,分析了工具基体与镍镀层之间的热应力及其分布．计算结果表明：在冷热载荷作用下,镀层与基体之间发生热膨胀失配,导致界面附近易出现疲劳破坏,产生裂纹,且裂纹首先产生于界面形状突变区域．通过电镀金刚石钻头的热震实验观察到磨料层的脱落现象,验证了有限元分析结果,同时也证明了热震法分离电镀金刚石工具磨料层与基体的可行性．     

辅酶Q10的功能研究进展

辅酶Q10是一种存在于动植物、微生物细胞内的重要生理功能性物质,本文介绍了辅酶Q10的基本性质及其在增强人体免疫力、抗肿瘤、抗氧化以及心血管系统疾病治疗等方面潜在的功能性质及应用研究进展.     

基于非参数回归的桥梁极限承载力预测

既有桥梁承载能力是桥梁健康工程的关注重点,建立承载力的非参数回归模型,用LOWESS稳健回归估计S-Q曲线,得出既有桥梁静载荷实验的非参数预测值.预测结果符合实际,具有良好的工程参考价值。