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

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

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

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

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

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

Infrared aerial small target detection based on digital image processing

Multimedia Tools and Applications - Aiming for the problem detection of infrared imaging aerial small target under complex background, an intelligent algorithm is presented based on digital image...     

流程工业CIMS中综合优化问题的研究

文章首先提出了流程工业及其CIMS中的各种优化问题;;小结了各种解决优化问题的求解技术.在此基础上提出了一种基于多级优化的一种流程工业CIMS结构.最后;;作者提出了一种解决流程工业CIMS多目标优化问题的最大熵优化技术     

基于Hibernate框架的数据持久化应用开发

随着J2EE开发平台的流行,应用程序一般都需要解决业务对象的持久化.本文通过对南昌市房改信息管理系统数据持久层设计的阐述,探讨了利用Hibernate技术实现数据持久化访问的优缺点,并总结了一些开发方面的建议.     

14位模数转换器MAX 1324的误差分析

在数据采集系统中,模数转换器(ADC)的误差对系统性能的影响是至关重要的.本文主要以MAX1324为例,从直流特性、误差源、温度效应及交流特性等方面,详细讨论了ADC误差对系统性能的影响,并提出了部分校正措施.     

基于聚类的多数据库分类算法的研究与实现

针对多数据库挖掘的预处理,提出了运用聚类的思想来对数据库进行分类。同时,提出了改进的BestClassification算法。通过实验证明这种分类方法具有较好的有效性和正确性。     

单苯环氯取代指数法预测二噁类化合物PCDDs的正辛醇/水分配系数

采用单苯环氯取代指数作为氯代二苯并二口恶口英类化合物 (PCDDs)的分子结构描述符 ,通过正向逐步线性回归方法建立了PCDDs的logKow与分子结构描述符之间的定量关系模型。与文献报道的MOD模型相比 ,该模型不仅具有显著的相关性 (n =43,Radj=0 898,SE =0 195 ,在α =0 0 5时 ,F =2 0 45 5 ,p =0 0 0 0 0 ) ,而且对于分子结构具有更好的区分能力。利用建立的模型 ,对没有logKow文献值的其他 33种PCDDs化合物给出了预测值