基于MIPS32架构三角函数指令集扩展的设计与实现

基于商用MIPS32处理器架构,文章提出一种CORDIC算法的指令集扩展方法,利用硬件电路的并行性、可定制性以及指令编码的灵活性,使得该方法在计算三角函数时具有高效率、高精度的特点.数字信号在处理过程中涉及到三角函数运算时,大都采用查表映射的方式,其延迟长、效率低、耗费存储空间大,难以满足实时性要求.实验结果表明:该文...     

海水中声波信号检测算法研究

海水内部复杂的噪声环境以及声波发射端和接收端的相对运动所导致的多普勒效应,使海水中表征有用信息的声波信号信噪比低,且声波频率会产生偏移.针对这一问题,建立了海水中的声波传输模型,并以适合于海底低功耗、微处理器实现的双频声波信号的实时检测算法为研究对象,通过仿真实验对比了相关分析、频谱分析、功率谱密度分析以及短时傅里叶变...     

大学物理实验中不确定度的评定

讨论了不确定度的评价体系的现代进展,提出了在大学物理实验中推广和使用不确定度的迫切性,就不确定度的评定方法进行了探讨.     

氢原子渗透对管线钢微裂纹扩展的影响研究

管线钢在发生氢致开裂过程中,氢原子通过吸附、渗透等方式进入金属并聚集在微裂纹和微孔中,并与缺陷产生相互作用,对钢材的力学性能产生极大影响.为研究氢原子渗透对管线钢裂纹开裂行为的影响,采用分子动力学方法,首先建立含缺陷的铁素体型管线钢的铁素体-渗碳体微观片层结构,随后研究在单轴拉伸载荷作用下,处于300K温度下不同氢原子...     

面向信息物理融合的建筑信息模型扩展方法

提出了一种面向信息物理融合的BIM(building information modeling,建筑信息模型)扩展方法,重点从面向信息物理融合的BIM扩展总体框架、BIM信息物理融合实体的定义与构建等方面开展研究,可为高效构造基于BIM的建筑运维动态管控、增强现实人机交互等新型系统提供技术支撑。原型系统构建试验结果表明,该方法开发基于BIM的工程运维系统时具有模块化程度高、易于理解等优点。     

关系扩展规则

基于关系转换方法对模态逻辑进行转换, 使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理, 得到一种新的可用于模态逻辑的推理方法, 并证明了其正确性和完备性.     

四叶孔支撑板换热器壳程流态及其传热机制研究

为了研究四叶孔支撑板换热器壳程的流体流动和传热性能,利用CFD软件建立了周期性全截面的数值模型,研究了换热器壳程流体的流动形态及四叶孔板的间距和开孔高度对换热器壳程热工性能的影响。利用激光多普勒测速仪(LDV)测量了四叶孔支撑板换热器壳程特殊点的轴向流速,将数值计算结果与实验结果进行对比,验证了数值模拟计算的可靠性。研究结果表明:换热器壳程流体总体呈纵向流动,四叶孔支撑板对其可以产生明显的射流作用;流体在通过第1块支撑板后,其流速具有明显的周期性;随着支撑板间距和开孔高度的减小,换热器壳程传热系数和压降均增大,而其综合性能降低,四叶孔板间距和开孔高度对壳程压降的影响程度强于对换热性能的影响;在雷诺数Re为10 000～30 000的范围内,得到了换热器壳程努塞尔数Nu和压降的实验关联式,两者计算偏差都在±10%以内。本文的数值模型及结果对于核电站系统中换热器的设计和应用提供了指导。     

三类符号变换图的特征多项式

令G=(V(G),E(G))是n个点、m条边的简单图,σ:E(G)→{+1,-1}是定义在边集E(G)上的符号映射,称Γ=(G,σ)为G的一个符号图.给定一个符号图Γ,Belardo和Simi?定义了符号线图￡(Γ)和符号剖分图S(Γ),并得到它们邻接特征多项式和Γ的Laplacian特征多项式之间的关系.本文定义了另外三类符号变换图,即符号中间图、符号三角扩展图和符号全图,分别记为Q(Γ)、R(Γ)和T(Γ).当G是正则图,给出这三类符号变换图的邻接特征多项式和Laplacian特征多项式与原符号图对应多项式的关系.这些结果推广了一般图对应的已有结论.     

EON中基于Script的功能扩展研究

目前版本的EON视景驱动软件不能完全满足各工程领域的视景仿真开发需求.在分析了EON组成及工作原理的基础上,阐述了其利用Scrip进行扩展的方法并举例介绍了扩展的具体实现过程.     

复杂函数优化中的一种扩展微粒群算法

为了提高标准微粒群算法处理复杂函数时的优化性能,引入了一种扩展形式的新微粒群算法。该算法充分利用了微粒群算法中两个量的优点：群体最优位置利于引导个体快速进化、个体最优位置的中心利于增强群体的多样性。新算法是标准微粒群算法的扩展形式,同时保持了迭代公式的简洁形式。通过复杂函数优化的数值模拟表明,扩展的微粒群算法较标准微粒群算法在寻优能力上有明显的提高。