本文从工程技术人才培养的角度,结合"数据库系统原理"课程培养目标,分析了在教学中普遍存在的问题,提出了针对该课程线上线下进行混合式教学的新模式,详细阐述了课前、课中和课后分别进行在线学习、项目驱动教学、任务驱动和项目实践学习等,形成一个有机渐进式的教学过程,并通过优化课程实验内容和改进评价体系,实现"以本为本"和工程认证中成果导向教育的目标.
This paper discusses and analyses teaching reforms on fundamental courses of computer science in colleges and universities.It illustrates its points by using Data Structure course as an example and the aim of this paper is to set up a demonstration for teaching reforms in other fundamental courses of computer science or in other majors.
XML documents compression is a focus problem in XML data management.We give the novel algorithm of mining a frequent XML tag sequence.In the meantime,An XML clustering algorithm is proposed using the mined frequent tag sequence.Finally,an XML document storage strategy is put forward.
将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向。提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束。通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例。实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果。
AOSD is a focus in the software engineering area.AspectJ is a representative language of AOP,and UML is standard modeling language for building models for object-oriented system.It is a new direction to model with UML for AspectJ application system.The reason for using AspectJ together with UML and how to realize the modeling description of AspcetJ with UML are explained in this paper.And the modeling process and modeling method in an instance of the on-line foreign exchange market system are studied.
In recent years,the security of XML data is becoming increasingly important.This paper firstly introduces a new access model-UCON,and presents the authorization model based on XML Schema and UCON.
In this paper,a concept of local functional dependencies for XML based on DTD path expressions is proposed.The advantage of this definition is that it can express the semantic that a functional dependency hold in a sub tree but not in the whole tree.And finally,a group of inference rules about XML local functional dependencies is given,and is proved correctly.