摘要：Is there a finitely based undecided equation theory with recursively solvable word problems? It is stated first by *** (1992), then ***, *** and *** (1993) and *** (1999) have given respectively two examples to answer this problem,. but these two examples are very intricate. In this paper we give a new matrix model of Turing machine firstly, then construct a very simple variety which is solvable but not uniformly solvable, it is simpler than the two examples and answers the question above.

摘要：描述了MobileIPv6HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。

摘要：阻尼系数的确定对于隔振设计非常重要。针对大阻尼黏性流体微振动隔振器,提出一种确定三参数模型阻尼系数的机械阻抗等效理论与测试方法,将三参数模型简化为等效的便于试验测试的两参数隔振模型。将由自行设计的试验系统测量得到的阻尼系数和刚度系数输入到ADAMS仿真模型中,得到等效阻尼系数,并与直接采用迟滞环法得到的隔振器的等效阻尼系数进行对比分析。研究结果显示,两种方法得到的结果具有良好的一致性,证明了本文方法的可行性和可用性。本文方法还可得到以往传统方法难以得到的动态阻尼系数随频率的变化规律,对于隔振设计具有重要的参考价值。由于提出简化的等效模型,使得隔振器阻尼系数的测试更加快捷方便,本方法可推广应用于具有更多参数的隔振器阻尼系数的测量。

摘要：针对现有三维模型变换域信息隐藏容量小、严格依赖顶点排列顺序及拓扑结构、只适用于规则或半规则等特定三维模型的不足,将视频流方法引入三维模型的信息隐藏,提出一种基于帧化采样的小波域信息隐藏算法.通过设计等高线空间分割和帧化采样,应用小波域隐马尔可夫模型(HMM)实现了小波系数零树结构信息隐藏;扩展了基于视觉系统小波域量化噪声的视觉权重分析方法,以自适应地确定信息隐藏的强度.实验结果表明,该算法具有高嵌入量(每个顶点嵌入3比特)、高安全性和低失真度的优点,能够抵抗仿射变换攻击和顶点重排攻击,适合任意网格的三维模型信息隐藏.

摘要：针对传统节能控制模式计算过程复杂、速度缓慢等难题,设计了新的混合动力汽车的节能控制模式。给出控制器的总体结构图,选择ATmega2560单片机组成的控制芯片,通过模拟采集信号电路获取混合动力汽车系统的输入信号,最后采用新型A-ECMS策略通过提取最优等效因子,达到混合动力汽车等效燃油最小化的目的,并对电量维持性进行分析,结果表明,该混合动力汽车的节能控制模式不仅节能控制效果显著,而且具有较高的稳定性。

摘要：为了实现电动汽车动力系统系统参数的优化匹配,根据电动汽车设计参数建立电动汽车整车性能仿真模型.围绕电动汽车整车、开关磁阻驱动电机与蓄电池选择匹配问题,研究蓄电池单体容量对电动汽车整车性能的影响规律.基于电动汽车循环行驶工况,提出一种以提高蓄电池利用效率为目标的电动汽车蓄电池参数优化匹配方案,通过引入蓄电池荷电状态(SOC)质量比系数对蓄电池单体容量及组容量进行优化选择.以同步提高电动汽车动力性能和经济性能为目标,定义基于电动汽车循环工况的整车性能综合指标系数,对车辆传动系比进行了优化设计,并对该优化方案下电动汽车整车及开关磁阻电机动态性能进行了仿真分析.结果表明:提出的电动汽车驱动电机、蓄电池及整车传动系比的优化匹配方案能很好地满足ECE城市循环工况的行驶要求,对改善整车动力性能,提高电池效率,增大续驶里程等都具有十分重要的意义.

摘要：测试并确定航空航天材料在复杂高速热冲击条件下的强度极限等关键参数,对于航空航天材料和结构的可靠性评定、寿命预测以及高速飞行器的安全设计具有重要的意义.针对强度设计手册中没有航空航天材料在高速热冲击环境下的强度极限等表征参数的现状,使用自行研制的高速飞行器瞬态气动热试验模拟系统,对铝合金材料2A12在多种不同的瞬态热冲击条件下,进行气动加热模拟与热载联合试验研究,得到在瞬态热、力学环境的共同作用下铝合金2A12材料的强度极限等力学性能变化状况.为研究分析航空航天材料和结构在高速热冲击环境下的承载能力和结构减重提供可靠依据.

摘要：通过在子通道分析程序ＣＯＢＲＡ－ⅢＣ／ＭＩＴ２中引入能够计算高欠热沸腾区空泡份额的Ｂｏｗｒｉｎｇ模型，定量验证了５ＭＷ核供热堆（ＮＨＲ－５）功率运行时高欠热空泡的存在，且额定工况下堆芯平均空泡率为１．０６×１０－２，并研究了这类空泡的产生及其分布特征。以此为基础，在冷却剂系统分析程序ＲＥＴＲＡＮ－０２中补充高欠热沸腾计算模型，对负荷自跟随特性实验和自稳定性实验进行了分析计算，给出了分析结果与实验结果的比较。同时还研究了高欠热空泡的反应性反馈在动态过程中的作用及其特点。

摘要：掌握热防护系统(TPS)中热结构超合金蜂窝面板在热环境下的传热隔热特性,是飞行器防热结构设计的先决条件。从镍基高温变形合金蜂窝板隔热试验出发,结合蜂窝板的试验和实际使用环境下的对流换热理论分析,建立了考虑夹芯的辐射、传导和对流传热形式的蜂窝面板的瞬态传热数值计算模型,得出镍基合金蜂窝板在高温下的防热特性。通过与试验结果进行对比,分析了试验误差和不同环境间的修正。讨论了部分蜂窝板设计参数对隔热效果的影响,得到了不同材料常数和蜂窝芯壁厚对隔热效果的影响规律。

摘要：设计了一种将吸声降噪、景观绿化2种功能有机结合的生态声屏障,利用RAYNOISE声学软件对生态声屏障、普通直立型声屏障的降噪效果进行数字模拟比较,对生态声屏障的降噪插入损失进行了实验测量.声学软件RAYNOISE的仿真模拟结果表明:生态声屏障有较好的降噪效果,在声影区内高度4 m以下的生态声屏障比直立声屏障插入损失大0～4.63 dB,在高于4 m后生态声屏障的插入损失虽然大于直立型但不大于1 dB.实验结果表明:频率为63～500 Hz时,生态声屏障的插入损失为0～28 dB,并且随着频率的增加逐渐增大;当频率大于500 Hz时,插入损失不再增大,维持在20 dB左右.