公钥加密算法Rabin-OAEP安全性证明

针对Rabin-OAEP算法在自适应选择密文攻击下是否安全,采用Adversary和Simulator进行的合理交互,论证“分解大整数N=pq是困难的（其中P,q为2个大素数）,则Rabin-OAEP算法在自适应选择密文攻击下是安全的”的逆否命题,结果证明了Rabin—OAEP算法的安全性。     

分布式故障诊断在SNMP中的模拟与应用

分析传统网络管理集中式及分层次体系结构的缺陷,提出分布式网络管理的体系结构,把用于大规模集成电路故障诊断的系统级故障诊断算法ADSD应用到计算机网络故障诊断中。为了验证计算机网络分布式故障诊断的可行性,在NS中嵌入ADSD算法,模拟整个算法的执行,对算法的执行效率如诊断延时、报文流量进行分析。在此基础上对原算法进行改进,以减小算法对正常网络应用的影响。通过对SNMP的模拟实验,验证在网络管理中引入分布式故障诊断的可行性。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

基于GIS的机场噪声评价系统

为适应现代机场噪声评价与管理的需求,综合利用地理信息系统、数据库及面向对象编程等信息技术,并集成机场噪声评价和分析模型,研究开发了一套机场噪声评价系统。该系统通过方便快捷的界面操作,实现数据的采集、存储、计算、分析、表达与查询等功能。实验结果表明,该系统的应用能有效提高机场噪声评价与管理工作的效率和质量,为机场规划与噪声环境优化提供及时、准确的决策辅助信息。     

基于DSP的高精度测频方法与软件设计

提出了一种基于数字信号处理器(DSP)的测频方法,用于光纤涡轮流量计转子叶片频率的测量.在简要分析了光纤涡轮流量计的工作原理的基础上,设计出了光纤涡轮流量计测量系统软件的硬件电路平台;阐述了利用事件管理器通用定时器实现高精度数据采集方法的设计与DSP实现;分析了高稳定性、实时性的FIR滤波算法与DSP实现;讨论了利用插值方法改进FFT算法实现高精度测频的DSP实现;利用通用定时器的比较操作来产生脉宽调制(PWM)波,实现TTL电平输出.     

一种基于TDC的相对频差测量方法

提出了一种基于时间/数字转换器( TDC)的频率差测量方法.该方法使用延迟链和参考时钟结合的TDC直接数字量化频率差.测量系统与非线性标定模块均在现场可编程门阵列( FPGA)中实现.为了对频率差检测精度进行评估,使用振荡器作为仿真输入信号进行了实验.结果显示:所提出的测量方法对ΔF/F的测量噪声可以达到1 ×10-8/ 槡Hz.在实验结果的基础上,对测量噪声的来源进行了分析.     

无人值守放牧监测系统报警准确率的研究

通过ZigBee技术、GPS定位追踪技术和远程无线通信技术的结合,计算了ZigBee节点传输距离,并提出一种双系统的监测牛群数量的策略,通过对系统误报率的分析,设定误报率门限,从而确定双系统的组成方式,提高牛群数量监测的准确性,降低误警概率.在此基础上设计了一套智能牛群检测系统,并通过实验验证了理论计算结果.该系统可以在无人值守的情况下,自动监测草原牧场上牛群数量并记录牛群位置,实现自动上传功能.     

偏序时态XML索引TempPartialIndex

时态数据管理是常规数据管理的深化和扩展,具有理论研究的意义与实践应用的价值.时态数据索引是时态数据管理的重要技术支撑,是其中的一个研究热点.首先,提出了一种时态数据结构,通过数据节点间的偏序关系,可将常规的二维时间区间的处理转化为基于偏序的时态等价类上的一维的处理,该数据结构可以快速有效地处理时态操作;其次,在该新型时态数据结构基础上研究了时态XML索引TempPartialIndex,其基本特征是将时态数据结构整合到非时态的XML索引中,即,将其整合到语义层之中,通过时态过滤和语义过滤掉大量节点之后,再进行结构连接;另外,着重讨论了基于TempPartialIndex“一次一集合”及其时态变量查询和增量式的动态更新机制.同时,仿真结果表明：TempPartialIndex能够有效地支持时态XML的各类查询及更新操作,技术上具有可行性和有效性.     

改进的灵敏度剪枝极限学习机

针对极限学习机(ELM) 网络结构优化问题, 提出一种改进的灵敏度剪枝ELM(ImSAP-ELM). ImSAP-ELM 将??₂ 正则化因子引入SAP-ELM 中, 采用留一准则确定最优隐节点数. 推导基于奇异值分解的输出权重计算公式, 避免矩阵奇异导致求解无效的问题. 将ImSAP-ELM 用于故障预测, 利用多组同类型故障数据建立多个ImSAP-ELM 模型, 基于加权思想融合不同ImSAP-ELM 的预测值. 某型无人机发射机实例表明, 相比于ELM、OP-ELM (最优剪枝ELM) 和SAP-ELM, ImSAP-ELM 耗时最高, 但是ImSAP-ELM 的预测误差小于其他3 种方法.

     

需求依赖减排水平和价格的供应链决策与协调机制

针对由一个低碳产品制造商与一个零售商组成的供应链, 考虑需求同时受减排水平和销售价格的影响, 分别研究寄售契约、收益共享契约以及收益共享与减排成本共担3 种契约下供应链企业的优化决策, 并进一步探讨当需求的确定部分为和式、随机部分服从均匀分布时的供应链系统的最优决策. 从理论上证明了制造商与零售商之间的合作利于促进减排水平的提升, 也利于供应链系统期望总利润的增加. 最后, 探讨了不同参数对协调供应链绩效的影响.