摘要：动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法。由于该方法基于组合的机制,从而适用于体系结构重用。

摘要：动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。

摘要：潜在无限结构的建模需要使用递归机制,为此基于Wright语言构造了一种兼具组件和连接器特征的对象,提出了组件化连接器的概念.利用这一概念及软件体系结构组合机制,设计了一种规范潜在无限结构的形式化方法.实例表明该方法能为软件体系结构提供一种增量式的开发方式,从而能适用于体系结构重用的目的.

摘要：连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.

摘要：平面向量基本定理是平面向量这一章最基本的内容之一．它是在学生掌握了向量的基本概念、向量的线性运算的基础上学习的，是向量坐标表示的逻辑前提，是用向量法求解几何问题的重要理论基础．很多中学教师认为平面向量基本定理是一个比较抽象的内容，不容易理解．

摘要：平面向量基本定理是平面向量这一章最基本的内容之一．它是在学生掌握了向量的基本概念、向量的线性运算的基础上学习的，是向量坐标表示的逻辑前提，是用向量法求解几何问题的重要理论基础．很多中学教师认为平面向量基本定理是一个比较抽象的内容，不容易理解．

摘要：算法最适宜处理一些重复性的工作，因此循环结构的频繁采用是其解题的一个重要的特点．然而在算法的三种基本结构中，循环结构最不易掌握，从而它成为中学算法教学的重难点．

摘要：为了解决计数问题，常常设计一个分步实施直至达到题设要求的方案．采用分步计数最容易出现的错误就是“遗漏”与“重复”，其中以“重复”最为隐蔽，难以觉察．这是因为，分步方案不产生计数遗漏，需要的是所有满足要求的情形都能够通过它得以实现，这一般较容易办到；而分步方案不产生计数重复，则要求的是两条不同的实现路径最终产生不同的实现结果，这点通常较难判断，需要依靠解题者的解题经验．

摘要：《两角差的正余弦公式》是高中数学人教A版必修4第三章第一节的内容,处于三角函数与数学变换的结合点和交汇点上.三角变换公式不仅能进一步拓宽三角函数求值的范围,并且具有预测变换目标、选择变换公式、设计变换途径等训练功能,所以对三角变换公式的理解与掌握十分重要.我们知道三角函数具有非常完美的对称性.

摘要：本文给出“等比数列前n项和公式”的一种教学设计,从解决特殊问题入手,逐步将问题推广,每一“特殊”情形问题的解决,都经历了“观察一归纳检验一证明”的过程,引导学生将猜想确定为正确的结论,从合情推理上升到论证推理,在一般化的过程中完成对等比数列前n项和公式的讨论。