摘要：为预防路网局部过度拥堵导致路网大面积过饱和,分析了路段和路网的过饱和交通状态,提出路网过饱和状态判定及过饱和诱导控制策略启动时机的判定方法;基于有向图论,在固定交通需求条件下,以路段饱和度最大值最小化为目标,路段通行能力和路段流量平衡为主要约束条件,建立了交通诱导模型;以路段饱和度方差最小化为目标,路段通行能力和相位时长调整的极限值为约束条件,建立了交通控制模型;采用遗传算法进行求解。算例路网的试验对比表明,交通诱导使路网过饱和路段的最大饱和度有所降低,降低了19.6%;交通控制模型使各路段的饱和度均衡,标准差也有一定程度的降低,降低了12.9%;表明在交通诱导和控制协同管理下,路网运行指标有所改善,在一定程度上预能防路网过饱和状态发生。

摘要：水平轴风力机叶片结冰研究是当前以及未来风力机可靠性研究的一个重要方向。本研究旨在搭建一套可模拟绕轴旋转状态下的玻璃钢叶片结冰试验系统并对其进行验证,为实际风力机叶片缩比模型结冰风洞试验提供研究基础。试验系统采用自行设计的基于自然低温的结冰风洞试验系统以及旋转叶片试验台,对翼型为NACA0018的玻璃钢叶片进行绕轴旋转结冰风洞试验。结果表明:在不同环境工况下,叶片的结冰形状虽然不规则,但仍有一定的规律性,通过建立冰形评价方法可以获得其典型特征量的变化趋势。利用回归正交实验设计,将无因次结冰面积与无因次结冰驻点厚度这两个典型特征量作为响应值,获得了结冰规律曲线,与试验值相比在一定范围内具有较高的重合度。本试验系统可用于进行风力机叶片结冰研究,本研究结果可为叶片的防除冰提供参考。

摘要：该文首先证明基于MAC层竞争造成的网络拥塞模型中存在纳什均衡点。其次,基于WOLF-PHC学习策略提出了一种跨层拥塞控制(WCS)机制。它在路由层中选择一对去耦合节点作为转发节点,同时在MAC层对源节点的发送数据进行分流,从而提高链路的空间重用性。仿真结果表明:在不需要交互任何信息的情况下,通过节点之间的相互博弈以后,采用WOLF-PHC算法能够找到每个节点的最佳分流概率进而使整体网络吞吐量达到最大值;同时当外界环境发生改变时,该算法能够较快地找到新的最佳分流概率从而实现对环境的自适应能力。

摘要：基于受保护飞行器、防御弹和攻击弹在空间形成的角度关系设计了一种几何制导律。首先,通过分析三者在空间形成的三角形几何关系,将受保护飞行器和防御弹作为一个协同体,以防御弹位于攻击弹和受保护飞行器的连线上为基本准则,给出二维几何制导律的表达式,并对所设计制导律的稳定性进行证明推导。其次,利用矢量运算将设计的二维制导律在三维空间进行了扩展,给出了三维空间中几何制导律的表达式。最后,仿真表明,设计的几何制导律能够有效保护飞行器安全,相对于比例导引,拦截时间短,制导精度髙,过载变化较为平稳,克服了比例导引末端过载发散的情况,降低了对执行机构的要求。

摘要：安全关键系统的失败会造成很严重的后果,确保其正确性非常重要.空间嵌入式操作系统是一个典型的安全关键系统,在其内存管理的设计上,必须保障其高效的分配与回收,同时对系统资源的占用降到最低.在传统的软件开发过程中,通常是在整个软件开发结束后再进行集中测试及验证,这样势必会造成开发进展的不确定性.因此,将形式化验证方法和软件工程领域内的“需求-设计-实现”的3层开发框架相结合,通过性质分层传递验证的方法,保证了各个层次间的一致性.首先,从需求层面的需求分析开始,引入形式化证明的思路,证明对需求层逻辑的正确性,从而可以更好地指导程序的设计.其次,在设计层面的验证可以极大地减少开发代码的错误率,证明设计算法和需要实现的函数之间调用逻辑的正确性.最后,在实现层,证明所实现代码与函数设计的一致性,并且证明代码实现的正确性.使用交互式定理证明辅助工具Coq,以某一国产空间嵌入式操作系统的内存管理模块为例,证明了其内存管理算法的正确性以及需求、设计、实现的一致性.

