论文部分内容阅读
使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。
基于逻辑推理的数字权利动态描述研究
【摘 要】
：
使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。
【机 构】
：
华中师范大学教育信息技术工程研究中心信息技术系
【出 处】
：
计算机应用研究
【发表日期】
：
2009年05期
【基金项目】
：
国家自然科学基金资助项目（60673010）,湖北省自然科学基金计划资助项目（2006ABC011）,国家“十一五”科技支撑计划重大资助项目（2006BAH02A24）
其他文献
针对面向agent软件开发方法普遍缺乏对多agent系统软件体系结构的描述的问题,基于UML 2.0规定的两种扩充方式,在UML元模型的基础上增加了描述多agent系统和软件体系结构两个方面特征的建模元素,并用八个视图对多agent系统的软件体系结构进行描述,最后通过实例说明了该方法适用于多agent系统软件体系结构的构造。
提出了一种将秘密语音隐藏到载体语音的新方法,并引入Logistic混沌映射,利用混沌序列对秘密语音信息进行处理。算法根据人耳对音频倒置不敏感和音频幅度值为正的采样点在总采样点中所占的比例比较稳定的特点,通过倒置的方法调整该比例的大小嵌入秘密信息。实验表明,含有秘密信息的混合语音不仅具有良好的不可感知性,而且对诸如噪声、低通滤波、重采样等攻击具有良好的鲁棒性。
针对基于垂直数据格式的关联规则挖掘算法在频繁项集查找过程中,需要在内存中保存大量的事务标志列表,有限的内存容量将成为此类算法的最大瓶颈,提出了一种新的混合压缩算法—HC-DM算法。实验结果表明,将HC-DM算法与dEclat算法相结合,再加上排序步骤,可以显著减少频繁项集挖掘过程中的内存使用量。
新颖检测中,可应用高斯混合模型建立已知数据模型,拟合数据分布,但当数据维数较高时,自由参数太多,训练需要巨大的数据采样,而ICA搜寻数据的最大统计独立表示,可以将数据从高维空间投影到低维空间。提出一种基于ICA空间高斯混合模型的新颖检测,可有效减少估测的自由参数,降低训练数据采样的苛刻要求,实验也验证了该方法的可行性。
1实验材料药品：半枝莲Herba Scutellariae Barbatae购自济南市建联中药店，并由山东中医药大学药学院生药系石俊英教授鉴定。人肺巨细胞癌细胞株PG细胞，由山东省医学科学院基础所
提出了一种基于后缀树自动机的模式匹配算法,匹配中应用后缀启发机制进行启发跳跃,忽略不必要的比较。实验表明,该方法与传统模式匹配方法相比能有效地加快模式匹配的速度,提高入侵检测效率。
便秘是糖尿病常见的症状，又是加重糖尿病患者血糖不稳定不可忽视的原因，也是诱发心脑血管疾病发作的原因之一^[1]。故笔者应用益气养阴活血法治疗2型糖尿病功能性便秘26例，并在
1实验材料 药品：硵砂提取液 由鑫蟾中医药研究所提供，含生药12g／ml，4℃冰箱保存，用前用生理盐水稀释至所需浓度。动物：昆明种小鼠，体重（18±2）g，雌雄各半，由哈医大肿瘤防治研究所提
为了获取具有最高分配效率的加权矩阵,将粒子群算法应用于广义逆控制分配法设计,通过计算不同广义逆阵所能有效分配的转矩可达集体积,来选择具有最高分配效率的加权矩阵。以某飞机的控制效率矩阵进行基于广义逆分配法分配器设计,通过粒子群算法对加权矩阵进行寻优,有效地选取了具有最优分配效率的广义逆阵,显著地提高了分配器的分配效率。