运用类比联想尝试启研式教学

运用类比推理和联想的方法,解决几个初等几何问题,揭示发现数学问题的方法--合情推理,培养师范生研究数学及数学教学的意识和能力.     

难以捕捉到的首枚隐身巡航导弹

据外刊报道,法国将开发新型巡航导弹“风暴之影”,并从2011年开始装备法国海军。法国国防部正在制定该经费达7.85亿欧元(6.91亿美元)、数量为250枚导弹的发展计划。法国所有17艘新型多任务护卫舰都将从2011年开始装备该导弹,而6艘“梭鱼”级潜艇将从2015年开始装备该导弹。 法国和英国于1996年开始联合开发空基“风暴之影”巡航导弹,意大利于1999年加入该计划。这种名为     

巴尔干上空的鹰——奥拉奥近程对地攻击机

提到军用飞机设计,人们想起的往往只有美、俄、法等航空技术的发达国家,是否发展中国家设计的飞机就一无是处了呢?答案当然是否定的,也许它们设计的战机和先进不搭边,但我们不应忘记,在评判武器优劣的标准中,技术绝非是唯一的参考,实用性、效费比乃至国情都是制约因素。由南斯拉夫、罗马尼亚合作生产的奥拉奥/IAR-93式近程对地攻击机就是这样一个典型的例子,在贯穿整个20世纪90年代的南斯拉夫内战中,奥拉奥多次参战,并较好地完成了作战任务,达到了设计要求。     

世界先进预警机一览

预警机是攻防兼备的重要武器装备。先进机载电子设备,使之拥有卓越的搜索、警戒、指挥能力,成为名符其实的空中指挥中心,在现代战争中发挥着不可低估的重要作用。几乎可以说,当今,世界上不论哪个地区形势紧张,哪个地区有战事发生,预警机便出现在哪里。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

吸气式导弹尾部喷流对底部阻力影响数值研究

通过数值模拟方法研究了吸气式导弹尾部喷流对底部阻力的影响.采用内通道截断方法进行热喷状态下流场数值计算,获得了热喷状态下底部干扰流场结构和底部阻力系数,同时研究了燃气属性对热喷效应的影响.最后与冷通气状态流场计算结果进行比较,进一步分析了热喷效应的影响机理.计算结果表明,热喷效应和燃气属性都会对导弹底部阻力产生极大影响.     

自适应权值的嵌套式轮循调度算法

服务质量是目前网络应用研究的一个热点.采取何种队列调度算法则是确保服务质量的关键因素之一.针对NDRR算法不能很好地满足实时业务队列突发情况下的延迟性需求,提出了自适应权值的嵌套式轮循调度算法.当实时业务队列处于突发情况时,能够实现动态增加其权重.理论分析表明该算法有较好的公平性,并能降低实时业务队列的延迟上界,且算法的复杂度为O(1).仿真结果表明,该算法明显改善了突发状态下实时业务队列的延迟性能.     

张清林:兵团第一批“万元户”之一

"万元户",曾是我国改革开放之初最流行的一个词汇,是勤劳致富的代表。改革开放前,在那个"越穷越光荣"、"越穷越革命"的时代,谁要是"万元户",那一准是专政的对象,像割资本主义尾巴一样将其铲除。兵团人向来紧跟时代潮流,因此,改革开放初期,兵团也出现了一大批"万元户"。农九师团结农场一连原副连长张清林,便在那个时候毅然辞去公职,参加农机承包,从而成为兵团首批"万元户"之一……     

中国第一坦克系列的发展－－59式中型坦克型号演变和变型车

59式中型坦克为基型车先后发展了59-1式,59-2式和59-2A式中型坦克以及64式、73式中型坦克抢救牵引车、64式重型履带牵引车、64式履带挖壕机等变型车。