基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

全力推动国防科技工业工艺技术跨越发展

工艺技术是产品研制生产的重要手段,是制造业生存和发展的核心和基础技术,也是市场竞争能力和制造业可持续发展能力的重要体现。军工工艺技术具有覆盖面宽、技术要求高、特殊工艺专用性强等特点,在缩短研制周期、降低生产成本、提高经济可承受性和批生产能力方面起着至关重要的作用,是武器装备研制生产和军民结合高技术产业发展的关键技术,是国防科技工业实现可持续发展的重要保障。为满足国防建设和国民经济发展的需要,全面增强自主创新能力、高新技术武器装备供给能力和军民结合高技术产业发展能力,建立新型国防科技工业体系,国防科工委将…     

方格图在小学数学教学中的有效应用

方格图作为直观形态的数学学习工具,将学科的理趣和学习的情趣相结合,具有帮助学生提高数学学习能力的作用。本文以人教版小学数学教材为依据,将方格图的表现形式、数学本质以及在培养学生数学学习能力等方面所起到的数学价值进行系统地剖析和总结;同时将方格图在人教版教材中的编排情况进行梳理及归纳,从绘制图形、统一度量、数的认识与运算、总结和推理四个方面诠释方格图在教学中的具体应用及研究启示。