随着互联网的飞速发展，在网络边缘部署的大量中间盒设备和各种新型应用给传统的端到端通信带来了连通性、移动性、安全性等方面的问题。针对这些问题，研究者提出了很多改进方案。本文简要回顾了端到端通信的研究工作，重点分析了研究中面临的关键性问题，并对典型研究进行了详细介绍和评价比较，最后对下一步端到端通信的研究方向做出了展望。
本文对无线AdHoc网络中可用带宽估计准则进行了研究，提出应将全局QoS保障作为带宽需求是否能被网络满足的判定条件。建立了基于IEEE802．11MAC协议的无线网络的分析模型并得出了时延、丢包率和吞吐量等QoS度量的解析表达式，并给出了该网络环境下的可用带宽判定准则。仿真实验证明了本文提出的分析模型的精确性与可用带宽估计准则的合理性。
本文提出了基于蚁群优化（ACO）算法的AdHoc网络生存时间和其他网络性能平衡路由协议（ABEAR）。协议按需发送人工蚂蚁进行路由发现，综合节点残留的信息素浓度、下一跳节点剩余能量、节点周围链路质量和拥塞情况选择下一跳节点来转发数据包，尽量避开信道使用频率较高的路径，减少了因信道冲突、数据包丢失和数据包重传所造成的能量损失，还缩...
目前已知的配对计算都是在椭圆曲线的平面模型下实现的，比如Weierstrass型曲线、Edwards曲线和Jacobi四次曲线。本文第一次讨论空间曲线上配对的具体计算。密码学中所关心的空间曲线主要是三维空间中的二次曲面的交，它与Edwards曲线、Jacobi四次型都有极其紧密的联系，因而研究二次曲面交上的算术与配对将促进我们对Edwards曲线、Jacobi四次曲...
具有较少自相关值的分圆序列在通信系统和密码学中都有广泛的应用。设p≡1 mod 3为素数，我们计算了GF（3）上一类非平衡的、周期为p的、三阶分圆的序列的自相关值，并进一步给出素数p的条件，使得此序列的自相关值为3值。
中国卫星导航学术年会（China Satellite Navigation Conference，CSNC）是一个开放的学术交流平台。旨在加强学术创新，促进卫星导航系统的合作与交流；加强技术创新，促进卫星导航系统的工程建设；加强理论创新，促进卫星导航理论进步；加强应用创新，促进卫星导航产业的科学发展。
本文利用布尔函数全局雪崩准则得到平方和指标与代数免疫的联系，通过Walsh谱与自相关函数的关系式得到布尔函数满足扩散时自相关值的分布，由此推出了变元数、代数免疫、扩散阶和代数次数之间的不等式，利用计算机搜索得到变元数在4～30之间时这四个指标的简洁表达式。最后得到了扩散阶与线性结构、正规性的关系。
PRESENT密码是一种适用于传感器网络、RFID标签等小规模硬件的轻量加密算法。本文对PRESENT算法的差分错误分析方法进行研究，提出了针对PRESENT密码的四种差分错误模型，并对它们进行分析对比，从而找到针对PRESENT算法最好的差分错误分析方法。就我们收集到的现有发表著作显示，此次研究比以往PRESENT的差分错误攻击更为有效。最好结果是，在...
伴随着B／S架构的流行和Web2．0时代的迅速发展，由于对不可信用户数据缺乏正确的校验机制，造成跨站脚本漏洞广泛地存在于各类网站中，并严重威胁用户安全。其主要原因在于服务端代码和客户端脚本的混合，使得当前技术无法准确而有效地生成攻击向量，探测跨站脚本漏洞。本文基于静态数据流特征分析，依据脚本注入位置和攻击向量模式设计了新的...
互补对称布尔函数是一类特殊的对称布尔函数。在所有代数免疫最优的对称布尔函数中，有相当的比例均属此类函数。特别是当变元数量为2^m元时，有2／3比例的代数免疫最优对称布尔函数都是互补对称布尔函数。通过布尔函数非线性度、Walsh谱和Krawtchouk多项式间的关系，计算出互补对称布尔函数的非线性度。结果表明，任意n元互补对称布尔函数的非...
本文给出了基于全光纤的分离调制连续变量量子密钥分发系统。首先介绍了四态分离调制方案及基于该方案的实验原理图；然后对关键器件时域脉冲平衡零拍探测器进行了介绍，并给出了性能测试结果；最后阐述了光脉冲信号的数据结构、编码规则和裸码的获取。
目前，较为成熟的入侵检测系统普遍存在检测率偏低、对新的入侵不够敏感等问题，影响了系统的整体性能。在深入研究的基础上，本文提出了一种基于神经网络集成的入侵检测方法。该方法采用神经网络集成分类技术，在去除冗余数据的基础上对成员网络进行训练，并通过动态的方法确定成员网络的个数，最终通过神经网络对成员网络结果进行融合，以提高...
浮点三角函数计算是导航系统、三维图像处理、雷达信号预处理等领域的基本运算。本文采用CORDIC算法及全定制集成电路设计方法实现了一种浮点三角函数计算电路，其输出数据兼容IEEE-754单精度浮点数标准。本文首先介绍了CORDIC算法的原理，并根据性能优先的原则采用了流水线结构；然后给出了基于SMIC0．13μm 1P8M CMOS工艺下的静态电路结构及版...
在高性能计算机系统中，10Gbps串行背板互连设计需求日益显现。作为超高频互连传输，10Gbps背板互连设计中准确仿真和有效分析其传输性能的难度越来越大。本文简要介绍10Gbps背板互连的设计难点，总结提出通道的判断标准。针对一种典型背板通道的设计进行建模和仿真，并通过S参数和传输眼图两种方式分析羊通道的传输性能。同时，针对超高频信号...
集成电路制造工艺的飞速发展，使得集成电路的特征尺寸不断减少和集成度不断提高，造成集成电路对工作环境的影响越来越敏感，发生软错误的几率不断增加，对可靠性造成重要影响。随着微处理器进入了多核时代，丰富的片上资源给软错误加固带来了很好的机遇。本文针对多核处理器中I／O系统软错误，提出了一种基于多核处理器的软件Scrub方法对软错...
本文提出了一种结合PAS和Gshare两者优点，同时尽可能消除两者缺点的两级自适应分支预测算法及其实现——Pshare分支预测方法。通过使用单独的BHSR来跟踪不同分支指令的历史轨迹，克服了GAs和Gshare机制中统一历史模式带来的缺点；同时，通过使用分支指令部分地址和历史模式位的杂凑运算来索引共享的一维PHT小表，减少了PAs机制中二维PHT大表的...
半导体工艺的发展使得芯片上集成的晶体管数目不断增加，图形处理器的存储和计算能力也越来越强大。目前，GPU的峰值运算能力已经远远超出主流的CPU，它在非图形计算领域，特别是高性能计算领域的潜力已经引起越来越多研究者的关注。本文介绍了GPU用于通用计算的原理以及目前学术界和产业界关于GPGPU体系结构和编程模型方面的最新研究成果。
复杂自适应系统中的软件实体既需要完成业务功能，又需要不断地感知环境，并根据环境的变化调整自己的结构和行为来适应环境，完成自适应功能。当前自适应系统的开发存在将自适应逻辑和业务逻辑相互缠绕的问题，使得自适应系统的开发和维护变得极为复杂和困难。本文将自适应系统中的自主运行单元抽象为自适应Agent，将自适应Agent的业务逻辑和自...
运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性，而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法，一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方...
数据持久化工作是企业在进行应用系统开发时首先必须要面对的重要问题。本文在着重分析了门面模式、泛型DAO模式、Hibernate框架和Spring框架的基础上，依据企业实际开发要求，提出了基于Facde模式的数据持久层开发框架，该持久层框架具有组件之间的松散耦合，并且整个持久层框架具备良好的稳定性、可伸缩性和可扩展性。最后成功地将该持久层开...
可满足模理论（SMT）求解器是计算机科学中用来判定一阶逻辑公式可满足性的程序，是许多形式化方法的验证引擎。理论求解器实现了SMT基于不同理论背景的求解过程，然而实际问题常以多个理论为背景。因此，本文重点介绍理论组合判定方法，概述SMT求解器的发展现状，并分析了几个主流SMT求解器理论组合判定关键技术。通过对照实验，评估各组合判定...
本文将云的生成、动态运动、降雨和再生成等自然现象与智能优化算法的思想融合，建立了一种新的智能优化算法一云搜索优化算法（CSO）。生成与移动的云可以弥漫于整个搜索空间，这使得新算法具有较强的全局搜索能力；收缩与扩张的云团在形态上会有千奇百态的变化，这使得算法具有较强的局部搜索能力；降雨后产生新的云团可以保持云团的多样性，...
本文针对核函数参数选择的随意性影响支持向量机分类性能的问题，提出了一种基于离散编码的蚁群算法（C—CAC0-DE）的SVM核函数优化模型。C—CACO-DE解决了连续函数优化的蚁群算法（C—ACO）求解之前必须进行预处理的问题，解决了基于网格划分策略的连续域蚁群算法（CACO-GT）在求解精度的缺点、最优解必在定义域内的等分割点问题。仿真结果验证...
粒子群算法（PSO）中的加速系数影响着粒子的个体认知和群体认知，而传统算法中的加速系数一般取常量。据研究发现，粒子的个体认识和群体认识分别主导着粒子的全局搜索能力和局部搜索能力，提高粒子个体认识可以有效增强算法的全局搜索能力，而提高粒子的群体认识可以有效增强算法的局部搜索能力。为进一步研究加速系数对粒子群算法的影响，本...
本文深入研究了本体的存储介质以及本体在关系数据库中的存储模式，指出当前各种本体存储模式的不足之处，提出了新的基于关系数据库的混合存储模式。用教育领域本体测试框架对所提出的存储模式进行实验验证。实验结果表明，该文所设计的基于关系数据库的存储模式具有结构清楚，查询效率高和扩展性能强的优点。用该文设计的混合存储模式要比目前...
如何实现海量影像数据的合理化存储、高效的访问是视景仿真领域的一个瓶颈问题。本文提出了一种运用SQLite数据库实现基于嵌入式数据库的集中式数据管理方法，将海量影像数据以数据库的形式进行管理，同时又以类似文件操作的方式实现快速访问，为解决基于LOD模式海量影像数据难以管理维护的问题提供了一种可行方案。本文方法有效而稳定地实现了...
构造合理的有向无环图是有向无环图支持向量机亟需解决的一个关键问题。本文提出一种改进的有向无环图支持向量机，根据超球支持向量机获得类的最小包围球，根据该最小包围球计算类与类之间的最短距离，根据该最短距离形成最短距离矩阵，根据该最短距离矩阵来构造有向无环图。实验结果表明，该改进算法较传统有向无环图支持向量机分类精度有明显...
本文提出了一种基于自适应网格划分的数据流聚类算法。通过采用网格的自适应划分，对传统的基于密度网格的数据流聚类算法，以均衡划分网格的方法进行改进，使网格的划分更加合理，减少硬性划分对结果可能造成的影响，提高了硬性划分边界的精度。同时采用剪枝方法，减少了算法的执行时间。最后，通过实验验证了该算法的有效性。
第八届CCF中国计算机大会（2011 CCF China National Computer Conference，CCF CNCC2011）将于2011年11月24～26日在深圳市会展中心举行，承办单位为中科院深圳先进技术研究院。CCF CNCC是由中国计算机学会2003年创建的系列性学术会议，已在不同的城市成功举办七届，现每年一次。
针对混合属性空间中具有同一（或相近）分布特性的带类别标记的小样本集和无类别标记的大样本数据集，提出了一种基于MST的自适应优化相异性度量的半监督聚类方法。该方法首先采用决策树方法来获取小样本集的“规则聚类区域”，然后根据“同一聚类的数据点更为接近”的原则自适应优化建构在该混合属性空间中的相异性度量，最后将优化后的相异性...
购物车(0)