最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

提高超声C扫描图像分辨率的插值方法研究

根据超声C扫描成像原理,分析了采样间隔对超声C扫描图像分辨率的影响.采用一种基于局部协方差特征的边缘自适应图像插值方法来提高C扫描图像的分辨率,同时将图像局部均方差作为边缘特征判据,使算法得到了简化.该方法根据低分辨率图像的局部协方差估计出高分辨率图像的插值加权系数,能够在放大图像的同时保留图像的边缘特征.试验结果表明,基于局部协方差特征的图像插值方法明显提高了C扫描图像分辨率,并且减小了边缘模糊效应,因此降低了采样间隔对图像分辨率的影响,提高了图像中缺陷分布评价结果的准确性.     

基于S3C44BOX的μC/OS-Ⅱ的移植

介绍了源码开放嵌入式实时操作系统μC/OS-Ⅱ在ARM7TDMI微控制器S3C44BOX上移植的过程,给出μC/OS-Ⅱ移植过程的关键点及具体实现的步骤和方法.     

反应热压法制备B4C基复合材料的烧结致密化研究

通过在B4C中添加Si3N4以及少量的SiC和TiC,在1 820~1 900℃,30 MPa的热压条件下反应生成了B4C基轻质复合材料,烧结助剂为(Al2O3+Y2O3)。结合材料的断口SEM形貌,分析讨论了烧结致密化过程,结果表明:在相同烧结温度下,随基体相B4C含量的增多,复合材料变得更难烧结;对同成分组成的复合材料来说,随着烧结温度的升高,最终得到的材料致密度有所提高。两步烧结过程中的降温保温阶段,有利于放热反应的彻底进行,使最终复相陶瓷组织中含有少量细小的TiB2和BN相,同时,放热反应可以维持致密化进程的继续进行,这对于提高复合材料的强度和韧性有利。     

基于TMS320VC5416的音频信号采集及回放系统

提出基于TMS320VC5416的音频信号采集及回放系统,介绍该系统总的设计方案及软硬件设计.为了给程序设计作下基础,本文首先介绍了TI公司的TMS320C5416和AIC（模拟接口电路）芯片TLC320AD50C的特点,最后着重介绍了利用DSK板上的TMS320C5416和TLC320AD50C实现音频采集并实时回放的软件设计过程,并利用CCS进行了模拟.     

雷达脉冲分选算法的研究

介绍了SD IF和CD IF两种传统的脉冲分选算法,并分析了它们各自的优缺点.在比较了传统雷达脉冲分选算法的基础上,介绍了一种基于可变TOA差级的运算量更小、速度更快的分选算法.计算机仿真结果表明,该方法提高了雷达脉冲分选效率,能够成功分选出高密度雷达环境中的复杂形式的脉冲信号,满足了现代战场电磁环境的要求.     

直接有限环

证明了如下结果:1)环R是直接有限环当且仅当每个右R-满射f:R→R是单射;2)若R是右C2环,则R是直接有限环当且仅当每个右R-单射f:R→R是满射当且仅当R/J(R)是直接有限环;3)设R是左半A-bel环,则R是直接有限环;4)设R,S是两个环,RVS是(R,S)双模,则C=RV     

FORTRAN 95 TO C/C++翻译器的设计与实现

国内一些研究所和科研机构从国外购入大量Fortran程序源代码,为拓宽其应用领域,需要把Fortran源程序翻译成C/C 程序,即实现Fortran应用程序二次开发利用。针对开发Fortran 95 TO C/C 翻译器的具体功能要求,详细介绍了翻译器的实现方法,并对翻译器进行了需求及可行性分析,对目标语言的选择、总体设计方案、功能与结构模块划分、软件流程图等进行了分析说明。     

Smith补偿算法在OMRON C200Hα PLC中的实现

给出了利用OMRONC200HαPLC实现Smith补偿算法的方法.在PLC上编制Smith补偿算法应用程序时,可以利用PID控制指令,还要应用定点运算指令解决浮点数的计算问题.以铝合金厂工业电阻炉的炉温控制为工业应用背景,探讨了该实现方法的实用性.     

通用图形环境的虚拟结构静力试验

主要介绍了基于OpenGL的数值静力试验室虚拟仿真系统．该系统以Visual C++6．0为开发工具,采 用OpenGL技术,对钢筋混凝土梁抗弯试验及钢筋混凝土框架推覆试验进行了仿真模拟．该系统能真实地模 拟混凝土梁抗弯试验及钢筋混凝土框架推覆试验的试件生成、荷载施加等试验全过程,并能通过虚拟设定 的传感器传来的数据,对梁或框架进行动态精确的数值分析．