EPS加工企业火灾防控探析

近年来,随着EPS相关产业迅速发展,该类场所的火灾发生率也呈逐年上升趋势。由于EPS泡沫塑料属于可燃物质,其表面易积聚静电,在生产过程中,稍有疏忽,容易引发火灾事故。分析归纳了该场所火灾的成因,就该类场所如何消除火灾隐患,防患于未然,提出了相关建议。     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

Nuclear weapons,existential threats,and the stability–instability paradox

Recent scholarship has largely ignored systematic differences in the existential threats that nuclear-weapon possessors pose to other states. This study theorizes that the capacity to pose existential threats shapes nuclear-armed states’ willingness to use military force against one another. We explore three hypotheses regarding how nuclear-based existential threats can deter conflict or encourage it, including under the conditions proposed by the stability–instability paradox. We rely on a statistical analysis of nuclear-armed dyads from 1950 to 2001 and employ the Nuclear Annihilation Threat (NAT) Index to capture variation in the existential threats nuclear-armed states pose to one another. We find that being able to pose an existential threat to another state emboldens potential initiators to use military force but does not deter attacks. The emboldening effects are particularly strong under the hypothesized conditions of the stability–instability paradox. Our study provides unique contributions to ongoing debates over the political effects of nuclear weapons.     

Compensating military veterans in South Africa

This article outlines the widespread needs of South African military veterans and the possible consequences if the promises made in the recent Military Veterans Act are not met. The first part of the article defines who generally qualifies as a military veteran, how they are typically compensated in various countries with specific reference to neighbouring southern African countries, and what the consequences are when veterans become disenchanted with the state. The second part focuses on South Africa and the recent debates on military veterans and their entitlements. With reference to the findings of a qualitative study conducted among military veterans, parliamentary debates and media reports, an assessment is made of the demands and affordability of promised benefits and the consequences should the state not deliver. The conclusion is reached that heightened expectations are presently frustrated by slow roll-outs, and this is likely to increase the possibility of protest action. This has now the potential to create further tension within the ruling party and civil society, as the pressure on public finances mounts and demands become unsustainable. The effect this may have on political stability will depend on how the government manages this issue.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

塔架摆杆系统静动态特性研究

为研究航天发射塔架摆杆系统的静动态特性,利用Pro／E建立其三维实体模型,再将模型导入Abaqus中建立其有限元模型并对该塔架摆杆系统进行静、动态分析计算．通过静态分析,得到塔架关键部位的应力及位移值,对其安全性进行了校核;通过动态分析得到其固有频率及振型,与试验所得频率进行对比,验证有限元建模的正确性．     

基于巡逻历史与道路优先级的武警巡逻策略

针对武警巡逻车辆配置问题,引入了Dijkstra最短路径算法、K—means聚类算法以及计算几何的相关理论,建立了一套警车巡逻模型,并提出了评价巡逻效果的量化评价标准。采用Dijkstra与K—means算法解决了静态警车配置问题;针对警车动态巡逻方案的设计,提出了基于巡逻历史与道路优先级的道路概率选择算法,并给出了不同情况下的警车配置以及巡逻方案。通过MATLAB仿真实验,证明了算法及模型的先进性和实用性。     

影响油罐电位的输油参数分析

目前,油库、储运公司改扩建工程较多,不可避免对工艺流程进行调整,依据液体静电产生原理,应用高斯定理和欧姆定律等理论,分析油罐注油过程中油面电位以及时间与管径、流速等各参数之间的关系,针对管径不变流速变化的情况,进行实验分析,在不对管路进行整改,仅对泵进行重新设计优选时,对如何控制罐内电位的安全,提出参考方案,对油库改扩建工程有一定的指导意义。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

镶嵌式径向滑动轴承静特性分析

分析计算了镶嵌式径向滑动轴承中油膜的压力分布、承载量、摩擦系数和流量,得出镶嵌式径向滑动轴承具有不同于普通径向滑动轴承的静特性.