以技术跨越实现国防经济跨越式发展

文章以技术跨越与国防经济跨越式发展的相互关系为基础,运用模型阐述了技术跨越产生的机理,为有效地利用技术跨越,推动国防经济跨越发展提供了分析依据。     

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法,用来构造Hilbert空间中次连续拟非扩张映像的不动点;使用新的算法证明了一个强收敛定理,其优点是不要求映像具有次闭性质。     

从抗震救灾行动看完善边境地区联合指挥体系的重要性

边境地区应急作战行动主要是：局部地区的权益争夺、反恐作战、民族分裂、非战争行动如抢险救灾等。边境地区应急行动,成因复杂、政策性强．能否实施高效的组织指挥,取得战争的主动权．将对国家政治、经济、外交战略全局产生重大的影响。因此．加强对边境地区应急行动指挥机构、指挥方式、组织协同、组织保障的研究,是当前各级指挥机关亟待解决的一个重要课题。     

语言能力培养的互动模式与外语教学

教学活动是教师和学生之间感情和信息的双层交流活动.英语课堂教学的主要任务是培养学生的英语交际能力.要在课堂教学中培养学生的英语交际能力,必须实施双向、互动交流的英语教学模式.本文探讨了英语教学中学生语言能力培养的互动模式的理论依据、设计原则及其构筑.     

优化舰炮对海效力射方式的非线性规划方法

探讨了运用非线性规划方法解决舰炮对海上目标进行效力射时的射击方式的选择问题,从符合实际情况的合理假设出发,在此基础上给出一种在服从或近似服从指数毁伤定律条件下的非线性规划模型,计算结果可为选择效力射方式提供参考。     

分布式系统设计中的互斥问题

介绍了互斥问题的基本概念,并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案.通过对典型算法的分析,有助于对分布式系统形成可操作的数学模型.     

全语言思路对大学英语教学的启示

全语言思路是国外语言教学界颇有影响的一种教学理念,上世纪被介绍到我国,但是在大学英语教学方面实践较少。笔者通过对国内外有关文献的综述,给读者介绍了这一思路的基本观点和教学原则,并结合自身的体会,对目前争论激烈的大学英语教学改革提出了一些建议。