计算机科学杂志社
分享到:
《计算机科学》杂志在全国影响力巨大,创刊于1974年,公开发行的月刊杂志。创刊以来,办刊质量和水平不断提高,主要栏目设置有:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别等。
  • 主管单位:国家科学技术部
  • 主办单位:国家科技部西南信息中心
  • 国际刊号:1002-137X
  • 国内刊号:50-1075/TP
  • 出版地方:重庆
  • 邮发代号:78-68
  • 创刊时间:1974
  • 发行周期:月刊
  • 期刊开本:A4
  • 复合影响因子:0.94
  • 综合影响因子:0.687
相关期刊
服务介绍

计算机科学 2012年第07期杂志 文档列表

计算机科学杂志服务化科研成果

电子战本体论及其在仿真中的应用

摘要:在分析电子战系统和电子战交战过程的基础上,采用对象、类、类型层次式的方法,首先概括电子战系统中的实体、状态、属性、关系等要素,然后提出电子战系统的本体论,最后将本体论应用到单舰反导的实例中,研究电子战系统仿真模型的通用形式化。该本体论有助于确定电子战系统及其交战过程的本质属性,构建先进仿真中电子战系统的计算模型,为建立可组合的分布式电子战仿真系统奠定基础。
25-28

基于标号随机Petri网的GSM性能分析

摘要:GSM移动通讯网络系统是目前国内覆盖最广、可靠性最高、容量最大、保密性强的公共无线数字传输系统。GSM通信分系统在车载单元与监控中心之间进行数据传输,其性能优劣对车载定位系统起着十分重要的作用。结合实时UML状态机的直观、平台无关性特点和LSPN的理论分析能力,研究了GSM通信模块的工作模式,结合实例初步探索了该方法在移动通讯网络性能分析中的适用性。
29-31
计算机科学杂志计算机网络与信息安全

面向CPS系统仿真的建模方法研究与设计

摘要:CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。
32-35

动态自适应DDS实时中间件的研究与实现

摘要:从动态服务发现和容错两个角度对现有DCPS DDS中间件进行了改进。将目前的/订阅模型的信息集中存储结构修改为分布式P2P分布式结构,并利用Chord协议实现主题信息的和匹配查询,从而实现了自适应能力。在传统心跳检测模型的基础上,提出了加速推拉模型,以提高失效节点的检测效率。最后通过对实现的中间件进行测试,验证了其在相对动态变化不很频繁的情况下,具有实时、容错、自适应的特点。
36-38

一种基于门限的电子投票方案

摘要:在以往电子投票方案中,验票工作都是由一名验票员承担,该验票员若不诚实,可能不记录合法选票,却统计不合法选票。为了解决该问题,提出了一种基于门限的电子投票方案。在该方案中,验票工作需要t名验票员协作,从而使验票结果更可接受。而且,投票者公布的选票结果是选票真实内容的哈希值或者密文,没人能知道选票的真实内容,从而可以防止强迫投票者投票以及买卖投票等。
39-43

作战超网络多Agent模型

摘要:运用网络化作战的思想,分析了军事网络的性质,将复杂适应系统理论多Agent建模和超网络建模相结合,提出一种超网络多Agent模型。该模型使用超网络表示军事网络;在微观层面,扩展实体的网络属性;宏观层面考虑了网络的演化行为。模型结合实体关系对网络的涌现和整体网络对实体行为的驱动实现网络状态机,规定和反映网络的交互关系和发展变化,以更好地反映信息化作战条件下的体系对抗特征。使用该模型建立的仿真平台比较适合进行指挥、控制方面的实验。
44-47

移动Ad hoc网络基于链路质量的地理位置路由协议

