计算机科学杂志是由国家科学技术部主管，国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机科学杂志
-
主管单位：国家科学技术部
-
主办单位：国家科技部西南信息中心
-
国际刊号：1002-137X
-
国内刊号：50-1075/TP
-
发行周期：月刊
-
全年订价：￥1000.00
杂志介绍
计算机科学杂志是由国家科学技术部主管，国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974，发行周期为月刊，杂志类别为计算机类。
主管单位：国家科学技术部
主办单位：国家科技部西南信息中心
国际刊号：1002-137X
国内刊号：50-1075/TP
发行周期：月刊
全年订价：￥1000.00
关键词: 模型驱动工程 uml petri网 模型转换 marte
UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息;然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream...
关键词: 移动网 移动系统 可达树 算法
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系...
关键词: 随机时间petri网 安全性分析 瞬态分析
在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆...
关键词: cpn 符号执行 token选择 openstack 单一平面网络
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至状态空间爆炸等问题。针对上述问题,提出将符号执行与CPN建模相结合,并在CPN模型的执行过程中采用一种基于toke...
关键词: 移动应用 监测平台 消息顺序图 petri网
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和...
关键词: 多状态系统 模糊着色petri网 自适应模糊推理算法
在多状态系统中,由于性能退化、局部失效等原因,系统或元件会表现出从完全失效到完美工作之间的一系列过渡状态,这些过渡状态信息将直接影响系统的可靠性。针对这一问题,提出一种模糊着色Petri网模型,该模型通过对模糊状态及状态变迁进行建模来刻画多状态系统的可靠性特征。在这种模糊着色Petri网模型中,变迁阈值会随着节点状态模糊信息的动态变...
关键词: 进程网 层次结构 细化 二叉树
进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便...
关键词: 呼叫准入 小区选择 gspn
随着数据业务快速增长,仅靠宏蜂窝网络已无法满足流量需求;飞蜂窝网络可以有效分流宏蜂窝流量,近年来所构成的Macro-Femto架构得到了较广泛的部署。Macro-Femto网络部署的关键问题之一是小区选择,由于飞蜂窝网络频谱资源有限,进行小区选择时仍需考虑呼叫准入控制(Call Admission Control,CAC)。图形化的广义随机Petri网(Generalized Stochastic ...
关键词: 过程挖掘 行为轮廓 事件日志 拟间接依赖关系
过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖的方法,其却没有从过程行为的角度进行分析。基于拟间接依赖的过程模型挖掘方法,把行为轮廓融入其中,依据行为轮...
关键词: 最大速度恒定的连续petri网 有效冲突 瞬发速度 运行区间 演变图 算法
最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法...
关键词: petri网 虚拟企业 建模 调度
在分析现有虚拟企业建模及其调度方法的基础上,探讨了基于一种扩展Petri网模型的虚拟企业建模和调度方法,给出了T时延广义自控网的形式化定义和变迁规则。根据虚拟企业项目的特点,描述了基于T时延广义自控网的虚拟企业建模过程。基于所建立的虚拟企业项目模型,分别针对时间最短与费用最小两个调度目标,设计了A*算法以实现虚拟企业项目调度方案求...
关键词: 协调控制 petri网 变迁约束 结构转换 约束条件转换
事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系统的结构约束,使得库所变迁混合约束问题转化为单一的库所约束问题。首先,提出基于Petri网的事件协调控制方法的...
关键词: 成员载波 lte 广义随机petri 掉线率 吞吐量
随着移动业务需求的多样化,有限的无线频谱资源已无法满足用户对高质量、高效率和高带宽的数据业务的需求。在现有的低频载波环境下,引入高频载波可以有效扩大系统容量。在同一小区部署多个成员载波的过程中,成员载波调度策略是其中的关键问题之一,直接影响LTE用户的服务质量(Qulity of Service,QoS)和无线资源的利用率。针对蜂窝网络中成员载波...
关键词: web服务 petri网 服务组合 平台
针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的注册及,将各具体服务绑定到语义功能体系中的某一功能;其次实现了基于视图的服务组合构建,用户可在相应视图中通过选择相应的功能进行方便的服务组合构建,并得...
关键词: 有色时延petri网 并发可达标识图 aoe网 关键路径
将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行...
关键词: 时间petri网 随机模拟 实施区间 状态类 实施概率
模拟是Peri网进行系统分析的常用方法之一。由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的。提出了时间Petri网的随机模拟方法。该方法在变迁开始使能时,根据某种随机分布确定实施区间内的实施时间点;然后基于模拟仿真的实验数据,运用统计分析方法及算法,构造时间Petri网状态类树,计算变迁实施...
关键词: cdma 多点广播 qos 协作中继
为了提高多群多点广播中继网络系统的性能,提出一种改进的协作中继多点广播码分多址(CDMA)系统设计。该方案利用协作中继辅助的分布式波束形成实现单天线基站多播,获得了较好的空间分集增益。在该系统中,多个基站利用多个中继节点向多个目的地的各个小组传播消息;利用CDMA技术来减少中继节点以及目的地节点的多址干扰(MAI)障碍,同时每个中继节点...
关键词: 无线传感器网络 网络编码 多径路由 虚拟网格 可靠性
将网络编码技术应用到无线传感器网络中以提高网络的传输效率是近年来国内外研究的一大热点,相交多径网络编码模型是一种具有高可靠性的基于网络编码的多径路由模型,而目前将相交多径网络编码模型应用在无线传感网的多径路由协议中的研究并不多。通过使用基于地理位置划分虚拟网格的方法设计了一种相交多径网络编码模型的路由协议BRGNC(Braided ...
关键词: 小波变换 心电信号 压缩 ezw
嵌入零树小波(Embeded Zerotree Wavelet,EZW)作为一种高效的压缩方式,虽然在编码上具有一定的优越性,但是其多层零树结构信息编码会使信号的压缩比有所降低。因此,研究了EZW压缩算法的优化与改进。首先研究了使用提升小波格式处理ECG信号,其中重点研究了小波的消失矩提升规律与提升算法;其次对EZW压缩算法编码方式的改进进行了研究。对ECG分解...
关键词: 复杂网络 社团发现 路由特征 互联网宏观拓扑
自然界中存在的大量复杂系统都可以通过复杂网络加以描述,社团结构是继小世界特性和无标度特性之后发现的最为重要的复杂网络特性。社团发现对理解互联网的宏观拓扑结构至关重要。针对互联网宏观拓扑的结构特性,基于边聚簇算法思想,设计了一个基于路由特征的社团发现算法,以互联网宏观拓扑中的探测边频为影响因子定义边相似性,改造边聚簇算法中...
关键词: 无线局域网 室内定位 mk模型 k最近邻法 混合定位
在复杂的室内WLAN环境下,利用改进的MK模型和加权K最近邻法对定位性能进行了改进。首先介绍了室内传播模型及改进的MK模型;然后介绍了位置指纹定位方法及两种定位算法的基本原理,根据实测数据,分析了以上方法的定位效果以及误差来源;最后提出了MK模型和加权K最近邻法相结合的混合定位法,并对算法进行了仿真和分析。仿真结果表明,所提算法提高了...
关键词: 多信道 接入协议 吞吐量 延迟
为了解决目前多信道接入协议面临的多信道隐藏终端和多信道Deafness问题,加入了探测报文和等待报文,采用节点状态表和信道空闲状态表的方法,并采用NS2仿真软件对该协议进行性能仿真。仿真结果表明,该协议解决了多信道隐藏终端和多信道Deafness问题,与DPC协议相比提高了网络吞吐量和信道利用率,降低了网络传输的延迟,增强了网络的性能。
关键词: 多目标定位 测量矩阵设计 压缩感知 传感器网络
根据传感器网络中定位问题天然的稀疏性,研究了基于压缩感知理论的多目标定位方法。首先将目标位置信息表示成一个稀疏向量,将定位问题转化为向量估计问题。通过部署少量传感器测量接收信号的强度值,求解一个1范数最优化问题便可精确地重构出位置向量。相对于当前压缩感知定位中常用的稀疏随机测量矩阵,提出了一种改进的测量矩阵设计方法,指示...
关键词: 信息中心网络 缓存替换策略 缓存算法 内容活跃度
通过对信息中心网络的网内节点缓存建模,分析发现基于全局内容流行度的替换策略不适用于信息中心网络的分布式模式。继而提出了一种基于局部内容活跃度的缓存替换策略LAU,并基于该策略提出了一种自适应路径缓存算法ACAP,使缓存内容按照本地活跃度依次缓存在访问路径中。仿真结果表明,LAU策略提高了单节点缓存命中率;ACAP相比已有的路径缓存算法,...
关键词: 混合译码放大转发协议 中继 功率分配 误符号率
混合译码放大转发(Hybrid Decode-Amplify-Forward,HDAF)协议与放大转发、译码转发协议相比,能在很大程度上提高系统的性能,成为近年来的研究热点。在此,研究了在混合译码放大转发协议下的最优功率分配问题。首先推导了高信噪比(Signal-to-Noise Ratio,SNR)下混合译码放大转发协议中的误符号率的近似和实用的表达式;然后通过建立数学模型,在满足...
关键词: 物联网 任务调度 时隙分配
在物联网环境下,需要对链路节点之间传输的实时任务进行优化调度,以提高物联网中传感节点的进程管理和内存管理效率。传统方法采用优先级列表控制的物联网环境下的实时任务传输调度方法,在资源分配过程中动态负载平衡性受节点的空间分布的影响较大,任务分配的准确性不高。因此,提出一种基于高效时分多址时隙分配的物联网环境下实时任务传输的分...
关键词: 干扰信道 感知网络 自由度 干扰对齐 干扰中和
研究了主网络和次网络都为单用户并联IC的并存时自由度。采用了干扰对齐、干扰中和以及感知网络相结合的干扰管理策略研究方法;对11种情况进行研究,并对每一种情况的干扰管理策略做了遍历分析,得出第11种情况自由度内界相对四用户IC有所增大;最终得出结论:并联两用户IC网间认知情况下自由度内界最大值为3。
关键词: 群智感知 人群搜索优化 协作竞争 移动管理 用户激励
针对移动群智网的用户激励和保护问题,基于人群搜索优化和协作竞争研究了一种用户激励机制。在该机制中,根据时域、空域和频域对感知区域内的移动节点给出定位信息定义,并对发送信号和接收信号进行人群搜索优化,同时根据特征值进行协作竞争,最后通过调整特征值、协作竞争和退出来实现用户激励和保护。实验结果证明,与基于静态路径的信道优先分配...
关键词: spice 桌面虚拟化 探针通道 富交互
针对云桌面协议(Simple Protocol for Independent Computing Environments,SPICE)存在的问题:在用户交互较多的场景显示时延太大、播放视频时可能导致其它操作不能得到及时响应,在原有架构上构建了一个探针通道,根据探针采集反馈结果分别对视频和富交互场景增加了不同的可切换策略。视频场景中,探针采集了其它各个通道的丢包率和时延,综合权重...
关键词: 四变量模型 altarica建模语言 故障树分析 arc
近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首...
关键词: 数字水印 分数阶傅里叶变换 扩展变换抖动调制 鲁棒性
针对现有分数阶傅里叶变换水印算法在透明性和鲁棒性等方面的不足,提出了一种基于分数阶傅里叶变换和扩展变换抖动调制的鲁棒数字水印算法。首先对载体图像进行提升小波分解,将低频子带均匀分割,并对各子块进行分数阶傅里叶变换。然后,从频率角度构造载体向量,选择幅值系数的中低频系数构成每个子块的载体向量。在水印嵌入时,先对载体向量进行投...
关键词: 双向认证 hash函数 包序列号 中间人攻击 离线口令猜测攻击
随着科技的不断发展,越来越多的网络设备接入到无线网络中,为了确保合法用户的正确识别连接,在WenLi认证方案的基础上提出了一种基于Hash函数的无线双向安全认证方案。该方案通过引入发送包序列号代替时间戳,避免网络延时对认证过程产生影响,且不需要设备之间时钟的严格同步。安全性与运算量的对比分析表明,较Wen-Li方案,所提方案能有效避免各种...
关键词: xen 虚拟化 虚拟机系统 性能模型 计算负载
针对Xen虚拟机系统执行网络I/O密集型负载时容易耗尽Domain0的CPU资源而过载和执行计算密集型负载时在客户域平均性能与数目之间存在线性规划的问题,提出了两个负载类型相关的性能模型。首先,通过分析Xen虚拟机系统处理网络I/O操作的CPU资源消耗规律,建立了CPU核共享和CPU核隔离两种情况下的客户域网络I/O操作请求次数计算模型;然后,通过分析多...
关键词: 三维密钥 单向哈希链 对称矩阵 验证密钥 通信密钥
在基于簇的三维水声传感器网络中,将布置区域划分为多个正方体的簇空间。在簇头节点间,提出通过相对坐标位置产生节点间的验证对称密钥;在簇内节点间,提出通过改进的对称多项式方法产生节点间的验证对称密钥。网络中的节点进行通信交流时都是采用基于对称矩阵的通信对称密钥,实现节点间的通信全连通。相比于传统的传感器网络密钥管理方案,本方案...
关键词: 签密 基于属性的密码体制 可证明安全
签密能够同时实现加密和签名的功能,并且代价小于传统方法。在线/离线技术能够有效提高签名与加密效率,适用于计算能力严格受限的移动网络终端设备。针对现有的属性签密方案实用性不强、效率低下的现状,提出了一个基于属性的在线/离线签密方案,在随机预言机模型下,利用判定双线性Diffie-Hellman倒转(l-DBDHI)问题和计算Diffie-Hellman(CDH)问题...
关键词: 混沌 密码 整数帐篷映射 动态
针对整数帐篷映射存在的短周期问题,通过引入动态参量,建立了动态整数帐篷映射模型,证明其具有均匀分布特性,将其与整数化logistic映射进行了比较,并分析了模型的周期性及相关性。该模型弥补了整数帐篷映射的短周期缺陷,并且便于硬件实现。实验及仿真分析表明,该模型具有十分优良的密码学性能,在信息安全领域极具应用价值。
关键词: 旋转对称布尔函数 bent函数 导数 最优代数免疫函数 相关免疫性
研究了旋转对称布尔函数的最高扩散次数、最高非线性度、代数免疫性和最优代数免疫函数的存在性与构造等问题。利用导数和e-导数证明了非线性度达到最高的旋转对称布尔函数的存在性,并利用导数,由扩散性达到最高n次的Bent函数来验证一类旋转对称Bent函数的存在性。同时证明了1阶代数免疫和2阶以上代数免疫旋转对称布尔函数的存在性。另外,利用旋...
关键词: 软件动态演化 软件体系结构 行为模拟 一致性保持
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的...
关键词: petri网 环结构 行为轮廓 一致性度 进程视图
在业务流程模型相似性分析过程中,有时会出现环结构,从而导致内部行为关系一致但网的进程不一致的情况。已有的方法大多不考虑环结构,忽略了环结构对模型一致性分析的影响。以行为轮廓序关系为基础,研究各个进程间的内部行为关系,并刻画Petri网的进程段之间的相互关系,给出了进程视图的概念;通过对Petri网的进程段外部间的关系进行研究,提出了基...
关键词: 历史缺陷报告 缺陷相似度 再分配图 预测再分配路径
准确地将缺陷分配给最合适的修复者对大型软件项目的缺陷修复具有重要意义。当前缺陷自动分配技术的研究主要利用历史缺陷报告的描述信息、缺陷关联信息、历史分派信息等,但这些方法都没有将缺陷报告信息充分挖掘。提出在缺陷报告分配时将缺陷历史分派信息和缺陷文本相似信息相结合。首先根据缺陷历史分派信息生成再分配图;然后计算新缺陷报告与...
若用户需要出版服务，请联系出版商，地址：重庆市北部新区洪湖西路18号，邮编：401121。