用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

基于C／S模型的模拟电台通信训练系统研究

提出了一种在局域网内基于C/S模型,利用TCP、UDP协议和IP多播技术(组播技术),实现我军现有坦克电台的模拟仿真通信训练系统的方法,重点阐述了模拟仿真电台的总体构思和实现方案.     

智拖T—62坦克

在中国人民革命军事博物馆陈列的众多坦克中,有一辆T-62中型坦克特别引人注目。这是我军在35年前珍宝岛自卫反击战中缴获的战利品。对此,广大读者也许并不陌生。但是,当年把它从处于敌方强大火力严密控制下的乌苏里江的江底拖上岸的内幕,却是鲜为人知的。下面,我们请来一位曾经参加过当年战斗的老兵,为读者讲述这段故事。     

小波变换在过零调制信号检测中的应用研究

将小波分析理论应用于配电网络过零调制信号的检测中,解决了在强噪声、低信噪比的配电网络中通信误码率高的难题,提高了系统的信噪比。给出了小波变换Mallat算法的分解和重构公式。信号仿真表明,应用该方法可以很好地从复杂环境下提取有用信号的特征。     

漏磁信号特征提取及检测研究

介绍了漏磁检测原理和用有限元法计算漏磁场的方法,漏磁场法向分量的峰-峰值随缺陷深度增加而增加,峰-峰值间隔随缺陷宽度增大而增大。在检测中,先去除漏磁信号的奇异值,然后用峰-峰值算法提取缺陷信号特征,根据信号的峰-峰值大小和信号梯度变化作为缺陷判别标准。     

明代都司卫所制度与军管型政区

目前把都司卫所作为军管型政区的研究尚处于起始阶段 ,这一研究既是中国历史政治地理学的一个重大课题 ,亦属于军事历史地理学范畴。本文就都司下卫所数目、分布的变化规律 ,分析其层级、幅员的特点等进行探讨。在此基础上从行政区划的角度重新划分卫所的类型 ,分析军民指挥使司的性质 ,并对内陆边疆卫所的地理分布模式提出见解。     

在化学教学中培养学生提出问题的能力

化学是人们不断在实践中提出问题,研究问题,从而解决问题的过程中建立起来的一门以实验为基础的学科。提出问题是创造的重大前提,是激发学生创造性思维的最好途径,也是学生主体性的充分发挥。培养提出问题的能力不但可以使学生养成好问、多问、深问的习惯,而且还可以培养学生思     

浅谈中学化学实验探究式教学与创新能力的培养

化学是一门以实验为基础的自然科学。化学实验以其生动的魅力和丰富的内涵在培养学生的创新能力方面发挥着独特的功能和作用。随着课程改革的全面实施,实验教学就越来越重要了。实验教学由原来的“一块黑板,一支粉笔”的“口头”实验变为由教师、学生的实际操作,这是一个很大的     

涉外型院校实施体育“双语教学”的可行性研究

在社会飞速发展的时代,经济的进步促使知识的日新月异,导致教学模式的不断创新。伴随着我国加入WTO,双语教学应运而生.在体育教学中运用双语教学,是体育教学模式的大胆尝试和教学手段的创新.涉外型院校具有实施体育双语教学得天独厚的条件,双语教学的实施具有重要意义,并有可行性。