一种用于网络入侵检测的杂交聚类算法研究

针对K均值聚类算法在全局优化中的不足,提出了基于粒子群的K均值(PSO-KM)聚类算法。粒子群优化算法作为一种基于群智能方法的演化计算技术,有很好的全局搜索能力。通过理论分析及实验证明,该算法有较好的全局收敛性,能有效地克服传统的K均值算法易陷入局部极小值的缺点。对KDD-99数据集的仿真实验结果表明,该算法在入侵检测中能获得令人满意的检测率和误检率。     

信息服务业——上海新经济增长点

尽管2009年面对国内外经济形势波动、国际金融危机等不利局面，但是上海信息服务业以高新技术产业化为契机，不断推动结构调整和自主创新，积极拓展国内外市场，产业总体保持了稳定较快增长。     

基于对数无限可分级串框架Web网络流量分析

由于Web流量占据了网络流量的主要成分,它的尺度特性必然对整体流量特性产生一定的影响。而对数无限可分级串框架能描述数据流全范围下的多尺度行为,因此可在该框架下分析Web流量与TCP流量的多尺度行为。通过几个对比实验,发现Web流量并不一定就决定了TCP流量的尺度特性,异质的非Web流量的尺度分段交接点大于同质的Web流量的交接点。而且在相近的时间内,Web流量的尺度特性不受一些异常流量的影响,是相对稳定的。     

基于幂表的并行加法器的归纳验证

介绍了基于幂表和重写规则的并行加法器的功能描述,直接使用重写归纳证明技术验证了这些描述的正确性,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础.     

基于Java程序的功能点度量

针对软件项目开发中维护阶段的成本和工作量难以估计的问题,提出一种基于Java程序的功能点度量方法,并介绍从目标程序中抽取数据功能点以及事务功能点的计算规则,同时以Java源代码为例说明具体的度量过程。实验结果表明,该方法是有效可行的。     

使递归算法泛型化

对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象.然而对于现行的泛型算法,无论是C 标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性.将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性.除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性.也给出算法复杂度的定量分析,并用函数式语言ML来实现.     

基于组件的嵌入式软件开发中的几个关键问题*

针对嵌入式系统的实际特性,着重从系统的角度提出构造一个嵌入式应用程序的开发架构,也可以称为开发框架.该开发架构是以基于组件的方法来开发嵌入式应用程序的,其主要研究系统结构规约、系统行为规约、组件配置和执行、程序产生和系统配置等几个关键问题.研究的结果将指导一个分布嵌入式应用程序开发框架的构造.     

命令的操作语义在类型系统中的一种表示

类型系统建立在一个小的规则集合基础上，易于实现，可理解性好，且具有计算完全性和足够的表达能力,在类型系统中可以重述推导规则，将其形式化为一些归纳关系，从而直接表示了命令的操作语义,类型理论不仅适合于函数式程序的证明，也是刻画和证明命令式程序的合适的框架。     

一种虚拟企业间网络的互连模型

企业间电子化业务的展开需要一个局部互连的网络平台,在该平台上不同企业间可以基于某个业务应用在认证后进行交互协作。在分析了现有虚拟企业系统和Internet技术的基础上,提出了基于应用共享的虚拟Inter-Enterprise网络(VirtualInter-EnterpriseNetwork,简称VIEN),分析了其网络体系架构和交互协议。通过在原型系统的初步应用,证实VIEN能支持不同网络平台的企业间的应用互连需求。