Internet网络安全的信息过滤模型分析

当前,由于Internet应用的逐渐普及,WWW已经成为一个巨大的分布式信息空间,为用户提供了一个极具价值的信息源。如何快速、准确得到确定领域中的信息,使信息过滤成为Internet网中关注的热点。基于此,该文分析了信息过滤中常用的向量空间模型、布尔逻辑模型和潜在语义索引三种信息过滤模型,以及存在的问题,在此基础上推出了一种准确度更好的模糊集合的信息过滤模型。     

形式语言中的上下文无关和上下文相关

形式语言与自动机理论已成为计算机科学的理论基础;对于程序设计语言的说明和分析尤其重要。文中介绍了形式语言与自动机理论中的基本原理,给出了上下文无关文法、上下文相关文法及其相应语言的定义,讨论了它们之间的关系。     

一个多媒体课件写作系统的设计与实现

多媒体计算机辅助教学正逐步成为CAI主要形式,而多媒体课件写作系统是解决课件开发这一多媒体CAI瓶颈问题的有效途径之一。在分析国内外现有系统的基础上,介绍了"飞天多媒体写作课件系统FA-MCAS"的基本组成和主要设计思想及技术实现。     

EJB和O/R Mapping的结合

EJB是用来开发和部署多层次结构的、分布式的、面向对象的java构件体系结构,针对EJB中对象存储的难题,实现了一个基于EJB体系开发的开发模式PERO,该模式并没有改变EJB系统框架。PERO容易操作,结构简单,使EJB开发对开发者透明,从而降低了开发难度;同时提出了一种快速、简洁的解决基于EJB开发过程中O/R Mapping问题的方案。     

Needham-Schroeder 协议的认证测试方法形式化分析

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Needham- Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。     

用NAT技术构造小区智能化系统安全体系

以基于宽带网络的小区智能化系统入手，给出了安全系统的设计目标及整体构造方案。概要介绍了网络地址转换(NAT)的基本原理，着重对端口地址转换技术进行了分析与设计，构造了动态端口映射的Hash函数；同时实现了反向端口地址转换。最后，根据动态端口转换方案，在小区智能化系统中实现了系统的负载平衡与容错。     

一种多约束条件的组播路由算法

提出了在组播应用中满足多个约束条件的一种组播路由算法。该算法以最短路径算法为基础,通过调整当前形成的路由树中节点的排列顺序,依次为目的节点选择到路由树的最短路径并加入到该路由树中,得到满足跳数约束条件的低代价组播树,再对所构成的低代价组播树进行同级中继合并,得到最后的组播树。该组播树因为中继最少,所以时隙资源消耗最小。