C#程序设计教学模式探讨

本文指出了C#语言教学中存在的一些问题,探讨了C#教学中所采用的教学模式,强调了培养面向对象的编程思想和正确的教学方法在C#语言教学中的重要性。     

基于主色偏差矩阵的图像检索方法

颜色特征是图像检索领域中最为重要的视觉特征之一.对于基于颜色的图像检索系统,其性能在很大程度上取决于颜色特征的描述和匹配方法的有效性.本文使用主色偏差矩阵来描述颜色特征,并使用相关系数进行相似性度量.经实验证明,该方法对于图像的几何变换和空间变换,具有较高的检索查全率.     

网格计算及网格体系结构研究综述

网格计算是继Internet和Web技术之后，信息技术的第3次革命，最终将改变分布式资源的共享和服务方式。对网格计算进行了简单介绍，重点介绍网格系统构建的核心技术，即网格体系结构的研究及最新进展情况。且着重介绍了以协议为中心的5层沙漏结构和以服务为中心的新一代网格体系结构OGSA。     

隐通道及其搜索方法

根据TCSEC规定，开发B2及以上安全系统时必须进行隐通道分析，该文简要介绍了隐通道的概念及分类，并在比较现有隐通道搜索方法优缺点的基础上，详细给出了共享资源矩阵法的隐通道分析操作步骤。     

一种基于信息流脉络网的隐蔽通道搜索方法

针对隐蔽流树搜索方法存在的规模大、分析工作量繁重等问题, 提出一种改进的隐蔽通道搜索方法。该方法采用网结构描述系统中的隐蔽信息流, 提出网中隐蔽通道的判定规则; 依据判定规则在深度优先搜索网中隐蔽通信路径过程中排除合法通道; 结合路径中的操作序列构造隐蔽通道工作场景, 从而发现系统中的隐蔽通道。实例分析和对比表明, 该方法可以弥补隐蔽流树搜索方法的不足。     

信息流图的分割算法

一个多级安全系统的信息传递关系是搜索隐通道的重要依据.由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为进一步提高搜索和分析隐通道的效率,提出了一种将信息流图分割成信息流森林的算法.该算法首先选定一棵父树,然后通过边割集中的弧置换父树中的树枝得到新树,并能从理论上保证分割后得到的信息流森林正确继承原图的信息,即原图中信息流既未被割裂也未丢失.通过对每棵信息流树表示的信息流进行分析就可取代对整个信息流图的分析,从而有效降低了分析问题的规模.     

图符语言CQL解释器的实现

为了有效地实现数据库图符查询语言解释器,引入了图卡解析树;开发出二维文法规则;定义出一套适宜于模式分析、语法分析及语义解析的图符程序内部存储机制;并使用临时图卡的方法来解决带有嵌套结构的复杂语句的编译问题。     

离散分布的二值图象快速跟踪填充算法

本文提出了一个快速、新颖的图象填充算法.该法将二值图象边缘用一种特定的链码来表示,仅通过对链码节的移入移出分析运算,就能够自动完成离散分布的目标轮廓的搜索与填充,而不需要象通常的填充算法那样进行边缘检测.     

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.     

基于预测状态表示的多变量概率系统预测

针对由于多变量概率系统预测高复杂度而导致的建模困难问题,提出了一种基于预测状态表示（PSR）的系统建模新方法,首先介绍一种通用多变量过程概念,并进一步用此概念描述多变量系统。在此基础上,引入了针对多变量系统的预测模型MV PSR,模型基于可观测信息,可在有限维实现对多变量的预测。实验结果表明,该近似模型有效降低了系统预测的复杂度。