摘要:基于地理位置的路由算法要周期性发送信标报文,以维护邻居节点的位置信息。但是频繁广播信标控制包会占用大量的网络带宽,于是近几年提出了基于竞争机制的无信标路由算法来减少控制开销。然而,大部分路由协议没有考虑到实际无线信道的不可靠性,使其在实际应用中表现不理想。提出了一种基于链路质量的地理位置跨层路由协议(LQBGR)。它利用跨层技术,在竞争机制中充分考虑链路质量因素,通过选择通信质量较好的链路来减少重传,提高整体网络性能。最终仿真结果表明,该协议能够达到较高的数据包投递率、较短的端到端延迟及较低的通信总量。
48-51

基于局部路由的中高速传感器网络同步算法研究

摘要:传统传感器网络的时间同步方案不适合中高速传感器网络对数据融合和大数据量传输的需要。在固定网络拓扑的结构下,存在邻居节点同步误差较大的问题。同时,全网同步并不适合中高速传感器网络中数据处理周期较长的情况。提出了一种事件触发式、局部同步的中高速传感器网络同步机制及其对应的同步路由算法,解决了邻居节点问题。仿真结果证明,该算法降低了网络中事件区域的同步开销,减小了兴趣节点间的同步误差。
52-54

一种新型的无线传感器网络三维定位算法

摘要:节点定位在无线传感器网络的应用中起着重要作用,一直备受学术界和工业界的关注。现有的大多数定位算法针对平面应用而设计,而现实应用中的无线传感器网络节点往往分布在三维空间中,研究三维空间定位更加符合实际节点的应用情况。针对目前三维空间定位算法的不足,提出了一种新型的无线传感器网络三维定位算法。该算法无需额外的硬件支持,根据未知节点通信范围内锚节点数目,建立空间向量模型进行定位;并且在估计未知节点坐标时,根据该未知节点通信范围的锚节点对其所在位置进行约束。仿真结果表明,该算法通信开销小,提高了节点定位覆盖率和定位精度。
55-57

一种基于层次分析法的信息系统漏洞量化评估方法

摘要:根据层次分析法提出了一种具有可操作性的信息系统漏洞量化评估方法。按照分层思想,将系统漏洞严重程度的模型分解为因素层、评价层、特性层和目标层,分别从风险概率、风险影响和不可控制性等几方面对漏洞带来的风险因素进行专家评定,并依此来确定权重,通过计算其各层评估值,最后得到信息系统的整体漏洞严重性评估值。实验结果表明,基于层次分析法的信息系统漏洞评估方法能对系统漏洞的严重性程度进行有效量化和评估。
58-63

面向LEO卫星网的轻量级按需QoS源路由算法

摘要:接入卫星切换、流量分布不均匀和星上处理能力受限等因素使LEO卫星网的QoS路由面临巨大挑战。提出了一种引入移动技术的轻量级按需QoS源路由算法。首先结合星际链路队列占用情况设计了星际链路可用指数;接着基于卫星网承载流量分布特点提出了卫星可用指数;综合星际链路和卫星可用指数给出了移动迁移策略、星际QoS路由及其重建算法。仿真结果表明,提出的路由算法信令开销低,时延抖动、新呼叫阻塞率和切换呼叫阻塞率等QoS性能明显优于传统路由算法。
64-68

动态计算网络:一种面向物联网的普适计算框架

摘要:随着物联网的发展,大量不同的设备通过各种不同的方式连接到物联网中,使普适计算环境更加复杂和多样化,因此要求在物联网环境下的普适计算框架能适应新的计算条件的变化。提出了一种新的普适计算框架,以便在物联网环境中普适计算系统能够自动适应复杂多样的软硬件运行环境,使软件无需修改就可以在整个物联网环境中任意地执行,实现普适计算的服务发现、上下文感知与服务迁移功能。提出物联网环境下普适计算的基本运算单元为"动态计算网络",使用"设备动态匹配"作为普适计算软件自动适应环境的解决方案。提出的动态计算网络增强了普适计算软件对物联网环境的适应性,为面向物联网的通用软件系统设计提供了一种有效的解决方法。
69-73

基于PKI的通用无线认证协议研究

