" /> Visio Guy » Happy Pi Day…Sort Of

## Happy Pi Day…Sort Of

Submitted by on May 1, 2009 – 5:45 am | | 31633 views 9 Comments

In the US, March 14th is known to math fans as “Pi Day”, because in the US, we have a “special” date format (that makes dates much easier to sort and scan–trust me on this…)

Anyway, March 14th is written as: “3/14”, or perhaps 3.14. Pi Day. Get it?

Sadly, the rest of the world has no cause to celebrate, as March 14th is simply “14.3”–just another day on the calendar.

But today is May 1st, which could be abstracted to April 31st, which would be written in non-believing countries as 31.4. Pretty close. So I”m nominating today as “Metric Pi Day”.

To celebrate, I’m going to talk about Pi- and circle-related features in Visio! Today’s article is a hodge-podge of many end-user and ShapeSheet-related topics that have to do with circles and angles and Pi!

## Pie Chart Shapes

Visio has a built-in Pie chart master shape that you can use for quickly illustrating small data sets. You’ll find it on the Charting Shapes stencil, which you can get to by following the menus: Files > Shapes > Business > Charts and Graphs > Charting Shapes.

With the Pie chart shape, you can make simple illustrations like this:

The shape isn’t very easy to use, so I’ll offer you some tips.

1. You have to first specify the number of slices, then enter the values. You can do this by right-clicking the shape.
2. You are responsible for making the values add up to 100%.
3. The shape toggles the visibility of Shape Data fields on and off depending on whether or you are setting values or choosing the number of slices. So right-click the shape if the Shape Data fields shown don’t make sense.
4. You can individually format slices by subselecting wedges. Click on the shape, wait a half-second, then click again on a wedge. Now you can format it.
5. You can add to the text by sub-selecting as well. Sub-select a wedge, then press F2 to enter text-edit mode. Now move the cursor to before or after the number value and type your text.  Make sure not to overwrite the % value or you won’t be able to get it back!
6. You can move the position of each wedge’s text using the Text Block Tool. This is located under the big “A” on the Standard toolbar (you have to drop-down the little arrow to get to the “A” with a circle around it) Now you can sub-select and move text blocks around.

## Circle, Arc and Ellipse Tools

If you haven’t drawn a circle in Visio before, pay a visit to the Drawing toolbar. There you’ll find the Ellipse Tool, right between the Rectangle tool and the Line tool:

For keyboard shortcut lovers, Ctrl + 9 will get you the Ellipse tool instantly. Once you’ve got it, just click and drag a circle or ellipse in the drawing page. (Ctrl+1 will get you back to the Pointer tool afterwards)

### Constrain to Circle

If you hold down the Shift key while drawing a circle, Visio will ensure that you get a perfect circle and not an ellipse.

But the circle will remain a circle forever, even if you try to independently resize the width or height! This is because Visio (somewhat annoyingly) locks the aspect ratio.

If you need to “un-circle” a circle, try one of these methods:

• Go to Format > Protection and uncheck Aspect ratio\
• Go into the ShapeSheet and set the LockAspect cell in the Protection section to FALSE
• My favorite method: Alt + S, N, F which invokes Shape > Operations > Fragment. This blows away the shape and replaces it with a cut-out of the very same shape, but without the locked aspect. Weird, I know.

### Arc Tool

The Arc Tool button is between the Line Tool and the Freeform Tools on the Drawing toolbar. You can quickly draw quarter-ellipses and quarter circles with this. The shortcut for this tool is: Ctrl + 7

Pencil Tool

The Pencil Tool (shortcut: Ctrl + 4) offers some gesture recognition. With it, you can draw straight lines or circular arcs, depending on which way you move the mouse and how fast.

You can also change straight lines into circular arcs by selecting shapes that have already been drawn and manipulating the midpoints along segments.

These points only show when you have the pencil tool. Here we can see a rectangle getting a domed roof, thanks to the Pencil Tool:

## Angle, Rotation and Insertion Points

### Rotation and Pin Handles

You can rotate a shape by pulling on the green lollipop handle that sticks out of the top, when the shape is selected. And you can change the point about which the shape rotates by moving the pin point.

When you select a shape, pause the mouse over the lollipop at the top for a second or two. The rotation point will then show (usually in the middle) like we see here:

Once the pin appears, you can drag it to a different location, relative to the shape. Above, it looks as if we’re going to move the rotation point to the upper-left corner of the shape.

### ShapeSheet Cells For Position and Rotation

You’ll notice that I’ve mentioned pin, insertion point and rotation point all in the last few sentences. That’s because they are all related, and in some sense are different sides of the same thing!

