论文研究A State Presence Implementation Model in SIPbased Applications.pdf

间歇量化测量值下状态估计问题的研究，张恒，程鹏，本文研究了测量值存在间歇性以及量化的线性系统中的状态估计问题。本文的目标是设计一个使系统状态估计达到最小均方误差的量化密

基于状态机的伪造源地址验证，刘冰洋，毕军，源地址伪造使得很多互联网安全问题更加难以治理。本文提出了SMA，一种基于状态机的自治域级别的源地址验证方法。在SMA中，每个有序

iLBC语音编解码算法研究及其在DSP上的实现，黄赛，，本文分析了iLBC双速率语音编解码算法原理，并在定点DSP上进行了实现。实现分为两个步骤：首先是将标准浮点C算法转成定点C算法，然后

基于SAML协议的单点登录模块的研究与实现，龚振华，，安全断言标记语言SAML是让互相信赖的双方可以交换安全相关信息的一个XML架构，它定义了不同系统之间安全服务交换认证和授权信息的��

稀疏码多址接入技术中低复杂度Log-MPA算法定点实现的研究，刘嘉琪，武刚，在本文中,我们阐述了用于SCMA信号解调的对数域MPA算法的定点实现的设计方法,并且针对其复杂度,将其与传统的MPA算法进行

一种TD-SCDMA家庭小基站下行监听方案及其实现，徐小传，，本论文提出了一种创新性的TD-SCDMA家庭小基站下行监听（NWL）方案，该方案基于picoChip公司的PC202。家庭小基站是一种低成

改进的HIV感染模型病毒清除和持续带毒状态的全局稳定性研究，孙起麟，闵乐泉，本文提出了一个含有饱和发生率的改进的艾滋病毒(HIV)感染微分方程模型,该模型有一个病毒清除平衡点和一个持续带毒平衡点。运用

【LeNet-5模型原理与实现】LeNet-5是由Yann LeCun在1998年提出的，是最早的卷积神经网络（CNN）之一，主要用于手写数字识别任务，尤其是在MNIST数据集上的应用。LeNet-

ErichGrädel•PhokionG.Kolaitis•LeonidLibkinMaartenMarx•JoelSpencer•MosheY.VardiYdeVenema•ScottWeins

近似CTL模型检测，朱维军，，计算树逻辑（CTL）模型检测的瓶颈——状态爆炸问题——尚未被根本解决。为此，通过引入机器学习（ML）技术来寻找CTL模型检测的可接