关于BL-代数的implicative滤子的一些结果

通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题"一个normal滤子在什么合适条件下成为fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件。     

脉动风场的模拟方法及其在输电线路风振计算中的应用

针对脉动风场各种模拟方法的适用性问题,在相同的输电塔线实例上进行模拟方法的应用,对比各种方法的计算效率和计算结果,分析各种模拟方法的适用性和等价性,最后探讨单塔和塔线体系计算结果的差异。研究表明:基于POD分解的WAWS法不存在风速互谱密度矩阵无法分解的情况,计算效率较高,因此推荐使用。考虑三维风场后响应的脉动均方根比一维风场大;塔线体系中计算得到的响应均方根比单塔大。     

封闭前后航天发射塔回转平台结构动特性分析

建立了封闭前后航天发射塔回转平台的结构有限元模型,分析求解了其固有频率和振型.通过对比分析,明确了封闭对回转平台结构动特性和可靠性安全性的影响规律.上述分析计算结果对实际工程使用具有一定的参考价值.     

多跑道离场分配仿真模型及算法

多跑道作为大型繁忙机场的关键资源和瓶颈区域,在机场运行管理中必须对其进行科学和高效配置。基于经验滑行时间数据,建立了多跑道离场分配模型,在满足场面运行安全约束的前提下,以离场航班滑行时间最小为目标,寻求最优的跑道分配方案。通过选取典型机场进行地面网络建模,结合实际运行数据及航班计划等信息,利用计算机仿真对模型进行了验证分析。仿真结果表明,所提方法与随机分配方法相比,多跑道机场地面容量提高了2．1％,冲突探测与解脱次数降低了20．6％,最大延误时间减小了5．2％。因此,机场运行安全与效率得到改善,所提方法有效,适用于多跑道离场分配问题。     

基于图像对的体视显示算法研究与实现

依据摄像机拍摄的左右两幅图像,按照提出的算法进行图像的矫正、重采样和图像对间的密集匹配,最后通过图像插补输出符合双眼特性的体视图像,试验证明插补后体视图像效果较好.     

自动测试系统适配器自动设计技术

 针对当前自动测试系统（ATS）适配器设计中存在的“自动化程度较低、缺乏通用性”的不足,开发了ATS通用适配器自动设计技术。建立了一整套通用适配器自动设计流程,在依次完成通用端口设计、UUT测点资源匹配、适配器开关网络设计、相关工程设计后即可实现自动设计一个通用适配器的目的。以某机载通讯设备自动测试系统为例,采用该技术可缩短ATS适配器开发周期至原来的1/3,降低开发成本,提高设计的标准化、通用化程度,适配器需要量由5个减为1个。     

复合材料抗冲击性能和结构压缩设计许用值

 从复合材料结构压缩设计许用值的概念和复合材料的冲击后压缩强度性能出发,讨论按NASA标准得到的CAI值与它们的关系,指出传统的CAI值不能充分反映复合材料体系的抗冲击性能,且与结构压缩设计许用值无任何联系。在对复合材料结构完整性要求和作者的试验研究,和对国外文献总结的基础上,提出复合材料抗冲击性能应包括损伤阻抗和损伤容限两方面。大量的试验数据证实复合材料层压板抗冲击性能存在拐点现象,在对拐点附近复合材料层压板的破坏机理研究基础上,建议用拐点附近的性能建立复合材料层压板抗冲击性能的评定体系,即可以用表面层在冲击下保持其完整性的最大能力(最大接触力)来表征复合材料体系的损伤阻抗(韧性);用出现拐点后基本不变的压缩强度(破坏应变)门槛值来表征复合材料体系的损伤容限。     

卫星地面测试设备PCI接口数据处理采集卡设计

介绍了某型号卫星地面测试设备PCI扩展卡的设计方法,除了对功能电路的设计进行描述外,还详细介绍了PCI接口芯片PLX9054的使用及其本地接口时序的设计,包括本地中断设计、DMA突发传输的状态机和相应的主机软件开发方法。     

地方高校德育实践新模式

提出当前地方高校普遍存在于德育环节客观、主观存在的瓶颈,分析了制约大学生德育发展因素的成因。通过模块式实践培养方案的研究和制定,探讨适应地方高校的实践育人新思路。     

NVNA谐波相位检验件设计及定标

本文介绍了一种用于检验非线性网络分析仪谐波相位指标的检验件设计方法,并搭建了基于实时示波器的测量系统对谐波相位进行定标。通过高速实时示波器对检验件的输出信号进行采样,利用傅立叶变换提取谐波相位信息。为了得到高准确度的测量结果,采用去缠绕、最小二乘等算法对相位结果进行优化处理。实验结果表明,该方法可以作为NVNA谐波相位指标的验证手段对NVNA的谐波相位进行验证。