USBKey 远程劫持技术分析

身份认证技术对于开放环境中的信息系统具有极其重要的作用,因此人们在实际应用中不断探索,研发了一系列身份认证技术。伴随密码学,智能卡等技术的发展和成熟,一种结合现代密码学、智能芯片、USB技术的认证方式终于出现在我们面前,这就是基于PKI（公共密钥基础设施）的USBKey认证方式。寻求一种基于APIHook的认证安全检测技术,用于验证基于USBKey的身份认证是否存在缺陷,并且提出相应的改进方案。     

基于粗糙集和证据理论的目标识别方法研究

文章提出了一种基于粗糙集和证据理论的目标识别方法.首先对决策表进行约简得出决策规则,然后计算规则可信度分配和规则权重,最后根据改进的D-S合成规则进行规则合成,得到识别结果.     

时态信息系统转换方法研究

利用粗糙集理论来进行时间序列数据分析,关键是将时态信息系统转化为适用粗糙集方法处理的传统信息系统.目前,已有的将时态信息系统转化为信息系统回溯的方法,当回溯时间片很大时,转换后的信息系统产生大量的属性,不利于进一步利用粗糙集进行约简及规则获取,具有一定的局限性.文中提出了一种基于时间粒度的转换方法,运用该方法进行系统转换后的信息系统中产生较少的属性,特别适用于处理大规模数据集.     

移动自组网AODV路由协议的设计与实现

针对目前移动自组网路由协议的研究,主要以NS2等网络仿真工具为实验手段的不足,本文详细介绍了在Linux平台上,使用无线网络接口,设计移动自组网AODV路由协议,为进一步研究移动自组网的相关性能,提供平台基础。     

基于J2EE框架的工作流管理系统设计与实现

随着应用需求的迅速增长,EJB技术已经不能满足中小型企业工作流管理系统的开发要求,而J2EE框架技术能更好地适应中小型企业级应用.在分析工作流管理联盟(WFMC)提出的工作流参考模型的基础上,使用轻量级框架Spring.并结合MVC框架Struts和数据持久化框架Hibernate,设计与实现了一种高效、易用的工作流管理系统.文中重点介绍了系统的多层结构,并对系统中的模型定义工具、用户组织工具、工作流引擎模块进行介绍与探讨.     

基于CORBA的银行代理业务系统的研究

本文在实践的基础上,针对银行代理业务的分布化和专业化的特点,提出了基于CORBA技术的银行代理业务系统平台的解决方案,并详细阐述了关键技术的原理和实现过程.     

使用粗糙集和支持向量机检测入侵

提出了基于粗糙集理论和支持向量机(SVM)的入侵检测方法,利用粗糙集约简算法对样本集进行特征约简,删除对入侵检测结果影响不大的冗余特征,从而有效地降低了样本集的维数,解决了SVM训练时间长,样本集占用的存储空间过大的问题.实验证明,该方法能在不影响SVM检测精度的情况下,缩短SVM的训练和检测时间,有效地提高SVM的检测效率.     

代数商空间的同余结构研究

商空间理论是粒计算最为重要的模型之一,现有的商空间模型的结构一般为拓扑结构.当论域结构是代数结构时,拓扑结构中的等价关系已经不再适用,所以使用比等价关系约束更为严格的同余关系.当给定关系是非同余等价关系时,则引入同余闭包和同余内核的概念来逼近非同余等价关系.本文系统的论证了同余闭包和同余内核的求法以及一些相关性质与结论.以此为基础,对代数商空间模型合成进行系统的研究,为使用商空间理论解决代数结构的复杂问题提供了理论基础.     

商空间中半序结构的拓扑合成方法

粒度转换是粒计算理论的重要内容之一。在总结讨论拓扑商空间的粒度转换的基础上，进一步讨论了半序结构的粒度转换，提出新的半序结构的拓扑合成方法。介绍了商空间理论中的粒度转换方法，引出半序空间的相关概念，主要提出了一种对多个半序空间进行合成的方法，并对合成后的结果进行了讨论，举例具体说明了该方法的使用步骤，说明了该方法的实用价值和意义。     

命题重言式形式化证明的实现

描述了命题重言式形式化证明的思想。采用生成推理树方法进行了具体的实现 ,获得了良好的效果。