排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
"离散数学"作为计算机专业基础理论的核心课程,其教学效果直接影响到学生对后续课程的掌握。但是由于离散数学课程的特点,学生的学习主动性不强。因此,在结合开放性实验项目的基础上,将孔子的教育理念和数学文化融入课堂教学,"启""发"学生的学习兴趣,使教师的主体能动性和信息技术的辅助性进行有机地给合,调动学生的求知欲,培养学生的创新思维。 相似文献
2.
3.
在对XML数据模型和XML查询语言中的顺序性进行分析的基础上,提出了一种用于顺序XML树的前缀编码方法,并从唯一性、确定性、动态性、灵活性和简洁性五个方面论证了这种编码的正确性和有效性;同时,运用分层编码的思想解决当XML文档规模增大时编码长度增加的问题。 相似文献
4.
目前,基于小枝模式的XML查询算法是研究的热点。它们多数在寻找匹配节点的函数中采用了前序递归的算法,产生了大量不必要的"调用/返回"操作。因此,提出了POTwigStack算法,调用POgetNext函数来寻找匹配的节点,该函数采用后序递归的算法,可以有效地避免无用的"调用/返回"操作,从而使算法的效率进一步提高。 相似文献
6.
针对目前离散数学教学过程中存在的问题,分析增加研究性实验内容的必要性,对研究性实验教学方法和实验内容进行探索和实践,通过研究性实验将离散数学抽象的课程内容与计算机方面的实际应用联系起来,使学生学以致用,明确该课程在计算机相关专业的重要地位,有利于激发学生的学习兴趣和提高学生的计算思维能力。 相似文献
7.
以基础性和应用性为出发点,结合计算机专业的实际教学,提出将数学建模思想和方法融入计算机专业离散数学教学,将生活实践引入课堂和用课本知识分析实际问题的教学理念,详细阐述离散数学教学与数学建模思想以及计算机技术之间的密切关系。 相似文献
8.
9.
XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现的语法和语义,研究了它们的性质以及它们与DTD的关系,在此基础上,给出了将不能用DTD表达的结构完整性约束添加到DTD中的方法。 相似文献
10.
树模式查询被广泛地应用XML数据查询中。树模式查询的一致性判断可以避免不必要的计算,节省查询时间,从而提高查询效率。给出了查询一致性的定义,基于子路径的概念,提出文档类型定义(DTD)约束下的树模式查询的一致性判断算法,并对算法的时间复杂度进行了分析。通过分析比较,该算法是有效的。 相似文献