一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

以色列边界观的演变

以色列的边界观不仅是其对于边界的态度与看法，而且还浓缩着以色列与阿拉伯国家之间的恩恩怨怨．以色列边界观的演变实际上是以阿关系的另一种写照。对以色列边界观的演变进行论述，以从另一侧面解读以阿关系。     

垂直刚性面边界条件下水下爆炸气泡运动的理论研究

为研究垂直边界面对水下爆炸气泡脉动的影响,根据势流理论建立了垂直边界面条件下水下爆炸气泡运动的理论模型,编制计算程序进行求解。对水下爆炸气泡脉动运动的特点、流场的速度及压力的分布、气泡引起的载荷形式进行了分析,结果表明,此模型能够反映水下爆炸气泡和周围流体介质的运动规律,并能进行定量的计算。     

思想政治教育栏目要做好“三个注重”

阅读《政工学刊》七年,无论是做基层政治主官还是政治机关干事,都使我从中获益匪浅,特别是学刊的思想政治教育专栏,始终追踪理论前沿、注重破解现实问题,既高屋建瓴又下接地气,具有较强的实践性和操作性,深受广大基层政治干部欢迎。当前,国内改革进程进一步深化和部队使命职能的进一步拓展,给思想政治教育工作提出了许多新问题、新情况,也使基层政治干部对岗位"充电"有了新需求。藉此,对办好思想政治     

军事强国全面提速新一代武器装备研制

随着具有变革性、颠覆性作用的前沿技术不断突破,新概念、新机理武器实战化步伐加快,微系统、生物、3D打印技术广泛应用,军事理论以及战争样式和形态将发生根本性改变。主要国家围绕高新武器创新及全疆域争夺的角逐日益激烈随着高技术武器不断更新换代,军事技术前沿突破加速,未来战争将呈现体系对抗、信息对抗,太空对抗、网络空间对抗和非接触对抗等特征,主要军事强国对网络空间、太空、深海等全疆域争夺以及电磁、生物、微系统,高超声速、远程精确打击等领域的竞争更加激烈。重视确保颠覆性、压倒性、非对称技术优势今年2月6日,美国发布新《国家安全战略》,提出确保"共享空     

面向任务的装备组合方案生成与评估方法

“决策中心战”谋求通过给对手施加不确定性创造决策困境,从而获取决策优势。面向决策中心战条件下获取决策优势的需求,提出了面向任务的装备组合方案生成与评估方法,基于决策复杂度选择更具不确定性的装备组合方案。该方法包括装备组合方案生成、基于帕累托最优的装备组合方案筛选、基于决策复杂度的装备组合方案评估等步骤,仿真推演的结果验证了该方法的有效性。     

基于粘弹性人工边界的点声源海底地震波ANSYS分析方法

航行舰船在海底岩土层中引起的弹性波被称为舰船地震波,该波主要由舰船低频辐射噪声引起,可用于识别舰船目标.采用大型有限元软件ANSYS中的流固耦合计算模块,结合粘弹性人工边界条件,对水平分层海洋环境下低频点声源海底地震波进行了数值计算.数值计算结果与波数积分方法结果的比较表明:两种方法相应的声传播损失曲线和频率特性曲线变化规律基本一致,海底表面竖直位移、水平位移、竖直加速度和水平加速度的频率特性曲线吻合较好,说明大型有限元软件ANSYS中的流固耦合模块可用于低频点声源海底地震波问题的数值计算.     

边防会晤官的会晤日志

5:30今天是一个特别的日子5时30分床头的闹钟准时响了。我一骨碌爬起身,开始了一天忙碌的行程。桌上的日历提醒我今天是一个特别的日子。应俄方邀请,中国奇克地段边界代表机关与中阿穆尔地段边界代表机关,定于北京时间上午8时,在黑龙江中游××公里处见面,对黑龙江中游××公里至××公里进行联合检查边界活动。     

党史上最早一次整党运动

1928年9月以后,湘赣边界开始"厉行洗党"。洗党实质上就是整党,且着重于组织上的清洗与整顿。这是我党历史上最早一次整党运动。为什么要"厉行洗党"?主要原因是在1928年5月以后党组织的"大发展时期"中,许多投机分子乘公开征收党员的机会混入党内,造成党组织的严重不纯。