An Investigation of Formal Techniques of Protocol Based on CFSM

ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...     

PWM模拟信号光电耦合隔离电路的研制

本文提出一种运用PWM(脉冲调宽)原理设计低价格、低漂移、高线性模拟信号光电耦合隔离电路的方案。这种方案仅用普通的光电耦合器件。实验结果表明,这种隔离电路的非线性度不劣于0.02％,温度漂移低于0.002％/℃。本文还讨论了光电耦合器件的关断时间t_（OFF）对隔离电路动态范围的影响,并着重指出,关断时间温度系数（?）是影响隔离电路温度稳定性的主要因素。     

In vitro systems in the study of peroxisomal protein import

Our level of understanding of peroxisome biogenesis in comparison with other cellular organelles is rudimentary, yet the fragments of information available indicate that the targeting and import of peroxisomal proteins occur by fundamentally different mechanisms. Genetic studies have identified a number of genes required for peroxisome assembly, but in most cases the functions of the gene products remain unknown. In vitro protein translocation systems have played a prominent role in unravelling the biochemistry of protein translocation into other organelles. This review considers some of the requirements for establishing a bona fide peroxisomal import assay and discusses the findings which have emerged as a result of using such experimental systems.     

二维数字通信系统中线性和非线性符号间干扰的分析

本文参照Codex 9600调制解调器建立QAM二维数字通信系统的数学模型。在该系统传送高速数据信号时,利用Volterra核定量地分析了正交解调器输出端由于记忆非线性电话信道所引起的线性和非线性符号间干扰。     

参照CEBus的家庭网络通信系统的研究与设计

以一个参照CEBus电力线载波通信技术标准设计的家用电器控制和监测网络为例介绍了构成家庭网络的总体结构,可以方便地选择通过Internet、电话网络、无线接入方式或者键盘接入随时随地控制和监测家用电器的工作情况．     

基于伸缩窗口STFT的信号调制的识别研究

伸缩窗口短时Fourier变换(STFT)通过对窗函数引入伸缩变换对短时Fourier变换进行改进,实现时频分辨率随信号频率变化自动可调,能较好地刻画信号中的瞬态结构.本文把伸缩窗口短时Fourier变换这种时间-频率-尺度三维信号处理方法引入到了数字通信信号调制盲识别领域,对ASK、FSK和PSK信号的伸缩窗口STFT——域特征进行了理论分析和软件仿真,最后给出了识别算法和仿真结果.仿真实验结果及性能分析表明,该算法是可行的,具有较好的抗噪声性能.     

基于均匀圆阵的循环平稳信号的DOA估计

相干信源的DOA估计一直是一个十分棘手的问题,由此提出了一种基于均匀圆阵的利用信号循环平稳特性进行DOA估计的方法.利用模式空间变换算法以及矩阵分解算法的思想,结合信号的循环平稳特性和Cyclic MUSIC算法,实现在高斯白噪声背景下均匀圆阵相干信源的DOA估计.通过MATLAB仿真验证了该算法具有良好的解相干能力,在低信噪比条件下具有比常规的循环空间平滑算法更好的解相干性能.     

Jurkevich方法在非均匀采样频谱分析中的应用

引入Jurkevich方法来处理实际中所遇到的非均匀、非理想状况下采样的频谱分析,并且结合Kidger方法对结果进行了处理.结果表明Jurkevich方法是处理非均匀采样频谱分析的一种非常有效的方法.     

植物激素调控腋生分生组织发育的研究进展

植物分枝的生长是植物发育的一个标志性生长特征,不仅影响着植物株型的多样化,而且也影响着植物的生产力。植物分枝是由腋生分生组织（Axillary Meristems,AMs）实现的,腋生分生组织分布在每个叶基的腋部,并发育成分枝。因此,腋生分生组织发育分化规律的研究,不仅是植物生长发育的基础问题,而且对植物的实践生产也具有重要的指导意义。近年来,随着植物激素合成、信号途径等突变体被分离、鉴定以及相应基因被克隆,人们在植物激素调控腋生分生组织发育方面有了深入的了解。本文对生长素、细胞分裂素、赤霉素和独角金内酯等植物激素在植物腋生分生组织形成与发育过程中的调控机制进行阐述,认为随着新的检测工具和分析技术的发展,未来应加强环境信号介导下植物激素互作对腋生分生组织发育的研究。     

基于Sockets的计算机远程监控技术及实现

讨论了基于ISO下Windows环境中的网络连接规范Sockets的体系结构和实现远程通信的原理;分析了实现基于C/S网络系统的通信过程和编程思想,并通过开发实例阐述了Windows Sockets在C/S结构的网络中远程通信的应用.