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

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

军队院校科研工作绩效评估探讨

阐述了军队院校科研工作绩效评估的目的、作用和内容等,讨论了军队院校科研工作绩效评估的基本方法,对开展军队院校科研工作绩效评估的相关问题进行了探讨.     

自动喷水灭火系统可靠性分析

自动喷水灭火系统在建筑消防所占的主导地位决定了研究、分析该系统可靠性的客观性和必要性。从系统各组件出发分析了各组件运行工况、存在的问题 ,并提出解决影响系统可靠性的措施     

基于矩阵分析的D-S证据理论的多传感器雷达体制识别

采用不确定推理的矩阵分析方法,建立了用于雷达体制识别的多传感器数据融合的数学模型,提出了一种基于矩阵分析的多传感器信息融合的新算法,结合多传感器多测量周期的雷达体制识别给出了具体的实例.识别结果说明了该算法的有效性.     

定常态不可逆卡诺热机面积特性

对定常态不可逆卡诺热机进行了有限时间热力学分析.定义了功率、效率和面积比系数,并导出三者的关系式,由此对热机最佳功率、效率和面积特性进行了分析和讨论,给出了一些有益的结论.     

Intranet环境下基于操作流的系统分析

提出了Intranet环境下基于操作流的系统分析法,并讨论它的两类应用.一是对计算机应用系统的整体设计分析,目标是把信息采集、处理和统计等由过去基于人工管理(处理)模式的处理转换为计算机网络下的管理(处理)模式;二是对数据项的存储结构和建立在该结构上的算法进行可视化描述.     

高性能混凝土耐火性能及对策探讨

高性能混凝土与传统混凝土相比,结构密实,脆性更大,渗透性低,尤其是在火灾高温状态下发生爆裂现象因而造成其抗火性差。为此,提出在高性能混凝土中混掺聚丙烯纤维和钢纤维、外加减水剂及骨料两种技术措施,以提高高性能混凝土的耐火性能。     

经验模态分析法在雷达信号脉内分析中的应用

雷达脉内特征分析是信号分选领域一个重要手段,当脉内信号有多个雷达信号交叠在一起时,很难分析出其各自的调制方式。经验模态分解(EMD)在分析非平稳混合信号时效果显著,但其存在2个明显弊端。针对端点效应问题,首先采用小波分解将信号分解成各分量,随后对除噪声外的各分量利用ARMA模型对信号进行预测,接着对预测后的各分量进行小波重构,从而消除了端点效应,针对虚假分量的问题,结合雷达信号的特点改进了其终止条件,提高了EMD分解的性能。最后,对EMD分解后的各分量进行时频分析,得出雷达脉内信号的调制特征。仿真验证了算法的有效性。     

灰色关联理论在火灾分析中的应用

应用灰色关联分析理论,以2004～2008年中国火灾成因及后果的统计数据为样本,选取了造成火灾的6种原因,分别以事故起数、伤亡人数、直接经济损失为系统特征,对系统进行了关联度分析和优势分析,为掌握火灾发生规律及进行火灾预防等提供依据。     

老年公寓楼人员安全疏散可靠性评估

由于老年公寓这类建筑内疏散人员的特殊性,导致对建筑的防火安全设计提出了较高的要求。针对老年公寓建筑火灾的特点,采用工程计算和火灾模拟相结合的方法,对某老年公寓在火灾中人员安全疏散的可靠性进行评估,并对存在问题提出了建议。