摘要：针对各种嵌入式应用中对实时电磁场计算的需求，提出了一种新的时域有限差分法的硬件方法，采用FPGA作为硬件加速部件，加速电磁场时域有限差分算法（FDTD）的计算。采用滤波器技术重新改写时域有限差分法，将时域有限差分法的求解变成对应的硬件滤波器的设计问题，通过设计合适的滤波器完成时域有限差分的计算。实验结果表明，与时域有限...
摘要：传统Web服务提供一组包含固定输入、输出参数的操作，通常无法满足针对数据资源的内容提出的各种查询请求。提出一种支持可变输入、输出参数的数据服务，其操作可以满足基于数据内容的各种查询请求。首先，服务描述中添加数据内容的描述，指明服务能够提供哪些数据；然后，定义了一个支持可变输入、输出参数的操作，其输入是一个包含输入...
摘要：PAML是一款利用最大似然法进行系统发育分析的软件包，被广泛使用。然而，由于模型复杂、参数众多，PAMI。的计算过程非常耗时。对PAMLq-最重要的codeml程序进行了并行算法研究，通过算法分析和程序Profiling确定程序瓶颈。在此基础上，利用现代CPU的多核并行能力和SIMD并行机制优化程序瓶颈，从而提高了程序整体的运行速度。实际数据集和...
摘要：MPI的3．0版新增了非阻塞集合通信。非阻塞集合通信兼顾非阻塞和集合通信的特点，与阻塞集合通信相比具有更低的同步开销，能够实现更多的计算通信重叠，带来性能提升。以广播为例详细介绍了广播通信的不同算法实现，比较了非阻塞与阻塞广播底层控制管理方法并进行了实验分析，提出了实现改进方法。
摘要：分析当前成熟操作系统，找出其在多核环境下的性能瓶颈并进行改进，已经成为了现代操作系统研究的重点之一。通过搜索服务压力测试实验发现，运行Nginx反向的64核Linux服务器的伸缩性不佳，启用64核时的吞吐量仅是1核时的3倍。瓶颈在于服务器上所有网卡中断和软中断处理都集中在一个CPU核上。结合网卡的FlowDirection机制和Linux内核中断...
摘要：随着矿山信息化技术的快速发展，信息系统的种类和数量日益增多，但其服务对象主要限于管理人员，落后的信息管理模式使得绝大多数一线矿工难以获得及时的信息服务，无法有效预防各类安全隐患，造成信息资源的极大浪费。针对以上问题，结合煤矿自身的行业特点，将情境感知技术引入到智慧矿山的建设中，构建了一个基于情境感知的智慧矿山服...
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的确定型aY-．~4文法与基于量子逻辑的确定型自动机的等价性。利用此等价性，给出了量子确定正则语言的代数刻画和层次刻画，并得到量子确定正则语言关于正则运算的封闭性。
摘要：第四方物流服务通过大规模的资源整合，可以将领域内优秀的物流服务组合起来，为用户提供技术、仓储、运输服务等最佳结合的物流服务方案，实现物流服务的低成本、高效率、实时运作。然而，如何高效、动态地构建满足用户服务质量需求的可靠物流服务组合，是第四方物流服务商亟需解决的关键问题。针对这一问题，提出了一种情景感知的物流We...
摘要：随着物联网与SOA的发展，物联网环境下以服务为资源的竞争问题越来越凸显。为了解决该问题，从资源优化的角度对该问题进行了研究与建模分析。利用资源调度机制和服务选择机制建立了服务调度模型；然后运用排队论对本模型进行了时延特性分析。模拟实验结果表明，本文的方法能够在有限的服务资源情况下保持服务请求的公平性，缓解高优先级...
摘要：电子政务公众服务系统采用信息通讯技术，通过流程优化与创新，向公民和法人提供便捷和高效服务。电子政务公众服务系统的建设、运营与持续改进是涉及到政府决策、行政管理、信息技术治理、软件系统开发及维护、数据和知识管理等多领域的复杂工程。基于对电子政务公众服务系统特性的分析和相关研究成果，提出一种面向公众服务领域的具有服...
摘要：无线传感器网络以获取有用信息为最终目的，而获得的有用信息的多少取决于对监测区域的覆盖程度，因此覆盖算法是其研究的重要问题之一。现有的覆盖算法大多假定传感器节点能够提供精确的部署位置及相对方位。介绍了一种基于代数同调群的快速覆盖检测算法，基于网络拓扑即可快速判断网络的覆盖情况，无需传感器精确位置，降低了传感器设计...
摘要：由于移动平台网络和能耗方面的限制，应用开发者实现并维护一个移动端与服务器端可靠的、低能耗的消息通讯服务代价较高。面向移动平台的消息通讯服务为移动应用提供了即时的、可靠的消息通讯。同时结合移动端上下文信息丰富的特点，消息通讯服务提供了上下文情景感知的消息通讯方式。实验表明了此服务的可行性和低能耗特点。
摘要：如何为用户准确预测web服务的QoS是最近的一个热点研究问题。考虑到Web服务的OoS可能受用户具体位置的影响，一些工作提出了位置感知的Web服务OoS预测方法。然而，很少有工作在实践中针对Web服务QoS与用户位置的相关性进行具体验证。提出了一套对Web服务QoS与用户位置的关系进行验证的方法，并使用真实的Web服务QoS数据集进行了实验。实验...
摘要：新的轻量级密码算法ESF用于物联网环境下保护RFID标签以及智能卡等设备的通信安全。ESF算法是一种具有广义Feistel结构的32轮迭代型分组密码，轮函数是SPN结构。分组长度为64比特，密钥长度为80比特。通过不可能差分分析方法来寻找ESF算法的不可能差分特征，给出ESF算法8轮不可能差分区分器来攻击11轮ESF算法。实验结果表明，ESF对不可能...
摘要：在分析现有一些可撤销属性基加密方案的基础上，提出了一种基于策略控制的可撤销属性基加密方案，该方案的仲裁者通过两个策略控制表（属性撤销表和属性表）灵活控制属性撤销和解密权利。通过查看属性撤销表，仲裁者拒绝对已撤销属性的用户进行解密操作，达到属性即时撤销的目的；当被者将解密权利出去时，将发送转换密钥给仲裁者，仲裁者...
摘要：将多样化应用到网络系统、软件中以减少恶意代码传播以及单一重复攻击的多米诺效应是一个广泛的共识。提出一种基于生存能力的节点权值多样化布置算法，从节点重要性出发，将有限的差异系统布置到所有节点中。该算法能在保证单个节点对网络影响最小前提下，实现核心节点的高生存性。仿真实验表明了算法的有效性。
摘要：首先介绍命题演算的Gentzen型系统G，然后给出一个命题演算的永真推理系统H，最后证明一个命题在G中可证当且仅当它在H中可证，从而G与H是等价的。
摘要：为了改进现有的面向方面网络式软件演化方法中切入点（Pointcuts）位置定义不够清晰和切入点织入操作性不强的问题，提出一种利用角色一目标一流程一服务（RGPS）的流程元模型改进面向方面的网络式软件演化的方法。在该方法中，使用RGPS的流程元模型定义流程，采用元模型中的控制结构定义方面切入点的位置，因为方面和流程采用一致的定义...
摘要：服务Agent能够利用本身的功能以及来自外部的多个软件服务，向外界提供更为高层的服务。为了向用户提供综合的功能，服务Agent之间必须通过相互协同实现服务组合。提出了一种依靠多Agent学习机制进行服务组合的方法，其独特性在于通过学习，这些Agent能够对类似的输入迅速得到优化解。对基于多Agent协同进行服务组合的框架进行了介绍，在...
摘要：布尔可满足问题是计算机科学中诸多领域的重要问题，它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合，提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证，这种算法对布尔可满足性问题的求解具有一定的实用价值。
摘要：基于双数组Trie树的中文分词词典具有较高的查找效率，但其插入时间复杂度较高。为此提出了一种基于5iX数组Trie树结构的改进算法iDAT，在原始词典初始化时优先处理分支多的节点，并在初始化之后对base数纽中的空序列的下标值做Hash，Hash表中存放空序列之前的所有空序列个数之和，而后运用iDAT算法进行插入。本算法借鉴了单模式匹配的Sun...
摘要：随着web服务的广泛使用和互联网上服务数量的增加，如何向用户提供最佳的服务选择列表成为了新的挑战。Web服务个性化推荐实现了由被动接受用户请求向主动感知用户需求的转变。个性化的web服务推荐方法已经成为Web服务发现和选择的有效辅助手段。Web服务的个性化推荐技术也成为了近年来服务计算领域的研究热点。对当前Web服务个性化推荐的...
摘要：针对社交网络新词识别过程中“旧词新义”所引起的语义模糊问题，提出了网络新词识别算法。通过检测词语频度变化、共现词语分布一致性、情感倾向性迁移三项指标综合分析判断网络新词产生变化的规律特点，从而设计一种网络新词识剐算法。最后以实验验证了该算法对提高现有系统网络新词识别准确率的可行性和有效性。
摘要：对藏语拉萨话中单音子及三音子分布情况进行了统计，分析了在藏语大词表连续词表连续语音识别中建立上下文相关声学模型的必要性。选择音素为建模单元，根据藏语特点，建立以音节为单位的发音字典。讨论了利用决策树建立三音子模型的几个关键问题和基本算法，结合国际音标分类和经验知识，确定了38个藏语拉萨话音子类别集及相应的决策树问...
摘要：针对现有语义标注系统效率低下的现状，借鉴NCBOAnnotator的思想，提出了一种基于语义的文档标注方法，旨在结合本体知识库和WordNet的语义知识，构建具有丰富语义描述能力的字典库，并利用字典库实现文档的语义标注。实验表明，本方法能够提高搜索资源的语义，进而提高搜索的准确度。此外，利用本方法还可提供语义扩展搜索。最后将字典库...
摘要：随着服务技术的发展，越来越多的组织将业务功能作为服务通过网络对外。服务的增多导致人工对这些服务进行分类的成本越来越高。将文本挖掘、语义技术和机器学习技术相结合，提出了一个基于WordNet的服务自动分类方法。首先，利用文本挖掘技术和语义消歧技术，从服务的描述文档、社会化标注等获得可描述每个服务的一组有确切语义的Sense向...
摘要：“半监督学习”是利用已经标记好的训练样本和未标记的训练样本一起训练分类器。传统的半监督训练过程对噪声不作辨别，这种做法会因噪声的存在破坏分类器的训练过程，进而影响分类器的分类效果。针对该问题，提出了基于RSC模型和噪声去除的半监督训练方法，在样本训练过程中，使用RSC标签扩展的方法，并添加噪声去除环节。实验表明，该算...
摘要：智慧城市是一项复杂的系统工程，不仅需要规划、建设、运营管理，而且还需要评估、优化调整等环节来保证智慧城市建设的前瞻性、合理性、有效性和高效性。针对目前国内智慧城市建设过程中存在盲目建设、实际效果不显著等问题，在研究智慧城市组成诸要素及其关系的基础上，对智慧城市的评估体系进行理论探索，提出了构建以智慧城市评价指标...
摘要：针对城市大量供热企业能耗高、缺乏统一有效的节能检测及监控技术的现状，为降低研发和运维成本，设计并实现了一种基于多租户模式的节能检测及监控系统。采用隔离数据库，共享应用实例的体系架构以及基于元数据驱动的策略，设计了支持多租户的数据存储模型与多租户个性化定制的核心机制，实现系统的可配置，为租户按需提供服务。在此基础...
摘要：防撞协议是提高无人驾驶车辆安全性的重要组成部分，大部分防撞协议已经为路口外的车辆提供了躲避机制。交叉路口因其流量大、方向多而成为事故易发地，但对已在路口内部的车辆的防撞协议的研究比较少。自治路口协议AIM作为目前较流行的路口管理协议之一，也未给出已在路口的车辆的防撞协议。给出了两类基于路口空间的防撞协议：当路口空...
购物车(0)