etl workflow analysis and verification using backwards constraint propagation

University of Twente; Centre for Telematics and Information Technology; Netherlands Organisation for Scientific Research; Jacquard; Capgemini

extending the boundary of spreadsheet programming: lessons learned from chinese governmental projects

ICSE

基于超冗余度机械臂动力学的时间最优轨迹规划

基于超冗余度机械臂的动力学方程 ,提出了一种超冗余度机械臂同时受速度和力矩约束的时间最优轨迹规划方法 .它首先采用 B样条曲线拟合无碰撞离散路径 ,得到由伪位移参数 s表示的超冗余度机械臂连续、光滑运动路径 ,然后对动力学方程和约束方程进行数学变换 ,得到由 s表示的动力学方程和约束方程 ,最后以 s和伪速度 s· 分别作为动态规划的阶段变量和状态变量 ,对超冗余度机械臂进行时间最优轨迹规划 .仿真结果表明 ,所给出的时间最优轨迹规划算法是正确的 ,所采取的解决方法是可行的

双机械臂协调系统的一类最优轨迹规划方法

三维物体识别及姿态测定的推理系统

本文介绍了三维物体识别及姿态测定的一种新技术，从物体空间域模型出发，通过约束推理及几何推理，在物体三维信息部分给定的条件下，推断预测图象模型，并通过实测的图象数据反馈，推断出隐含在图象中未给定的三维信息，最终实现三维物体识别及姿态测定。整个系统在ＶＩＣＯＭ机上用Ｃ语言完成。

基于动力学约束的机械臂最优关节轨迹规划

本文提出了基于机械臂关节驱动力矩约束方程规划其关节最优运动轨迹的一种有效方法.该方法运用矩阵范数理论简化机械臂的动力学约束方程;在机械臂的关节空间内采用归一化的无因次量运用非线性规划法优化其运动轨迹.将所规划的无因次量轨迹方程作为机械臂产生实际运动轨迹的发生器,通过给定机械臂各运动段的起始和终止关节坐标,由系统的动力学约束方程计算出整个运动段所允许的最短运行时间,即生成所期望的运动轨迹.本文的轨迹规划方法计算效率高,可用于在线轨迹规划,文中通过算例证实了该方法的实用性.

Advanced Programming Language Features for Executable Design Patterns "Better Patterns Through Reflection

The Design Patterns book [GOF95] presents 24 time-tested patterns that consistently appear in well-designed software systems. Each pattern is presented with a description of the design problem the pattern addresses, as well as sample implementation code and design considerations. This paper explores how the patterns from the "Gang of Four'', or "GOF'' book, as it is often called, appear when similar problems are addressed using a dynamic, higher-order, object-oriented programming language. Some of the patterns disappear -- that is, they are supported directly by language features, some patterns are simpler or have a different focus, and some are essentially unchanged.