混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

“Respect” as a personal attribute in the British Army

This article describes the results of research into the social phenomenon of “respect” as framed by junior members of the British Army, as part of a wider study into the Values and Standards of the British Army. This research was interview based, using qualitative analysis software to detect, manage, and draw conclusions from the qualitative data recorded in those interviews. The data indicated that the primary situation in which “respect” was visualised by the participants was the unit context, and that it comprised a combination of three different strands: respect for rank or “hierarchical respect,” “professional respect” for a person's military competence, and “personal respect” for an individual's character, personal behaviour, and attributes. The overall respect that an individual is given arises from the combination of these three areas. “Respect” as a concept was, in the soldiers’ characterisation, something that had to be earned (except for the “given” represented by rank) and was not stable: a person's fund of respect could go up or down in social value. Respect was also linked to trust: the more respect a person had, the more they could be trusted. Although the unit context was the primary one for discussing their framing of the concept of respect, many of the participants reported a wider dimension in which every human being deserves a basic level of respect simply for being human, and this level could not be forfeited.     

French Exception or Western Variation? A Historical Look at the French Irregular Way of War

ABSTRACT

This article aims at challenging the notion of a French exception in the realm of irregular warfare, suggesting that it rather amounts to a western variation. Born out of a transatlantic community under British influence, the French irregular experience carried on through the early Cold War challenges, strengthening France’s ties with its Western allies. France’s subsequent involvement in post-colonial counter-insurgencies did contribute to generating some specific strategic features, although never totally disconnected from international circulation. Finally, the post-Cold War order significantly drove French irregular warfare back into its Western fold through the adoption of US- and NATO-sponsored concepts and doctrines, thus enhancing interoperability and some degree of standardisation.     

并行程序运行故障原因识别

高性能计算系统的复杂性和规模的不断增长使得系统的平均无故障时间越来越短,因此系统的硬软件故障导致并行程序运行出错的概率随之增加。此外,并行程序本身可能存在的编程错误也会导致运行出错。由于处理上述两类故障原因的措施迥异,所以在程序运行出现故障时,用户需要关注故障原因的类别。针对这一问题,设计和实现了一种基于作业管理系统Slurm的并行程序运行故障原因识别系统。通过对Slurm进行扩展,监控作业状态,重提交和重运行作业。根据作业运行结果,区分故障原因类别。故障注入方式进行的实验表明,该系统具有较高的识别准确率。     

谈大学校园文化建设中的摄影艺术

摄影艺术是大学校园文化的一个重要组成部分,其作品具有新闻宣传、舆论监督、素质教育、信息沟通和文献纪实等作用,是大学校园文化建设的重要手段和媒介之一。分析摄影艺术与大学校园文化建设的关系,探讨以摄影艺术促进大学校园文化建设的策略。     

试论我国当代消防文化建设的三个切入点

针对消防文化的内涵,探讨我国当代消防文化建设的三个切入点：即在消防工作中体现军人核心价值观、消防工作中的战斗精神与革命英雄主义气概、消防工作中的探索精神和创新意识;指出围绕这三个切入点进行消防文化建设的具体原则和措施.     

借鉴传统军事思维 提升我军信息化条件下作战能力

传统军事思维的优秀“内核”是作战能力水平提升的重要“起搏器”,有助于现代条件下部队战斗力的提高。汲取其伐谋思维,注重信息思维,发挥超越思维,完善作战预测,这四种思维能够有助于促进作战思维整合、强化军事信息整合能力和创新能力,提升作战软实力,彰显强军之要,对实现强军目标有理论支撑和实践创新之力。     

特色创建:学校文化建构的主动选择——以三师一中“全面发展,军事见长”的学校特色创建实践为例

学校改革的核心动力来自于学校文化的变革。学校文化的建构为学校特色创建提供了生存的土壤和发展的动力,学校特色建设的理性诉求又是学校文化建构的主动选择。本文从学校文化思考出发,梳理学校特色创建的文化定位、背景考量、原则与策略,并以三师一中特色创建的实践尝试为例,论述特色创建是文化建构的主动选择和学校变革发展的突破口。     

‘Pounding Their Feet’: Israeli Military Culture as Reflected in Early IDF Combat History

Abstract

How did the Israel Defense Forces' (IDF) organisational and military culture shape their understanding of security threats, perceptions of warfare, and instinctive responses to security challenges? Israel's early military history is marked by the stubborn persistence of accepted patterns of thought and action. In the first twenty years of its existence, the IDF habitually came to sacrifice both political and military long-term and medium-term considerations in favour of the superficial, short-term satisfaction of its drive for action. The Israeli Army as an institution separated military actions from their political implications, and all too often, granted itself freedom of action at all levels of command. That myopic pattern led to recurring raids and minor operations during the 1950s, and contributed notably to the outbreak of the Six-Day War in 1967.     

《初等数论》课程渗透数学文化教学研究与实践

数学课程是实施数学文化教育的主渠道和主阵地,是学生触摸、体悟数学本质,感受、体验数学内在文化气息的畅享地。本文重点从课程导言、核心概念、符号语言及命题、定理、法则教学等方面来探讨数学文化在《初等数论》课程教学中的渗透和实施。