It is well known that Beck's theorem for Comonad is equivalent to Grothendieck flat descent theory on scheme. 


There are several version of derived noncommutative geometry. I wonder whether someone developed the triangulated version of Beck's theorem. And What does it mean,if exists?



Is there triangulated category version of Barr-Beck's theorem?
There isn't a descent theory for derived categories per se - one can't glue objects in the derived category of a cover together to define an object in the base. (Trying to apply the usual Barr-Beck to the underlying plain category doesn't help.) 


But I think the right answer to your question is to use an enriched version of triangulated categories (differential graded or $A\_\infty$ or stable $\infty$-categories), for which there is a beautiful Barr-Beck and descent theory, due to Jacob Lurie. (This is discussed at length in the n-lab I believe, and came up recently on the n-category cafe (where I wrote basically the same comment [here](http://golem.ph.utexas.edu/category/2010/01/quasicoherent_stacks.html#c031134)..)
This is proved in [DAG II: Noncommutative algebra](http://arxiv.org/abs/math/0702299). In the comonadic form it goes like this. Given an adjunction between $\infty$-categories (let's call the functors pullback and pushforward, to mimic descent), if we have 


1. pullback is conservative (it respects isomorphisms), and
2. pullback respects certain limits (namely totalizations of cosimplicial objects,
which are split after pullback)


then the $\infty$-category downstairs is equivalent to comodules over the comonad
(pullback of pushforward). (There's an opposite monadic form as well)
This can be verified in the usual settings where you expect descent to hold.
In other words if you think of derived categories as being refined to $\infty$-categories (which have the derived category as their homotopy category), then everything you might want to hold does.


So while derived categories don't form a sheaf (stack), their refinements do:
you can recover a complex (up to quasiisomorphism) from a collection of complexes on a cover, identification on overlaps, coherences on double overlaps, coherences of coherences on triple overlaps etc. 
More formally: define a sheaf as a presheaf $F$ which has the property that 
for an open cover $U\to X$, defining a Cech simplicial object $U\_\bullet=\{U\times\_X U\times\_X U\cdots\times\_X U\}$, then $F(X)$ is the totalization of the cosimplicial object $F(U\_\bullet)$. Then enhanced derived categories form sheaves (in appropriate topologies) as you would expect. This is of course essential to having a good theory of noncommutative algebraic geometry!


