浅析图书馆管理创新的发展趋势

总结了当前图书馆管理创新呈现的八大发展趋势,即基于用户为中心的知识管理创新、基于人本核心的文化管理创新、基于用户服务的战略管理创新、基于图书馆联盟的协同管理创新、基于项目管理的质量管理创新、基于价值链的绩效管理创新、基于大规模定制的营销管理创新、基于信息技术应用的集成管理创新。     

基于网络的课堂教学模式创新问题浅析

本文在概述基于网络的课堂教学模式基础上,总结阐释了基于网络的课教学模式分类与意义,最后从创新基于网络的课堂教学支撑环境、创新基于网络的课堂教学过程与实验设计和创新基于网络的课堂协作学习方式三个角度,探析了基于网络的课堂教学模式创新问题。     

现阶段基于内容的图像检索技术分析

主要讨论了目前基于内容的图像检索技术的两大热点研究方向,即基于底层特征向量的提取算法(分别为颜色、纹理和形状特征)和基于相关反馈机制(分别为基于空间变换、基于统计概率、基于聚类分析和基于机器学习的模型).分析它们使用的典型方法及优缺点,并对未来的发展方向做了展望.     

可能LTL模型检测的两种方法

引入了基于广义可能性测度LTL模型检测的基于路径和基于语言的两种语义,证明了其等价性.基于可能LTL公式语言等价的方法,给出基于广义可能性测度的LTL模型检测的算法和复杂性分析.     

双层基于案例推理机制的设计

研究了双层基于案例推理机制的设计,讨论了基于案例推理的基本原理与方法,研究了基于案例修改的数学模型、修改原则、修改模型的构建、修改的匹配算法,介绍了基于案例推理和基于案例修改的学习与维护过程。     

属性离散化算法研究

本文探讨了基于属性重要性、基于信息熵、基于遗传算法和基于聚类的离散化算法,通过分析总结了各算法的优点及不足,并提出有待解决的问题.     

基于模型的故障诊断中的模糊建模和推理

分析了基于模型的故障诊断方法的原理和特点以及其他故障诊断方法（基于规则、基于人工神经网、基于案例）的局限性．针对基于模型的故障诊断,提出了运用人工神经网和遗传算法的模糊建模方法,简化了建模复杂性．给出了基于模糊模型的故障诊断推理方法,从而能有效地处理复杂系统的故障诊断     

基于生成树的回路核

针对图的相似性问题,提出了基于生成树的回路核,其中包括基于最小生成树的回路核、基于最大生成树的回路核、基于最小生成树或最大生成树的回路核、基于最小生成树与最大生成树的回路核、基于混合生成树的回路核、基于赋权混合生成树的回路核.结果表明,所定义的基于生成树的回路核是可计算的、正定的;在实验中,回路核的识别率高于通路核的识别率,最高可达100%.     

数字出版中的防软件盗版技术研究

本文对数字出版领域中的版权保护技术进行了分析与比较,介绍了基于序列号方式、基于KEYFILE、基于保密与加密算法、基于数字水印的防软件盗版的技术实现。     

化学化工网络信息资源整合研究

介绍了化学化工网络信息资源的类型和特点,分析了化学化工网络信息资源整合的必要性,提出了化学化工网络信息资源整合的5种方式：基于OPAC的整合;基于资源导航系统的整合;基于超级链接的信息资源整合;基于跨库检索的资源整合;基于学科信息门户的整合.     

数控系统中的一种抛物线插补方法

给出具有正偏差特性的抛物线插科公式及软件．本方法具有运行速度快、运行平稳的优点，适于加工不允许有负偏差的工件．     

凸轮机构从动件的Hermite修正等速运动规律

用分段Ｈｅｒｍｉｔｅ插值曲线拼接后构造修正等速运动曲线中的类速度曲线，并通过对其积分和求导而求得其它曲线。结果表明，，不仅可以得到具有较好特性值的修正等速运动曲线，而且产生了一种使设计者可以借助于计算机屏幕图形显示，对类速度曲线作直观调控以获得具有不同特性值的多种运动曲线的方法。     

先锋-顶级种群反应扩散模型的平衡点线性稳定性

研究扩散的先锋-顶级种群竞争模型的平衡态线性稳定性. 所讨论的系统有4至6个平衡点,其中最多可以有2个正平衡点,其动力学性态十分丰富. 文章对系统可能的各个常数平衡点的线性稳定性进行分析并给出每个平衡点稳定的充分条件或充分必要条件,主要的方法是线性化方法和特征根分析技巧,最后举例说明本文结论的应用并进行了数值模拟和讨论.     

信息融合-分离与隐性属性的显性特征

基于具有属性合取特征的动态数学模型与信息融合的交叉,给出了信息融合与信息分离生成的复合概念:信息融合-分离,给出了融合度量、分离度量与信息融合-分离属性定理,给出了隐性属性的显性化原理,给出了信息融合-分离的加密-解密及其安全获取。利用这些理论结果,给出它在案例侦察、证据获取与案例结论的安全认证的应用。     

方向导数与二元函数极值的充分条件

分别给出了P0(x0,y0)的l0珒正方向δ邻域和l0珒负方向δ邻域的定义,用方向导数表示了二元函数的泰勒公式,使之与一元函数的泰勒公式有统一的形式;并利用二元函数泰勒公式的方向导数形式给出了二元函数取得极值的3个充分条件,使之与一元函数取得极值的3个充分条件相对应.     

周期系数的二阶线性方程的合成解

给出系数是关于cos x(sin x)的幂级数的二阶线性方程的解公式.用于马丢(Mathieu)方程,得到不同于Floquet的解.含双曲函数的二阶线性方程有类似的解公式.     

曲线拟合的两个几何方法

针对信号源未知或对象特性不连续的情况,将分别从倾斜角和面积的角度提出两种不依赖对象的曲线拟合的几何方法,并分别分析了两种情况下插入点与原数据点间倾斜角和二阶导数的关系,推导了插值算法计算式和简化式,之后验证二位曲线的拟合精度并展示了三位曲面的拟合效果。     

富足半群的拟理想恰当断面

给出了具有拟理想恰当断面的富足半群中两个元素乘积的分解式,在含有拟理想恰当断面0S的富足半群S中,给出了由I和分别作成S的左正规带及右正规带的等价刻画。最后,讨论了含有拟理想恰当断面富足半群的性质。     

具有区间支付的模糊合作对策上的Shapley函数

利用定义的区间数减法运算法则,探讨了具有区间支付的模糊合作对策.通过对传统模糊合作对策上关于Shapley函数公理体系的推广,给出了具有区间支付的模糊合作对策上Shapley函数的公理特征,并证明了所给区间Shapley函数的存在性和唯一性.最后通过一个算例来说明所给区间Shapley函数的实用性.