摘要：论述了一种基于1 024pixel×1 024pixel电子倍增(EM)CCD图像传感器(CCD201)的数字化相机设计方法。利用复杂可编程逻辑器件(CPLD)产生CCD逻辑时序及视频同步处理控制时序;采用集成器件与分立器件相结合的方式实现EMCCD垂直驱动时序,获得视频信号;使用带有相关双采样(CDS)功能的16位模数转换器对CCD视频信号进行数字化。介绍了时序控制、驱动电路、视频处理电路等关键组成部分的技术实现方法。实验结果显示,数字化相机前端能够连续输出16位数字图像数据,光动态范围大于70dB,电子增益采用程控方式,增益倍数最高能够大于50dB。该设计方法已成功应用于远程EMCCD图像采集系统中,设计的系统能够在微光成像及辐射场诊断中应用。

摘要：卫星骨干网络将向宽带与中继融合方向发展,为陆、海、空、天基用户提供全球骨干传输、宽带接入、全域通联等服务。该文针对全域用户通联的新需求,创新采用“卫星骨干网络/全域用户接入”模型,提出一种具有层内、层间星间链路的中高轨混合的多层卫星骨干网络架构(3GEO+3IGSO/24MEO)。对该架构的全域覆盖性计算分析,得出该多层卫星骨干网络能够实现地球表面到地球同步轨道高度(约36000 km)全域100%覆盖,并为全域用户提供多重接入能力。进一步对路径数、最少跳数、最小时延等关键网络性能指标分析比较,说明了该架构中轨卫星与高轨卫星之间存在层间星间链路的必要性。分析结果表明:该架构能够满足全域宽带接入和全球骨干传输的需求。

摘要：在边坡防护及滑坡治理工程中单孔复合型锚索获得了越来越广泛的应用。基于滑坡工程实例中的锚索抗拔试验,设计了一种既可获得锚索抗拔力和预应力损失,又可实现对单孔复合型锚索单元锚固段进行受力测试的装置,其原理是通过直接测定锚索中的单束钢绞线受力而获得锚索受力,详细地介绍了该装置的设计实现。利用这种新型的测试方法于某滑坡锚固工程验明了可行性,测试结果为相应地质条件下的锚索设计方案和锚索施工提供了直接依据,亦具有工程应用和参考价值。

摘要：结合纺织厂筒并捻车间信息化建设的现状和需求,借助企业内部局域网构建了系统的网络拓扑结构,利用计算机网络技术、串口通信技术、数据库技术,实现了系统的功能模块和数据库的设计,介绍了系统的主要管理功能、数据采集技术,并对系统后台数据库设计和系统实现过程中的关键技术进行了阐述。该系统实现了筒并捻车间生产管理的网络化,促进了纺织企业生产信息化的发展。

摘要：在设计了一种催化惰化系统流程并描述其工作原理的基础上,以从油箱中抽吸气体的摩尔流量为基准,推导了流经催化反应器后各气体组分的流量关系,通过质量守恒方程及气体平衡溶解关系,建立了油箱气相空间气体浓度变化的数学模型。选择了RP-3、RP-5和RP-6燃油作为对象,用所建立的数学模型计算了不同载油率和催化反应器效率下的气相空间氧浓度变化关系。研究显示,由于3种燃油的蒸汽压不同,造成从外界环境补气及进入油箱的混合惰气流量不同,从而导致气相空间氧浓度的变化规律差异远大于采用中空纤维膜的机载惰化系统。因此,在设计催化惰化系统时要充分考虑燃油类型对惰化系统性能的影响。