关于循环与循环不变式的讨论

讨论程序设计中的循环与循环不变式的应用 .利用循环不变式可以方便地设计循环程序 ,并可证明程序的正确性 .     

CORBA中POA策略的剖析和应用

CORBA规范提供了 7种POA策略来控制POA管理对象的方式 ,管理方式的优劣直接影响到服务端响应请求的效率 ,因此POA策略的选择关系到整个应用系统的性能和执行效率 .本文先对 7种策略进行说明和剖析 ,然后以分组的方式提出几种可选的策略组合方案 ,最后再根据实际应用对提出的方案进行分析和比较 .     

基于融合的数字声音隐藏方法

针对近年来兴起的多媒体信息安全问题 ,讨论了数字声音文件的隐藏技术 ,给出一种简便易行的隐藏方法 .     

自动驾驶车辆局部路径规划中的弯道半径的估算

基于近似最大似然线性估计器的研究成果 ,鉴于自动驾驶车辆局部路径规划的快速性要求 ,引入了Winograd矩阵乘法 ,提高了弯道半径估算的速度 .模拟结果表明 ,在小弧长和高噪声的条件下 ,这种新的估计器性能优良 .     

心脏B超序列图像动态新信息的提取与系统实现

叙述从心脏B超、彩超序列图像中提取动态新信息的一种方法———全方向M型心动图 .它能够从心脏B超序列图像所显示的任何心脏结构的序列图像中提取出其任何部位互相同步的心动波形图 ,进而可以从中提取出心脏该结构该部位运动过程的所有动态信息 .文中还介绍了全方向M型心动图系统的实现和临床应用 .     

基于粗糙集理论的规则提取算法的研究

简要介绍一种规则提取的算法 ,并通过对一数据集的分析来比较该算法与传统算法的区别 .     

基于CORBA/COM互操作的GIS

GIS环境作为一个异构、分布的环境 ,人们越来越认识到将中间件应用于GIS的必要性 ,而中间件的技术主要有DCOM和CORBA ,两者各有优势 .为此 ,提出了一个基于COM/CORBA的GIS应用模型 ,以充分利用两者的优点 .     

一种基于移动代理的入侵检测系统

在讨论目前所使用的入侵检测技术的基础上 ,结合现在先进的移动代理技术 ,提出一种基于移动代理技术的入侵检测系统的模型 .     

TCP向无线网络的拓展

在无线网络中 ,造成丢包的主要原因在于无线传输失败以及主机的区域间移动 .如果TCP仍然把对这种丢包的处理简单地归结为启动拥塞控制机制的话 ,势必导致网络传输性能的恶化 .本文将讨论TCP在无线网络上的几种解决方案 .     

电子邮件服务器端收发模块的研究与实现

概述了电子邮件系统中邮件处理模块的开发和实现 ,具体描述SMTP和POP3协议的邮件服务器的实现 .