简介：为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。

简介：摘要随着全球化时代的到来，中国与法语国家的联系愈发密切，学习法语的学生越来越多，基础法语也显得越来越重要。基础法语是所有法语专业的基础课程，为提高阶段的法语学习，或以法语为工具进行其他专业课程的学习打下良好基础，在法语各类考试中亦占有非常重要的比例，是高校学习阶段的一个重要环节。本文以四川外国语大学重庆南方翻译学院为例，从几个方面分析基础法语课的现状，存在的问题，并尝试提出一些解决的建议和方法，希望能够给同行业的教师们提供一定价值的参考。

简介：随着网络中心战思想的不断演进,分布式融合结构将逐渐成为信息融合系统应用结构的主导形式。然而,分布式融合结构在提高系统健壮性的同时,也产生了大量的冗余信息。通过对3种典型分布式融合结构和信息流程图的研究,分析了分布式融合中共用节点概念及冗余信息的产生原因、具体表现与消除原理。

简介：在制造业，DFM并不是一个刚红起来的明星，更不是什么神秘的东西。但是“DFM”这个概念却始终作为一个热点在工程技术人员之间留传着。正是因为DFM是一个古老的名词，所以才容易被人遗忘和忽视，同时，由于实际中推行DFM的复杂性，大家又经常会望而却步。

简介：QoS保证体系在Adhoc网络中扮演着重要的角色。在引入Adhoc网络中QoS保证体系的基本组件和面临的新挑战之后，对其中的QoS路由协议进行了讨论，按照先应式、反应式、基于群集、利用地理位置信息、组播、多径等类别，对近几年来的各种研究成果进行了阐述和分析，并对未来的发展趋势进行了展望。

简介：1InDesign中如何使用复合字体?所谓复合字体．是设置一个由特定的中文字体、标点、符号和特定的英文字体、数字组成的合成字体。当你选择几页或整个书籍的文本来应用你所设置的复合字体时，文本内的所有中文和英文文字将依照你所设置的字体分别显示。当你需要修改或再键入文字时．它仍按复合字体的设置进行显示。这样可使编辑者轻松地处理大量的中英文混排文本。

简介：研究了在基于TCP／IP体制的AdHoc网络中，利用简单网络管理协议SNMP和网管代理解决严重和复杂的网络管理问题。在分析SNMP协议工作原理的基础上，探讨了SNMP代理的工作流程、组成模块和实现方式，并搭建AdHoc网络实验环境进行了测试验证。实验结果表明，通过SNMP协议和代理，能够有效管理和控制AdHoc网络中的关键参数，降低了系统的复杂程度和技术风险。

简介：摘要随着科学信息技术的发展，微电影、微博、微信等快速地被人们接受，大量群众开始关注已经到来的微时代。具有互动效率高、传播速度快等特点的微课最早出现在美国，现阶段已经在我国各个教育阶段内开始应用。在高中历史教学中也有部分教师开始应用微课开展教学活动。本文从微课的相关概述入手，阐述分析教学中微课的应用特点，进而结合高中历史教学实际情况提出加强高中历史教学中微课应用效果的对策建议，希望能够以此提高高中历史教学水平。

简介：摘要在当前全球经济一体化的经济常态下，国内企业的发展机会与挑战并存。信息化带给世界各种变革，同时也悄然改变着企业的管理方式。现代企业想要实现更好的发展，就必须改变传统的管理方式，依托信息化的管理模式，进行改革创新，提高企业的核心竞争力。

简介：摘要计色彩不仅仅起到对广告的画面的美化装饰作用，更为重要的是色彩具有象征性。由于人类历史的不断发展和人类文明的传承积淀，色彩与人类生活会产生密切的联系，并形成关联性，会使某种色彩具有某种特殊的含义和用途，这就是使色彩它具有的象征意义。设计师在进行广告设计创作时要善于合理运用色彩象征性，然后借助于广告创意的幽默、寓意、来强化色彩的象征性，使画面具有较高的艺术价值和视觉效果。

