基于Protégé的VF教学本体建模方法研究

本体是一种有效的知识建模方法.以大学计算机教学中的VF程序设计领域为研究对象,以Protégé2000为本体建模工具,结合领域本体构建方法,初步探讨了该领域本体的构建过程.     

基于Protégé的大学英语教学资源本体构建

在介绍本体相关知识的基础上,针对目前大学英语教学资源良莠不齐、杂乱无章,内容形式固定不变,资源共享及重用性低等状况,运用Protégé构建工具构建大学英语教学资源本体,为今后进行语义查询扩展和语义排序等方面的研究奠定基础,提高检索效率.     

智能教学系统中基于本体的知识表示及推送研究

首先分析了现有网络教学系统普遍存在的不足,提出智能教学系统的基本架构.将智能教学系统中的知识库划分为知识空间和信息空间,并利用Protégé构造了知识空间的本体模型;最后,制定了智能教学系统推送规则并设计了相应的推送算法.     

概率空间上较优的Poincaré不等式

在很多问题的研究中,经典的Poincaré不等式是一个非常重要的工具,用这个经典不等式作为研究问题的工具非常普遍,如Poincaré积分不等式在Arnold的非线性稳定性理论中起着关键性的作用.Poincaré型不等式的形式很多,应用很广,它在许多重要的泛函不等式的推导\,特征值的估计和谱研究中起着非常重要的作用.在概率空间上对Poincaré型不等式作进一步的研究,得到较优的Poincaré不等式.     

Fréchet空间中Cauchy问题的适定性

基于常微分方程解的存在定理,使用经典皮卡定理在局部凸空间中的推广,讨论了Fréchet空间中Cauchy问题解的存在唯一性,以及解对参数的连续依赖性,为在Fréchet空间中讨论微分方程提供了一种有效的工具,也为研究无穷微分方程组和偏微分方程提供了相关依据.     

唐卡领域本体研究与构建

分析并构建唐卡领域本体,以实现基于语义的唐卡图像标注与检索.在唐卡领域专家的指导下分析唐卡的分类体系,给出唐卡本体相关的定义和公理,定义了相关概念、对象、属性、实例及约束条件,并基于Protégé构建了唐卡领域本体.最后对其进行一致性分析,实现了基于语义的唐卡知识库查询,进一步验证了所构建唐卡领域本体的合理性.     

矩阵Bézier曲线

在计算机辅助几何设计(CAGD)中,Bézier曲线占有重要地位.在实际应用中,有时候需要把若干条曲线结合起来同时使用.把原来的控制顶点推广为控制矩阵,进而,提出了矩阵Bézier曲线的概念,给出了矩阵Bézier曲线的一系列性质、算法和矩阵Bézier曲线的拼接.用矩阵Bézier曲线的轨迹做为机器人机械臂的运动轨迹,可以把机器人机械臂的运动轨迹统一处理,具有很好的可操作性.     

运用Jena对本体模型进行推理及其应用

推理作为知识表示的核心在语义Web中扮演着重要的角色.结合本体语言OWL、本体建模工具protégé和语义网系统开发工具Jena API,首先通过实例论述了如何针对本体模型进行推理,然后又详细论述了推理在徐悲鸿数字博物馆中的应用.     

Rényi信息在医学超声中的应用

医学超声中的脉冲回波信号是多频率成分的宽带信号,采用时频分析方法可以同时从时域和频域定征信号的发散特性和失真.Choi-William分布的Rényi信息可以有效表征超声信号的定量信息,将信号复杂度与组织散射结构联系起来.本文研究了超声射频信号的Rényi信息在医学超声领域的应用.结果表明,Rényi信息可以反映组织结构的散射特性,Rényi差分信息则可以反映组织结构或成分的变化程度,而基于Rényi信息的DRI方法则可以获取组织结构非均匀性的先验信息.超声射频信号的Rényi信息在超声组织定征和超声弹性成像方面具有良好的应用前景.     

两个新的Painlevé可积方程

Painlevé分析是测试给定系统可积性的一个有效工具.现给出两个新的非线性偏微分方程,并利用Kruskal简化方法证明了这两个方程都具有Painlevé性质.     

浅议医院本体建模及技巧

随着信息技术的迅速发展,Ontology,作为一种能在语义和知识层次上描述信息系统概念模型的建模工具,自提出后迅速在许多领域得到了广泛的应用,特别是在信息检索领域。本文以我们应用protégé-2000[1]进行医院本体建模为主线,描述了医院本体的建立过程及自己的一点心得体会。     