There are a few ShapeSheet cells that have to do with angles, rotation and placement of shapes. Despite seemingly separate concepts, they are actually all related.

When you place a shape on a page, you pin it to the page, so to speak. The location at which you drop the shape is specified by the PinX and PinY cells in the Shape Transform section of a shape’s ShapeSheet. PinX and PinY are in the coordinate space of the page.

But the pin must also pass through the shape at some point. This location is called the local pin, and is specified by the LocPinX and LocPinY cells, also in the Shape Transform section. The LocPin is specified in the shape’s coordinate space. It allows you to place the insertion point anywhere on the shape. An insertion point is where a shape drops relative to the mouse when you drag it from the stencil.

Normally, the LocPin is located right in the middle of a shape, at (LocPinX = Width*0.5, LocPinY = Height*0.5). But you could move it to the upper-left corner by changing the formulas to (LocPinX = Width*0, LocPinY = Height*1.0). You can see a nice 3D illustration of the Pin and LocPin relations on the  Visio Art Page and look for the Pin and LocPin Illustration near the bottom.

As we saw with the shape handles, the insertion point/pin is also the point about which a shape rotates. When you rotate a shape, the value in the Angle cell changes accordingly. Or, of course, you can change the value in the Angle cell and the shape will rotate!

### Text Block Position and Rotation

As the shape sticks to the page via the Pin and LocPin, the text block of a shape is located analogously relative to shape.

Each shape has a text block that can be manipulated with the Text Block Tool. You’ll find it under the “A” on the Standard Toolbar.

click to view larger image

When you select the Text Block tool and work with a shape, you’ll be able to resize, reposition, rotate the text similar to the way you can with the shape. (Note: you can’t change the text’s relative rotation point using this tool) As the shape is positioned and rotated relative to the page, the text block is positioned and rotated relative to the shape.

Inside of the ShapeSheet there is a Text Transform section, which contains the cells TxtAngle, TxtPinX, TxtPinY, TxtLocPinX and TxtLocPinY cells. These govern the text block just as the similarly named cells in the Shape Transform section govern the shape.

Note: by default, the Text Transform section is not visible in the ShapeSheet. You’ll either have to “Insert > Section” it inside of the ShapeSheet, or manipulate the text block using the Text Block tool. Once you’ve changed the default text block, the section will be visible in the ShapeSheet.

### Rotation Constraints

When you rotate a shape, there is some control over the snapping of the angle. The closer you are to the pin while rotating, the rougher the angle-snapping. This is easier to see if you glance down at the Status bar in the lower-left corner of the main Visio window. You can change the angle snapping from 5° to 0.1° just by changing the radius of your cursor from the pin!

You can also quickly rotate a shape 90° by using the keyboard shortcuts Ctrl+L and Ctrl+R. I think of them as L = Left and R = Right for 90° counter-clockwise and clockwise, respectively.

## Corner Rounding

If you want to soften the look of your shape and take the rough edges off, you can add corner rounding to the shape.

The easiest way to do this is via the Format Shape toolbar, which contains the Corner Rounding button. This offers a drop-down list of various pre-set corner roundings, or you can specify a custom measurement by clicking on More Corner Roundings….

You can also specify corner rounding via the Format > Line dialog, and if you specify line styles (Format > Define Styles…, Developer mode only in Visio 2007), they can also include corner rounding.

## ShapeSheet Trigonometric and Angle-related Functions

Visio’s ShapeSheet is replete with functions to help you get your circle-related operations done in a flash. Here’s a run-down of what’s on offer.

### Built-in Functions

These functions can be typed directly into ShapeSheet cells. Or you can use the Insert > Function menu in case you forget. The insert feature also gives you dummy arguments to help remind you of what arguments the function requires.

ACOS( number )
Arccosine, returns the angle whose cosine is number. Result is an angle between 0 and PI radians ( 0° and 180°). Number must be between -1 and 1.

ANG360( angle )
Normalizes an angle to be between 0 and 2PI
radians (0° and 360°). If no units are specified, then the result is in radians. Use “deg” to get results in degrees.

ANGLETOLOC( srcAngle, srcRef, dstRef )
Transforms an angle from local coordinates in a source shape to local coordinates in a destinati0n shape. srcRef and dstRef can be references to any cell in the source and destination ShapeSheets, for example: Sheet.4!Width or ThePage!PageHeight.

ANGLETOPAR( srcAngle, srcRef, dstRef )
Transforms an angle from local coordinates in a source shape to parent coordinates in a destinati0n shape. srcRef and dstRef can be references to any cell in the source and destination ShapeSheets, for example: Sheet.4!Width or ThePage!PageHeight.

ASIN( number )
Arcsine, returns the angle whose sine is number. Result is an angle between -PI/2 and PI/2 radians ( -90° and +90°). Number must be between -1 and 1.

