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

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

主机安全监控系统的设计与实现

针对现有主机监控系统存在的执行效率低、监控粒度粗等问题,通过在内核态设置钩子函数改写系统服务调度表,同时在用户层设置策略库进行细粒度监控,设计并实现了主机安全监控系统。该系统具有执行效率高、占用系统资源少、监控粒度细等特点。     

基于逆向分层的工作流时间-费用优化方法

针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。     

信息安全保障与信息作战的关系探究

为了给信息作战计划的制定、行动的实施提供安全保障指导,探讨了信息安全保障与信息作战(IO)之间的关系,以几种典型信息作战要素和信息作战空间的三个层次为对象,详细分析了信息安全保障与二者之间的关系。为军队信息安全保障体系的建立提供一定理论支持。     

舰炮火力系统智能结构分析

遵从“智能增加,精度降低”(IPDI)原则,将舰炮火力系统(含雷达、C~3I、舰炮等系统)的智能结构分为概念、协调、执行3级,并着重分析采用广义信息熵作为各级统一评价标准的可能性。最后,还简要提出了新型舰炮火力系统智能化发展的方向。     

我军预算执行控制的现状分析及对策

目前我军预算执行控制存在主体缺位、目标偏移、机制不顺、责任不明、力度不强等问题，其原因来自权力因素、机制因素、制度因素、程序因素。加强预算执行控制的对策包括：规范预算执行制度、建立军队预算支出绩效评价体系、设计适用现代化监控的技术手段。     

基于局部评估的分布式图模式匹配算法

为了在分布式存储的大规模数据图上进行快速图模式匹配，提出了基于局部评估的分布式图模式匹配算法disGPM-PE。首先各计算节点并行地执行本地匹配，然后协调器节点收集局部匹配结果、计算边界点的匹配状态并发送给相应的计算节点，接着计算节点根据边界点的匹配状态确定与边界点相连的节点的匹配情况，最后协调器节点组合得出最大匹配集。实验结果表明：与已有的分布式图模式匹配算法相比，disGPM-PE算法都能够在不显著增加通信量的前提下避免数据片段间的依赖关系对执行时间的影响，减少了图模式匹配的时间。     

基于迭代Bargaining策略优化服务合成执行路径

服务质量(QoS)是优化服务合成执行路径的关键研究内容,当前绝大多数存在的方法很少注意到商业环境下服务商之间存在的隐性竞争压力可能会迫使服务商动态改变他们的QoS值以至于合成优化执行路径发生改变.针对此问题,提出一个基于迭代Bargaining策略的约束违背纠正方法.该方法使用本地最优化策略,在没有考虑用户QoS约束的情况下建立一条最优执行路径.对此路径,全局QoS计算模型和全局约束违背检查模型能找出所有发生的约束违背.一个迭代的Bargaining策略被递归作用于关键路径执行节点,使得更好服务提供商被选出替换原有执行节点,从而一个优化的执行路径能被重新建立以满足用户综合的QoS约束需求.     

聚焦俄军防空指挥自动化系统

探讨了俄军防空指挥自动化系统的发展状况,介绍了俄军防空指挥自动化系统的分类、组成、结构特点及各系统采用的技术。指出了目前旧有的两种分类,提出了新的分类方式。也介绍了俄军战略、战役和战术三个层次防空指挥自动化系统组成及其结构特性。最后举例介绍了俄军无线电技术兵所装备的指挥自动化系统。     

论俄文诗的格律与韵律

诗歌作为一种文学体裁 ,具有独特的文学表现形式。俄文诗的独特之处在于它有自己独有的、别具一格的格律和韵律。格律即指诗句中的抑扬顿挫 ,韵律指诗句与诗句之间的合辙押韵。通过格律和韵律这两种外在的形式 ,可以表达作者丰富的思想感情。了解俄文诗中的格律与韵律 ,对于更好地理解诗文所蕴含的诗人所寄予的各种感情至关重要     

基于共享Cache多核处理器的Radix聚集连接优化

基于目前主流的多核处理器,研究了数据库Radix-Join算法中的聚集连接优化.针对多线程聚集连接执行时,线程Cache访问缺失严重的问题,采用预读线程预先将聚集连接线程需要访问的聚集对从内存读入L2-Cache,提高了线程的Cache访问性能.并根据聚集连接执行时的代价模型,优化了聚集连接执行框架和各种线程参数.在实验中,基于内存数据库EaseDB实现了本文提出了算法,实验结果表明,聚集连接性能得到较大提高.     

浅析俄罗斯军事刑罚制度对我国的启示

