基于循环谱和矩阵变换的直扩信号参数估计

为了解决正确检测和识别直扩信号的问题，提出一种基于循环谱理论和矩阵变换法的盲估计算法。该算法在先验知识缺乏的情况下，充分利用直扩信号的二阶循环平稳特性，排除噪声干扰，对载频和码速率进行估计。并在此基础上运用矩阵变换法，将基带信号进行分段累加运算处理。实现伪随机序列的盲估计。Matlab仿真结果表明此算法可以在低信噪比情况下正确检测和识别出扩频信号的载频、伪码速率、伪码周期和伪码码形等主要参数。     

无小环的结构化低密度校验码的构造方法

提出了一种基于代数方法和图的高度结构化的低密度校验(LDPC)码构造方法.该方法通过设计一个有3类特殊线路的连接图,来保证由此连接图映射而得的校验矩阵对应的Tanner图无小环.此方法可构造最小环长分别为8和12的两类(3,k)准循环(QC)规则LDPC码.对该方法进一步扩展,还可构造两类列重为2最小环长分别为16和24的结构化LDPC码.仿真结果表明在加性高斯白噪声(AWGN)信道下,用迭代译码算法,在误比特率为10-5时,新提出的(3,k)准循环规则LDPC码优于对应的随机构造的LDPC码0.1dB,而新提出的列重为2的结构化LDPC码优于对应的随机构造的LDPC码2dB.     

基于两级索引的IC卡终端设备状态定位方法

针对由不同类型的IC卡终端设备组成的一卡通系统，下位机的状态对于系统至关重要。论文在建立终端设备状态表的基础上，提出了基于两级索引机制的终端设备状态定位算法。算法使用设备编号作为关键字，用压缩BCD码表示四位的设备编号被分成两部分，前两位与后两位分别形成索引，根据状态表中的索引值来快速定位相应设备状态信息，从而得到相应的设备状态信息。     

终端式手机短信息服务系统的设计与实现

终端式手机短信息服务是通过移动终端发送有限长度文本短信息的技术，具有价格低、灵活方便等诸多优点。详细介绍了短信的原理，重点阐述了短信的编码方式、AT指令、串口通信。并以C#为例，设计和实现了一终端式手机短信服务系统。     

双代号网络图虚工序的自动添加方法研究

虚工序有助于表达网络图中复杂的逻辑关系,但正确、合理地添加虚工序非常困难.有鉴于此,对工序排序优化了工序集的邻接矩阵,解决了传统方法易出现回路的难题.以向量表示工序,对工序集合进行关系运算,简化了工序间的逻辑关系,能准确、快速地出判断虚工序的数量、位置及指向,并提出了自动添加虚工序的方法,有利于网络图的计算机实现.最后结合实例验证了算法的准确性、简便性.     

时空推理中自动生成复合表的通用算法

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复合推理是由R(a,b)和R(b,c)决定R(a,c)的一种演绎推理.一般将关系复合结果放在复合表中备查.但目前复合表的建立需要逐个模型进行手工推导,少数模型给出了独立的复合表生成算法,没有适合多种时空关系模型、能自动生成复合表的通用算法.为此,提出了一种能自动生成复合表的通用算法.首先,给出了基于空间划分的通用时空表示模型.在此基础上,提出了基于场景检测的通用复合表生成算法.通过理论分析和对RCC、宽边界、区间代数等20余种典型时空模型的测试,证明了本算法对于所有以精确区域(或区间)为基础的确定、不确定时空模型均能正确快速地生成复合表.     

基于DD-路径的代码覆盖技术及应用

讨论了结构覆盖测试技术和程序复杂度,研究了基于决策到决策路径(DD-路径)的代码覆盖技术.DD-路径技术一方面可应用于测试用例设计以实现代码覆盖,同时,在嵌入式系统的应用中能显著提高代码的编写质量,最后,在Mode-S应答机项目中,应用了基于DD-路径的覆盖技术,显著地提高了测试效率.     

基于UPPAAL的数据关联时序有限自动机模型验证

对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。     

F2＋uF2上奇偶长循环码的结构特性

码长为2n（n为奇数）的循环码被称为奇偶长的循环码。本文证明了F2＋uF2上奇偶长循环码具有形如（a1（x^2）a3（x^2）a4（x^2）a5（x）a6（x），ua1（x^2）a2（x^2）a4（x）a5（x^2））的结构，其中ai（x），i=1，2，…，6，满足Пi=1^6ai（x）=x^n-1，而且a5^ ～（x）≡a5（x）（modu），并给出了奇偶长循环码之对偶码的生成元表达。     

基于加权Gray码及实时状态检测的异步FIFO设计

本文提出了一种新颖的异步FIFO设计，它采用加权Gray码进行指针编码，采用实时的全局状态检测器来控制写／读，是一种高性能的异步FIFO。模拟结果表明，在FIFO深度为4～16的情况下，该设计与已有的FIFO设计相比在性能以及面积开销等方面都获得了明显的改善。该异步FIFO在多核SoC互连设计中具有广泛的应用前景。