课堂教学的文化内涵探析

"离散数学"作为计算机专业基础理论的核心课程,其教学效果直接影响到学生对后续课程的掌握。但是由于离散数学课程的特点,学生的学习主动性不强。因此,在结合开放性实验项目的基础上,将孔子的教育理念和数学文化融入课堂教学,"启""发"学生的学习兴趣,使教师的主体能动性和信息技术的辅助性进行有机地给合,调动学生的求知欲,培养学生的创新思维。     

一种支持动态插入的XML文档树编码IFED

XML文档树编码用来标识节点在文档树中的位置,XML文档查询算法通常通过编码来判断节点的祖先后代和兄弟关系,编码的好坏对查询效率影响很大.目前提出的编码主要分为两大类:区间编码和前缀编码,最近提出的扩展的前缀编码-Extended Dewey,由于通过单个节点的编码能够得到节点对应的路径,所以它支持有效的查询,但不支持动态插入.提出了一种新的XML文档树编码-IFED,它由Extended Dewey编码改进而来,既支持高效地查询,又支持动态插入.     

POTwigStack:一种改进的XML小枝模式匹配算法

目前,基于小枝模式的XML查询算法是研究的热点。它们多数在寻找匹配节点的函数中采用了前序递归的算法,产生了大量不必要的"调用/返回"操作。因此,提出了POTwigStack算法,调用POgetNext函数来寻找匹配的节点,该函数采用后序递归的算法,可以有效地避免无用的"调用/返回"操作,从而使算法的效率进一步提高。     

一种适用于顺序XML树的前缀编码方法

在对XML数据模型和XML查询语言中的顺序性进行分析的基础上,提出了一种用于顺序XML树的前缀编码方法,并从唯一性、确定性、动态性、灵活性和简洁性五个方面论证了这种编码的正确性和有效性;同时,运用分层编码的思想解决当XML文档规模增大时编码长度增加的问题。     

基于建模能力培养的离散数学思维模式

以基础性和应用性为出发点,结合计算机专业的实际教学,提出将数学建模思想和方法融入计算机专业离散数学教学,将生活实践引入课堂和用课本知识分析实际问题的教学理念,详细阐述离散数学教学与数学建模思想以及计算机技术之间的密切关系。     

基于PHP的身份认证系统开发

基于PHP的Web数据库应用系统．通过实例，介绍开发用户身份认证系统的几个主要技术。     

DTD约束下的树模式查询的一致性判断

树模式查询被广泛地应用XML数据查询中。树模式查询的一致性判断可以避免不必要的计算,节省查询时间,从而提高查询效率。给出了查询一致性的定义,基于子路径的概念,提出文档类型定义(DTD)约束下的树模式查询的一致性判断算法,并对算法的时间复杂度进行了分析。通过分析比较,该算法是有效的。     

XML的结构完整性约束推理

为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法.     

基于模式的XML路径表达式查询处理技术

为了有效地利用文档类型定义(DTD)中的路径信息、减少结构连接次数,使用二元前缀码对DTD的元素或属性编码,并将DTD编码引入到XML节点编码中.在此基础上,将路径表达式查询分解成若干查询片段,利用二元前缀码的"位"操作高效地计算每个查询片段的结果,最后使用结构连接将这些查询结果组合起来.实验结果表明该方法是正确的和高效的.