TTCN-3编译器前端模块的设计与实现
摘要：为实现基于TTCN-3的协议一致性测试系统，提出一种通过编译方式将TTCN-3语言转换为C＋＋语言的编译器方案。通过对TTCN-3核心语言的研究分析，运用正则语言解析方法实现词法分析模块；在词法分析输出基础上编写上下文无关文法规则，使用多种方法较为彻底地解决语法冲突问题，实现语法分析模块；实现将TTCN-3语言转换为C＋＋语言的编译器前端模块。该方案可快速实现对TTCN-3源代码的词法分析和语法分析，输出单词符号序列并检查其是否符合预定义的语法规则，对错误进行定位、报错并输出编译结果。可见光OFDM系统的峰均比降低方法
摘要：分析可见光通信（VLC）系统中OFDM信号的高峰均比（PAPR）概率分布。为降低VLC系统中OFDM信号的峰均比，将部分传输序列（PTS ）方法进行适当改进，使之适合在VLC系统中进行传输，将其与离散傅里叶变换展开（DFTS）相结合进一步降低可见光OFDM系统的峰均比。仿真结果表明，与原信号仅采用DFT展开或者PTS方法相比， DFTS-PTS方法使系统的峰均比分别降低了约3．5 dB、2．7 dB、1．2 dB，具有更好的峰均比性能。以即时通信语音流为载体的隐写模型与方法
摘要：提出一种采用HOOK机制实现以即时通信语音流为隐藏载体的隐写模型，在通信软件的发送端挂接两个“钩子”，采集即时通信语音流作为载体进行实时机密信息嵌入与提取，实现交互式的隐蔽通信过程。选择目前普遍使用的Google talk软件作为研究对象，重点研究Gtalk的iSAC语音编码的隐写方法，建立一种基于LPC参数量化的隐写算法，实现iSAC语音编码下的隐写方法。实验结果表明，该隐写模型适用于目前的即时通信软件的隐蔽通信，拓展了基于VoIP的信息隐写的应用范围；该隐写算法具有良好的隐写容量和隐写速率。节点缓存感知的DTN概率路由算法
摘要：针对DTN网络中节点缓存资源有限的问题，为提高网络中节点缓存利用率，提出考虑节点缓存剩余率的概率路由算法。根据网络中节点缓存剩余率划分节点状态，针对不同状态节点采取相对应的消息转发机制，在此基础上调整消息丢弃策略和冗余副本删除策略。仿真结果表明，与PROPHET、Epidemic等路由算法相比，该算法能够有效提高网络通信性能，实现消息递交率和网络开销等关键指标的优化，将平均时延控制在可接受的范围内。ATC系统中订阅系统的设计与实现
摘要：针对空中交通管制系统构建于局域网网络环境的特点以及对通信可靠性、实时性和高吞吐量的需求，设计并实现基于主题的订阅系统。该系统具有软硬件平台无关性、高效可靠、多对多通信等特点，为空中交通管制系统中子系统间提供松散耦合的、灵活的通信机制。通过采用基于事件驱动线程模型的多线程系统架构，为每个线程保存独立主题订阅表，定期进行负载均衡等优化措施，满足空中交通管理系统对订阅系统的需求。适用于丢包信道的多描述图像量化方法
摘要：为提高不可靠网络条件下传输图像的重建质量，提出一种结合遗传算法和小波变换的多描述图像编码方法。利用离散小波变换（DWT）将源图像分解为4个重要性不同的子带，通过自适应遗传算法优化的量化步长对子带系数进行均匀量化，增大引入相关后各个图像描述中的低频信息比重。3组测试图像的仿真分析结果表明，在丢失2或3数据包时，相校基于固定步长的MDTC． DWT／UQ方法，该方法具有更好的鲁棒性，用假设检验的方法进一步验证了该方法的有效性。基于自适应信标交换的方向广播协议
摘要：在分析考虑十字路口的广播协议的基础上，提出一种基于自适应信标交换的方向广播协议DB-IA。通过自适应信标交换机制获取网络拓扑信息，在各路段上选择最远节点转播分组，较大程度上减少广播跳数。采用ACK确认机制，结合双向传输和存储-转发策略缓解网络空洞造成的广播中断问题，提高广播的可靠性。通过设置递增的退避时间控制转播队列，使转播快速、有序完成。仿真结果表明，DB-IA具有相对较好且稳定的性能，适合交通安全类信息传输。带协作式监视节点的安全VANETs路由算法
摘要：车载网VANETs （vehicular ad hoc networks）的路由协议中总是存在VANETs恶意节点试图破坏消息的正常传递。为此，对车载网无信标路由算法BRAVE （beacon-less routing algorithm for vehicular environments）进行改进，提出一种带协作式监视节点的安全路由算法S-BRAVE。在公钥基础设施PKI （public key infrastructure）的基础上，引用证书交互策略，对消息加载证书并传递过程中进行验证；在路由协议中设置协作式监视节点监视消息的传递，如消息不能传递到目的节点，该节点将担任传递消息的任务，同时调整BRAVE内消息格式使得S-BARVE能防御选择性转发攻击；将S-BRAVE与BRAVE协议在分组投递率、开销和端到端时延等性能方面进行对比。实验结果表明，S-BRAVE的分组投递率提升50％，考虑到开销和时延等方面，S-BARVE适用于大范围节点密集环境。基于速度差分变异粒子群的RFID网络优化
摘要：针对RFID网络资源分布不合理问题，建立RFID网络系统优化模型，提出一种带压缩因子和惯性权重的速度差分变异粒子群（VDM-PSO）算法来优化网络中读写器的规划部署。压缩因子和惯性权重保证算法前期搜索的快速性和后期搜索的精确性，速度差分变异操作有效保持粒子群体的多样性，摆脱局部极点的束缚。仿真结果表明，该算法较基本粒子群（PSO）算法群体多样性增强，适应度更佳，能够更好实现网络资源分布。基于边缘平滑性的图像拼接定位盲取证算法
摘要：为在像素级上提高对图像拼接区域的定位精度，分析图像中自然边缘像素点和拼接边缘像素点与其邻域像素点之间存在的平滑过渡关系，提出一种有效的图像拼接盲取证定位算法。对图像中所有的边缘像素点提取平滑度相关性标量值，将其与判决阈值进行比较，得到拼接边缘，定位拼接区域。在标准拼接图像数据集中的实验结果表明，该方法能够有效提高图像拼接区域的定位精度。基于XML的多类型数据客体访问控制
摘要：为解决安全标记与多类型数据客体绑定的灵活性、一致性不足以及强制访问控制实施粒度粗的问题，提出一种基于XML的多类型数据客体强制访问控制模型。使用XML格式统一表示异构数据客体，引入多级XML文档概念，实现数据客体与安全标记的绑定，在此基础上实施多类型数据客体强制访问控制。该模型基于XML格式，实现了数据客体与安全标记绑定的统一，解决了多级信息系统间异构数据访问控制难的问题，可以实施粒度更细的访问控制，提高了数据客体的利用率，降低了安全标记绑定的复杂度。基于环境智能匹配的恶意代码完整性分析方法
摘要：为提高恶意代码分析的完整性，提出基于环境智能匹配的恶意代码完整性分析方法。分析传统恶意代码完整性分析方法，指出使用传统方法分析的不足之处，分析影响恶意代码执行完整性的环境因素。在此基础上，提出一种实用化的恶意代码完整性分析方法。采用动静态结合的方式，对恶意代码的环境信息进行抽取，抽取信息并通过决策树方法进行进一步分析，得到最终配置信息。对大量样本进行完整性分析测试，测试结果验证了该方法的有效性。基于有向滑动时间窗的报警动态选择算法
摘要：针对现有报警选择方法在实时性和精确性方面存在的不足，提出一种基于有向滑动时间窗的报警动态选择算法。依据历史关联结果的趋向特征，动态调整每个时间窗内报警抽取的概率，向历史关联强度高的时间窗分配更高的抽取概率，提高报警关联的效率和准确性。仿真结果表明，该算法在实时性上远高于报警全选方法和随机选择方法，在关联精度上优于随机选择方法。基于DO M树序列值比对的SQL注入漏洞检测
摘要：为更好地防止SQL注入的危害，优化漏洞检测方法，提出一种基于DOM树序列值比对的SQL注入检测算法。对待检测的页面进行SQL注入，选取注入前后页面的DOM树中体现结构的关键参数；通过计算得到序列值，用比对序列值的方法比对页面是否相同，将节点比对转化成数值比对，简化网页比对。实验分析结果表明，该算法有效地提高了漏洞检测的准确率与效率。基于敏感关系的社会网络隐私保护方法
摘要：针对含敏感关系的社会网络中用户隐私信息泄露的问题，结合攻击者基于背景知识的多种类型攻击，提出一种（k^2，l）-匿名模型，并分别通过基于动态规划和贪心算法的度序列匿名算法实现（k^2，l）-匿名模型。该模型可同时抵御社会网络中敏感关系识别攻击、节点度攻击和朋友连接攻击。在数据集上进行仿真实验，通过分析对比实现（k^2，l）-匿名模型的两种算法，分析对比结果表明了（k^2，l）-匿名模型具有较高的匿名质量和较低的信息损失，能有效地保护含敏感关系社会网络中用户的隐私信息。面向开放互联网的多媒体数字版权保护系统
摘要：针对数字内容安全和跨平台用户共享的实际需求，提出并实现一种面向开放互联网的多媒体数字版权保护方案及综合化平台原型系统。采用XML语言生成数字权利证书，以证书与用户设备硬件信息绑定的方式，实现受保护内容在Android和Windows平台上的安全播放和使用控制，满足了以上两种平台上基于权利证书的跨平台数字权利分享功能。该方案广泛适用于多媒体音视频数字内容安全平台。航天真空热试验测控平台可靠性保障技术探讨
摘要：由于航天测控系统在软件可靠性、可用性、易维护性等方面要求严格，从软件可靠性测试框架、可靠性模型、故障检测技术、高可用数据库等几方面进行分析，结合避错、排错、容错技术的研究现状，在通用的三层结构模型的基础上，进一步融合设备层，提出分布式四层架构模型。以航天真空热试验测控平台为例，采用自底向上的方法，从设备控制层、高可用数据库层、负载均衡集群层到展现层分别介绍该模型在测控平台中关于提高系统可靠性的设计。基于LISA语言的DSP高效建模方法
摘要：为便于数字信号处理器（DSP ）的性能评测、优化和多核架构的探索，提出一种周期精度模拟器建模方法。分析机器描述语言LISA的特点及其在处理器建模上存在的问题，结合MIPS简单五级流水线的结构实现一种通用性强、可扩展、易重构的高效建模方法，基于该建模方法对一款高性能DSP华睿2号（HR-2）进行实例化，通过数字信号处理典型应用程序和基准测试程序验证该方法的正确性和可行性。
