原来AWK比较时间直接用字符串比较就可以。看来我知道的太少了

awk '
    $2== "2011-03-08" && $3 < "02:45:00" && $3 > "02:42:00" {
      print "%s %s %s\n", $2, $3, $1
}
'

awk '{if ("05/Feb/2012:00:37:45" > "05/Feb/2012:00:37:25"){print "ok"}}' tj2.py