IPTV数据传输质量检测是IPTV应用部署中需要攻克的关键技术。目前，如何实现接入网中IPTV视频质量监测还缺少系统的研究。本文针对目前广泛采用的树形接入网拓扑，提出基于逐跳延时变化（PHDV）的视频传输质量检测和故障定位方法。该方法利用视频流实时性和连续性的特点，通过对交换机输出缓冲区队列长度变化的实时监测定位网络中影响IPTV视频传...
建模是不确定性数据管理的基础，K-匿名隐私保护模型中不确定性数据有其特殊性：它是人为泛化后的不确定性数据，泛化后的每个实例还原成泛化前元组的概率是相等的。由于其特殊性，以往针对非人为造成不确定性的数据建模方法已经不能简单地用于描述K-匿名隐私保护模型中不确定性数据。为了描述K-匿名隐私保护模型中不确定性数据，本文提出几种针...
本文针对目前网络入侵检测学习算法效率不高的问题，首先提出相对距离的概念，然后构造基于相对距离的竞争激活函数和相似性度量，在此基础上提出一种改进的网络入侵检测算法。该算法的优势在于：（1）相对距离能较好地区分极差较大的列属性值并实现归一化；（2）基于相对距离的竞争激活函数可以处理包含符号属性的数据，不需转换为数值，且计算...
由于多媒体通信的需要，QoS路由技术已成为通信网络中研究的热点。通常情况下，在网络中寻找同时满足多个独立加性约束条件的路由是一个NP完全问题。本文探讨了多约束条件下的路径选择（McP）问题，通过将MCP问题转化为离散化的动态网络，得到了一个性能更好的启发式QoS路由算法，复杂度从O（Tmn）降低为O（Tm），其中m、n分别是节点数和边数，...
认证可信度体现了用户身份的可信程度。本文基于用户认证可信度实施用户登录限制、用户角色获取限制及角色强制访问控制策略权限限制，提出了基于认证可信度的用户权限控制技术。将认证可信度与用户访问系统结合，要求用户访问系统必须具有相应的认证可信度，具有重要身份的用户必须通过重要的身份认证机制的认证。在角色定权中结合认证可信度，...
针对现阶段虚拟机防病毒技术存在的缺陷，本文将基于超混沌H6non映射的加解密技术与多线程技术相结合，提出了基于多线程超混沌密码的恶意代码隐藏算法；在对恶意代码涉及的隐藏性因素进行分析的基础上，基于层次分析法，提出了恶意代码的隐藏性分析模型。利用灰鸽子这一典型恶意代码对提出的恶意代码隐藏算法进行了实验与测试，并利用隐藏性分...
本文提出了一种个性化垃圾邮件过滤方法，它能够根据用户反馈自动学习出用户兴趣，并随时间的推移自动适应用户兴趣的变化。该方法首先抽取邮件的语言特征和行为特征构建多个基于规则的单独过滤器，然后采用SVM集成学习方法组合这些单独过滤器的结果。为了提高学习速度、减少用户提供反馈的数量，本文采用了主动学习方法挑选更加富含知识的邮件...
高性能计算越来越广泛地应用到科学和工程的各个领域，但实际应用程序获得的性能并未随着机器峰值性能的提高而同比例提高，应用程序只能发挥峰值性能的5％～10％左右，而且两者的差距在扩大，程序性能优化作为解决该问题的方法之一得到了学术界的广泛关注。本文基于安腾微处理器，总结了程序优化的通用方法，给出了程序优化与分析的一般步骤。...
本文研究和分析Gossip算法在Chord网络中的适用性，并根据Chord网络的特点对基于Push＆Pull模式的Gossip算法提出一种改进算法Mod-Gossip。实验表明，Push＆Pull模式的Gossip算法可以很好地适应Chord网络，在Chord网络中将任意节点上的信息传播到整个网络中需要的周期数与在全连通网络中相当；本文所提出的Mod—Gossip算法则可以减少大约两个周...
UltraSparc T1／T2处理器采用硬件辅助的虚拟化技术，其平台固件Hypervisor实现了虚拟机管理的主要功能。逻辑域通道（Logical Domain Channel）是Hypervisor实现的支持虚拟机间以及虚拟机与Hypervisor间通信的一种机制，其实现简单，但缺乏足够的灵活性。同时，基于逻辑域通道的数据传输需要对传输数据进行拷贝，极大地影响了数据传输性能。本...
软硬件划分与调度是软硬件协同设计的关键环节，是经典的组合优化问题。本文针对调度与软硬件划分问题提出一种高效的启发式算法。调度算法根据任务的出度及软件计算时间对任务赋予不同的优先级，出度越大，优先级越高，出度相同的情况下，软件计算时间越大，优先级越高。划分算法首先寻找关键路径，然后将关键路径上具有最高受益面积比的任务交...
非常规突发事件的扰动性、高复杂性及衍生性是不同于一般突发事件的主要特征。针对上述特征，研究非常规突发事件的演化模型，以控制事件处理过程的复杂性和发展态势已成为热点研究问题之一。本文提出了非常规突发事件的NFA演化模型和对应的演化算法，给出了演化规则的形式化描述，以及事件处置方案选择和资源调度关联函数。实例表明NFA模型不仅...
首先，提出了可能的Kripke结构的定义，建立了可能的Kripke结构的可能性测度空间，并分析了可能的Kripke结构的一系列性质，即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到；依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次，给出了可能性计算树逻辑（PoCTL）的概念，讨论了两个PoCTL状态公式...
模型检测因其自动化程度高、能够提供反例路径等优势，被广泛应用于Web服务组合的兼容性验证。本文针对模型检测过程中存在的状态爆炸问题，在传统的模型检测方法中引入谓词抽象和精化技术，提出了一种针对Web服务组合的抽象精化验证框架。使用谓词抽象技术对原子web服务抽象建模，将各Web服务抽象模型组合成组合抽象模型；将模型检测后得到的反...
本文介绍了性质测试的基本原理，分析了用性质测试方法解决参数化问题的可行性，并将同构性质进行了参数化。研究了二元关系的性质测试以及参数化框架同构性质的测试问题，对固定的距离参数，证明了测试复杂性低于标准判定程序的复杂性。
《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。学术论文、技术报告、综述评论、发展动态等形式不限。
个体的适应度赋值和群体的多样性维护是进化算法的两个关键问题。首先，一方面，定义了Pareto ε-支配关系的相关概念，通过Pareto ε-支配关系确定个体的强度Pareto值，根据个体的强度Pareto值对群体进行Pareto分级排序，实现优胜劣汰；另一方面，使用拥挤距离估算个体的拥挤密度，淘汰位于拥挤区的一些个体，维持群体的多样性。然后，根据差分进...
粒子群优化算法（PSO）是一种基于群体智能的优化算法。本文在介绍PSO算法基本原理和流程的基础上，分析了该算法在处理一些复杂问题时容易出现的早熟收敛、收敛效率低和精度不高等问题，提出了一种基于新变异算子的改进粒子群优化算法（NMPSO）。NMPSO算法将产生的变异粒子与当前粒子进行优劣比较，选择较优的粒子，增强了种群的多样性，有效地...
第八届CCF中国计算机大会（2011 CCF China National Computer Conference, CCF CNCC2011）将于2011年11月24～26日在深圳市会展中心举行，承办单位为中科院深圳先进技术研究院。CCFCNCC是由中国计算机学会2003年创建的系列性学术会议，已在不同的城市成功举办七届，现每年一次。
在军事后勤、应急救灾中，需要同时为多个任务、多批次物资运输制定保障方案，该问题可归结为多源多汇问题，是NP—C的。本文提出一种基于多蚁群并行优化的网络路径规划算法，按照一定的策略对关键网络资源进行调度分配，尽可能为每一个任务规划满足网络属性约束及用户服务质量要求的独立网络路径，使任务完成率最高。仿真示例验证了该模型和算...
时态关联规则挖掘是针对在一段时间范围内的关联挖掘，在现实中有较多的应用。现有的大多数时态关联挖掘算法或者需要多次扫描数据库，或者没有考虑各个项在数据集上出现或结束时间上的不同，因而挖掘性能受到较大的制约。为此，本文提出一种增量式的面向具有不同时间出现与结束的项的时态关联规则挖掘算法。为减少存储方面的开销，只需保存已挖...
伴随互联网的迅猛发展，网页成为信息主要承载形式，各国的军事机构开始对网页信息中的军事情报进行搜集和监管，如何快速准确地从互联网获取所需军事信息成为研究的热点。本文针对互联网军事信息数据量大、更新速度快且真伪难辨的特点，提出了多元表征军事信息可信度的方法。首先，在对军事信息可信度表征研究的基础上，提出了基于信息源、信息...
信息检索是数据空间必须提供的一个重要功能，本文介绍一个数据空间信息检索子系统的索引方案。利用数据空间中数据之间的关系，抽取相关的数据，组成一个个基本信息单元，为多源异构异质数据建立一个基于基本信息单元的扩展的倒排索引。实验结果表明：利用基于基本信息单元的索引，系统能返回语义信息相对比较完整的查询结果。
中国卫星导航学术年会（china Satellite Navigation Conference，CSNC）是一个开放的学术交流平台。旨在加强学术创新，促进卫星导航系统的合作与交流；加强技术创新，促进卫星导航系统的工程建设；加强理论创新，促进卫星导航理论进步；加强应用创新，促进卫星导航产业的科学发展。
情感的迁移变化是外界刺激与个体感知共同作用的结果，本文着重就个体感知进行了探讨。首先就文本中情感的迁移规律进行了分析，讨论了心情与人格要素对情感迁移的影响。在此基础上，采用将语言特征与情感间迁移规律相结合的方法，通过机器学习实现了文本的情感分类。实验结果表明，情感分类的精确率相对传统方法提高了9．21％，方法的有效性得...
大多数非均衡数据集的研究集中于纯重构数据集或者纯代价敏感学习，本文针对数据集类分布非均衡和不相等误分类代价往往同时发生这一事实，提出了一种以最小误分类代价为目标的基于混合重取样的代价敏感学习算法。该算法将两种不同类型解决方案有机地融合在一起，先用样本类空间重构的方法使原始数据集的两类数据达到基本均衡，然后再引入代价敏...
FScom集是一种带有三种否定关系：矛盾否定关系、对立否定关系和中介否定关系的模糊集。本文在FScom中提出λ-中介否定概念，定义了λ-区间函数，使得传统模糊集的最大隶属度原则能适用于FScom集，并由此给出一种基于FScom的模糊综合评判方法以及在灾害损失等级划分实例中的应用。
当前图书馆只能向读者提供非常有限的图书推荐服务。本文提出可采用从网上书店获得的大量公开数据作为推荐参考标准的思路，使推荐不再依赖有限的本地数据，而是基于集体智慧。本文提出一个根据图书关联关系网络来评价图书的内容相关性及推荐价值的方法。初步实验结果表明，这一基于集体智慧的图书推荐方法能做出更全面和满意的图书推荐。
基于零空间方法是一种基于行为的模糊逻辑法，本文主要研究了基于零空间方法（Null-Space-Based）的足球机器人控制问题。针对RoboCup中型组中的全向运动机器人，以完成避障前进任务为例，推导了三维空间中基于零空间方法的任务输出函数。仿真实验证明了该方法的有效性，与其它基于行为的方法相比，该方法能在保证高优先级任务顺利完成的前提下...
停机位分配关系到整个机场系统的运行，是机场地面作业的核心部分。根据不同航班占用停机位的时间冲突约束，将航班之间的冲突关系表示成图的权值0-1，基于停机位、航班类型的匹配约束和得到的图的权值，运用蚁群协调算法，在保证不存在停机位分配冲突约束的前提下，以最少数量航班被分配到远停机位和旅客到停机位总行走时间最小为目标函数，对...
购物车(0)