我国军事刑法与俄罗斯军事刑法都分别在本国的普通刑法中用专章加以规定,相似之处很多。在军事刑罚方面,俄罗斯有很多专门针对军人、军事犯罪的特别刑罚很值得我国借鉴。对比中国和俄罗斯两国的军事刑罚,找出我国在军事刑罚方面的不足之处,借鉴俄罗斯军事刑罚制度中的可取之处,完善我国的军事刑罚制度,使之更适应我国军事、国防的发展需要,有利于预防军事、军人犯罪,提高我国军队战斗力。     

中华传统行刑文化论纲

中华传统行刑文化是中华传统法律文化的重要组成部分，许多方面表现了中华民族的先进性，蕴含了许多合理因素。包括德主刑辅，宽猛相济的行刑理念；恤刑悯囚的人本传统；法、理、情相统一的行刑策略；引礼入法等。社会主义法治建设应继承和发扬传统行刑文化中的合理成分，树立科学行刑理念，实现和谐行刑。     

Preventive maintenance at opportunities of restricted duration

This article deals with the problem of setting priorities for the execution of maintenance packages at randomly occurring opportunities. These opportunities are of restricted duration, implying that only a limited number of packages can be executed. The main idea proposed is to set up a model for determining the optimal execution time for the individual maintenance packages and to develop cost criteria for deviations from the optimal time. In this article we use the block replacement model, but the approach can be easily extended to include other optimization models as well. Using Monte Carlo simulation the performance of the method is compared with various heuristics, both for a two-package and a multipackage case. © 1994 John Wiley & Sons, Inc.     

基于Dubins路径的智能车辆路径规划算法

路径规划是车辆智能化的核心问题之一,而所有路径均可分解为简单的Dubins路径。在Dubins路径的思想下对智能车辆的行驶路径进行分段研究,并利用经典PID控制对该算法的执行性能进行检验。研究表明:算法能计算出车辆行驶的最短路径,减少了车辆行驶的路径长度,缩短了行驶时间,减少了控制系统的计算量,提高了车辆执行系统的执行力度,降低了执行误差,对最优路径具有较好的选择性。     

‘Calmly critical’: Evolving Russian views of US hegemony

Russia has consistently opposed US hegemony since the early 1990s. Moscow has sought to create a world overseen by the UN Security Council and several power centres supporting an anti-hegemonic axis. Until recently, Russia's resources have been very limited. Russian opposition therefore was largely conceptual or a work in progress. Russian policy was largely reactive – and non-confrontational. However, the failure of the Russia-US relationship to develop practically has highlighted negative views of US hegemony, and the greater wealth generated through high energy prices is supporting an increasingly active Russian policy.     

基于优化蚁群算法的装备调拨决策系统研究与设计

将蚁群算法和遗传算法应用于装备调拨决策系统,实现了装备调拨决策信息的生成.同时利用遗传算法对蚁群算法的参数进行了优化,实验证明优化后的蚁群算法在平均路径长度、算法平均执行时间和总执行时间上较传统蚁群算法都有一定程度的改进.     

超算环境科学工作流应用的容错

超算环境中科学工作流技术广泛应用于科学研究和工程仿真领域。复杂多物理过程数值模拟、多阶段数据处理等应用往往需要使用多种应用软件相互协作,构建业务流程自动执行来提升工作效率。然而在超算环境中执行科学工作流应用面临着资源失效、任务配置错误等异常情况,造成工作流执行中断,严重影响完成效率,故容错功能对超算工作流应用的稳定持续运行有重要意义。介绍了科学工作流的容错设计分类,并对典型工作流系统的容错设计进行分析评述;提出了基于决策树的事件-条件-动作容错模型,设计了非侵入式可扩展的容错架构,并针对自主研发的部署在超算环境下的科学工作流应用平台HSWAP,实现了运行时可配置的容错策略。在实际的工程仿真任务中,基于所提出模型和架构实现的容错机制为提高工作流执行效率发挥了重要作用。     

火控计算机的软件支持

针对机载、舰用以及地面火控计算机,阐述软件和软件支持的概念,强调软件支持应该遵守的前提原则,讨论软件支持的发展替续,并例举软件支持的实现过程。给出的结论和模式,对于火控软件的低成本获取具有参考价值,对于火控任务的高效率完成具有重要意义。     

装甲车辆人—机—环境系统综合实验研究

本文阐述了现有工效学的普遍规律与装甲车辆人—机—环境系统具体特点相结合的重要性.进行了人—机系统综合实验系统的可行性分析,并提出该实验系统的具体实施方案.