基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于广义后缀树的最长重复子模式算法

最长重复子串问题是字符串处理中的一个经典问题,是许多应用的基础。但有些时候人们不只关心相等的子串对,还要查找具有某种其他关系的子串对。例如在DNA序列中通常关心字符串和它的补串。这种联系可以看成是一个字符串经过某种置换后与另一个字符串相等。因此本文定义了单一置换下的最长重复子模式和最长重复子模式两个问题,提出了基于广义后缀树的算法来解决这两个问题,并在理论上分析了它们的时间复杂性和空间复杂性。     

平面交叉口混合交通流建模与仿真

在混合交通条件下,交通参与者成分复杂,各种交通方式速度各异,交通冲突频繁。特别是在交叉口机动车与非机动车相互干扰,带来了安全、效率、污染等多方面问题。本文首先介绍我国混合交通流的特点,然后对自行车个体微观行为进行定性的描述分析。通过对实际信号交叉口的调查研究,和对机动车流率与非机动车到达与释放规律的模型建立与定量计算。分析总结出平面交叉口机非干扰的一般规律和冲突避让原则。根据实测数据,结合视频处理和统计软件的使用通过计算直行与左转非机动车换算系数,提出了改进的机动车延误时间模型,并通过使用VISSIM3．6进行微观仿真验证了模型的有效性。     

固体推进剂裂纹内点火过程流固耦合数值仿真

利用CFX和ANSYS模拟了固体推进剂裂纹内点火阶段的流固耦合过程.流场边界添加源项模拟装药燃烧的质量添加,CFX计算得出的压强值和ANSYS计算得出的边界位移在2个软件之间传递,实现流固耦合仿真过程.仿真结果表明,裂纹内部燃气压强随时间先增大后减小,之后逐渐稳定;药柱最大应力随时间变化呈波动状态,最大变形量随时间持续...     

新型单元的频率选择表面

在传统十字单元基础上,提出一种新型单元的频率选择表面(FSS)。分析传统十字单元FSS和新型单元FSS在大角度入射时的极化稳定性,并研究TM波入射角度变化时,中心频率的漂移及传输系数的变化。结果表明,传统十字单元FSS在45°入射时中心频率的极化稳定性很差,漂移量为406MHz,TM波由0°到45°入射时,中心频率漂移为448MHz;而新型单元FSS具有中心频率的角度稳定性,TM波入射角度由0°变到45°时,中心频率漂移量仅为28MHz,并且在大角度入射时具有中心频率极化稳定性。     

矩形橡胶复合材料层合板的大变形研究

本文应用Ｋｉｒｃｈｈｏｆｆ假设和ＶｏｎＫａｒｍａｎ理论对正交各向异性的矩形橡胶复合材料层合板进行了几何非线性分析。与线性结果相比,大变形理论所得结果更具准确性。     

一个非常规前体机身的流动显示研究

描述了有类似Ｅｒｉｃｋｓｏｎ前体的非常规机身的初步流动显示研究结果,包括测力、表面油流和激光片光流动显示结果和用层流Ｎ－Ｓ方程进行数值模拟的结果。计算和试验的参数范围：α＝０°～５０°,β＝０°～２０°,虽然计算与试验所用的外形在后部有一些不同,但是两者在涡的位置方面显示了良好的一致性。同时研究也表明,大攻角的流动特性可以通过改变机身前体形状进行控制。通过研究还表明,这类前体在改善大攻角横侧方向安定性方面具有很大的潜力。     

HS-X型高速水力测功机修理研究

某型高速测功机长期工作后出现效率下降、振动突增现象,无法满足发动机试车时功率吸收需要,也不能保证试车安全.通过对高速水力测功机开展逆向设计、增材修复及零备件国产化替代,自主研发高速水力测功机修理技术标准和全套工装设备,成功修复该型高速水力测功机,打破英美国家对国内的高速水力测功机修理技术封锁,也为后续国内高速水力测功机...     

温湿度传感器检定系统设计

本文介绍了利用电子扫描开关,可一次检定多只温湿度传感器的检定系统的硬件和软件设计。