基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

天线选择算法在MIMO系统中的应用比较

介绍了最佳选择、相关性选择和快速选择三种天线选择算法,并将三种算法在信道容量上进行了比较。结果表明,在信道状态、天线数量相同的前提下,三种算法相对于随机选择算法明显增加了MIMO系统容量,其中相关性选择算法在其算法复杂度上体现出的优越性更体现了其实用价值。     

国航开通上海浦东-兰州中川直达航线

近日,国航开通上海浦东机场至兰州中川机场直达航线,届时往返于两地间的广大旅客又多了一个新的出行选择。航线开通后,国航旅客可从兰州直飞至北京、上海、成都三个城市,每周共计53个航班,航线网络得到进一步完善。     

AIS在LRE故障检测与诊断中的应用研究

为提高液体火箭发动机(LRE)故障检测与诊断的及时性、实时性与准确性,将人工免疫系统(AIS)中的否定选择原理用于LRE的故障检测与诊断。基于正常状态与故障模式的人工识别球,采用最大相似原则,实现了LRE稳态工作过程中的故障检测与诊断,并用LRE稳态故障试车数据进行实验。验证结果表明:AIS对LRE故障检测与诊断的速度快,正确率与灵敏度高,捕获未知故障能力强,有良好的应用前景。     

RAT系统作动筒阻尼孔的设计与仿真技术

冲压空气涡轮（Ramjet air turbine,RAT）在紧急情况下释放能够为飞机提供所需的电能和液压动力,从而保证飞机安全。RAT系统能否在规定时间内顺利释放是保证飞机安全的关键,其释放速度主要靠作动筒的阻尼孔来控制,但是目前国内在RAT作动筒阻尼孔的设计方面缺乏研究。为此,利用仿真技术,开展了RAT系统作动筒阻尼孔的设计研究。首先根据RAT作动筒的结构和工作原理,使用AMESim建立了RAT作动筒模型,并验证了模型的正确性。AMESim是一种基于物理模型的建模仿真平台,其中包含液压元件设计库、动力传动库等,在液压系统的建模仿真方面应用十分广泛。然后通过仿真试验,研究了阻尼孔的设计对RAT释放时间的影响规律及程度。最后,针对支线飞机和小型飞机的RAT释放时间要求（0.6~0.8 s）,对阻尼孔进行了最优设计,从而为RAT系统作动筒阻尼孔的设计工作提供支持。     

TCP/IP网络的DDOS攻击及对策

随着网络技术的发展,Ｉｎｔｅｒｎｅｔ逐渐渗入社会生活的各个方面,这些都要求计算机网络具有较高的安全性,但是网络在实际运行中可能受到多种攻击,从而削弱其安全性。文中介绍了在Ｉｎｔｅｒｎｅｔ上可能导致严重危害的拒绝服务、分布式拒绝服务的概念,分析了分布式拒绝服务的攻击原理,重点讨论其利用ＴＣＰ／ＩＰ协议体系固有的安全漏洞,对Ｉｎｔｅｒｎｅｔ上的站点发动攻击的方式;对于发起分布式拒绝服务的两个阶段－发展     

2006年中国机床工具行业经济运行分析

机床工具行业经济运行基本情况 1 工业总产值和产品销售收入 据国家统计局资料,2006年1～12月份,全国机床工具行业8个小行业2404家企业合计完成工业总产值1656.11亿元,同比增长27.1%,增幅比上年同期提升2.3个百分点;产品销售收入1586.13亿元,同比增长26.4%,增幅高于上年同期0.9个百分点.     

基于CAD的压气机导叶调节机构智能化设计工具开发

本文以压气机可调导叶机构设计为切入,介绍了一种基于CAD技术的压气机可调导叶调节机构设计工具.本工具利用高级汇编语音良好的交互性和用户体验性,结合CAD数据处理的高效性与准确性进行开发,具有可视性好、交互性好、操作简单易上手、推广适应性强的特点.应用该工具进行设计与用传统方法设计相比,设计精度一致,但迭代工作量更小,设...     

公务机飞行前风险评估工具研究

近年来,公务航空发展迅速,但在运行过程中也面临多种风险,国内暂时没有一套针对公务机全面、系统的飞行前风险评估工具,因此,有必要对公务机飞行前风险评估进行研究。本文首先根据公务机实际运行,通过分析公务机飞行安全影响因素,建立一份飞行排班人员风险评估指标体系,以及一份飞行员风险评估指标体系,在两份指标体系共88个三级指标的基础上,对每个三级指标划分出低、中、高三种检查标准,相应制订出两份检查单,通过层次分析法确定各检查项权重,并设计一套风险值计算方法。最后,对于风险评估工具的应用给出建议。     

深空探测运载火箭多弹道选择技术全系统测试研究

针对深空探测任务发射机会少、发射窗口窄,若发射时间偏差较大则会造成探测器系统后续轨道修正过程中消耗较多推进剂的情况,提出了在运载火箭测试发射过程中应用多弹道选择技术,给出多弹道选择技术的电气实现方案,以及多弹道选择技术的全系统测试方案.采用基于需求的系统测试技术,针对系统真实应用场景中可能发生的各种异常工况,设计了多个...