频率选择性衰落信道中的发射分集设计

为了获得多天线分集以对抗衰落,提出了一种适用于频率选择性衰落信道的发射分集方案．该方案利用零相关窗互补码的理想相关特性分离多径,最终同时得到全部的空间分集增益和频率分集增益．仿真结果表明,与频率选择性衰落信道下的空时编码方案相比,该方案发射接收装置的结构更简单,设计更灵活．     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

基于Petri网和逻辑电路的网络安全验证

利用Petri网的库所和变迁来描述网络的状态和行为,用逻辑代数的0和1形象表示库所的状态,将复杂的PN模型转换成简单的逻辑表达式,提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具有的形式化步骤与数学模型相支持,是一种新型快捷的网络安全验证方法。     

交织和BCH编码对蓝牙2.0数据传输性能的改善

蓝牙2.0+EDR规范新增DH分组没有有效的纠错机制,其抗干扰能力差。通过在新规范中加入BCH编码和交织编码,以改善蓝牙的数据传输吞吐量及抗干扰能力。对于新增的数据分组,根据蓝牙标准协议,推导了相应的分组特性;建立了GE信道下数据传输速率与信道突发错误水平的关系模型;获得了在不同信道突发错误水平下的数据传输吞吐量。结果表明,在蓝牙2.0+EDR新规范中加入BCH编码和交织编码,在较高突发错误水平的信道中,其数据传输吞吐量提高了一倍以上,明显改善了数据传输的抗干扰能力。     

多维奇偶校验乘积码性能分析

相对于Turbo码,乘积码在高码率情况下具有性能优势,且无错误平层,其应用广泛。以奇偶校验码为分量码的乘积码译码算法简单,可适应不同的数据大小要求。通过分析多维奇偶校验乘积码的码多样性,得出高信噪比下该码的性能公式;计算机仿真表明:该性能公式结果与最大似然译码算法及迭代译码算法性能相符。通过分析码率、维数、分量码码长等参数对码性能的影响,得出码率、维数相同时,码性能相近;码率相同、维数不同时,高维乘积码具有性能优势。该结果为码参数选择提供依据,可在相同的信息传输有效性下,选择性能更好的码。     

数字光接收机性能指标的优化设计

首次提出一种新型数字光接收机模型,改进了其中均衡器的设计;以S.D.Personick理论为基础,推导并计算了此光接收机基于"最坏情况"下判决时刻的噪声平均功率。研究结果表明,此模型在输入脉冲展宽较为严重的情况下表现出了良好的噪声性能;进而提高了数字光接收机的灵敏度,优化了数字光纤传输系统的误码性能;为改善数字光接收机性能指标提出了新的途径。     

准正交空时分组码的自适应设计

为了能在满足空时分组码完全分集的同时尽可能降低译码复杂度,提出了准正交空时分组码的自适应设计方案. 在准正交空时分组码的编码结构上添加自适应系数,根据当前信道状态信息计算自适应系数的具体数值. 设计的目的是保证传输的数据符号之间相互正交,彼此没有干扰,从而实现完全分集,并能采用复杂度低的单符号译码方法. 仿真结果表明,准正交空时分组码自适应方案的误码率性能要明显好于采用星座旋转的准正交空时分组码方案,只需要采用有限反馈的方法就能实现近似理想反馈的误码率性能.      

云存储服务中数据完整性审计方案综述

云存储是由云计算提供的一个重要服务,允许数据拥有者将数据远程存储到云服务器上,同时又能够从云服务器上便捷、高效地获取这些数据,没有本地存储和维护数据的负担。然而,这种新的数据存储模式也引发了众多安全问题,一个重要的问题就是如何确保云服务器中数据拥有者数据的完整性。因此,数据拥有者以及云存储服务提供商亟需一个稳定、安全、可信的完整性审计方案,用于审核云服务器中数据的完整性和可用性。不仅如此,一个好的数据完整性审计方案还需满足如下功能需求：支持数据的动态操作,包括插入、删除、修改;支持多用户、多云服务器的批量审计;确保用户数据的隐私性;注重方案的执行效率,尽量减少数据拥有者和云服务器的计算开销与通信开销。为了促进云存储服务的广泛应用与推广,文章重点对云数据完整性审计方案的研究现状进行综述,描述云存储以及数据完整性审计的相关概念、特点,提出云计算环境下数据完整性审计模型和安全需求,阐述云存储数据完整性审计的研究现状,并重点分析部分经典方案,通过方案对比,指出当前方案存在的优点及缺陷。同时,文章还指出了本领域未来的研究方向。