基于OWL本体的UML类图推理

分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.     

停止适应族的一些不等式与等式

设(Ω,■,P)是一完备的概率空间,△是向右定向集,(■_t)_(t·△)是(■的上升完备子σ~-域族,x=(x_t,■_t,△)是随机适应族。本文讨论了四种类型的停时集合T_a(x)、T(X)、(X)和(X),推广了[4]、[5]中的结果,我们证明了:当X∈A~*、(■_t)_(t·△)满足Vitali条件(V＇)或(x_t~-)_(t·△)一致可积、((■_t)_(t·△)满足VitaIi条件(V),则当{x_r|τ∈T_s}一致可积,(■_t)_(t·△)满足Vitali条件(V)时,有:     

基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。     

基于时序描述逻辑的UML顺序图形式化方法

根据统一建模语言(UML)顺霤图的时霤特征,提出一种基于时霤描述逻辑ALCQIUS的UML顺霤图需式化方法。研究ALCQIUS时霤扩展部分的语法和语义、ALCQIUS断言公式集一致霆定理,给出ALCQIUS断言公式集一致霆推理算法,并证明该推理算法的可判定霆。以公安报警系统为例,说明基于ALCQIUS的UML顺霤图需式化规约和需式化验证具备可霂霆,并且ALCQIUS为UML顺霤图需式化提供了合理的逻辑基础。     

基于描述逻辑的UML类图一致性检测

为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案.该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测,最后以实例证明了该方案的可行性.     

基于时序描述逻辑的UML状态图形式化验证

本文针对UML状态图具有动态行为和时序特征的特点,提出了一种新的描述逻辑,即时序描述逻辑TDDL(SHOIN(D))。首先给出了TDDL(SHOIN(D))的语法和语义,研究了TDDL(SHOIN(D))的断言公式集一致性推理和动作推理问题,给出了TDDL(SHOIN(D))的断言公式集一致性推理算法,并证明了该推理算法的可判定性;然后给出了动作包含、等价关系的判断方法,并证明了这些方法的可判定性。最后利用TDDL(SHOIN(D))对UML状态图进行了形式化验证。     

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.     

地方高校计算机专业人才培养模式现状分析及对策

分析地方高校计算机专业人才培养模式的现状,针对地方高校师资力量薄弱、就业指导滞后、课程设置与教育部直属院校大同小异和教学模式落后等问题,结合教高[2011]6号文件精神,提出以就业为导向的"1+2+1"人才培养模式,以贺州学院为个案,从加强师资队伍建设、加强就业指导、优化课程体系、创新教学模式和强化实践教学环节五个方面介绍创新改革的过程。     

基于PXE网络克隆技术的探讨与实现

论述了PXE网络克隆技术的原理,并阐述了利用Ghost8.3企业版的多播功能,将DHCP服务和TFTP文件传输与PXE功能相结合,实现局域网计算机在无光驱和软驱的情况下硬盘数据恢复技术。     

基于SHOIN（D）的UML类图形式化方法

UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN（D）的对应关系,提出UML类图的SHOIN（D）形式化方法,给出UML类图转换为SHOIN（D）知识库的正确性证明。