基于哈希链表和时间链表的HTTP代理缓存机制的实现

随着互联网的快速发展，越来越多的用户需要访问Internet资源，局域网人的众多用户如何能够通过一条Internet连接进行快速的网络浏览？这涉及到WEB代理服务器的核心部分--HTTP缓存系统。HTTP代理服务器的缓存系统将用户浏览的网页保存在代理服务器中，一旦有用户浏览相同的网页并且该网页还没有更新，则代理服务器直接将网页传递给用户，无需重新下载。因此，缓存明显加快了浏览速度。本文首先介绍了代理服务器的缓存原理，然后对缓存机制的具体功能进行了划分，最后给出基于哈希链表和时间链表的缓存系统的实现方法。     

基于民航局PEPEC考核机制的航空英语教学创新研究

为提高中国民用航空飞行人员的综合英语水平,中国民用航空局(CAAC)开发研制了基于网络的PEPEC考试系统(中国民航飞行人员英语能力测试系统,即Pilot English Proficiency Examination of China)。以PEPEC考试为切入点,深入解读PEPEC考试对航空英语的反拨效应,不仅能有效提高航空英语教学的时效性,也将积极推动应用型飞行人才的培养。     

椭圆内聚激波面间断化过程的激波动力学分析

针对椭圆内锥几何约束下激波的非均匀汇聚问题,利用高超声速等价原理,将三维定常椭圆内锥激波转化为二维非定常椭圆内收缩运动激波。根据激波动力学原理,发展出一种既能得到非定常激波面演变过程及参数分布,又能沿着激波面追踪扰动传播过程的“波面-扰动追踪法”。该方法不仅具有快速预测激波非均匀汇聚及其演变过程的特点,而且有助于揭示激波面从连续弯曲演变出间断的内在机理。研究表明：初始沿周向强度均匀,而几何形状偏离轴对称的椭圆内聚激波受到自身产生的非均匀“Shock-Compression”扰动,在向中心汇聚的过程中,激波强度非均匀性出现且不断加剧。由于长轴附近的激波面曲率大,激波强度增长得更快。而激波强度的非均匀性会导致扰动的聚集,使得原本连续光滑的激波面出现间断,进而将初始长、短轴附近的激波面分割为强、弱两对激波段。增大长短轴比,椭圆激波的非均匀性演化更快,激波面更早地出现间断。利用“波面-扰动追踪法”对椭圆激波汇聚过程进行分析,为解决三维定常内锥激波的非均匀汇聚问题提供了新的途径。     

平均应力对AZ31B挤压镁合金棘轮行为的影响

为探讨非对称循环应力作用下镁合金的棘轮行为,对AZ31B挤压镁合金进行了室温下压-压应力控制的循环实验,研究了不同平均应力下AZ31B挤压镁合金棘轮应变及其演化过程,讨论了平均应力作用下循环变形过程的主导塑性变形机制及其对棘轮行为的影响。结果表明,AZ31B挤压镁合金在压-压循环过程中存在明显的棘轮现象,相比于位错滑移,孪生-去孪生机制对棘轮应变的形成起到关键作用,决定了棘轮应变的变化率。在平均应力为0、-45、-75、-135 MPa时,循环过程中形成的棘轮应变随平均压应力的增加而增加,经一定循环次数后趋于稳定,棘轮应变率随循环次数的增加先急剧下降后维持不变。     

基于空间注意力机制的行人再识别方法

行人再识别是图像检索领域的一个重要部分,但是由于行人姿态各异、背景复杂等因素,导致提取到的行人特征鲁棒性和代表性不强,进而影响行人再识别的精度。在AlignedReID++算法基础上,提出了基于空间注意力机制的行人特征提取方法,应用在行人再识别中取得了很好的效果。首先,在特征提取部分,引入空间注意力机制来增强特征表达,同时抑制可能的噪声;其次,通过在卷积层中引入实例正则化层（IN）来辅助批正则化层（BN）对特征进行归一化处理,解决单一BN层对特征色调变化以及光照变化的不敏感性,提高特征提取对亮度、色调变化的鲁棒性;最后,在Market1501、DukeMTMC和CUHK03 3个行人再识别通用数据集上对所提改进模型进行测试评价。实验结果显示:改进后的模型在3个数据集上识别精度分别提升了2%、2.9%和5.1%,表明改进后的模型相较于改进前的模型,在精度以及鲁棒性上都有显著提高。      

事件触发机制下的充液航天器姿态控制

针对液体大幅晃动、通信资源受限的充液航天器姿态控制系统,提出一种自适应滑模控制与事件触发机制相结合的控制策略。首先,针对固-液耦合的充液航天器姿态控制系统,选用滑模变结构控制来削弱液体大幅晃动的非线性影响,并设计自适应更新律在线估计不确定参数来提高系统的鲁棒性。然后,考虑星载计算机资源的限制,设计相对阈值的事件触发机制来决定控制输入信号的更新,从而减少控制器与执行器之间的信号更新对通信网络的占用。最后,仿真结果表明,在液体大幅晃动下,所提控制策略不但可以使航天器姿态控制系统最终收敛到任意小的界内,而且可以减少96%的控制信号传输,减轻航天器的通信负载。      

关于我国航空运价水平影响因素的探讨

本文在对航空运价形成机制外在表现形式进行分析的基础上,将影响航空运价的内在因素归结为行业内因素和行业外因素,并分析了各个因素对航空运价水平的不同影响。实证分析表明,铁路竞争和航空运输成本是影响航空运价水平的两个重要因素,其中航空运输成本为主要影响因素。     

实时数据库的主动机制研究与实现

主动机制是实时数据库管理系统（ＤＢＭＳ）的一个重要功能。在主动机制的基础上,实时ＤＢＭＳ能够根据数据库中某些数据及环境的变化,主动地作出一定的反应,执行预先设计的动作,而不仅仅是被动地执行用户的命令。文中主要介绍一个实时ＤＢＭＳ的主动子系统,采用事件－条件－动作的规则来实现其主动功能;讨论了规则的表示和存储结构,规则子系统的系统结构及与ＤＢＭＳ的联系;并详细介绍了条件评价器、规则检索优化、规则冲突     

航空薄壁结构有限元建模的智能化求解模型研究

介绍了利用CAD、网络自动剖分和人工智能技术相结合进行航空薄壁结构有限元建模的问题求解框架，着重论述了建模过程中模型演变的四个不同阶段的任务，提出了适应于建模各阶段的整体式知识表达模型，并对采用黑板机制来组织知识推理和算法任务调度的过程求解模型做了描述。该问题求解框架有助于构造高效实用的复杂薄壁结构有限元建模专家系统。     

复杂性理论下的城市范式探讨

通过对城市的本质和其内涵的研究,力求从复杂性理论的角度,揭示城市内部发展、演化、衰亡的规律和范式。在前人研究的基础上,首先阐明了城市的本质是由于其内部人的复杂性所引起和形成的;其次,对于城市复杂性的内涵、特征等要素进行了论述,力求得出城市复杂性的核心观点。再次,通过对城市复杂性的演化机制进行研究,从自组织、动态演化、方面说明了城市系统复杂性范式的动力所在。