用PROLOG实现数据处理系统

本文介绍了两个用PROLOG实现的数据处理系统,讨论了用PROLOG实现具有演绎推理功能数据处理系统的可行性、优缺点和实用范围。     

现代科技在深潜载人潜器上的应用分析

本文主要介绍了“深海6500”载人潜器的基本性质情况和采用的现代科技成果，包括钛合金耐压壳、浮力材料、充油逆变器、声学电视、水声图像传输等。     

遥控水下机器人（ROV）分布式控制系统

本文阐述了我国自行研制的６００ｍ水深作业型缆控水下机器人（ＲＯＶ）Ｂｉｔｂｕｓ（位总线）分布式控制系统的硬件结构和软件体系。     

台风中心定位中的螺旋线自动识别算法

本文是台风中心定位系统的核心算法，运用图象处理和模式识别技术进行云图螺旋线特征提取，得到有螺旋线特征的曲线段，最后运用曲线拟合技术进行螺旋线拟合定解决了台风中心定位依靠于工操作加工经验的判定方式而使台风预报准确偏低的问题，提高了台风预报的速度和精度。     

Windows平台下外围存储设备信息监控*

针对目前使用内部网络的外围存储设备时存在的安全问题,研究了现行外围存储设备使用中的安全保护措施,分析了现有技术方法的欠缺,提出主机外围设备使用统一管理监控的思想,并采用文件系统过滤驱动技术,设计实现了主机外围存储设备信息监控系统.     

一种基于上下文的医学图像ROI分类方法

感兴趣区域(ROI)的分类是医学图像的计算机辅助诊断过程的最后一步,传统方法只针对每个ROI区域单独提取特征,再利用统计学习的方法训练分类器进行分类.然而图像中每个区域所包含的视觉特征有限,很难进行准确的分类.文中提出一种基于LDA主题模型的改进模型(LDAC),考虑ROI周围区域,即图像的上下文关系,通过利用LDA对ROI周围区域所包含的上下文信息进行建模,同时结合ROI区域的视觉信息和类别标签,从而辅助ROI区域的分类,以达到提高分类准确率的目的.乳腺图像肿块分类实验表明,文中方法可提高分类的准确性.     

对增量CRL应用的一些研究

本文对PKIX依从系统中增量CRLs的应用进行了一些研究，包括：增量CRL的时间跨度对性能的影响及其最优选择；基于完全CRL与增量CRL检查证书状态以及构造新的完全CRL的算法。     

一个基于C／S的会计核算系统的设计与实现

本文介绍了一个基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构的会议核算系统的设计方法，以及作者在实现过程中对开发方法、开发工具使用的一上结技术，并给出了会议核算系统的部分数据流图。     

内网信息监控系统的设计与实现

根据目前严重的内部人员信息泄漏事件,提出从信息泄漏途径和安全域两个角度进行控制的思想,并在此思想基础上设计实现了内网信息监控系统。详细介绍了系统的设计思路、系统功能以及软件实现方法,实验测试结果表明该系统能有效保护敏感信息。     

网络环境下一次性口令身份认证的研究与实现

1 引言在开放式的网络环境中,身份认证往往是许多应用系统安全保护的第一道防线,也是保证应用系统安全的关键。进行身份认证的方式很多,通常分为三类:(1)只有该主体知道的秘密,如口令、密钥;(2)主体拥有的物品,如智能卡和令牌卡;(3)只有该主体具有的独一无二的特征或能力,如指纹、声音等。更强大的认证可以是几种方法的组合。