λαβ-Bézier曲线与3次Bézier曲线的拼接条件

利用Bézier样条曲线光滑拼接的方法,研究了带形状参数的Bézier曲线与Bézier曲线的拼接问题,得出了Bézier曲线与λαβ-Bézier的G0、G1、G2光滑拼接条件,拓广了λαβ-Bézier曲线的应用.     

三次有理Bézier曲线与HC-Bézier曲线的拼接

讨论了三次有理Bézier曲线与带一个形状参数的HC-Bézier曲线的光滑拼接问题,并给出了三次有理Bézier曲线与HC-Bézier曲线的G~0、G~1和G~2光滑拼接的几何条件.     

相邻CE-Bézier可展曲面间的光滑拼接

针对工程中复杂可展曲面难以用单一可展曲面来表示的问题,提出了一种带多形状参数的CE-Bézier可展曲面的光滑拼接技术.在对CE-Bézier可展曲面性质分析的基础上,将3D欧几里德空间中的CE-Bézier可展曲面解释为4D齐次空间中的CE-Bézier参数曲线,并利用参数曲线的连续性推导了CE-Bézier可展曲面间G1光滑拼接、Farin-BehmG2连续拼接以及G2Beta约束拼接的充要条件.最后给出了CE-Bézier可展曲面间光滑拼接的基本步骤和几何造型实例.研究结果表明：所提方法简单、直观、易实现,有效地增强了CE-Bézier可展曲面表达复杂可展曲面的能力.     

线段Bézier曲线

文章给出了线段算术的定义和性质,它是点集算术的特殊情况,但更便于计算;提出了线段Bézier曲线的概念,就是把区间Bézier曲线中的长方形换成满足一定条件的线段,这里的线段是指该线段上所有点的集合;给出了线段Bézier曲线的性质及其细分算法.它是点集Bézier曲线的特例,具有结构简单、算法省时及容易拼接等优点.     

Rayleigh-Bénard对流初值敏感度模拟研究

通过建立自由界面的Rayleigh-bénard对流模型,数值模拟得到了具有不同涡数的bénard花胞的稳定二维流场。研究中分别以正反向2、3涡的bénard流动作为初始值,在对应相同工况下做数值模拟计算,结果验证了不同初始值对稳定bénard花胞的形成无影响。     

三次HC-Bézier曲线的分割算法和拼接条件

为了精确表示一类超越曲线以及拓展曲线曲面,通过引入形状参数,在双曲函数空间中构造了一类广义Bézier曲线,称其为HC-Bézier曲线,在对三次HC-Bézier基函数及曲线端点特性分析的基础上,提出了三次HC-Bézier曲线的任意分割算法,同时提出了三次HC-Bézier曲线的拼接条件,有效地增强了曲线表达复杂曲线的能力.     

基于领域本体的知识库架构和实现

知识库是基于语义的信息检索进行推理和知识积累的基础和关键,而本体Ontology则是知识库的基础.对基于本体的领域知识库架构及知识推理系统进行了分析研究,以高中生物学知识库的构建为应用背景阐述了领域本体概念树的抽取过程,并应用建模工具Protégé构建了OWL语言描述的生物学领域知识库实例,为下一步实现知识推理完成了知识表示.     

带有扰动的Chebyshev-Padé逼近

提出了一种新的带有扰动的Chebyshev-Padé逼近,它依赖于一个扰动参数,其优点在于:它可以通过调整扰动参数来提高逼近的精度。给出了带有扰动的Chebyshev-Padé逼近的计算表达式;讨论了函数f(x)的导数及其原函数F(x)的带有扰动的Chebyshev-Padé逼近.通过时间复杂度分析,说明了在大致相同的精度下,文章方法较之经典的Chebyshev-Padé逼近所需的计算量要少得多;最后,以具体的数值例子说明这种新方法的优越性。     

Padé型样条的构造

从Padé样条和Padé型逼近的相关理论出发,利用被插函数在插值点处的函数值以及直到k阶的导数值作为插值条件,构造了Padé型样条,证明了其惟一性,给出其构造方法、数值实例并作出图形。该文构造的Padé型样条不仅可根据被插值函数的特征来选取分母,使其产生较好的逼近效果,而且可避免求解高次非线性方程组,说明了Padé型样条比Padé样条更好地逼近被插值的函数。