贵州大学计算机科学与信息学院计算机科学系 作品数:238 被引量:885 H指数:14 相关作者: 蒋学锋 邹阳 宁卓 肖明忠 张庆顺 更多>> 相关机构: 上海交通大学电子信息与电气工程学院计算机科学与工程系 上海交通大学电子信息与电气工程学院 浙江大学计算机科学与技术学院计算机科学与工程学系 更多>> 发文基金: 国家自然科学基金 贵州省自然科学基金 贵州省科学技术基金 更多>> 相关领域: 自动化与计算机技术 理学 电子电信 经济管理 更多>>
基于内容的智能EMAIL安全拦截系统模型 本文设计了一个基于内容的EMAIL安全拦截系统模型.该模型从用户的角度出发,为了满足不同用户对不同主题的需求,采用层次智能信息滤波算法和有专家指导的相关反馈学习算法,过滤掉不可信度大于阈值的非法Email.使收信者甚至意... 宁卓 邹阳 傅光轩关键词:系统模型 电子邮件 网络安全 文献传递 两个图算法的改进 1991年 Minty算法和Mayeda—Seshu算法是求无向连通图树清单的两个直观算法,它们都比矩阵算法节省计算时间。然而,它们仍然较复杂。本文分别对这两个算法提出了改进措施,大大降低了计算复杂性。改进后的算法既简单又直观易懂。对于Minty算法,我们提出了一个不完全算法;对Mayeda—Seshu算法,我们则避开了求基本割集这一复杂步骤。 许道云关键词:无向连通图 支撑树 M算法 基于PCI总线的石英晶体微调系统 2007年 石英晶体元件是目前应用非常广泛的高精度频率源的核心部件,本文从软、硬件思想两个方面介绍了一种测量石英晶体电参数微调系统的设计与实现方法,实际应用表明该系统具有宽频段、速度快、和精度高等特点。 栾岚关键词:石英晶体 电参数 基于计算机软件开放实验平台的《数据结构》动态演示设计 被引量:2 2004年 分析《数据结构》课程教学与实验的特点,介绍在计算机软件开放实验平台下数据结构实验教学的动态演示,提出了计算机软件课程实验教学的一种新方法。 王晓蓉 陈笑蓉 陈梅关键词:数据结构 110接处警决策支持系统的人机交互接口和推理学习功能的实现 1999年 11 0接处警决策支持系统中的人机交互接口、推理和学习的方法有其自身的特点 .对作者所开发的 1 1 0系统所使用的技术和适用这些技术的信息表达方法进行讨论 .这些技术是 :交叉树索引、分解匹配与综合以及基于实例的推理 (CBR)和学习 .开发较友好的具有初步智能的人机交互接口 ,并使之具有推理和学习的功能 ,是当今信息系统开发和研究的主流 . 蒋学锋 刘长云 吴健 鄂凯关键词:决策支持系统 人机交互接口 不可满足公式的同态证明系统 被引量:7 2005年 合取范式(CNF)公式 H 到 F 的同态?是一个从 H 的文字集合到 F 的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公式本身不可满足,而且从中删去任意一个子句后得到的公式可满足.MU(1)是子句数与变元数的差等于 1 的极小不可满足公式类.一个三元组(H,?,F)称为 F 的一个来自 H 的同态证明,如果?是一个从 H 到 F的同态.利用基础矩阵的方法证明了:一个不可满足公式 F 的树消解证明,可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明.从而,由 MU(1)中的公式构成的同态证明系统是完备的,并且由 MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的. 许道云关键词:同态 基础矩阵 一个含有不确定性语言的代数规范说明 1992年 本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。 吕文进关键词:代数规范说明 程序设计语言 基于渗透原理迁移策略的并行遗传算法 被引量:14 2005年 通过分析影响并行遗传算法性能的诸多因素,以避免人为设置迁移代频、迁移率及迁移方向为问题的突破口,以减少通信量提高算法效率为主旨,提出一种基于渗透原理的迁移策略(MigrationSchemeBasedOnPenetration,PMS).PMS迁移策略源于渗透模型,引入渗透阈值控制相邻子群体的迁移,应用渗透原理自适应地确定迁移代频、迁移率及迁移方向,从而解决人为设置迁移代频、迁移率及迁移方向的关键问题,有效降低通信代价,进而提高算法效率.文中首先依据有限群体马尔可夫链模型对基于渗透原理的迁移策略算法的可行性进行了探讨,然后从理论角度给出了迁移代频期望、迁移率期望及通信代价,同时用实例验证了PMS在降低通信代价方面的巨大潜力. 赖鑫生 张明义关键词:并行遗传算法 马尔可夫链 改善JPEG方块效应的VQ解码算法 JPEG采用基于离散余弦变换(DCT)系数量化的压缩算法.当量化步长在视觉阈值之上时,将造成输出图象的方块效应.将JPEG编码器输出的经量化的DCT系数恢复到量化前的值,可以改善这种方块效应.本文提出一种用于改善这种方块... 陈孝威关键词:JPEG 离散余弦变换 矢量化 解码算法 图象压缩 文献传递 继电器Ag镀Au常开触点热过程的计算模拟 1991年 本文采用继电器电接热过程的有限元模型及其计算模型,用计算机详细模拟了在闭合电弧、开断电弧以及接触电流作用下触点受热过程,给出了二维轴对称Ag渡Au热过程的一些结果。 焦莉 李坚石关键词:继电器 电接触