时域有限差分算法的FPGA加速技术研究
摘要：摘要：针对各种嵌入式应用中对实时电磁场计算的需求，提出了一种新的时域有限差分法的硬件方法，采用FPGA作为硬件加速部件，加速电磁场时域有限差分算法（FDTD）的计算。采用滤波器技术重新改写时域有限差分法，将时域有限差分法的求解变成对应的硬件滤波器的设计问题，通过设计合适的滤波器完成时域有限差分的计算。实验结果表明，与时域有限差分算法的软件执行相比，硬件实现可以获得5倍左右的性能加速，能够充分发挥FPGA的计算性能。本研究能够进一步扩展时域有限差分算法的应用领域，尤其是扩展到以前因为计算性能无法应用的领域。一种支持可变输入、输出参数的数据服务
摘要：摘要：传统Web服务提供一组包含固定输入、输出参数的操作，通常无法满足针对数据资源的内容提出的各种查询请求。提出一种支持可变输入、输出参数的数据服务，其操作可以满足基于数据内容的各种查询请求。首先，服务描述中添加数据内容的描述，指明服务能够提供哪些数据；然后，定义了一个支持可变输入、输出参数的操作，其输入是一个包含输入、输出参数及参数约束的查询请求，输出是查询请求中输出参数所对应的数据；最后，给出了关系型数据的服务化方法，并通过实验从功能角度验证了方法的有效性。多核平台PAML并行算法研究
摘要：摘要：PAML是一款利用最大似然法进行系统发育分析的软件包，被广泛使用。然而，由于模型复杂、参数众多，PAMI。的计算过程非常耗时。对PAMLq-最重要的codeml程序进行了并行算法研究，通过算法分析和程序Profiling确定程序瓶颈。在此基础上，利用现代CPU的多核并行能力和SIMD并行机制优化程序瓶颈，从而提高了程序整体的运行速度。实际数据集和人工数据集上的实验表明并行算法有效提高了codeml的计算速度，加速比最高达7．94倍。MPI非阻塞广播算法及性能研究
摘要：摘要：MPI的3．0版新增了非阻塞集合通信。非阻塞集合通信兼顾非阻塞和集合通信的特点，与阻塞集合通信相比具有更低的同步开销，能够实现更多的计算通信重叠，带来性能提升。以广播为例详细介绍了广播通信的不同算法实现，比较了非阻塞与阻塞广播底层控制管理方法并进行了实验分析，提出了实现改进方法。针对搜索服务的操作系统伸缩性研究
摘要：摘要：分析当前成熟操作系统，找出其在多核环境下的性能瓶颈并进行改进，已经成为了现代操作系统研究的重点之一。通过搜索服务压力测试实验发现，运行Nginx反向的64核Linux服务器的伸缩性不佳，启用64核时的吞吐量仅是1核时的3倍。瓶颈在于服务器上所有网卡中断和软中断处理都集中在一个CPU核上。结合网卡的FlowDirection机制和Linux内核中断的亲和性配置，实现了网卡中断负载均衡的方法，系统吞吐量提升33％。多核环境下网卡中断负载均衡无法保证TCP连接的亲和性。通过修改Linux内核代码，解决了TCP连接的非亲和性问题，系统吞吐量在之前的提升基础上，又提升9％．基于情境感知的智慧矿山服务系统研究
摘要：摘要：随着矿山信息化技术的快速发展，信息系统的种类和数量日益增多，但其服务对象主要限于管理人员，落后的信息管理模式使得绝大多数一线矿工难以获得及时的信息服务，无法有效预防各类安全隐患，造成信息资源的极大浪费。针对以上问题，结合煤矿自身的行业特点，将情境感知技术引入到智慧矿山的建设中，构建了一个基于情境感知的智慧矿山服务系统，通过情境信息采集、情境信息推理、服务配置模型等关键步骤，能够实时感知井下矿工的情境需求，提供更加智能化的业务服务或服务组合，并能实现对煤矿遗留信息系统的充分利用以及更全面的互联互通。最后，通过仿真环境下的测试说明了构建该服务系统的过程以及实施情境感知服务的效果，并对可能存在的各种潜在问题进行了讨论。基于量子逻辑的确定型正则文法
摘要：摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的确定型aY-．~4文法与基于量子逻辑的确定型自动机的等价性。利用此等价性，给出了量子确定正则语言的代数刻画和层次刻画，并得到量子确定正则语言关于正则运算的封闭性。情景感知的物流Web服务动态优化组合研究
摘要：摘要：第四方物流服务通过大规模的资源整合，可以将领域内优秀的物流服务组合起来，为用户提供技术、仓储、运输服务等最佳结合的物流服务方案，实现物流服务的低成本、高效率、实时运作。然而，如何高效、动态地构建满足用户服务质量需求的可靠物流服务组合，是第四方物流服务商亟需解决的关键问题。针对这一问题，提出了一种情景感知的物流Web服务动态组合方法，该方法首先基于改进的遗传算法，将用户提出的全局QoS约束分解成局部QoS约束，从而将QoS感知的物流web服务组合这一全局优化问题转化成局部最优服务选择问题；然后，在物流服务流程执行的过程中，依据当前关键的情景信息，选出可用并且能够满足局部QoS约束的最优物流服务；最后，通过实验验证了所设计方法的可行性和有效性。一种面向物联网服务资源优化的调度模型
摘要：摘要：随着物联网与SOA的发展，物联网环境下以服务为资源的竞争问题越来越凸显。为了解决该问题，从资源优化的角度对该问题进行了研究与建模分析。利用资源调度机制和服务选择机制建立了服务调度模型；然后运用排队论对本模型进行了时延特性分析。模拟实验结果表明，本文的方法能够在有限的服务资源情况下保持服务请求的公平性，缓解高优先级服务请求的时延及时延抖动性，同时能在一定程度上满足用户的个性化需求。ESSF—EGov：一种整体性和跨领域的电子政务公众服务系统框架
摘要：摘要：电子政务公众服务系统采用信息通讯技术，通过流程优化与创新，向公民和法人提供便捷和高效服务。电子政务公众服务系统的建设、运营与持续改进是涉及到政府决策、行政管理、信息技术治理、软件系统开发及维护、数据和知识管理等多领域的复杂工程。基于对电子政务公众服务系统特性的分析和相关研究成果，提出一种面向公众服务领域的具有服务系统特性的系统框架--ESSFEGov。该框架基于Zachman框架方法，具有覆盖电子政务公众服务系统生命周期所有阶段的整体性，也结合了相关多领域的视角。通过一个案例展示和说明了该框架在政府公众服务门户发展中的应用。移动传感器网络区域覆盖快速检测的拓扑方法研究
摘要：摘要：无线传感器网络以获取有用信息为最终目的，而获得的有用信息的多少取决于对监测区域的覆盖程度，因此覆盖算法是其研究的重要问题之一。现有的覆盖算法大多假定传感器节点能够提供精确的部署位置及相对方位。介绍了一种基于代数同调群的快速覆盖检测算法，基于网络拓扑即可快速判断网络的覆盖情况，无需传感器精确位置，降低了传感器设计复杂度。仿真结果表明，该算法可以快速有效地检测移动传感器部署的覆盖盲区。面向移动平台的消息通讯服务设计与实现
摘要：摘要：由于移动平台网络和能耗方面的限制，应用开发者实现并维护一个移动端与服务器端可靠的、低能耗的消息通讯服务代价较高。面向移动平台的消息通讯服务为移动应用提供了即时的、可靠的消息通讯。同时结合移动端上下文信息丰富的特点，消息通讯服务提供了上下文情景感知的消息通讯方式。实验表明了此服务的可行性和低能耗特点。Web服务QoS与用户位置的相关性实证研究
摘要：摘要：如何为用户准确预测web服务的QoS是最近的一个热点研究问题。考虑到Web服务的OoS可能受用户具体位置的影响，一些工作提出了位置感知的Web服务OoS预测方法。然而，很少有工作在实践中针对Web服务QoS与用户位置的相关性进行具体验证。提出了一套对Web服务QoS与用户位置的关系进行验证的方法，并使用真实的Web服务QoS数据集进行了实验。实验与分析发现：用户位置越邻近，他们在相同Web服务上观察到的OoS越相似；反过来也是如此。这些结果表明Web服务OoS与用户位置之间具有较强的相关性，可以为位置感知的Web服务QoS预测方法提供很好的依据。轻量级分组密码算法ESF的不可能差分分析
摘要：摘要：新的轻量级密码算法ESF用于物联网环境下保护RFID标签以及智能卡等设备的通信安全。ESF算法是一种具有广义Feistel结构的32轮迭代型分组密码，轮函数是SPN结构。分组长度为64比特，密钥长度为80比特。通过不可能差分分析方法来寻找ESF算法的不可能差分特征，给出ESF算法8轮不可能差分区分器来攻击11轮ESF算法。实验结果表明，ESF对不可能差分密码分析有足够的安全免疫力。一种基于策略控制的可撤销属性基加密方案
摘要：摘要：在分析现有一些可撤销属性基加密方案的基础上，提出了一种基于策略控制的可撤销属性基加密方案，该方案的仲裁者通过两个策略控制表（属性撤销表和属性表）灵活控制属性撤销和解密权利。通过查看属性撤销表，仲裁者拒绝对已撤销属性的用户进行解密操作，达到属性即时撤销的目的；当被者将解密权利出去时，将发送转换密钥给仲裁者，仲裁者利用属性表判定被用户是否具有密钥的权利，以达到属性灵活的目的。方案采用了线性秘密分享矩阵构造访问策略，以支持灵活的访问控制结构，同时利用了密钥分割技术为用户分发密钥。最后证明了方案的正确性和安全性。基于生存能力的节点权值多样化布置算法
摘要：摘要：将多样化应用到网络系统、软件中以减少恶意代码传播以及单一重复攻击的多米诺效应是一个广泛的共识。提出一种基于生存能力的节点权值多样化布置算法，从节点重要性出发，将有限的差异系统布置到所有节点中。该算法能在保证单个节点对网络影响最小前提下，实现核心节点的高生存性。仿真实验表明了算法的有效性。命题演算两个推理系统的等价性
摘要：摘要：首先介绍命题演算的Gentzen型系统G，然后给出一个命题演算的永真推理系统H，最后证明一个命题在G中可证当且仅当它在H中可证，从而G与H是等价的。RGPS支持的面向方面网络式软件演化方法
摘要：摘要：为了改进现有的面向方面网络式软件演化方法中切入点（Pointcuts）位置定义不够清晰和切入点织入操作性不强的问题，提出一种利用角色一目标一流程一服务（RGPS）的流程元模型改进面向方面的网络式软件演化的方法。在该方法中，使用RGPS的流程元模型定义流程，采用元模型中的控制结构定义方面切入点的位置，因为方面和流程采用一致的定义方式，所以方面切入点位置定义精确且能够无缝织入原流程。对流程演化过程给出了形式化的定义，并阐述了流程演化时方面织入的各种方式。最后利用一个实例说明了演化方法的方面织入过程。
