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

主要讨论了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的预解集．     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

提高超声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相,同时,放热反应可以维持致密化进程的继续进行,这对于提高复合材料的强度和韧性有利。     

基于DS18B20的矿用温度传感器

为了满足矿井测温的实际需要，应用数字式温度传感器DS18820和AT89C51单片机，开发了一种矿用实时温度检测系统。该系统采用红外线遥控调校技术，可实现仪器自动校零、报警值界限设定等的遥控操作，提高了整机的密封性和安全性。实践表明，该系统测量数据精确、简单实用、维护方便，满足矿井温度检测的实际要求。     

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

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

PC机和DSP之间高速通信的实现

现在生产的DSP芯片一般都集成了同步串行接口,在实际的DSP应用系统中,为了实现UART功能,必须通过外电路的扩展来完成.介绍了用一片TL16C750来实现PC机和DSP之间的高速串行通信.介绍了TLl6C750的性能及与通信有关的寄存器,给出了TL16C750在TMS320VC5402与PC机通信系统中的硬件应用电路及TMS320VC5402初始化TL16C750的软件编程 .     

直接有限环

证明了如下结果: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