购物车(0)计算机科学杂志是由国家科学技术部主管，国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机科学杂志是由国家科学技术部主管，国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974，发行周期为月刊，杂志类别为计算机类。
主管单位：国家科学技术部
主办单位：国家科技部西南信息中心
国际刊号：1002-137X
国内刊号：50-1075/TP
发行周期：月刊
全年订价：￥1000.00
关键词: 星座卫星 资源动态平衡 虚拟工厂 帕累托最优
资源动态平衡在星座卫星通信系统中具有重要的作用。针对目前星座卫星通信系统中影响资源平衡的因素,将宏观经济理论原理应用到资源平衡调配领域。从通信任务满足度出发,提出了基于虚拟工厂的资源动态平衡模型,详细阐述了模型中的3C评估指标体系,并以铱系统为例进行评估,验证了3C评估的可行性和有效性。通过模型的构建与求解,得出了星座卫星通信...
关键词: 副本技术 arms 均衡 随机因子
副本技术是提高结构化P2P网络中数据可用性、数据访问效率的一种主要技术。ARMS策略虽然可以选择到稳定的副本节点,但是它也带来了副本分布不均衡的问题。为了选择稳定的副本节点并避免单个节点保存过多副本,在充分分析ARMS策略不足的基础上,提出基于随机因子和年龄的副本维护策略。该策略在ARMS策略的基础上加入随机因子s,使得副本既保持稳定又...
关键词: 多业务网络 资源配置优化 遗传算法
随着新一代网络的结构复杂化和应用多样化,如何进一步提高实时业务的服务质量,是急需解决的重要问题之一,而合理配置和优化网络资源是解决该问题的有效方法。针对多业务网络,提出一种以网络资源均衡度为目标、QoS为约束的优化模型;应用改进的遗传算法实现带宽和节点缓冲区资源的优化配置,以实现网络流量分布均衡,从而提高网络性能。通过分析遗传...
关键词: 无线传感器网络 定位 多维定标 节点距离
定位技术是无线传感器网络中的关键支撑技术之一。针对移动无线传感器网络的特点,在深入分析现有多维定标节点定位算法的基础上,提出一种改进机制,即距离自调整的多维定标节点定位算法（SA_MDS）。该算法运用3种方法估算节点的两跳距离,然后自动调整节点间的估算距离,从而提高定位精度。仿真结果表明,采用SA_MDS算法,节点的定位精度有较大提高。
关键词: 神经网络 无线传感器网络 数据预测
无线传感器网络是一种由数量庞大的网络节点形成的复杂无线网络,是无线传感器的典型应用,目前已经广泛应用在多个领域当中。将神经网络引入到无线传感器网络当中,通过神经元描述每一个无线传感器数据,构建神经网络元模型。对传统的神经网络模型进行改进,利用无线传感器的神经网络模型,实现无线传感器网络采集数据的融合与提取。通过各种应用类型...
关键词: ip地址查找 路由算法 直连网络
针对IP路由器的FIB（Forwarding Information Base）极限问题和分布式IP地址查找中的通信延迟问题,提出了SD-Torus（Semi-Diagonal Torus）直连网络。按照＂临近存储＂的原则,将路由表划分后存储在每个节点及其邻居节点上,以减少分布式IP地址查找中的通信延迟,提高整体的查找性能。在分析SD-Torus网络拓扑性质的基础上,提出了一种负载均衡的路由...
关键词: 可编程逻辑器件 状态转移图 安全缺陷检测
可编程逻辑器件（PLD）在电子设备中广泛应用,其安全缺陷检测已成为信息安全领域中一个富有挑战性的课题。通过分析PLD安全缺陷的存在形式,提出了基于状态转移图的安全缺陷检测方法。该方法统一了检测思路,采用了脱机式芯片逆向分析和在线式芯片逆向分析相结合的技术,适用于不同的PLD安全缺陷检测,同时根据存在形式提出了检测算法。最后通过模拟...
关键词: p2p网络 bloom filter 概率分发队列 响应时间
无结构化P2P网络资源定位过程中的响应时间、查准率及覆盖率难以同时被优化。提出一种面向有向无环随机网络的基于Bloom Filter和概率分发队列的快速查找算法BFPDQ（Bloom Filter and Probabilistic Distribution Queue）,它用Bloom Filter表达和传递节点命中资源信息及查找请求信息,计算新查询消息与历史查询消息Bloom Filter语义向量相似度,并...
关键词: 物联网 云计算 分布式数据库 隐私保护
物联网依托云计算强大的数据处理能力实现信息智能,而目前云计算对数据和服务的管理并不值得用户完全信赖。针对物联网环境下云数据安全性问题,在云计算中为了保证用户数据的准确性和隐私性,提出了一种物联网环境下云数据存储安全及隐私保护策略。实验结果表明该方案有效、灵活,且能抵御Byzantine失效、恶意修改数据甚至是服务器共谋攻击。
关键词: 无标度网络 耦合系数 吸引因子 节点度 建模
经典的无标度网络模型在全局范围内按照一定的概率选取节点进行优先连接,而现实网络很难做到这一点。为了解决这一问题,在BA无标度网络模型的基础上,通过新增两个参数耦合系数和吸引因子来构建基于耦合系数的无标度网络模型,并通过理论计算得出该演化模型的度分布。分析发现,它具有更明显的无标度网络特性。实验仿真结果也表明,其度分布在服从幂...
关键词: p2p 重叠网 分层视频编码 流媒体系统
基于Peer-to-Peer（P2P）技术的流媒体应用具有部署效率高及可扩展性好等突出优势。而采用分层视频编码技术的P2P流媒体系统把原视频流分解为多个视频层数据进行分发,让节点能够选择与自己带宽资源相匹配的视频质量,使其很好地适应节点的异构性。但是各分层视频数据传输的路径存在较大差异,使重叠网构建策略面临更大的挑战。因此定义了基于分层...
关键词: itil 信任管理 动态访问控制 运维监控
ITIL的可信运行框架为信任管理提供了良好的上下文环境,可根据网络行为来实现动态的安全监控。现有的动态信任管理研究主要关注P2P、网格等环境,针对信息化中广泛使用的ITIL模型的改进较少。基于真实的ITIL平台行为监控数据,提出了一种结合行为监控上下文环境的ITIL动态信任管理方法。通过监控上下文环境,计算ITIL中业务随着运行时间变化的信任...
关键词: 信道估计 训练序列
提出了一种适合于MIMO-OFDM系统的信道估计方法。详细说明了使用的估计准则和训练序列的构造方法,利用训练序列良好的时域相关特性可以简便、精确地估计出信道的冲击响应,并对算法的性能进行了理论分析和计算机仿真。从分析结果可以看出,该算法与使用最佳训练序列的LS时域估计方法具有相当的估计精度。同时该算法不需要进行时域变换,只需要一定...
关键词: 云计算 超算 计算机取证
云计算是目前最流行的互联网计算模式,它具有弹性计算、资源虚拟化、按需服务等特点。在云计算的环境中,云计算中心直接提供由基础设施、平台、应用等组成的各种服务,用户不再拥有自己的基础设施、软件和数据,而是共享整个云基础架构。这种方式直接影响了云计算环境的安全性和可用性,给云计算带来了巨大的隐患。在分析和研究云计算环境下的安全...
关键词: 正交频分多址 协作通信 资源分配 公平性
提出了一种OFDMA协同蜂窝网中满足用户QoS需求且兼顾用户公平性的子载波和功率联合分配算法。针对已有算法仅考虑平均功率下的子载波分配、中继节点存在未用功率的情况,研究了子载波分配完毕后中继节点剩余功率最优分配问题。给出了一种基于二分法的功率注水分配方案。仿真结果表明,所提出的子载波和功率联合分配算法能够在满足用户QoS需求及公...
关键词: 级联加密 电子邮件加密 超混沌序列 预处理 量化处理
为了保护电子邮件传输的安全性,提出了一种级联加密的保密通信技术。基于预处理和量化处理对超混沌系统产生的序列进行了改进,改进后的序列通过了NIST随机性测试,具有更理想的相关性、更强的伪随机性及不可逆性。级联加密技术可发挥两者各自的优势,提高电子邮件传输的安全性。分析和应用表明了该级联加密系统的可靠性。
关键词: 指挥控制组织 行动过程 动态影响网 因果强度 动态贝叶斯网络
提出了用动态影响网（Dynamic Influence Nets,DINs）对指挥控制（Command and Control,C2）组织行动过程（Course of Actions,COA）问题进行建模的方法。该方法通过引入因果强度参数,替代了传统动态贝叶斯网络中的条件概率表。给出了利用因果强度参数进行概率传播的具体计算方法。结合一个联合作战的仿真算例,验证了该建模方法的优越性和有效性...
关键词: 蠕虫 蠕虫传播模型 模型优化 qsirv模型 免疫主机
基于Two-Factor传播模型提出了一种新的QSIRV传播模型,该模型更合理地考虑了被免疫主机的失效性。通过仿真得出,QSIRV模型较Two-Factor模型能够更好地描述蠕虫的传播规律以及传播过程中网络流量和蠕虫流量之间的相互影响,尤其是对免疫后的主机数目变化的仿真更是符合实际情况,同时考虑了已隔离、免疫及被感染主机的数量的影响以及人们对蠕虫传播...
关键词: 水下传感器网络 多面体质心算法 定位 als算法 导航
为了克服基于测距的水下定位算法以及距离无关的水下定位算法定位精度的不足,通过网络密度自适应、迭代定位和重定位、周期性更新和预测等优化措施,提出了一种距离无关的多面体质心算法,并利用仿真实验证明了多面体质心算法的定位性能明显优于ALS算法,它能够大幅度提高定位精确度,并降低定位成本。最后指出了未来水下定位算法研究应注意的问题和...
关键词: 需求演化 需求规约 排队论
用定量手段研究需求演化需要相关方法加以指导。利用排队论来分析需求变化请求从提出到实现的整个过程所具有的排队模型特征。在M/M/1/m/m假设之下,改进了现有需求成熟度的计算方法,并通过实例计算了该排队模型的特征指标,分析了这些数量对评价需求分析的效率及需求工程师的能力所具有的借鉴意义,并指出排队论在指导用定量手段研究需求变化管理...
关键词: web服务 服务评价 时效量化 遗忘过程 评价窗口
现有的服务评价方法缺乏时效性,而应用于其他系统的时效量化方法难以体现服务评价时效在衰退上的差异特征。由此,建立了基于时效量化的Web服务评价模型。模型以评价时效的遗忘特征为切入点,分析评价时效与人类记忆的关系,揭示评价时效遗忘速率的更新规律,构建符合时效衰退差异的时效量化方法。同时,根据量化结果,优化评价窗口长度,从而解决人工...
关键词: 延迟计算 进化代数 过程性语义 扩展warren机
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。
关键词: 软件控制 软件缺陷测试 优化测试 受控马尔科夫链
目前许多文献都讨论的受控马尔科夫链软件测试模型,是通过对部分假设条件进行特殊化处理后得到的,这将导致模型的适用范围较小且偏离实际应用。依据软件控制论思想,通过一系列新的制约条件的转换,提出一种改善的、测试资源约束下的受控马尔科夫链模型来消除已有模型的缺陷。同时,该模型能够在高效性、复杂性和适用性3方面达到一个平衡点。为了证...
关键词: 构件行为片段 逻辑推理 构件重组
从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段...
关键词: 软件测试 测试数据自动生成 可视化 遗传算法 适应度函数
测试数据的生成是实现软件测试自动化的关键,这一技术的实现大大节省了软件开发的时间和费用。利用遗传算法的理论与算法特点,建立了动态可变参数的测试数据自动生成工具。通过该工具的可视化界面可以动态地输入遗传算法参数,而且能够根据不同的路径选择输入相应的适应度函数,克服了以往在源代码中修改适应度函数的缺陷。最后通过两个实验,证明...
关键词: 再工程 agent 平行迭代
随着软件技术的发展,更多的软件出现,维护和再工程的需求也更加迫切。通用的软件再工程的基本概念和模型无法保证再工程的高效低风险。创造性地将平行迭代模型与Agent技术结合起来,可以解决复杂遗留系统再工程问题。此方法在森林植被仿真系统FVS的再工程过程中,提高了项目的效率和成功率,并保持了目标系统的灵活性和可扩展性,取得了理想的效果,...
关键词: 反编译 类型重构 类型依赖方程 等价类
类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化类型的框架,而后通过收集框架内可访问的偏移集合并利用简单类型恢复的算法对偏移对象类型进行恢复,从而推导出...
关键词: 本体 元模型 概念建模 统一建模语言
针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型（Meta Concep-tual Model,MCM）的概念,以实现更高层次上的概念模型抽象。将本体思想引入MCM的设计中,提出了基于本体的元概念模型（Ontology-based MCM,OMCM）概念,并给出了OMCM的层次结构和建模方法。通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模...
关键词: 数据分配 云计算 大规模密集型数据 负载平衡 数据依赖
大量的大规模密集型数据需要存储在多个数据存储中心,而应用越来越广泛的云计算环境很好地解决了大规模密集型数据在分配中遇到的规模性问题。但是,云计算环境中多数据存储中心的数据分配会带来数据存储中心之间数据量的传输,从而导致数据访问效率低下。同时,单位时间上数据访问量的不平衡性会引起数据存储中心的访问瓶颈。以大规模密集型数据中...
关键词: 移动实时环境 数据广播 广播调度算法
在网络带宽不对称的移动实时环境中,数据广播是一种有效的数据访问方式。针对这种网络特性,分析了现今已经存在的某些广播调度算法。针对UFO算法,分别提出了SBS算法和CRS算法,它们从服务器、移动客户端两个方面进行了改进。两种算法可以根据给定的数据项访问概率分布,自动生成广播调度。通过理论分析和实验结果表明,该算法不会产生事务重启,并且...
关键词: 多分辨率建模 多粒度仿真 并行存储 聚合解聚
多粒度仿真是当今仿真研究的重点和难点,其在仿真模拟领域的重要性逐渐显现出来。在该领域已提出了很多方法,其中聚合解聚法因简单易行且通信开销小而引起大家的注意,但该方法导致的一致性问题很难解决。针对聚合解聚法和多分辨率实体法提出了基于并行存储的多分辨率建模方法,此方法在一定程度上解决了聚合解聚法引起的一致性问题,同时不像多分...
关键词: 体系结构
为了理解、比较和集成由不同框架、不同工具及建模方法开发的体系结构,更好地支持以数据为中心的体系结构开发策略,提出了基于原语-模式的军事信息系统体系结构建模方法;依据XML的模型转换实现,重点研究了基于建模原语-模式的体系结构元模型与建模方法之间的语义映射规则;基于国际国防企业体系结构规范构建了作战活动模型（OV-5）的元模型,分别...
关键词: 动词 论元结构 事件特征 触发词 事件模型 中文事件 信息抽取
为将动词与其论元间的约束规则应用于事件抽取,在事件模型中引入动词论元结构形成模型变体,围绕模型变体提出基于动词论元结构的中文事件抽取方法。此方法首先对待抽取文本进行预处理和句法分析,得出其语法结构;然后将所得结构与动词论元结构属性进行比较,找出每个动词支配的论元;最后利用论元的语义属性确定与之对应的事件特征并由此完成事件抽...
关键词: 时间序列 动态时间弯曲 提前终止 概率
提前终止在提高时间序列相似性搜索的效率、减少冗余计算等方面起着重要作用。目前缺少一种有效的理论分析方法来以相对较小的计算代价估算出提前终止策略对DTW计算的优化程度。分析了DTW提前终止产生的机理,提出了一种DTW提前终止率的估算模型,并对其进行了有效性验证。实验结果表明,该方法能够有效地估算出DTW距离的提前终止率,且估算精度优于...
关键词: 粗糙集 正区域 属性约简 不相容决策表 重构相容决策表
基于正区域的属性约简是目前最常用的一类约简算法。现实中的决策表有可能存在不一致的对象。另外,在约简过程中随着属性个数的减少,也有可能产生新的不一致对象。对于基于正区域的约简算法来说,不一致的对象并没有提供任何有用的信息,删除不一致的对象不会改变正区域的计算结果以及最终的约简结果,而且可以显著提高算法的效率。然而现有的基于...
关键词: 聚类 谱聚类 大规模数据集 加速迭代法 laplacian矩阵
传统谱聚类算法的诸多优点只适合小数据集。根据Laplacian矩阵的特点重新构造新的Gram矩阵,输入新构造矩阵的若干列,然后利用加速迭代法解决大数据集的谱聚类特征提取问题,使得在大数据集条件下,谱聚类算法只需要很小的空间复杂度就可达到非常快的计算速度。
关键词: 垃圾博客过滤 词频特征 自相似特征 组合特征 贝叶斯分类
近几年,垃圾博客过滤成为国际上新的热点研究领域。现有的过滤算法大多基于词频特征分类,特征冗余并缺乏关联性。为了解决此问题,提出一种基于组合特征的动态垃圾博客过滤算法（CFDSD）,该算法采用作者属性和自相似特征来解决特征冗余和关联性低的问题,并应用贝叶斯分类算法优化词频特征分类。实验表明,该算法能适应博客随时间变化而动态更新的...
关键词: 聚类 模糊均值 属性加权 密度 误分类数
针对当数据集合中的数据属性差异不明显时,传统的均值聚类算法会收敛到局部最小值点,造成算法聚类结果不准、精度下降的问题,提出了一种基于密度的加权模糊均值聚类算法。该算法通过计算差异属性类中的相关密度,运用密度作为确定初始类中心的方法,得到了聚类效果更好的初始值。之后用加权模糊算法克服类划分中数据属性差异不明显带来的弊端,对类...
关键词: 重要点分割 平滑处理 特征值 knn算法
时间序列具有数据量大的特点,直接对其检测复杂度高。因此提出了一种基于时间序列重要点的异常子序列检测算法。子序列的异常检测弥补了点异常检测的局限性。该算法首先获得了一系列平滑后的重要点,然后根据其进行子序列划分,并提取每个子序列的4个特征值：长度、高度、均值和标准差,将其运用到欧氏距离中,最后通过KNN算法来检测异常子序列。实...
关键词: 正交设计 差分进化算法 极大熵 方程组
首先利用约束概念和修正极大熵函数,将非线性方程组等价地转化为无约束优化函数;然后引入平均相似度概念,设计自适应正交交叉算子,利用正交设计产生初始种群,并在此基础上提出了自适应正交差分进化算法,用于求解修正极大熵函数;最后用方程组验证了算法的有效性。
若用户需要出版服务，请联系出版商，地址：重庆市北部新区洪湖西路18号，邮编：401121。