ATAN( number )
Arctangent,
returns the angle whose tangent is number. Result is an angle between -PI/2 and PI/2 radians ( -90° and +90°). Usually you think of number as the slope of a line, but watch out for divide-by-zero situations (ie: 0° and 180°). This function can also give bad results for geometric applications, because it doesn’t distinguish between angles in the 1st/3rd quadrants or 2ne/4th quadrants. Use ATAN2 instead.

ATAN2( dy, dx )
A nicer version of the arctangent function, takes separate “rise over run” arguments, avoids divide-by-zero problems and returns the real angle of the line, in the proper coordinate. Ie: the result is between 0 and 2PI ( 0° and +360°)

COS( angle )
Cosine, returns the “adjacent over hypotenuse” ratio for a given angle. You can specify units for the angle, or default to radians if no units are given.

DEG( angle )
Converts the value of an angle in radians to degrees.

GRAVITY( angle, limit1, limit2 )
Returns 0
° or 180°, depending on where angle falls between the limits.  GRAVITY is intended primarily for text blocks, often used in the TxtAngle ShapeSheet cell of the Text Transform section. The idea is that as a shape is rotated, it’s text should orient towards the right-side or bottom of a page.

Think about a shape rotated to 10°, fairly horizontal. The text is easily read as “right side up.” At 70°,  the shape is starting to get vertically oriented, and the text is oriented toward the right side of the page – you could read it if you rotated the page to the right. If you rotate the shape further to 150°  the text looks upside down–you’d have to rotated the page a half-turn to read the text. The GRAVITY formula will return a text-flipping, 180° in this instance.

You can see GRAVITY at work here:

click to view larger image

Many Visio shapes use GRAVITY as follows: TxtAngle = GRAVITY(Angle, -60 deg, 120 deg)

PI( )
When you need our old friend
3.1415926535898, just type PI(). The parentheses are empty, but it’s a function so you need them!

RECTSECT( width, height, x, y, option )
Returns the “sector” of a point within a rectangular region. By “sector” it is meant one of the regions formed when you make an X by connecting the diagonals of a rectangle. The result is 1 for the “3 o’clock” zone, 2 for the “12 o’clock zone, 3 for the “9 o’clock” zone and 4 for the “6 o’clock” zone.

SIN( angle )
Sine, returns the “opposite over hypotenuse” ratio for a given angle. You can specify units for the angle, or default to radians if no units are given.

SQRT( number )
Square Root. Not directly related to circle-stuff, but you often run into triangle situations when creating Visio SmartShapes. You can use SQRT with the Pythagorean theorem to calculate hypotenuses using hyp = SQRT( dx^2 + dy^2).

TAN( angle )
Tangent, returns the “opposite over adjacent over” ratio for a given angle. You can specify units for the angle, or default to radians if no units are given. Watch out for divide-by-zero situations!

### Derived Functions

If you are missing some trignometric relations from the ShapeSheet’s function set, you can derive them! The VBA help offers a bunch of suggested derivations that I thought followed nicely here:

• Secant, Sec( angle ) = 1 / COS( angle )
• Cosecant, Cosec( angle ) = 1 / SIN( angle )
• Cotangent, Cotan( angle ) = 1 / TAN( angle )
• Inverse Sine, Arcsin( val ) = ATN( val / Sqr( –val * val + 1) )
• Inverse Cosine, Arccos( val ) = ATN( -val / SQR( -val * val + 1) ) + 2 * ATN(1)
• Inverse Secant, Arcsec( val ) = ATN( val / SQR( val * val – 1) ) + SIGN( (val) – 1) * (2 * ATN1) )
• Inverse Cosecant Arccosec( val ) = ATN( val / SQR( val * val – 1)) + (SIGN( val ) – 1 ) * ( 2 * ATN(1) )
• Inverse Cotangent Arccotan( val ) = Atn( val ) + 2 * ATN(1)

You could even get fancy and define these as custom ShapeSheet functions. Learn about those here: User-defined ShapeSheet Functions in Visio 2007.

## Visio Guy Circle-related Articles

While we’re talking about circles and PI, let’s not forget these past articles on the theme:

## More Pi Stuff

• […] illustration that was recently posted in Happy Pi Day…Sort Of, shows how GRAVITY effects text as a shape is […]

• […] Setting the options of the shape are as easy as pie: […]

• Russell says:

Hi Visio guy,

In Australia we write our dates dd/mm/yyyy, so July 22 would be our Pi day. 22/7 = 3.14

• Miles says:

One little thing – locPin can be outside the shape which can be useful if you want to rotate a copy of a shape around a point external to the shape (e.g. petals on a flower) – just have width*1.5 etc. Great article as always

