更高速(400+km/h)列车气动减阻技术发展与展望

合理有效的气动减阻技术是我国研发运营速度400+?km/h高速列车的过程需展开深入研究的重点内容.首先阐述了高速列车气动阻力的基本分布特征,并针对国外下一代更高速列车的气动减阻技术进行了调研,尤其分析了欧洲、日本和韩国的下一代更高速列车气动减阻技术的特征,总结了国外下一代高速列车气动减阻的关键技术与方法.然后根据列车气动减阻技术实施部位的差异,从列车头型优化以及转向架、受电弓和风挡等局部结构优化两个方面对我国目前高速列车气动减阻技术研究现状进行了分析和梳理,同时归纳了新型气动减阻技术的研究现状.最后在综合国外下一代更高速列车气动减阻技术与我国气动减阻技术研究的基础上,对我国更高速(400+?km/h)列车气动减阻技术中可行性较高且效果明显的发展方向进行了展望与建议,为我国更高速列车气动减阻技术的设计与发展提供有价值的参考.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

差分卫星定位技术及其在武器系统中的应用

差分卫星定位系统可以极大地提高卫星定位的精度,但也有使用、维护复杂等缺点。针对差分卫星定位的特性,首先阐述了卫星差分定位的基本原理,分析了卫星定位误差源,并介绍了差分定位系统对各种误差的修正情况,然后介绍了差分定位系统的分类、方法及发展,其中详细介绍了在武器系统领域中应用较广的局域差分系统的各种方法及其优缺点;最后,对差分系统的实际应用进行了阐述,并重点探讨了其在进攻性武器及防御性武器领域实现应用的可行性。     

具有软件特征的一种CTI应用模式

计算机电信集成技术是 2 0世纪 90年代新兴的计算机通信技术。通过使用最新的数字处理技术 ,CTI把计算机和通信紧密地结合到一起。本文论述目前CTI的发展趋势 ,即传统呼叫中心与WEB呼叫中心统一的方案向“软件”方向靠拢的趋势 ,核心是提出一种分层的CTI体系结构。     

预测悬停旋翼跨音速流动的一种组合自由尾流/CFD方法

一种新的组合自由尾流 / CFD方法用于悬停旋翼流动的 CFD解中以考虑实际尾流的作用 .用文中描述的尾流分析方法研究了螺旋尖涡的运动 .首先从广义尾流模型开始 ,用半经验公式模化了涡核对旋翼尾流的作用 ;然后在环量收敛和尾迹收敛的条件下完成了自由尾迹计算 ;最后应用 Jameson有限体积龙格 -库塔推进格式求解了欧拉方程 .所得结果与相关文献和实验数据进行了比较     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

IC制造中平坦化技术的性能与分析

表面平整化技术是半导体工业的关键技术,在一定程度上制约着半导体芯片集成技术的发展,针对多层立体布线的IC全局平坦化技术,介绍了代表当今平整化技术及其未来的发展方向,其中一些技术会取代传统的CMP技术而成为IC产业的主导技术之一;叙述了超大规模集成电路(ULSI)的发展对全局平整化的具体要求;对传统的CMP技术的特点进行了分析;并论述了当今主流的IC平整化技术的原理、性能以及未来的发展方向。     

深基坑支护——土钉墙的应用

介绍了土钉墙的基本原理和应用范围，通过土钉墙在南方某地铁车站的具体实例，说细介绍了土钉墙的施工工艺及施工方法，总结了土钉墙在应用中常见的问题及处理措施。     

拉格朗日中值定理的一个新证法

本文给出了利用坐标旋转法证明拉格朗日中值定理的一种新方法。即从罗尔定理出发，采用坐标旋转法及隐函数、复合函数求导法则，证明拉格朗日中值定理，由于该证明方法从直观的几何意义入手，因此，其证明过程更加清晰、易懂。     

Pro／Engineer中的圆角特征处理

本文从设计原理的角度结合作者的使用经验，分析了Pro／E中圆角特征的作用、构造方法及注意事项，以利于该特征在众多菜单中理清思路并正确构造圆角特征。