分数阶时间导数方程和反常亚扩散过程——纪念茆诗松教授

本文介绍并且改进和推广了时间导数为分数阶的方程,以及与反常亚扩散过程相关联的最近的一些结果.

汽车柴油发动机疑难故障维修分析

伴随社会经济的进步和人们对出行的需求增加,汽车已经成为现代社会中不可或缺的交通工具。发动机作为汽车的核心组成部分,对车辆的安全性和可靠性有着直接的影响。随着技术的进步,越来越多的车主选择柴油车,尤其是长途行驶或需要承载重物的车辆,因为柴油发动机在经济性和稳定性方面具有明显的优势。然而,随着柴油发动机使用时间的增长,机械结构和零部件会经历磨损和老化,导致发动机出现各种故障。这些故障不仅会影响汽车性能和行车安全,还会给车主带来不便和经济损失。因此,对柴油发动机常见故障进行深入研究具有重要的理论和实际意义。本文主要阐述了柴油发动机的工作原理,并提出了解决汽车柴油发动机疑难故障的维修策略。

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

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

基于OWL本体的UML类图推理

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

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

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

地方高校计算机专业转型发展创新思路——以贺州学院为例

文章分析了贺州学院计算机专业转型发展过程中面临的挑战,从职业生涯规划、课程体系、"双师型"师资队伍和校企合作四个方面与国外应用技术大学进行了对比研究,提出了以校企合作为基础,校企双方功能需求和资源相互嵌入的"嵌入式"创新思路,并对"嵌入式"人才培养模式进行了理论研究,为全面向应用技术大学转型奠定了良好基础。

基于SHOIN(D)的UML类图形式化方法

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

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

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

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

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

基于OWL DL的本体推理机设计与实现

语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.

UML用例图的形式化及其推理

UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN(D)扩展部分的语法和语义,以及UML用例图各模型元素的SHOIN(D)描述形式。然后把UML用例图定义为一个二元组,SHOIN(D)知识库定义为一个三元组,并通过转化函数把UML用例图转化为SHOIN(D)知识库,给出了SHOIN(D)知识库的可满足性定理及其正确性证明。最后以图书借还子系统用例图为例,利用Pellet本体推理机实现了可满足性、一致性、分类、信息提取和实现性等推理服务。

基于XMI的UML模型向OWL本体转换方案

OWL是W3C提出的语义网本体语言,作为语义网中信息共享和交换的基础,具备强大的知识表示和推理功能。文章对UML和OWL进行了分析比较,给出了UML类图相应的XML Schema和OWL本体表示形式,提出了一种UML模型向OWL本体转换方案,通过XMI交换标准将UML模型转换为OWL本体。

新升本科院校计算机专业教育存在问题及对策

高等学校开展产学研合作教育是贯彻国家教育方针的一个重要措施,新升本科院校计算机专业毕业生就业现状不容乐观,应当以"以就业为导向,走产学研结合的道路"为指导思想,构筑产学研结合办学模式,实施任务驱动教学方法,以就业为导向,精化课程体系,加强实践教学,全面提升学生综合素质,培养出适合社会需要的高素质技术型、应用型、复合型人才。

基于Delphi/Access的C/S系统设计

C/S系统采用Access作后台数据库,具有性能稳定、数据交换迅速、数据安全、维护方便等特点,可视化编程语言Delphi具有丰富的编程环境、友好的界面、高速的编译器、强大的数据库开发功能,文章介绍了基于Delphi/Access的C/S系统软、硬件设计方法和技术。

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

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

基于时态描述逻辑的UML活动图形式化规约

UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性。

基于描述逻辑的EER模型检测

首先分析基于描述逻辑的ER模型的研究现状,提出基于描述逻辑SHOIN(D)的EER模型,给出描述逻辑SHOIN(D)的语法和语义。然后研究EER模型的SHOIN(D)描述形式,以及如何将EER模型向SHOIN(D)知识库转化。最后给出EER模型可满足性、冗余性判定定理,证明了这些推理问题的正确性,并利用pellet推理机实现了EER模型可满足性和冗余性推理。

UML状态图的逻辑语义及自动推理

针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义。对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理。

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

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

地方高校计算机专业人才培养模式改革与实践

地方高校向应用技术型大学转型势在必行,其中人才培养模式改革是关键。贺州学院计算机科学与信息工程学院在转型过程中,确立了适应社会需要的"嵌入式"计算机专业人才培养目标和课程设置原则,提出"嵌入式"人才培养模式,并付诸实践,为学院向应用技术型大学转型做了积极探索。