摘要:基于PKI的WTLS协议涉及复杂的证书操作,需耗费较大的通信和计算开销,且缺乏对服务器证书的有效性检查。引入可信证书验证(TCVP)和证书有效性凭据(CVT)等概念,由TCVP为无线通信节点(WN)生成短时有效的CVT,WN通过交换CVT来完成证书的有效性检查和公钥交换。基于此,提出了一种通用无线认证协议(GWAP)。在GWAP框架下,采用ECC算法设计了一种具体的无线安全认证协议,并进行了效率分析。结果表明,该协议在确保安全的前提下降低了通信开销。
74-77

NTRU公钥密码体制的等价密钥

摘要:NTRU公钥密码体制存在多个私钥对应同一个公钥的问题。首先分析了NTRU成功解密的条件,提出NTRU等价密钥的概念。然后给出了NTRU截尾多项式环上多项式可逆的充分必要条件和NTRU|.|∞半范数的相关性质,提出4种等价密钥的构造方法。最后分析了NTRU等价密钥对NTRU安全性的影响。分析表明,NTRU参数选择不当会导致一些特殊形式的等价密钥存在,严重威胁安全性。
78-81

基于免疫优势克隆网络聚类的入侵检测

摘要:基于智能融合互补的观点,将免疫优势、倒位、克隆选择、非一致性变异和禁忌克隆等多种人工免疫系统算子引入网络结构聚类算法中,构造亲合度函数来指导聚类过程,得到一种能够自学习、自适应的进化网络来进行入侵检测数据的训练学习,通过该网络映射出大规模数据集的内在聚类结构,然后利用图论中的最小生成树对网络结构进行聚类分析,最终获得描述正常和异常行为的数据特征。在KDD CUP99数据集中进行了对比仿真实验,结果表明,该方法可高效地对大规模网络数据进行异常检测,以区分正常和攻击行为,并有效地检测出未知攻击。
82-86

基于节点稳定度预测机制的Ad hoc网络中关键节点探测算法研究

摘要:为了更好地适应Ad hoc网络拓扑结构的动态特性,提出一种基于灰色预测模型的具有节点稳定度预测功能的NS-PMRC(Node Stability Prediction algorithm of Midpoint Range Circle)算法。该算法结合GPS系统提供的节点地理位置信息,在路由维护阶段利用等维递补灰色预测模型实时预测出节点下一时刻的地理位置,并计算下一时刻节点间的距离和节点稳定度。通过比较下一时刻节点间稳定度来判断关键节点的存在条件。该算法相对于PMRC算法提高了探测准确度,并明显提高了网络整体性能。
87-91

基于PSR-LSSVM的网络流量预测

摘要:为了提高网络流量预测精度,利用相空间重构和预测模型参数间的相互联系,提出一种遗传优化最小二乘支持向量机的网络流量预测方法。首先将相空间重构和最小二乘支持向量机参数作为遗传算法的个体,将模型预测精度作为个体适应度函数,然后通过遗传操作获得模型全局最优参数,最后通过网络流量仿真实验进行性能测试。结果表明,相对于传统预测方法,遗传优化最小二乘支持向量机提高了网络流量的预测精度,为网络流量预测提供了一种新的研究思路。
92-95

面向入侵检测的基于IMGA和MKSVM的特征选择算法

摘要:入侵检测系统处理的数据具有数据量大、特征维数高等特点,会降低检测算法的处理速度和检测效率。为了提高入侵检测系统的检测速度和准确率,将特征选择应用到入侵检测系统中。首先提出一种基于免疫记忆和遗传算法的高效特征子集生成策略,然后研究基于支持向量机的特征子集评估方法。并针对可能出现的数据集不平衡造成的特征子集评估能力下降,以黎曼几何为依据,利用保角变换对核函数进行修改,以提高支持向量机的分类泛化能力。实验仿真表明,提出的特征选择算法不仅可以提高特征选择的效果,而且在不平衡数据集上具有更好的特征选择能力。还表明,基于该方法构建的入侵检测系统与没有运用特征选择的入侵检测系统相比具有更好的性能。
96-99