传输协议是网络有效运行的基础,空间网络的高延时、高误码率等特性对传输协议设计提出了重要挑战。本文根据协议设计思路对现有的典型空间传输协议进行分类,对这些协议的主要机制进行介绍,并详细分析了这些协议的特点及局限性,最后总结了当前空间传输协议的研究现状,并指出其发展方向。
由于无线接入网络中存在着时延大、吞吐量小、丢包率高等特性,传统的AQM拥塞机制难以应用于有线/无线异构网络。本文通过分析经典的随机指数标记算法（REM）中价格的产生机制,指出了其存在的不足,并通过引入队列缓存比对REM价格使其更能适应无线环境,从而提出了一种新的基于价格的拥塞控制策略—PREM。PREM利用队列缓存比和链路虚拟容量作为拥塞...
SPIN模型检测器主要用来检测线性时序逻辑描述的规范,而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用SPIN模型检测线性时序认知逻辑的方法,根据局部命题的理论,将模型检测知识算子和公共算子表述的规范规约为模型检测线性时序逻辑的问题,从而使SPIN的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个RPC...
本文对ARM微控制的应用及破解技术进行了研究与分析,针对黑客通过非法手段获取程序代码的问题,提出了一种防止ARM系列单片机内部程序代码被非法复制的方法。该方法在程序运行过程中通过对芯片内部全球唯一序列号加密后的信息进行认证,确保只有经过合法授权的控制器才能够正确运行系统代码。该方法安全性较高、方便实用,已应用于相关产品的ARM微...
中国卫星导航学术年会（China Satellite Navigation Conference,CSNC）是一个开放的学术交流平台。旨在加强学术创新,促进卫星导航系统的合作与交流;加强技术创新,促进卫星导航系统的工程建设;加强理论创新,促进卫星导航理论进步;加强应用创新,促进卫星导航产业的科学发展。
本文研究了一类具有时延和凸多面体不确定性的随机网络控制系统的模型参考输出跟踪问题。基于线性矩阵不等式方法推出了该随机网络控制系统的稳定性和控制器设计的充分条件,并将控制器的设计转化为一个凸优化的求解问题。所设计的控制器能够保证相对于所有能量有界的外界扰动信号,随机网络控制系统的L2-L∞性能指标小于一定值γ。仿真实例证实了...
多核技术成为当今处理器发展的重要方向,异构多核处理器由于可将不同类型的计算任务分配到不同类型的处理器核上并行处理,从而为不同需求的应用提供更加灵活、高效的处理机制而成为当今研究的热点。本文从体系结构的角度探讨了异构多核处理器设计中的关键点,从内核结构、互连方式、存储系统、操作系统支持、测试与验证、动态电压调节等方面分析...
多处理器模拟器是设计、分析和优化多核处理器体系结构的主要工具。本文提出的Multi_MINT分为前端和后端两个部分,其中前端采用MINT来模拟MIPS处理器指令,后端包括Cache、互联结构、存储器控制器等部件,从而构成了一个完整多核处理器模拟器系统。本文主要介绍了Multi_MINT的总体结构,后端主要硬件部件的模拟框架,以及模拟器设计和实现中的一些细...
为解决日趋复杂的嵌入式系统的效率和可靠性问题,本文比较并分析了现有的设备驱动模型,针对嵌入式设备对虚拟化的特殊要求,参考L4微内核虚拟化技术,提出了一种新的虚拟设备驱动优化模型,不仅实现了微内核架构中多虚拟机间的驱动共享,并且在提供系统可靠性的同时,弥补了虚拟化技术带来的性能开销,提供了一个在效率、功能和可靠性三方面取得相对均...
为进行多领域空调系统的整体性能分析,基于Modelica建立了串口通信模型和空调模型,利用自编程的信号调理电路和已建立的串口通信模型将空调模型与空调控制器进行连接,建立了空调半实物仿真系统,仿真实验结果证明了本系统的有效性。本空调半实物仿真系统为多领域系统的半实物仿真提供了一套新的解决方案,可有效提高产品研发效率,降低研发成本。
本文提出基于B超图像灰度和小波变换系数并结合BP神经网络监测HIFU治疗中生物组织变性的方法。通过对高强度聚焦超声打击新鲜离体猪肉组织前后获得的B超图像作数字减影,并提取图像特征,利用神经网络进行分类处理。在此基础上,对大量实验数据处理后的统计特性和误差进行分析,得出较好的辨识效果。结果表明：结合图像平均灰度和小波变换系数特征并...
图像配准研究的核心问题在于提高配准的速度和精度,而图像配准的结果主要取决于特征的匹配精度。为了提高特征匹配精度,本文提出了一种基于二维Gabor小波变换的角点匹配算法。该算法首先采用改进的Harris角点检测方法提取角点,得到角点位置的坐标,利用多个二维Gabor小波模板对参考图像和待配准图像进行滤波,从滤波图像中提取角点坐标处的复Gabor...
社会网络分析与可视化是当前的热门研究领域,但是针对社会网络信息的高效理解与组织的研究成果却十分缺乏。本文提出一种针对社会网络信息的领域本体模型,它对社会网络信息领域的客观存在及其关系进行描述。该模型适合于描述各种社会网络分析与可视化方法,并能针对不同社会网络信息可视化应用进行扩展,克服了传统力导引布局算法在社会网络结构分...
自适应系统所处的环境往往是不确定的,其变化事先难以预测,如何支持这种环境下复杂自适应系统的开发已经成为软件工程领域面临的一项重要挑战。强化学习是机器学习领域中的一个重要分支,强化学习系统能够通过不断试错的方式,学习环境状态到可执行动作的最优对应策略。本文针对自适应系统环境不确定的问题,将Agent技术与强化学习技术相结合,提出...
结构克隆是一种运用相似原理与思想结构的克隆,它不拘泥于语句表达和顺序。本文首先用程序依赖图来检测克隆代码,并在检测过程中运用程序切片技术。针对结构克隆的特征,对需要改进的问题进行总结,对程序依赖图的特征类型进一步泛化和量化来计算相似度。这有利于在数值上更好地评估相似度,并提高克隆检测的查全率。
本文通过对新提出的求解全局优化问题的云搜索算法[1]进行分析,可以看出算法的整个搜索过程包含飘移算子、降雨生云算子、收缩扩张算子。倘若收缩扩张算子失效,那么算法将在比较坏的情形下进行搜索。在此情形下,我们利用概率论的知识分析了算法的收敛性。分析结果表明,云搜索算法依概率1收敛到全局最优解。
本文利用并行程序分析软件Tuning and Analysis Utilities（TAU）,对基于Message Passing Interface（MPI）的海洋环流模式Finite-Volume Coastal Ocean Model（FVCOM）2.6版本进行并行性能分析。在Linux集群（Intel Xeon CPU E5450,10GInfiniBand）上,使用不同进程数分别对低分辨率（网格节点数为2108和10378）、高分辨率（网格节点数为15347和...
网页分类是为了解决网络信息过载问题而延伸的一个热门研究领域,同时支持向量机以其出色的学习能力,在解决高维问题时表现出了特定的优势。本文在研究支持向量机和标准的免疫克隆优化算法的基础上,提出了一种改进的免疫克隆和支持向量机相结合的分类算法。标准算法中由于通过对抗体编码中某些位进行随机取反来实现抗体变异,造成搜索能力不强。该...
针对不平衡噪声数据流的分类问题,本文利用基于平均概率的集成分类器AP与抽样技术,提出了一种处理不平衡噪声数据流的集成分类器（IMDAP）模型。实验结果表明,该集成分类器更能适应存在概念漂移与噪声的不平衡数据流挖掘分类,其整体分类性能优于AP集成分类器模型,能明显提升少数类的分类精度,并且具有与AP相近的时间复杂度。
本文指出了现有Vague集模糊熵定义的不足,分析了其存在不足的根本原因,给出了Vague集模糊熵的公理化定义,提出了一种新的Vague集模糊熵的计算方法,并证明了其合理性和有效性。
聚类是数据挖掘中重要的研究方向。本文针对现有的聚类算法中相似度量的缺陷,提出了一种新的相似性度量方法。在此基础上,将粗糙集理论中的区分能力引入到聚类算法中,用来度量属性的重要性,进而提出了一种能够处理符号型数据的新的加权粗糙聚类算法。通过对UCI数据的实验表明,本文算法对数据输入顺序不敏感,且不需要预先给定簇的数目,提高了聚类...
针对信息检索领域存在的用词歧义和检索词简短的问题,本文提出了一种基于TF-IQF模型和图聚类的个性化查询建议方法。对于用户的查询请求,提供查询建议,帮助用户进行查询修正,进而检索到其所需的信息;同时通过获取不同用户的查询偏好,以达到个性化查询推荐的目的。实验结果表明,该方法能够给出个性化的查询建议,为用户提供潜在感兴趣的资源,具有...
针对目前多种模糊聚类算法组合应用研究较少的现状,在分别对基于模糊等价关系和基于模糊等价划分这两种模糊聚类分析方法进行了较为深入研究的基础上,根据两种方法的特点,构建了一种组合式模糊聚类分析方法。采用VC＋＋与Fortran6.5语言混合编程,开发了一套模糊聚类分析系统,分别实现了基于模糊等价关系法、基于模糊ISODATA法和基于组合式模糊聚...
基于Kohonen自组织特征映射（SOFM）神经网络的矢量量化图像压缩编码是一种非常高效的方法,但其码字利用不均匀,某些神经元永远无法获胜而产生＂死神经元＂的问题仍然十分明显。在追求为使各个神经元能以较为均衡的几率获胜,尽量避免＂死神经元＂过程中,Kohonen SOFM-C很具代表性,它既能保持拓扑不变性映射又能最有效地避免＂死神经元＂,是一种...
连续数据离散化是数据挖掘分类方法中的重要预处理过程。本文提出一种基于最小描述长度原理的均衡离散化方法,该方法基于最小描述长度理论提出一种均衡的离散化函数,很好地衡量了离散区间与分类错误之间的关系。同时,基于均衡函数提出一种有效的启发式算法,寻找最佳的断点序列。仿真结果表明,在C5.0决策树和Naive贝叶斯分类器上,提出的算法有较...
《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊,是国内外公开发行的计算机类综合性学术刊物,现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。学术论文、技术报告、综述评论、发展动态等形式不限。
目前RFID复杂事件处理技术的研究主要针对集中式的处理。集中式RFID复杂事件处理技术对于海量RFID数据的处理具有很多局限性,主要表现为网络通讯代价高和处理效率低。针对集中式RFID复杂事件处理存在的问题,本文研究了分布式环境下RFID复杂事件处理的关键算法,采用一种Pull（抽取）类型的数据通讯模型来降低通讯代价,在此基础上提出了两种分布式...
随着本体种类和资源的增加,本体的结构越来越复杂,为了合理地存储各种结构类型的本体、支持高效的本体查询,本文提出了一种基于关系数据库的OWL本体存储方法。该方法通过细致考虑OWL的基本元素,采用与传统的本体分解存储模式不同的构词分类方法,将OWL本体中的类、属性、实例、属性特征和属性约束分别存储在一张二维表中,从而解决了资源与属性值...
本文将蛋白质功能预测定义为典型的LPU问题。针对有很少正例的LPU算法存在的不平衡或过拟合问题,提出了基于最近邻和凸组合理论的创建人工正例扩充正例集合的方法,同时使用一类支持向量机获取初始最可能的负例,通过迭代两类支持向量机将分类超平面移到一个合适的位置,由交叉验证获得代表性的负例,从而改进了典型LPU算法学习最优分类器的过程。针...
ncRNA（非编码RNA）是一类重要的遗传物质,它通过多种机制调控着基因的表达。由于缺少编码RNA基因所具有的典型特征,ncRNA基因的检测成为生物信息学RNA研究领域的热点问题。QRNA是目前该领域最典型使用最广泛的程序之一,但受限于O（L3）计算复杂度,传统的软件预测方法并不能满足日常研究的需要。本文基于FPGA平台实现了一种细粒度的并行ncRNA检...
购物车(0)