Modelica建模软件中拓扑排序相关算法研究
摘要：为了提高现有OpenModelica软件对DAE系统的预处理模块中求强连通分量与拓扑排序部分的性能,提出了基于Ko-saraju算法实现的策略。阐述了Modelica软件的实现原理,叙述了拓扑排序相关算法在其中的重要性,分析了现有Modelica软件中使用的求强连通分量与拓扑排序部分的算法,比较了Tarjan算法的实现方案与Kosaraju算法实现方案。对两种方案进行了比较和分析结果,表明了Kosaraju算法方案的可行性和有效性。基于比对的测试过程改进模型研究
摘要：虽然软件测试发展迅速,但仍存在生产率低、无法突显竞争优势等问题。为提高测试活动生产率,对软件复用思想进行了研究,提出了可重用测试用例的相关理论。针对无特定软件测试过程改进方法的问题,在研究目前流行的过程改进方法基础上,提出了支持复用的基于比对的测试过程改进方法,分析了该方法的优点,进一步将其应用到实际的测试项目中检测该方法的可行性和效率。实践结果表明,应用该模型能有效地提高测试生产率,促进测试过程的持续改进。软件机制体系结构研究
摘要：针对现有软件方式主要以开发者的角度进行软件开发后生命周期管理所存在的问题,提出了更为合理的以用户的角度进行软件开发后生命周期管理的思想,建立了一种新的软件机制体系结构。该机制试图解决如下问题：让用户透明地使用软件,即用户不需要显式地进行软件的安装、更新和卸载 支持软件的即点即用和使用态,使用态指安装了某软件的计算机可以作为该软件的源 使得系统重装后能够以较小的代价恢复到指定的状态点。最后,分析了软件动态更新和分布式软件系统所应解决的问题。基于软件架构的可靠性分配算法
摘要：研究软件可靠性分配中的软件开发成本最小化问题。将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法。该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小。基于高维混沌系统的LSB加密方法
摘要：为了更加有效地保障信息安全,针对低维混沌密码体系和传统LSB的缺点,构建了基于高维Lorenz混沌系统的加密体系,增大了密钥空间。通过理论和实验分析,选择了合适的采样间隔,并利用LSB隐蔽性强的特点,提出了一种基于高维混沌加密的LSB加密体系。理论分析和实验结果表明,该算法可以有效抵御局部线性攻击、相空间重构攻击和熵攻击等,安全性较高,且具有较强的鲁棒性。基于密文块数组折半查找的B~＋树密文数据库索引
摘要：为提升密文数据库的查询性能,提出了一种新型的B＋树密文数据库索引。通过用密文块数组来组织树节点键值的方法,使节点能容纳的键值数量可以为任意大小,从而不再受加密长度限制。为提高在这种新型B＋树索引节点上的查找速度,设计了密文块数组折半查找算法,它根据密文块数组的特点,通过引入折半查找的思想,解决了原折半查找算法只能在一维数组上进行查找的局限,减少了对密文块的解密量。仿真实验结果表明,该索引比密文块数组顺序查找速度更快。协同环境下扩展角色访问控制模型设计与研究
摘要：为了解决基于角色的访问控制模型（RBAC）在协同工作方式下与工作流结合的角色冲突问题,降低授权管理的复杂性,降低管理开销。以RBAC为基础,提出了基于扩展角色的访问控制模型（ARBAC）,模型中工作流的角色授权同时受时间、行为和环境3个方面约束,提高了协同工作状态下访问控制的安全性,提升协同工作效益。结合实际的协同开发流程,表明了该模型的有效性和可行性。基于Fuzzy Vault方案的指纹细节特征加密
摘要：指出了现有指纹Fuzzy Vault方法用于加密长度较短的密钥时安全性不足的问题,并基于Fuzzy Vault方案,提出了一种指纹细节特征加密方法。首先指定Fuzzy Vault编码多项式的幂次,并根据指定幂次对加密密钥进行处理和隐藏。通过这种处理,避开了现有方法中密钥长度决定Fuzzy Vault编码多项式幂次的弊端,解除了现有方法加密长度较短的密钥时所存在的安全隐患。英文摘要书写要求
摘要：写得好,能起到帮助读者了解论文主要内容的作用。因此,必须对论文进行认真的主题分析,找出论文的主题概念,简明、准确、完整地写出摘要。英文摘要一般是中文摘要的转译,其书写要求如下：（一）内容要求（1）文摘由3部分组成：研究的问题,方法和措施,得出的结果或结论 与此无关的内容均可省略,嵌入式视频监控传输系统的设计与实现
摘要：介绍一个基于嵌入式Linux和达芬奇平台的H.264视频监控传输系统的设计与实现。该系统通过NALU提取模块在达芬奇平台下从其视频压缩后的码流中搜索NAL单元的起始码从而提取出NAL单元,NAL单元经过处理后作为RTP的负载进行传输,而且系统还增加了码率控制模块,根据RTCP的统计信息包SR和RR求得丢包率、时延等情况估计网络拥塞状况来调整编码码率与发送端的发送速率,以获得在视频质量和带宽利用上的平衡。U-Boot在s3c2410上的移植及功能扩展
摘要：考虑到Bootloader在嵌入式系统开发及产品升级方面的重要性及近年来NAND Flash闪存在嵌入式系统应用中的广泛性,提出了U-Boot从NAND Flash闪存设备启动的方法。详细地介绍了U-Boot源码结构及其启动流程,并分析了NAND Flash闪存工作原理及操作方法,实现了U-Boot从NAND Flash闪存启动以及U-Boot以命令行形式操作NAND Flash的功能。最后,实验结果表明了U-Boot在s3c2410处理器上成功的移植。基于TCM的嵌入式可信终端系统设计
摘要：针对目前各种嵌入式终端的安全需求,借鉴普通安全PC中TPM的应用情况,结合操作系统微内核技术,提出一种嵌入式可信终端设计方案,该方案基于可信根TCM,实现了自启动代码、操作系统到上层应用程序的＂自下而上＂的可信链传递,适用于嵌入式终端的安全应用。最后,通过设计一个试验系统,重点阐述了可信启动的具体实现步骤,并分析了因此带来的性能变化。基于S3C2410的便携式谐波多点网络检测系统
摘要：针对电网谐波污染问题,通过简要分析目前谐波检测设备存在的不足,提出了一种采用专用电能测量芯片CS5451以及嵌入式系统作为平台实现谐波检测的系统,就存在的零点漂移误差给出了相应的补偿算法,设计了利用GPRS网络实现设备节点间数据传输的通信协议。实验结果表明,该方案提高了谐波检测系统的精度,实现了检测设备节点间的信息交互,为谐波检测的实施提供了便利。RFC2889测试协议分析与应用
摘要：从应用的角度出发分析了RFC2889网络测试协议,介绍了RFC2889引入的新概念、新方法,总结了几种重要参数之间的关系,重点讨论了针对复杂通信网络综合性能而引入的全新的测试方案以及这些测试方案的设计目标和实现方法,并以实际的测试设备为例,论述了实现RFC2889软件部分基本算法和优化算法,硬件部分的设计基本架构和设计难点。在真实的测试用例基础上,分析了RFC2889在实际中的使用方法以及其能够达到的测试目标。最后讨论了该测试协议的潜在应用方向和价值。基于无线传感器网络的事件触发监测系统设计
摘要：针对无线传感器网络在事件触发类监测中的应用,提出了在该类应用中的解决方案。分析归纳了无线传感器网络在事件触发类监测中的应用需求,提出了满足该需求的无线传感器网络布设方法及采取的路由协议与数据聚合算法。分析了两种布设方式的优缺点,确定了事件触发监测系统采用非冗余布设方式 路由协议采用改进的APTEEN算法,改进了阈值和休眠策略 数据聚合在簇头节点进行,将来自簇内节点的多个数据包在网络层聚合为一个数据包后传送给基站。实验结果表明了该解决方案的有效性。基于网络编码的分层流媒体直播方案
摘要：针对当前P2P流媒体直播系统网络资源利用率不高的问题,提出了一种基于网络编码的数据传输方案。方案中对等节点利用系数向量矩阵对媒体数据先进行网络编码,再存储转发,以提高系统的稳定性,并提高网络带宽的利用率。实验结果表明,在同等网络资源条件下,对等节点减少了接收的平均启动延迟,提高了平均播放的连续度,提高了整体播放性能。基于硬件的定长移位高速浮动关键词匹配算法
摘要：针对浮动关键匹配问题,提出了一种基于TCAM的定长移位匹配算法。该算法通过对移动步长的灵活控制有效降低了存储器的访问频率,提高了系统速率。通过分析空间复杂度,该算法与其它移位加速算法相比,在一定的范围之内对TCAM容量的需求也具有明显的优势。算法性能分析和仿真表明,该算法不仅可以实现任意长度模式的线速搜索,还可以使系统所能支持的模式集规模达到几万条。基于802.11i的EAP-TLS认证机制的安全分析
摘要：为了有效解决无线网安全认证的问题,分析了无线网的新一代安全标准IEEE802.11i的RSNA建立过程。通过对关键步骤EAP-TLS实体认证机制的研究,指出EAP-TLS认证协议在使用过程中由于配置不当而导致的安全漏洞,以及数据帧没有加密可能受到的DoS攻击,并从降低攻击的发生和协议的改进方面提出了基于隧道的认证新方案。
