坚持科学发展观构建和谐高校图书馆

阐述了和谐图书馆的概念和内涵,提出了实现科学发展和构建和谐图书馆的措施。     

一种可抗DLC攻击的强代理签名方案

针对B.Lee等人强代理签名方案易受DLC攻击,提出了一种新的强代理签名方案,通过代理签名人私钥的逆来防止原始签名人DLC攻击,将原始签名人对代理私钥的DLC攻击由线性运算转化为离散对数运算,使攻击难度由O(n)提高到指数阶,增加了代理私钥的计算复杂度,使原始签名人无法从代理私钥中分离和删除出自己的私钥,从而无法伪造签名。经分析,新方案不仅能够抵抗原始签名人的DLC攻击,而且提高了安全性能和计算效率。     

基于因子图的协同定位与误差估计算法

针对多自主水下航行器协同定位系统中从艇的数据融合问题,首先建立了协同定位系统的数学模型,然后分析了速度误差及航向误差对从艇定位误差的影响,同时设计了协同定位及误差估计的因子图模型.接着,提出了基于高斯噪声的协同定位及误差估计算法,利用均值和方差在因子图各节点间传递完成对从艇位置、速度误差和航向误差的估计.为了验证算法的...     

个性化CAI中教学策略的设计与实现

教学策略是计算机辅助教学系统实现个性化的关键。通过对教学知识点的属性及其关系即元知识的分析,结合学生模型对知识点树进行裁剪,可得到学生应该学习的知识点集合;再对带权有向图进行拓扑排序可生成最佳的教学序列,并能根据学生的学习情况及时调整。这种将树和图的结构特点结合起来的做法不仅可以较为全面地反映知识点之间的关系,而且可以简化推理算法。     

切比雪夫多项式与循环图中生成树的个数

生成树的个数是评估图(网络)可靠性的一个重要且被广泛研究的量.利用切比雪夫多项式的性质推出了循环图中计算生成树个数的在线性时间内即可实现的方法,并讨论了渐进特性.     

图的度平方和与拉普拉斯谱的关系

对于n个顶点,m条边的简单图来说,当它的非零拉普拉斯谱相同时,它的度平方和取到最小值.     

基于符号定向图(SDG)深层知识模型的定性仿真

定性仿真是系统仿真技术中的重要研究和应用方向，同时也是人工智能技术的一个重要方面。近年来，随着现代计算机技术的日新月异，使得基于符号定向图(SDG)深层知识模型的定性仿真研究和应用取得了显著进展。SDG模型能够表达复杂的因果关系，具有包容大规模潜在信息的能力，因此特别适合于过程系统危险评价(PHA)、危险识别与故障诊断。SDG模型结构简单，易于建立和修改。然而高质量的SDG模型必须采用经验数据和定量动态仿真检验和校正。采用SDG模型进行定性仿真的关键技术是高效双向推理“引擎”，由计算机软件自动完成。目前，在计算机辅助过程系统危险评价方面，SDG是最有效的方法；在过程系统故障诊断方面，其完备性较好，但诊断分辨率尚待提高。今后的研究应解决：定性仿真和定量仿真相结合；SDG自动建模；通用推理软件平台；大系统高分辨率故障诊断等问题。     

强正则图的字典积的零度和秩

设G,H是两个强正则图。它们的字典积（lexicographic product）图的零度和秩是指它们的邻接矩阵的零度和秩．讨论了部分强正则图在二元运算下的字典积图的结构、零度及秩。得到了一些有意义的结果．     

论社会主义价值观教育与构建和谐社会

加强社会主义价值观教育是构建社会主义和谐社会的必然要求,有利于推进民主法制,有利于促进社会公平正义,有利于创设诚信友爱的氛围,有利于激发社会创造活力,有利于维持社会安定有序,有利于实现人与自然和谐相处.围绕建设和谐社会的目标,加强社会主义价值观教育,必须坚持"五个结合",即坚持社会主义价值观教育与世界观教育、舆论引导、法制建设、环境优化和实践锻炼相结合.     

三色Ramsey数尺（Cm1，Cm2，Cm3）研究

用r种颜色对图G的所有边着色，记着第i色的边构成的子图为G1,如果存在一种着色方法使得对所有的1≤i≤r都满足Hi￠Gi，则称图G对于（H1，H1，…．Hr）可r着色．Ramsey数尺（H1，H2，…，Hr）是使得完全图Kn对于（H1．H2，…，Hr）不可r着色的最小正整数n，令m1〉m2≥m3，Erdoes等给出了当m1足够大时R（Cm1，Cm2，Cm3）的值．通过对m1不是足够大的情况进行研究，证明了当m≥5时，R（Cm，C3m,C3）=5m=4；并给出了当m1≤7时R（Cm1，Cm2，Cm3）的值．