简介：在3G网络到来之前，GSM的无线数据业务将越来越多的被应用，EDGE无线分组业务将受到更多的要求和关注。考虑到3G的入网延迟和移动数据业务的大量需求，预计能带来高速数据传输的EDGE将在不久的将来在现网被大规模地推广和应用，终端用户也将能体验到更多的新业务类型，而QoS是这些高速数据业务的保证，它势必将作为一个重要的特性出现在EDGE网络中并让终端用户确实感觉到它的实用价值。目前，很多设备制造商在最新产品中已经引进了QoS的支持，

简介：摘要灌注桩工程中通过应用桩端压力灌浆施工技术，可以大大提升灌注桩工程的质量，提升承载性能、降低沉降量。桩端压力灌浆施工技术的应用，可以全面提升灌注桩的工程质量，满足当前交通发展的需要。

简介：摘要测控技术与仪器是一门交替综合性的学科，涉及到的方面非常的广泛。其中传感器的应用在测控技术中扮演着非常重要的作用。本文主要阐述传感器的工作原理、种类以及传感器在测控技术中的应用。

简介：在WDM光网络中，在给定一组连接请求后，需要为之建立路由并分配波长，这被称为路由和波长分配问题（RWA）。由于当前光网络中的业务呈现爆炸式的增长，而光网络中的可用资源却是有限的，因此如何使用合理的RWA算法来优化网络资源的利用就显得尤为重要。目前已有很多文献提出了基于各种优化目标的RWA算法，也都通计算机仿真的方法测试和评估了算法的性能。计算机仿真是进行算法性能评估的主要手段，但是关于算法仿真的实现，—般的文献都涉及的很少，本文主要研究了WDM光网络中动态RWA算法计算机枋真的实现。

简介：本文综合论述了力、热能、电能、超声波、光能在洗净过程中的应用,同时分析了力、热、电、声、光等物理作用的应用范围及特点,对相关从业者有一定指导意义.

简介：空管大数据应用是未来空管信息系统重点领域,利用大数据技术深度挖掘空管数据在业务运行过程中的价值可提升航空飞行的安全水平与运行效率,是实现"四强空管"建设的重要手段。首先,分析了国家大数据战略与数据中国等政策方针,结合空管系统发展趋势,阐述了空管大数据应用的需求及现状;然后,从空管网络信息体系运用角度,提出了基于数据、技术、平台和应用4层架构的空管大数据体系;最后,从协同、安全、效率和管理4个方面,給出了空管大数据应用方向与发展趋势。

简介：<正>锅炉分层燃烧技术是通过一台特殊筛分装置将煤仓中的原煤经过煤闸板,利用重力筛分的方法,按上小下大的原则均匀地铺设在炉排上,形成层次分明、疏松有序的煤层。它突出的特点是改善了锅炉透气性,增大了燃烧强度,拓宽了锅炉对煤种的适应性,降低了机械不完全燃烧热损失,提高了锅炉热效率及锅炉出力。

简介：摘要分层教学”是一种在班级制授课条件下适应学生个别差异的课堂教学策略，它着眼于使各层次学生都能在原有基础上得到发展，从而大面积提高课堂教学质量，有利于学生全面成长。本文主要分析分层教学在中学信息技术教学中的应用必要性及策略。

简介：介绍了LMP的主要功能：控制通道管理、链路属性关联、链路连通性验证和故障管理，并对LMP控制通道管理做了进一步的分析和研究。

简介：摘要随着经济的不断发展，人们在衣食住行等方面的要求越来越高。在建筑设计中，建筑设计师倾向于采用环保绿色的建筑理念进行建筑设计。在建筑行业，住宅设计采用绿色生态理念是未来的发展趋势，与传统建筑理念作比较，突出绿色建筑理念的优势，本文就建筑设计中绿色建筑理念的重要性，绿色建筑理念的要求，绿色设计中建筑理念的应用进行探究。