论文部分内容阅读
的作者蒲松龄曾经写过一副对联:rn有志者,事竟成,破釜沉舟,百二秦地终归楚;rn苦心人,天不负,卧薪尝胆,三千越甲可吞吴.
猛士如云唱大风
【摘 要】
：
的作者蒲松龄曾经写过一副对联:rn有志者,事竟成,破釜沉舟,百二秦地终归楚;rn苦心人,天不负,卧薪尝胆,三千越甲可吞吴.
【出 处】
：
中国审计
【发表日期】
：
2007年10期
其他文献
在审计体制问题上，我国传统上将之划分为四大类，即立法型、独立型、司法型和行政型。其中所谓司法型审计体制，是指一些国家设立的审计法院，具有司法职能。我们过去对一些国家审计
7月1日,审计署召开党的群众路线教育实践活动动员大会.审计长刘家义在会上要求,要深入学习贯彻中央召开的党的群众路线教育实践活动工作会议精神和习近平总书记等中央领导同
期刊
开互模拟关系是一种特殊的且非常重要的互模拟等价关系,它将替换嵌入到定义中去,这使得它本质上就是一个同余关系,而不需要像迟、早互模拟同余关系那样进行额外的定义.本文把
1990年引进西门子公司生产的SRS303X射线荧光光谱仪,至今已连续工作15年了.随着工作时间的增加,该仪器的故障也逐渐增多.为了与各位同行进行交流,现将多年维修该仪器的几个故
本文讨论了Petri网的共享子网合成结构性质的保持间题.给出了共享TT子网合成网保持结构有界性、守恒性、可重复性、相容性、公平性和结构活性的充分条件;具有一定的实用值.
本文对有限状态自动机的移动进程演算模拟进行了研究.文章从一个有趣的角度,间接地研究了这一问题.主要通过演算和其子集的讨论,借助于图灵机(Turingmachine),双计数器机(two
又是一个春天.恰逢出版社转企改制,我们从新的起点出发.在姹紫嫣红的时节与您相遇.春萌万物,生发美好的事业愿景.作为新春版图的一棵常青树,我们期待它常历常新,永葆青春!rn
期刊
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动,大到整个生物系统,只要选择合适的抽象层次