摘要：分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.

摘要：《平衡》一课由两个部分(三个实验)组成,平衡的概念(一个实验),平衡的条件(两个实验)。我们设计了“观察器材”——“放手让学生自己试”——“带点任务继续试”,让儿童充分地活动、充分地感知,达到不知不觉地形成能力、学到知识的目的。这种设计没有中断儿童的感知活动和思维过程。让儿童自接触器材开始到明白道理为止,始终是在完成一个实验,始终是在积极地思考。不必说。儿童们也始终是处在高度的兴奋之中。

摘要：在研究一种弹性腿机构的基础上，建立了两足步行机器人的动力学模型，设计了上阶梯的动步态．仿真结果表明，在腿机构的适当位置加入弹性阻尼元件能够减少驱动力矩（力）以及驱动功率的峰值．

摘要：本文是关于美国机械系统四个学科研究动向的综述和发展预测。这四个学科是机器动力学、动力学系统与控制、设计方法学与交互式计算机图形学,摩擦学.它们中的大部分内容虽属于机械学的范畴,但区别于传统的机械学,已具有交叉学科的特征。材料主要来源于由美国一些著名大学与产业部门研究单位的著名学者组成的专家小组的专题研究报告及讨论意见。

摘要：本文首先应用线性无关矢量法对平面八杆机构作了讨论,得出了满足静平衡条件的构件设计方程;进而对已设计好的任意形状的构件,通过加平衡质矢,使其质量重新分配,从而满足动代换条件,得到了任意形状构件满足动代换条件的设计方程,最后使用动代换法,对平面八杆机构的平衡问题重作讨论,实现了平面八杆机构惯性力和惯性力矩的完全平衡。

摘要：提出了机构元知识的表达及机构元的计算机编码方法 ,并在此基础上 ,构建机构元库 ;给出了基于机构元库的双向递归搜索的求解算法及对推理求解得出的初步可行方案的模糊评价与优选准则 ,最后根据上述方法。

摘要：　讨论了乘法器用于补码运算的几种算法。通过比较,发现改进型Booth算法是较为理想的算法。该算法在不考虑乘数和被乘数符号的情况下,都可以用统一的步骤来完成乘法运算,而且无需对乘积作任何修正,这极大地提高了乘法器的运算速度。结合改进型Booth算法,设计了一个高性能32位浮点阵列乘法器,它能在单个时钟周期内完成一次24位整数乘或32位浮点乘。该乘法器适于VLSI实现,已被应用于DSP芯片设计之中。

摘要：基于FIR算法在数字信号处理系统中的重要性以及当前对于高性能实时处理的需求,在一款可重构专用处理器平台上实现了FIR算法的并行化。并且对传统的直接型乘累加器进行了改进,提出了一种效率更高、延时更低的乘累加器,提高了FIR算法的性能。实验结果表明,设计的并行FIR滤波器误差在10^(-8)量级,对大于1 k点的FIR运算并行化效率达95%以上,加速比达3.85以上。

摘要：该工程船闸采用地下式,属于新型结构,且无建好的工程实例,地下式船闸布置、受力复杂,施工工期长,对勘察、设计、施工及管理提出较高的要求。基于BIM技术开展地下船闸的三维设计,并采用有限元对围岩稳定进行分析提出合理的支护方案。