• Visio Guy says:

Good point, Miles!

In the illustration for “gravity” text, I moved the pin/rotation point off of the left side of the rectangle (the one at 3 O’ Clock), made 11 in-place duplicates, then rotated them into position.

Having the out-of-box pin made it easy to make a circle of non-overlapping rectangles!

• […] I already had Camtasia Studio installed on my ThinkPad. A quick internet search revealed that to make a time-lapse video all you have to do is right-click on the video clips in your timeline and increase the speed to some percentage over 100. Easy as pie! […]

• Jack says:

Hi Visioguy,

in the article you show how you can add gravity to txtangle.

Is this also posible with the text of Shape Data Graphics ?

I am a visio 2010 user.

greets

• Visio Guy says:

Hi Jack,

Data graphics and data graphic items are stored as hidden masters in the Document Stencil of each drawing. You can access them via the Drawing explorer, and certainly customize their ShapeSheet formulas.

If what I just said sounds obscure, that is because it is. If you are already a seasoned meddler with the ShapeSheet, then perhaps I’ve given you some clues as to what you can do. Otherwise, I’m probably sounding like a crazy man.

I can’t cover everything in detail in a short comment, the topic is too deep and involves too much black magic, hehe!

• Drs says:

1. ?? ?????????????????????????????????????????????????????????????——?????CS?????????????????????????????????????????????????????????????sparsity????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????incoherence????????????????????????????????Dirac????????????????????${\Psi}$?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????CS????????????????????????????????????????????????????????????2. ???? ????${f\left(x\right)}$???????$\displaystyle y_{k}=\left\langle f,\varphi_{k}\right\rangle ,\qquad k=1,\ldots,m.\ \ \ \ \ (1)$???????????????????${\varphi_{k}}$???????????????????????Dirac delta?????????${y}$??${f}$????????????????????????????????${y}$?????????????????????????????????????${y}$??Fourier???????? (MRI)???????????????????????CS?????????????${f\in\mathbb{R}^{n}}$?????????????????????????????????????????????${m}$?????${f}$???${n}$?????????????????????????????????????????????????????????????MRI????????????????????????????????${m\ll n}$???????????????????${m\ll n}$???????????????${f}$?????????????????${f}$????????????????????????????????${A}$??${\varphi_{1}^{*},\varphi_{2}^{*},\varphi_{3}^{*}, ,\varphi_{m}^{*}}$???${m\times n}$?????${\varphi^{*}}$?${\varphi}$??????${m???${y=Af\in\mathbb{R}^{m}}$??${f\in\mathbb{R}^{n}}$?????????????????????????????????????????????????3. ???????? 3.1. ??? ??????????????????????????1??????????????????????????????????????????????????????????????????????????????????????????????${f\in\mathbb{R}^{n}}$?????(?????)${\Psi=\left[\Psi_{1},\Psi_{1},\ldots,\Psi_{1}\right]}$?????$\displaystyle \ensuremath{{\rm {f}}\left({\rm {t}}\right)=\mathop\sum\limits _{{\rm {i}}=1}^{{\rm {n}}}{{\rm {x}}_{{\rm {i}}}}{{\rm {\psi}}_{{\rm {i}}}}({\rm {t}})}\ \ \ \ \ (2)$${x}$?????${x_{i}=\left\langle f,\Psi_{i}\left(t\right)\right\rangle }$??${f}$???${\mathbf{\Psi x}}$??????????????????????????????????????????${f_{s}(t)}$???????${S}$?????${(x_{i})}$??????????${f_{s}:=\Psi x_{s}}$???${x_{s}}$??????${x_{i}}$??????${S}$?????????0????????????????????????????????????0????????${S}$????????${S}$-??????${\Psi}$?????????${\|f-f_{s}\|_{\ell_{2}}=\|x-x_{s}\|_{\ell_{2}}}$??${x}$??????????????????${x}$??????${x_{s}}$?????${\|f-f_{s}\|_{\ell_{2}}}$??????????????????????????????????????1????????????1????????97.5%?????????????????????????????JPEG-2000????????????????????????????${f}$??${x}$??????????${S}$???????????????????????????${n}$???${x}$????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? 3.2. ????? ??????${\mathbb{R}^{n}}$??????${\left(\Phi,\Psi\right)}$,????${\Phi}$?????1???????${f}$?????????${f}$????????????????????????? \begin{defn*} 1 ${\Phi}$?${\Psi}$???????$\displaystyle \mu\left(\Phi,\Psi\right)=\sqrt{x}\mathop{\max}\limits _{1\le k,j\le n}\left|{\left\langle {{\varphi_{k}},{\psi_{j}}}\right\rangle }\right|\ \ \ \ \ (3)$\end{defn*} ?????????????${\Phi}$?${\Psi}$????????????????${\Phi}$?${\Psi}$??????????${\mu}$????????????????????${\mu\left(\Phi,\Psi\right)\in\left[1,\sqrt{n}\right]}$????????????????????Parseval????????????????${j}$?${\sum\nolimits _{k=1}^{n}{{{\left|{\left\langle {{\varphi_{k}},{\Psi_{j}}}\right\rangle }\right|}^{2}}=\left\Vert {\Psi_{j}}\right\Vert _{{\ell_{2}}}^{2}}=1}$??????????????????????????????????????${\Phi}$????????${\varphi_{k}\left(t\right)=\delta\left(t-k\right)}$?${\Psi}$?Fourier??${{\Psi_{j}}\left(t\right)={n^{{{-1}\mathord{\left/{\vphantom{{-1}2}}\right.\kern -\nulldelimiterspace}2}}}{e^{{{i2\pi jt}\mathord{\left/{\vphantom{{i2\pi jt}n}}\right.\kern -\nulldelimiterspace}n}}}}$???${\Phi}$????????????????????????????${\mu\left(\Phi,\Psi\right)=1}$????????????????????????1-D????????????????2D?3D??????????${\Psi}$?????${\Phi}$?Noiselets?Noiselets?Harr????????${\sqrt{2}}$??Daubechies D4? D8?????????2.2?2.9???????????${n}$?????????????????Noiselets???????????????Fourier???????????????Noiselets?????1???????????????????????????2??????????????Noiselets????${O(n)}$, ?Fourier????Noiselets????????????????????????????????????CS????????????????????????????${\Psi}$???????????????????????${n}$???????????? ??????${\Phi}$?????????${\Phi}$?${\Psi}$??????${\sqrt{2\log n}}$???????????????????${\varphi_{k}\left(t\right)}$??????????${\Psi}$???????????Gauss??${\pm1}$????????????????????????????????????????????????????????????? 3.3. ?????????? ????????????${f}$?${n}$????????????????????????$\displaystyle y_{k}=\left(f,\varphi_{k}\right),\quad k\in M\ \ \ \ \ (4)$??${M\subset\left\{ 1,\ldots,n\right\} }$???\nomenclature{??}{?cardinality????????????????????????}${m???????????????${\ell_{1}}$-???${\|x\|_{\ell_{1}}:=\sum_{i}|x_{i}|}$???????????????${f^{*}}$?${f^{*}=\Psi x^{*}}$???${x^{*}}$???????????$\displaystyle {\min_{\tilde{x}\in{\mathbb{R}^{n}}}}{\left\Vert {\tilde{x}}\right\Vert _{{\ell_{1}}}}\qquad s.t.\qquad{y_{k}}=\left\langle {{\varphi_{k}},\Psi\tilde{x}}\right\rangle ,\quad\forall k\in M\ \ \ \ \ (5)$?????????????${f^{*}=\Psi x^{*}}$??????${\ell_{1}}$-?????????${\ell_{1}}$-????????????????????????????????????????????????????????????????${\ell_{1}}$-????????????????????????????????????????${f}$????????????${\ell_{1}}$-???????????? \begin{thm*} 1??${f\in\mathbb{R}^{n}}$?????${\Psi}$?????${x}$?${S}$-?????${\Phi}$?????????${m}$???????????????${C}$??$\displaystyle m\geq C\mu^{2}\left(\Phi,\Psi\right)\cdot S\cdot\log n\ \ \ \ \ (6)$??????????????? \end{thm*} ??????????????????????????????????????????????????????????${m}$??????????????????????????????${\mu\left(\Phi,\Psi\right)}$??????1???\foreignlanguage{english}{${S\cdot\log n}$}???????????${n}$????????${x}$????????????????${f}$?????????????????????????????????????????????????????????????????????????????????????????????????????????????????${\ell_{1}}$-??????????????????????????????????????????????????????????????CS??????????????????????????$\displaystyle f\left(t\right)=\sum_{j=0}^{n-1}x_{j}e^{i2\pi jt/n},\, t=0,\dots,n-1,$????${n}$????????${x_{j}}$?????${S}$????????????????????????????????????????????????????????????Nyquist/Shannon???????????????????????????????${n}$??????????????????1????????\foreignlanguage{english}{${S\cdot\log n}$}????????????${S}$????????????????????????????????????????????2?????????????????????????????????????????????????${m}$??????????????????????????????????${\Phi}$?????????????????${f}$?????${n}$????????(e.g. ${n-S}$)????${k\text{\ensuremath{\in}}M}$?${y_{k}=\left\langle f,\varphi_{k}\right\rangle =0}$????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????${\mu^{2}\cdot S\cdot\log n}$???????????????????????????????????????????????????1?????????${S\cdot\log n}$???????????????????????????????????????????????????????????????????????25000?????96000????????????????????????????????4?????????????????????????????4:1???????????????????????????????4???????4. ?????? ??????????????????????????????????CS?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????$\displaystyle y=Ax+z\ \ \ \ \ (7)$????${x\in\mathbb{R}^{n}}$?${A}$?????${x}$???${m\times n}$?????${z}$???????????????${f=\Psi x}$?${y=R\Phi f}$?${R}$??${M}$????????${m\times n}$?????${A=R\Phi\Psi}$?????${y=Ax}$?????????????${x}$?????????????????? 4.1. ????? ??????restricted isometry preoprty (RIP)???CS?????????????????? \begin{defn*} 2??????${s=1,2,\ldots,}$????A?????${\delta_{s}}$?????$\displaystyle \left({1-{\delta_{s}}}\right)\left\Vert x\right\Vert _{{\ell_{2}}}^{2}\leqslant\left\Vert {Ax}\right\Vert _{{\ell_{2}}}^{2}\leqslant\left({1+{\delta_{s}}}\right)\left\Vert x\right\Vert _{{\ell_{2}}}^{2}\ \ \ \ \ (8)$ ???${s}$-????${x}$??????? \end{defn*} ??${\delta_{s}}$?????1???????????${A}$??${s}$????????????????${A}$????${S}$-????????????????${S}$-????????${A}$?????????????????????????????????????????${A}$?${S}$???????????${A}$??????????????????????????CS?????????????${A}$??${S}$-?????????${\delta_{2S}<1}$,?????????${y=Ax}$????${x}$????${x}$????${y=A\tilde{x}}$???????????????????????????????${x+h,h\neq0}$???${Ah=0}$?${h}$?????${2S+1}$???????${x+h}$???${S+1}$??????????${\delta_{2S}=1}$????${A}$?${2S}$?????????????${2S}$-????${h}$??${Ah=0}$????${h}$???${x-x'}$?${x}$? ${x'}$??${S}$-?????????${Ax-Ax'}$????????????????????????????????????????????????${S}$-?????????${\delta_{2S}<1}$,????${\|Ax\|_{\ell_{2}}}$???? 4.2. ??????? ??????????????????$\displaystyle {\min_{\tilde{x}\in{\mathbb{R}^{n}}}}{\left\Vert {\tilde{x}}\right\Vert _{{\ell_{1}}}}\qquad s.t.\qquad A\tilde{x}=y\left({=Ax}\right)\ \ \ \ \ (9)$ ?????????? \begin{thm*} 2??${\delta_{2S}<\sqrt{2}-1}$???????${x^{*}}$?????${C_{0}}$???$\displaystyle {\left\Vert {{x^{*}}-x}\right\Vert _{{\ell_{2}}}}\leqslant{C_{0}}\cdot{\left\Vert {x-{x_{S}}}\right\Vert _{{\ell_{1}}}}/\sqrt{S}\quad and\quad{\left\Vert {{x^{*}}-x}\right\Vert _{{\ell_{1}}}}\leqslant{C_{0}}\cdot{\left\Vert {x-{x_{S}}}\right\Vert _{{\ell_{1}}}}\ \ \ \ \ (10)$ ${x_{S}}$??????${S}$????????????${x}$???????????1???${x}$?${S}$-????${x=x_{S}}$???????????${x}$??${S}$-?????????????????????????${S}$???${x}$????????????????????????????????????????${S}$?????????? \end{thm*} ??????????????????????????????????????????????${A}$????????????????????????${S}$-??????????????????????${S}$??????????????????????????${\mathbb{R}^{n}}$????????????????????????????????${S}$????????????${m}$?????????????????????????????????${S}$??${m}$???????????????????????????????????????????????????CS????? 4.3. ????????? ??????????????${\ell_{1}}$????????$\displaystyle \min{\left\Vert {\tilde{x}}\right\Vert _{{\ell_{1}}}}\qquad s.t.\qquad{\left\Vert {A\tilde{x}-y}\right\Vert _{{\ell_{2}}}}\leqslant\epsilon\ \ \ \ \ (11)$${\epsilon}$??????????????{[}21{]}?{[}22{]}???LASSO???????????{[}8{]}????????????????????????????????????????????? \begin{thm*} 3??${\delta_{2S}0}$???${O\left(n^{-\beta}\right)}$???????5???4(???? ???${\text{\ensuremath{\log}}n}$?????????????????????????????????????????????${A=\Phi\Psi}$?????????????${\Psi}$???????${\Phi}$??????????????????????${\Psi}$????1?4??????????$\displaystyle m\geq C\cdot\log\left(n/S\right)\ \ \ \ \ (15)$???${A=\Phi\Psi}$???????????????RIP????${C}$??????????????????????${\Phi}$?????????????????????????????6. ???????? ????????????????????????????????????????????????????????????????????????????${f}$?????????????????????????????????${f_{S}}$??????????????????????????????????????????????????????????????k????CS??????????????????????????????????????5??${O(S\log(n/S))}$???????????????????????????${f_{S}}$???????????????${S}$???????????????CS???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? hearing without listening??CS????????????Reed-Solomon???????????????????????????????????????????????????CS???????????${2S}$? Fourier??$\displaystyle {y_{k}}=\sum\limits _{t=0}^{n-1}{{x_{t}}{e^{-i2\pi kt/n}}},\quad k=0,1,2,\ldots,2S-1\ \ \ \ \ (16)$?????${2S}$?????????????${S}$-???????????????????${S\times S}$ Toeplitz??????${n}$?FFT??????????????????????????????????????Reed-Solomon???????????????????????????????????????????????${2S}$?Fourier?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????CS?????????7. ?? ?????????????${S\ll n}$????????????????????????????????????????????????????????????????????????????????????????????????${\Phi}$??????????????????${\Psi}$?????????????${f}$?????${\Psi}$??????${\Psi}$?????????????????????????????????????????????Nowak?? ?Goyal??????????????????{[}15{]}???????????CS???????????????????????????????????????????????????????${f}$??????????????????${\Phi}$????${\Phi}$???${f}$????${\Psi}$??????????????????????MR???????????MR?????????${\Phi}$??${f}$?Fourier????????????${f}$???????????????????????Lustig??????????????????????????n??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????CCD?CMOS?????????????CS??????????????????????????????????????????????Baraniuk?????????????????????????????-???A/I????????????????????-???A/D????????????????1GHz???????????????????????????????????????????????????????A/I??????????????${y_{k}}$?????????????${f}$???????${\varphi_{k}}$???${\left\langle f,\varphi_{k}\right\rangle }$??????CS????????????????????????????????${\Psi}$??????????????????????????????????????????CS??????????????????????????????????????????????????????/????????????????????????}~???????NUS????????????????????????${{y_{k}}=f\left({t_{k}}\right)=\left\langle {f,{\delta_{{t_{k}}}}}\right\rangle }$?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????RPI?????????????????????-???????????????????????????????????????????????????????????RPI????????5?????1??1?????????????????????????????????????????????????????-???????????????????????????????RPI??????${\pm1}$?????????????CS???????????????????????????????????????????????????????????????????????????????A/I????????????????CS??????????????????????????????????????????????${f}$???${n=512}$?1-D?????????????6??????????????????????${\pm1}$???????${m\times n}$????${\Phi}$? ??${m=30}$??????????????????????17?????????????-?Gabor??${\Psi}$???Gaussian????????????????????????????????${43\times}$overcomplete???????${f}$???????6???????${{\left\Vert x\right\Vert _{{\ell_{1}}}}}$????${y=\Phi\Psi x}$????????????????????${{\left\Vert {f-{f^{*}}}\right\Vert _{{\ell_{2}}}}/{\left\Vert f\right\Vert _{{\ell_{2}}}}\approx0.67}$???????????????${\ell_{1}}$?????????????????????????${{\left\Vert {\Psi*\tilde{f}}\right\Vert _{{\ell_{1}}}}\; s.t.\; y=\Phi\tilde{f}}$???${\Psi}$????????????????????????${f^{*}}$????${\ell_{1}}$-??????????????????????????????????6?????????4???????????${{\left\Vert {f-{f^{*}}}\right\Vert _{{\ell_{2}}}}/{\left\Vert f\right\Vert _{{\ell_{2}}}}\approx0.022}$??????????????????????{[}30{]}??????????????????????????????????????????????????CS?????????????????a0References[1] E.J. Candes, J. Romberg, and T. Tao. Robust uncertainty principles: Exact signal reconstructionfrom highly incomplete frequency information. Information Theory, IEEE Transactionson, 52(2):489–509, 2006.[2] E.J. Candes and T. Tao. Near-optimal signal recovery from random projections: Universalencoding strategies? Information Theory, IEEE Transactions on, 52(12):5406–5425, 2006.[3] D.L. Donoho. Compressed sensing. Information Theory, IEEE Transactions on,52(4):1289–1306, 2006.[4] A. Bilgin, M.W. Marcellin, and M.I. Altbach. Compression of electrocardiogram signals usingJPEG2000. Consumer Electronics, IEEE Transactions on, 49(4):833–840, 2003.[5] D.L. Donoho and X. Huo. Uncertainty principles and ideal atomic decomposition. InformationTheory, IEEE Transactions on, 47(7):2845–2862, 2001.[6] R. Coifman, F. Geshwind, and Y. Meyer. Noiselets. Applied and Computational HarmonicAnalysis, 10(1):27–44, 2001.[7] J.F. Claerbout and F. Muir. Robust modeling with erratic data. Geophysics, 38:826, 1973.[8] F. Santosa and W.W. Symes. Linear inversion of band-limited reflection seismograms. SIAMJournal on Scientific and Statistical Computing, 7:1307, 1986.[9] J. Tropp and A.C. Gilbert. Signal recovery from partial information via orthogonal matchingpursuit, 2005.[10] E. Candes and J. Romberg. Sparsity and incoherence in compressive sampling. Inverseproblems, 23:969, 2007.[11] A.C. Gilbert, S. Muthukrishnan, and M. Strauss. Improved time bounds for near-optimalsparse Fourier representations. In Proceedings of SPIE, volume 5914, page 59141A. Citeseer,2005.[12] M. Vetterli, P. Marziliano, and T. Blu. Sampling signals with finite rate of innovation. SignalProcessing, IEEE Transactions on, 50(6):1417–1428, 2002.[13] D.L. Donoho and P.B. Stark. Uncertainty principles and signal recovery. SIAM Journal onApplied Mathematics, 49(3):906–931, 1989.[14] P. Feng and Y. Bresler. Spectrum-blind minimum-rate sampling and reconstruction of multibandsignals. In icassp, pages 1688–1691. IEEE, 1996.[15] E.J. Candes and T. Tao. Decoding by linear programming. Information Theory, IEEETransactions on, 51(12):4203–4215, 2005.[16] E.J. Candes, J.K. Romberg, and T. Tao. Stable signal recovery from incomplete and inaccuratemeasurements. Communications on Pure and Applied Mathematics, 59(8):1207–1223,2006.[17] EJ Cand`es. Lectures on compressive sampling and frontiers in signal processing. The Institutefor Mathematics and its Applications, pages 2006–2007.[18] A. Cohen, W. Dahmen, and R. DeVore. Compressed sensing and best k-term approximation.American Mathematical Society, 22(1):211–231, 2009.[19] E. Candes and T. Tao. The Dantzig selector: Statistical estimation when p is much largerthan n. The Annals of Statistics, 35(6):2313–2351, 2007.[20] J. Haupt and R. Nowak. Signal reconstruction from noisy random projections. InformationTheory, IEEE Transactions on, 52(9):4036–4048, 2006.[21] R. Tibshirani. Regression shrinkage and selection via the lasso. Journal of the Royal StatisticalSociety. Series B (Methodological), 58(1):267–288, 1996.[22] S.S. Chen, D.L. Donoho, and M.A. Saunders. Atomic decomposition by basis pursuit. SIAMjournal on scientific computing, 20(1):33–61, 1999.[23] R. Baraniuk, M. Davenport, R. DeVore, and M. Wakin. A simple proof of the restrictedisometry preoprty for random matrices. Constructive Approximation, 28(3):253–263, 2008.[24] S. Mendelson, A. Pajor, and N. Tomczak-Jaegermann. Uniform uncertainty principle forBernoulli and subgaussian ensembles. Constructive Approximation, 28(3):277–289, 2008.[25] M. Rudelson and R. Vershynin. On sparse reconstruction from Fourier and Gaussian measurements.Communications on Pure and Applied Mathematics, 61(8):1025–1045, 2008.[26] R.E. Blahut. Algebraic codes for data transmission. Cambridge Univ Pr, 2003.[27] D. Baron, M.B. Wakin, M.F. Duarte, S. Sarvotham, and R.G. Baraniuk. Distributed compressedsensing. preprint, pages 1–50, 2005.[28] M. Lustig, D.L. Donoho, and J.M. Pauly. Rapid MR imaging with compressed sensing andrandomly under-sampled 3DFT trajectories. In Proc. 14th Ann. Meeting ISMRM. Citeseer.[29] D. Takhar, V. Bansal, M. Wakin, M. Duarte, D. Baron, KF Kelly, and RG Baraniuk. Acompressed sensing camera: New theory and an implementation using digital micromirrors.Proc. Computational Imaging IV at SPIE Electronic Imaging, San Jose, 2006.[30] E.J. Candes, M.B. Wakin, and S.P. Boyd. Enhancing sparsity by reweighted l1 minimization.Journal of Fourier Analysis and Applications, 14(5):877–905, 2008.