论文部分内容阅读
分析了OWL构造子与图形元素的映射关系,提出了在可视化本体建模中实施模型检查的原理和方法。该方法已成功应用于图形本体编辑器VO-Editor的开发实践中。
可视化本体编辑器VO-Editor中的模型检查机制研究
【摘 要】
：
分析了OWL构造子与图形元素的映射关系,提出了在可视化本体建模中实施模型检查的原理和方法。该方法已成功应用于图形本体编辑器VO-Editor的开发实践中。
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机应用研究
【发表日期】
：
2007年05期
【基金项目】
：
湖北省信息产业专项基金资助项目（05050）.
其他文献
提供了一种以符号的冗余编码保留隐藏信息的隐藏数据通信技术,以及与该方法相关的数字水印嵌入、提取技术和载体文件的显示技术。介绍了将符号编码成数字代码的若干方法;隐藏通信的数据加载与分离方法;特定字体文件的设计方法;若干对携带水印信息的载体文件进行显示的方法。提出的文本数字水印技术具有水印容量大、视觉影响小、兼容性强等特点。
结合人类听觉系统,提出了一种基于倒谱变换的自适应音频水印算法,充分利用复倒谱变换的性质,将原始音频信号分成若干帧,每帧实施复倒谱变换后,在对应位置按照一定的方法嵌入水印信号。水印的提取不需要原始音频信号,是一种盲水印算法。实验结果表明,嵌入后的水印不仅具有很好的不可感知性,而且对添加噪声、重新采样、低通滤波和重新量化等攻击也具有很好的鲁棒性。
从RBAC模型的角度出发,提出了一种基于XML的协同设计的RBAC访问控制,利用XML作为访问控制的表达形式,使得系统具有良好的灵活性和可操作性。同时,使用Schematron XML验证语言弥补了XMLSchema在文档结构约束中的限制。
在低能量自适应簇结构层次(low-energy adaptive clustering hierarchy,LEACH)路由协议的基础上,提出了一种均匀的分布式簇结构层次路由协议。该协议将路由过程分为三个步骤,按照能量均衡的原则选取簇头节点,各节点能够分布式地自主决定该节点的状态。仿真结果显示,该协议拥有比LEACH更低的能量消耗和更长的网络生命周期。
对象一关系一属性数据模型相对传统的结构化数据模型，用更丰富的数据语义区别了对象类属性和关系类型属性两个概念，使其适用于半结构化数据的存储与管理。从分析空间数据的半结
在定义乘性可变尺度结构算子对数学形态维分形模型进行优化和改进的基础上,提出了一种基于提取分形特征参数的图像分割算法。首先定义并比较了加性和乘性可变尺度形态结构算子,并以此为基础进行形态学膨胀运算,提取归一化模型下的数学形态维分形维数,再用分形特征维数调制灰度值,以拉开各个灰度级间的距离,有效地增大了目标和背景的差异,最后进行自适应阈值分割。大量对比仿真实验取得了良好的分割效果,并且证明了本算法的有
介绍了信息抽取(IE)技术的基本概念、信息抽取系统的抽取过程。对现有的信息抽取系统构建方法进行了分类和介绍,并对这些方法进行了讨论和比较,同时指出了构建中文信息抽取系统所需要解决的关键的基础问题。
介绍了一种基于离散余弦变换域(DCT)中频系数置换的盲水印算法,用该算法对数字水印进行了自适应嵌入方法研究。该算法突破了数字水印的加性算法、乘性算法等传统的水印嵌入方法;解决了被提取水印中含有原始图像DCT系数从而影响水印检测准确性的问题。该算法使用人类视觉模型对水印图像进行自适应嵌入,使嵌入的数字水印从根本上不可逆。实验证明该算法对数字水印的滤波、剪切、噪声等攻击有很强的鲁棒性。
介绍了利用量子行为粒子群算法解决非线性方程组的问题。求方程组的解归结为一个最优化问题,当方程组有多个解时,它的适应值函数就是具有多个最优解的多峰函数。为此,引进一种物种形成原理算法,该算法根据群体微粒的相似度并行地分成子群体。每个子群体是围绕一个群体种子而建立的。对每个子群体进行QPSO最优搜索,从而保证方程组中每个可能的解都能被搜索到,具有良好的局部寻优特性。对几个重要的测试函数进行仿真实验,结
针对视频水印中存在的线性共谋攻击问题,通过分析线性共谋攻击的数学模型,基于通信分集技术建立了一个有效抵抗线性共谋攻击的视频水印设计框架,并根据该框架提出了一种新的能够有效抵抗线性共谋攻击的空域自适应视频水印方案。理论分析和实验结果表明,该方案不仅对剪切、帧去除、帧插入、帧重组以及不可察觉的几何变形具有很好的鲁棒性,而且能够有效地抵抗线性共谋攻击,同时对H.264压缩也具有较好的鲁棒性。