« Journal on Emergent Algorithms | Main | Writing a debugger for C# in C# »
October 03, 2005
Vocabulary for "Modeling, Optimization and Computation for Software Verification" by Roozbehani et al
I am reading this great paper on Modeling and verification of software from a control theoretic point of view. It a different approach to the same problem on of my MS students and I are thinking about. Sadly, I don't have the vocabulary to understand the paper. I also find taht I do better when I write down what I learn. Here goes...
- Affine Transformation -- From MathWorld: Preserves lines and proportions but not angles. All triangles are in the same affine class.
Posted by jones at October 3, 2005 03:49 PM
Comments
Given a m-dimensional vector to transform, all affine transformations can be represented as m+1 by m+1 dimensional matrices, with a bottom row (or, equivalvently, right column) of 0,0,0....0,1, multiplied by the original vector with a postpended 1.
In that sense they are linear, or first-order transformations.
Not all affine transformations are reversible.
Posted by: Luther ![[TypeKey Profile Page]](http://vv.cs.byu.edu/~jones/blog/nav-commenters.gif)
at November 4, 2005 03:01 PM
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)