指标约简中Gear算法的实现
摘要：基于组件的建模有时会产生高指标的微分代数方程（DAE）,不能直接求解,需要进行指标约简。Gear方法是一个经典的指标约简方法,对Gear方法从理论上进行了说明和分析。对于一类具有特殊结构的DAE,提出了Gear方法实现中的优化策略,以降低指标约简后得到的方程规模。把优化后的实现与未优化的实现进行了比对,实验结果表明,优化过的实现方法针对这类特殊的问题确实达到了更好的约简效果。用于黑盒测试的测试用例优先级改进算法
摘要：为了在源代码不可见的黑盒环境下提高软件测试效率,研究了通过调整测试用例执行顺序的测试用例优先级方法在黑盒测试中的应用。针对已有的用于黑盒测试优先级方法的不足,提出了改进的基于黑盒测试的优先级方法。以提高错误检测率为目标,该方法通过结合两种用于不同情况下的优先级调整策略和使用动态方法代替静态方法生成优先级步调调整值对原方法提出了两处改进。仿真实验结果表明,该算法有效且可行,两处改进均能有效地提高测试集的错误检测率,同时使用改进效果尤为明显。基于权重树的领域本体片段相似度算法
摘要：本体整合和评估时,随着本体库中元素数目的增大,会造成时间和空间的浪费。为了解决该问题,对本体的相似度算法进行了研究,提出了一种基于本体片段映射的算法,通过截取本体中相关片段进行映射。结合电子消费品领域的领域本体实例对算法进行了分析,该算法不仅可以提高大规模本体映射时的效率,同时为进行本体整合和评估提供了一种新的方法。面向对象的控制流转换方法
摘要：面向对象的控制流转换是软件混淆的一个新的研究领域,根据图的分支结构特性,提出了一种基于控制流转换的图的混淆方法。给出了图的定义和flatten、mem、mkG这3种操作,根据图的分支结构特性,以面向对象的思想为基础,提出了一种适合于混淆图的数据求精方法,最后采用该求精方法对图中的3种操作进行混淆。通过对混淆后的图从强度、耐受性、开销和隐蔽性4个方面进行分析,实验结果表明,该方法增加了反编译的难度,达到保护软件的目的。Nutch中PageRank的并行实现
摘要：针对目前Nutch搜索引擎中没有实现PageRank计算的缺憾,在分析和研究经典PageRank算法的基础上,通过设置控制站外与站内链接的比重因子对该算法进行了改进。利用MapReduce处理大数据集的优势,在Nutch机群系统上设计并实现了基于MapReduce的PageRank分布式并行算法。实验结果表明,处理的数据量越大,机群中的节点越多,计算PageRank的效率越高;另外,该分布式并行算法具有较好的可扩展性。 更多还原基于MBR＆IR的拓扑关系查询处理方法
摘要：为了提高空间数据库系统的查询效率,基于传统的拓扑关系查询方法,将内部最大矩形IR引入到R＊树索引结构中,提出了基于MBR＆IR的拓扑关系查询处理方法。该方法的基本思想是通过增加IR这一约束条件,在过滤步骤判断出满足查询条件的数据对象,排除不符合查询条件的数据对象,提高了过滤步骤的性能,减少了提纯步骤的系统消耗,从而提高了查询效率。实验结果表明,该方法在查询效率上优于传统的拓扑关系查询方法。基于SOPC技术的嵌入式PLC虚拟机设计
摘要：设计了一种新型的基于可编程片上系统（SOPC）技术的嵌入式可编程逻辑控制器。介绍了嵌入式PLC的总体结构,并且对核心部分PLC虚拟机的实现分别从硬件和软件两个方面进行了详细阐述,其中运用Nios Ⅱ软核作为处理器,μC/OS-II实时操作系统作为虚拟机运行平台,实现了逻辑控制器的实时控制功能。系统以现场可编程门阵列（field programmable gataarray,FPGA）为平台开发的逻辑控制器简化了平台硬件结构,具有开放、使用方便、可自定义外设和本身结构紧凑等特点,可以灵活的实现定制应用。适于FPGA实现的相关干涉仪测向算法研究
摘要：相关干涉仪测向算法的应用广泛,使用FPGA能够解决其应用DSP很难实现宽带信号的实时测向问题。介绍一种适于FPGA实现的相关干涉仪测向算法——最小间距法。与使用相位差值进行相关处理的传统相关干涉仪不同,最小间距法不需要求解来向信号的相位差,并且该算法摒弃了传统算法中求解相关系数的设计思路,引入求取空间点最小距离的方法来获取信号来向,降低了算法复杂度,减少了FPGA内部逻辑资源的使用。基于DSP的多路数据采集系统的设计与实现
摘要：根据设计要求提出系统总体设计方案,系统采用高速A/D转换器和DSP芯片,设计出多路数据采集系统的硬件电路,结合相关的软件,对采集的数据处理后用CCS5000在计算机上实时显示数据处理后的多通道波形图。实验结果表明,该系统工作稳定,实现了对不同采集信号的实时处理,根据输出要求的不同设计对应的程序,因此可以在工业生产过程中使用该系统。基于AJAX与CGI的嵌入式瘦Web服务器研究
摘要：针对嵌入式Web服务器中资源和处理能力受限的问题,提出基于AJAX与CGI的嵌入式瘦Web服务器软件结构。应用改进的AJAX技术实现了客户端校验和客户端处理,以及无刷新访问服务器端资源。通过设计CGI程序处理来自客户端的URL请求和XMLHttpRequest组件发出的HTTP请求,实现动态Web功能。实现后的嵌入式瘦Web服务器降低了嵌入式Web服务器端的开销,提高了响应速度,适用于资源受限的嵌入式系统,是一种低成本的网络服务器设计方法。 更多还原应用组合方法设计复杂安全协议
摘要：针对目前安全协议设计存在的方法抽象、适用范围小及复杂的特点,提出一种新的安全协议设计方法。给出了协议中基件与组件的定义,分析了组件的安全属性并基于组件设计实现相应安全目标的单步协议。最后,定义组合规则确保不同的单步协议能够组合成为一个复合协议的同时各个单步协议还能实现各自的安全目标。根据应用背景选择单步协议按组合规则组合后便可得所需的安全协议。研究结果表明,该方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现。基于聚类的敏感属性-多样性匿名化算法
摘要：提出了基于聚类的敏感属性-多样性匿名化算法,该算法生成的每个聚类至少有个不同的敏感属性值,每个聚类的大小介于和2-1之间,以达到最优划分并提高数据的安全性。同时,该算法生成聚类候选记录集以减少不必要的计算和比较,生成聚类时总是选择与聚类质心信息损失最小的记录,提高了算法效率并减少信息的损失。实验结果表明,该算法是高效的,且生成的匿名数据集具有较高的可用性。木马网络通信特征提取模型的设计与实现
摘要：由于木马等窃密型恶意程序对网络安全的危害性日益增加,为了提高网络入侵检测系统对木马的检测效果,研究分析了木马的网络通信形式和特点,结合一种改进的序列联配算法,设计并实现了一个木马网络通信特征自动提取模型。该模型提高了对木马通信特征进行分析的自动化程度和准确性,实例测试表明了该模型的实用性和有效性。基于Web应用的SCXML到自动机的转换
摘要：为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。 更多还原远程文件差异同步系统的设计与实现
摘要：设计并实现一种远程文件差异同步系统（remote file synchronization system,RFSS）,在系统中,根据传统rsync算法设计了一种带冲突检测的Hash表查找方法以提高计算效率,并且在服务器端采用了加解密存储的缓冲区管理方法解决了＂雪崩效应＂。实验结果表明,采用该方法有效地提高了计算效率,降低了网络流量,从而实现了高效、快速和安全的远程文件同步。移动事务并发控制技术的研究
摘要：为有效降低移动计算环境下事务处理的重启动率、提高事务的吞吐量,在研究传统并发控制协议的基础上,提出了一种数据锁乐观并发控制协议DLOCC。DLOCC协议结合了锁并发控制协议与乐观并发控制协议的优点,利用数据项的更新次数和访问概率将服务器上的海量数据进行分类,依据不同的数据类型采用相应的并发控制协议。模拟实验结果表明,DLOCC协议性能优于OCC-TI协议,有效地提高了系统资源利用率。 更多还原基于CAN的资源定位模型的改进策略
摘要：针对结构化P2P网络资源定位时寻路跳数过多,逻辑网络和物理网络不匹配等问题,分析了资源定位模型CAN（con-tent addressable network）的基本原理,在CAN的基础上,提出了最小代价路径策略。该策略采用分组模型,组内每个节点中维护一条自身到其它各个节点的最小代价路径,以实现路由本地化,降低覆盖网络的路由跳数和节点间时延;合理的分组保证节点维护开销小的同时,有效地提高了路由效率。最后,通过模拟测试表明了改进策略的有效性。云计算技术发展分析及其应用探讨
摘要：基于云计算技术在国内外的相关研究,分析了Amazon的EC2,Google的AppEngine,Microsoft的Azure等云计算平台,探讨了云计算技术的发展路线,总结了云计算技术模型的一般框架,以及云计算平台的三大固有特点：平台用户不关心底层的实现;非常灵活,资源规模完全按照实际需求进行调节;基于大规模的数据中心提供高性能、巨量的计算资源。介绍了云计算技术的一般技术框架以及未来的发展方向。
