平面连杆机构分析的几何归约方法

本文采用几何归约理论分析了平面连杆机构的和它的归约树表达，解决平面运动链的驱动副选择问题，采用归约算法实现了机构系统和二维构件装配的运动仿真。

命令式语言的精确约束时间分析(英文)

构造程序语言的部分计值器时最重要的一步是约束时间分析 .当已知程序的部分输入时 ,约束时间分析阶段是区分程序中哪些计算可在部分计值时完成 ,哪些计算须在运行时完成 .然而对实际应用程序 ,已存在的部分计值器并没有较好对程序进行优化得到执行效率高的剩余程序 ,其主要原因是对程序没有精确提取约束时间分析信息 .该文作者应用与前人不同的方法 ,将约束时间分析分为 3个阶段 :约束时间、递归调用分析、相关性分析 ,通过各阶段分析以提取更精确的约束时间分析信息 ,从而得到高效率的剩余程序 .此外 ,该文提供了相应程序变换规则 ,分析各个程序的子结构模块 ,在例化时完成相应计算并生成剩余程序 .