空间区域拓扑关系分析方法的研究
该文针对应用领域中空间数据的不确定性,重点研究了不正确空间区域间的拓扑关系分析和模糊区域建模问题,在分析已有研究工作的基础上,提出了几种拓扑关系的形式化模型,能够更全面地表达和分析不确定空间区域间的拓扑关系.主要包括:(1)讨论了确定性区域间拓扑关系的形式化模型,详细分析了不确定区域间拓扑关系的分析方法,重点阐述了精确模型、模糊模型、粗集模型和概率模型四类主要方法;(2)给出了一种不确定区域拓扑关....
作者:虞强源专业:计算机软件与理论分类号:TP311.5导师:刘大有单位:吉林大学
网络入侵检测系统中的多模式匹配算法
该文对提高网络入侵检测系统(NIDS)的性能进行了研究,包括应用多模式匹配算法提高入侵检测速度,降低入侵检测系统的资源使用量以及提高IDS安全通信的效率等.该文的研究有以下四个方面:1.通过对网络入侵检测系统的分析,提出了一种基于多模式匹配算法的入侵检测方法.不同于传统入侵检测系统的串行单模式匹配,该方法充分利用了多模式匹配的隐含并行性,实现了高效的具有良好可扩展性的入侵检测.同时对多模式匹配算法....
作者:张猛专业:计算机软件与理论分类号:TP393.08导师:鞠九滨单位:吉林大学
智能决策支持系统中模糊集和粗糙集相结合的方法研究
模糊集合理论和粗糙集合理论在决策系统中已被证明是非常有用的方法,粗糙集理论通过等价关系来研究对象之间的不可分辨关系;模糊集合理论利用集合的特征函数来处理边界的不可定义性,但其中并没有应用对象之间不可分辨性的概念.由于模糊性的存在,从一定意义上来讲,一些概念利用经典集合来表示是不可能的,这就引出了一个新的研究方向,即模糊集合理论与粗糙集合理论的结合.该文基于模糊集合理论和粗糙集合理论的结合,对智能决....
作者:刘云翔专业:计算机软件与理论分类号:TP317导师:孙吉贵单位:吉林大学
形式语义与Monad的自动转换技术研究
基于软件自动化的考虑,在深入研究指称语义和Monad的基础上,给出了指称语义的转换方法和Monad的转换方法.具体给出了从直接指称语义到接续指称语义的转换方法,给出了从接续指称语义到直接指称语义的转换方法;给出了从Map到Monad到Bind型Monad的转换方法;给出了从Bind型Monad到Map到Monad转换方法;同时给出了实现转换的Haskell高阶函数式语言的程序.无论是指称语义的转换....
作者:吕江花专业:计算机软件与理论分类号:TP311导师:金成植单位:吉林大学
用行为学方法研究Web安全
Web服务器正在成为各种重要信息汇集和分发的中枢,自然也成为网络攻击的首选目标.已经发生的重大网络安全事件,绝大多数都是针对Web服务器进行的.通过攻击Web服务器,入侵者可以获取大量重要的保密信息和系统的控制权,并可借助这个跳板,发动对其它目标的攻击.Web服务的普遍性和重要性,使得Web安全成为网络安全中极为重要的一环.该文运用行为科学的方法对Web安全问题进行了研究,主要侧重于以下几个方面:....
作者:杨可新专业:计算机软件与理论分类号:TP393.08导师:鞠九滨单位:吉林大学
基于内容的分布式WEB服务器
随着Internet的飞速发展,人们对全球网络数据的访问需求也急剧增加,指数级增长的用户请求给流行的WEB站点提出了前所未有的挑战.如何提高WEB站点的服务性能,为网络客户提供有保证的WEB服务已经成为当今计算机研究的热点问题.提高WEB站点的服务性能,有两个不同的研究方向:一人是充分挖掘单个服务器的潜力;另一个是用多个服务器节点组成服务器群,又称分布式WEB服务器(Distributed Web....
作者:杜增凯专业:计算机软件与理论分类号:TP393.092导师:鞠九滨单位:吉林大学
移动Agent系统体系结构、路由策略及安全性问题研究
该文以智能Agent和多Agent系统(MAS)为背景,开展移动Agent系统体系结构、路由策略及安全性问题的研究.该文的研究结果对于分布式人工智能、多Agent系统和移动Agent系统的研究在理论、技术和应用方面都有较大指导意义;该文给出的Jamogents系统可以作为进一步开发其他移动Agent系系统的模板和平台.
作者:杨鲲专业:计算机软件与理论分类号:TP311导师:刘大有单位:吉林大学
分布式系统检查点算法及在容错和进程迁移中的应用
该文对分布系统中的检查点的检查点算法进和了较为全面的研究.首先,对现有检查点算法进行了详细地分类比较.以往的进程迁移工作局限于对单进程任务的迁移.该文通过实现进程间通信的原子性和存储转发进程间消息在PVM系统上实现了对并行任务的进程迁移.该文提出一和个具有较短冻结时间的一致检查点算法--SFT算法.SFT算法不需要全局等待操作,并使用主存算法进一步增加检查点操作与目标程序运行的并行性,其用户进程冻....
作者:魏晓辉专业:计算机软件与理论分类号:TP38导师:鞠九滨单位:吉林大学
Monad理论及其应用研究
该文针对Monad理论方法探讨了Monad本身的一些理论问题同时也讨论了Monad这一理论模型在软件技术中的一些重要应用.在Monad理论方面,该文给出了异型Monad系统之间的转移方法,它对于得用Monad方法进行程序设计时重用已有的Monad定义是有意义的;另外,该文给出了一个带有Monad简式描述的函数式语言的类型系统,实际语言实现Monad时这是一个必须处理的重要问题.在应用研究方面,该文....
作者:袁琦专业:计算机软件与理论分类号:TP311.1导师:金成植单位:吉林大学
改进IP电话质量
IP电话是计算机网络和通信技术发展结合的产物.限于目前网络的性能,IP电话的质量还与普通电话有较大的差距.该文从改进IP电话质量的角度做了如下几个方面的工作;1、优化实现快速语音压缩算法.2、实现实时传输协议库.3、采用丢包实时修复机制.4、提出了一种新的丢包修复方法.5、实现一个IP电话开发工具.6、建立一个IP电话测试环境.7、基于开发工具实现了一个IP电话软件.
作者:张钶专业:计算机软件与理论分类号:TP393;TN925.54导师:鞠九滨单位:吉林大学
合计3140个 | 页次:1/314页 1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页 最后页