从单元体表面应力状态判断主应力方向的两种简便方法

介绍了确定平面应力状态主应力方向的两种简便方法，即分别可由单元体上的剪应力和正应力去判断主应力方向，并论证了两种方法的正确性。     

提高软件可靠性的措施

从软件可靠性的正确性和健壮性这两个角度出发，充分论述了如何提高软件的可靠性。     

试论循环不变式和囿界函数在循环研制中的地位和作用

详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。