摘要：几何约束求解是智能CAD的一个关键技术。目前,几何约束求解的算法主要是构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线。通过增加三次Bezier曲线作为一个新的几何体,提出了一个包括点、直线、圆和三次Bezier曲线在内的几何约束问题求解的新算法,扩大了几何约束求解的作图范围。

摘要：在包静娟看来,学生的学习是他们全身心投入探索情境,在个性化的问题解决过程中广泛联系各种资源,形成自身独特认知的一种“身体、认知、情感、元认知”的整合实践。基于这一认识,她提出了“为理解而设计”的数学教学主张:促进理解的教学设计要实施“五策略”,即聚焦本质、激活内需、创设联结、构造序列、反思提升;促进理解的教学模式要经历“五环节”,即发疑(引发碰撞)—探微(由表及里)—扩形(类比生发)—精化(概括提炼)—反刍(迁移内省);理解性学习评价要关注“五标准”,即会提问、会举例、会分析、会评价、会应用。她倡导让学生通过主动积极的学习,建构对数学对象的理解,包括从数学的角度去理解现实,实现从经验性理解到原理性理解,再到文化性理解的层级跃迁。