巩河明珠更璀璨——农四师七十一团纪略

在巩乃斯这块神奇的土地上,农四师七十一团就像一颗耀眼的明珠点缀其间,满怀激情的七十一团人正以奋发向上的精神在这块热土上书写着新的篇章,让巩河明珠更加璀璨夺目。沐浴着新千年、新世纪开首之年的明媚春光,该团迎来了建团50周年。展望新世纪,七十一团人豪情满怀。"十五"期间,该团将以发展壮大团场经济、致富职工群众统揽全局,按照调高调优一产,调大调强二产,拓宽搞活三产的基本思路,进一步完善薰衣草精油工程、养殖兴鹅工程,做好做大做强甜菜基地、大豆基地、制种基地、肉牛基地,在9个连队推行了整连租赁,着力开创团场经济发展的新天地。——薰衣草精油工程。该团充分发挥光热资源丰富、香油产量高、品质好的优势,计划用3至5年时间,发展薰衣草种植面积5000至8000亩,培育新     

弘扬伟大的抗美援朝精神

1950年,美国悍然发动侵朝战争,对世界和平、对我们年轻的共和国构成了严重威胁。毛泽东主席和中央人民政府审时度势,及时、果断地发出了“抗美援朝、保家卫国”的伟大号召。中国人民志愿军雄纠纠气昂昂地跨过鸭绿江,抗击美国侵略者。经过近三年艰苦卓绝的浴血奋战,中朝人民和军队,终于把侵略者赶回到“三八线”以南,夺取了抗美援朝战争的伟大胜利。 　　今天,我作为一名大学的教师,同时也作为一名曾经扛过枪、跨过江的中国人民志愿军老战士,回忆起这段历史,真是感慨万千。毛主席曾经教导我们：“帝国主义和一切反动派都是纸老…     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

对加强和改进“两级武装部”建设的认识

县（市区）人武部和乡镇（街道、企业）武装部，是后备力量建设的直接领导指挥机构。新形势下，要围绕遂行多样化军事任务，着眼建设强大的同防后备力量，大力加强和改进“两级武装部”建设。     

推进海防民兵哨所建设须强化“三种意识”

随着经济社会的发展和形势任务的变化,海防民兵哨所建设面临着生存发展和转型发展的双重压力。必须以科学发展观为指导,以有效履行使命任务为目标,聚焦合力抓建设,着眼长远谋发展,努力解决制约哨所建设发展的重点和难点问题,在维护海防安全、促进经济社会发展中发挥积极作用。     

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.     

武装部与民企的第一次“牵手”——全国首家民营企业武装部正泰集团武装部成立8年回顾

30年弹指一挥间，我国基层武装工作发生了日新月异的变化。如果要把30年基层武装工作比喻成一盘漂亮的棋局，建民企武装部必然是意蕴丰富的“妙招”；如果要把30年基层武装发展历程比喻成一篇时代华章，建民企武装部必然是撼人心魄的“妙语”；如果要把基层武装工作描绘一幅远景画卷，民企武装部建设也依然会是不可或缺的“妙笔”。     

海军炊事兵物语续篇——一位日本海军主计兵眼中的太平洋战争（十）

<正>当兵才是男子汉回想起“雾岛”号主计科的先任下士官吃“伪装白米饭”的事情,假如我是那位先任下士官,在吃到米麦饭掩盖下的白米饭时,我想我也不会声张,默默地吃下去就好。如果把分饭员叫来怒斥道：“这碗饭是怎么回事？”一定会引起大风波,而且这种不通人情世故的做法肯定也会影响到他的人望,没有人会愿意追随这种上级吧。当时我们下级兵对于军官和下士官的生活究竟有多么奢侈,并没有切实感受,     

海军炊事兵物语 续篇——一位日本海军主计兵眼中的太平洋战争（十六）

<正>弄权者之前提到过,我并不擅长珠算,幸好部下们都精通此道,所以大多数时候不需要我亲自打算盘。不过,作为部队给与室（编者按：日语用法,意为工资、薪金、薪饷、津贴）的先任下士官（除我之外本部门再无下士官）,有些工作是不能指派给部下去做的,比如每个月需要上交的月度报表,必须由作为“先任”的我亲自核算清楚,只能亲手拨动算珠。