计算机系统应用杂志是由中国科学院主管，中国科学院软件研究所主办的一本统计源期刊。
计算机系统应用杂志创刊于1991，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机系统应用杂志
-
主管单位：中国科学院
-
主办单位：中国科学院软件研究所
-
国际刊号：1003-3254
-
国内刊号：11-2854/TP
-
发行周期：月刊
-
全年订价：￥700.00
杂志介绍
计算机系统应用杂志是由中国科学院主管，中国科学院软件研究所主办的一本统计源期刊。
计算机系统应用杂志创刊于1991，发行周期为月刊，杂志类别为计算机类。
主管单位：中国科学院
主办单位：中国科学院软件研究所
国际刊号：1003-3254
国内刊号：11-2854/TP
发行周期：月刊
全年订价：￥700.00
关键词: 基于账户的应用 受控账户分类 异常检测 幂律分布 行为分析
账户是社交网络、即时通信、电子商务等WEB应用领域中最常使用的用户标识方法.已有工作主要针对社交网络的攻击检测展开,检测对象多为垃圾消息和伪造账户.由此可见,现有研究存在检测领域覆盖不全以及检测对象缺少统一描述的问题.为了更好地进行该领域研究,首先提出以账户作为研究对象,依据恶意账户具备由攻击者控制并实施控制的特点,将该类账户...
关键词: docker镜像 错误检测 逆向工程 dockerfile
在容器虚拟化中,主流的镜像构建方式是通过Dockerfile来构建的.然而,在使用Dockerfile构建镜像时存在着明显的不足：由于Dockerfile语言的复杂性,使用文本编辑方式没有提供有效的语法引导,没有对Dockerfile可能存在的错误进行有效的检测,导致构建容器镜像工作效率低下.此外,使用说明不完整的第三方镜像,无法有效的确定镜像的功能和使用方法,安全...
关键词: 时间博弈自动机 控制器合成 符号化方法
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动作的映射关系.在本文中,我们主要针对以线性时序逻辑（LTL）描述的可达性作为获胜目标,进行合成策略的发现.文中介绍了一种采用on-the-fly思路的合成算法,以规避状态数目太多带来的内存溢出问题.文中算法是对文献[1]...
关键词: 方差 词向量 文本分类 衰减系数
文本分类中的高维数据和噪声一直是影响文本分类准确率的主要因素,特征选择和特征提取是降维和去噪的主要手段.本文提出根据词的类间概率分布方差和文档分布方差改进TF-IDF的特征选择方法（VAR-TF-IDF）,调整Word2vec中的CBOW＋HS词向量训练框架,用特征词词向量的叠加作为文本的特征向量,有效地提高了文本分类的准确率和召回率.实验算例证明了所...
关键词: 分布式系统 端到端追踪 性能问题 插桩
提出了一种零配置的端到端细粒度追踪的方法—Easy Trace,应用于分布式系统发生性能降级时的问题诊断.传统工具往往存在监测粒度与服务组件源码紧耦合或配置信息复杂、修改代价高等不足,Easy Trace能够做到零配置下性能问题的准确定位.基于开源电子商务系统的实验结果表明,Easy Trace相对传统监测工具对系统造成的扰动很小.
关键词: 匿名鉴别 口令鉴别 隐私保护 构件 国际标准
作为隐私保护的重要手段,匿名鉴别机制引起了各界的广泛关注,口令鉴别作为应用最广泛的鉴别方式,研究设计仅依赖于口令的匿名鉴别系统具有重要意义.在此背景下,国际标准化组织ISO/IEC JTC1/SC27启动了ISO/IEC20009-4标准项目,专门针对基于口令的匿名鉴别机制开展标准化工作,目前收录了三种匿名口令鉴别协议.本文基于该标准中的SKI协议研究设计了...
关键词: 泊位分配 mapreduce 并行计算 单纯形算法
针对传统串行环境下码头连续泊位分配算法在船数大于七条时,算法的执行效率明显降低、资源占用量显著增加.首次设计了基于分布式环境下连续泊位分配系统总体架构和软件架构;提出了基于Hadoop平台下连续泊位分配系统开发环境的搭建,分布式环境下码头泊位分配系统组件设计与部署以及分布式环境下基于Map Reduce改进连续泊位分配算法的关键技术;最...
关键词: 缓存 云平台 数据库集群 高并发 负载均衡 网络地理信息系统
随着Internet技术的发展,传统的Web GIS服务器在面对大用户群高并发访问时会出现服务延迟甚至拒绝服务的现象.针对该问题,本文提出了一种基于云平台的应对高并发的Web GIS服务器架构.架构使用云平台为Web GIS服务器提供弹性计算和存储资源,并从负载均衡、缓存设计、数据库集群三方面缓解高并发瓶颈.选择开源服务器端软件Geo Server作为Web GIS应...
关键词: 推理验证 形式化验证 交替式下推系统 无穷状态系统 可视化
演绎推理是形式化验证中一种重要的方法,具有可以处理无穷状态系统的优点.本文研究与实现关于交替式下推系统中可达性的证明,该系统可以将无穷证明树转换为有穷树.文中首先利用迭代收敛思想实现了饱和算法,并通过全排列算法实现了系统完备化;然后采用余归纳方式对搜索证明进行了优化;最后利用可视化技术对证明树在三维空间进行展示.
关键词: 网络测量 p2p dht 心跳检测 簇首
基于P2P的网络测量系统以降低单点瓶颈和部署开销为目标,其中结构化P2P一般假设节点具有相同的能力,不适合大规模部署;非结构化P2P通信负载过大,可扩展性差.因此,本文结合多种P2P模式的优点,引入分层思想,对节点按能力分簇,选取性能佳的作为簇首组成上层高速转发网,由簇首负责维护和管理簇内普通节点,同时描述了系统的初始化构建过程、各个功能...
关键词: 数据预处理 spark 交互式 大数据
高质量的决策依赖于高质量的数据,数据预处理是数据挖掘至关重要的环节.传统的数据预处理系统并不能很好的适用于大数据环境,企业现阶段主要使用Hadoop/Hive对海量数据进行预处理,但普遍存在耗时长、效率低、无交互等问题.提出了一种基于Spark的交互式数据预处理系统,系统提供一套通用的数据预处理组件,并支持组件的扩展,数据以电子表格的形式展...
关键词: 数字导播 服务器 keygoe rabbitmq
随着网络技术和多媒体技术发展,传统的广播电台导播装置仍采用电话耦合器的方式和引入CTI板卡和电话耦合器配合使用的方式,已不能很好的满足电台业务的需求.基于此,数字多路导播系统应运而生,基于包交换的IP通信技术构建新一代数字导播装置,可有效的解决传统导播装置面临的问题,满足电台和听众对热线电话形式的需求.数字多路导播服务器是导播系...
关键词: ajax php mysql 电能 图表
对校园不同区域的用电情况进行调查,实现能耗监测平台的设计.利用前端Bootstrap框架和j Query库实现布局,同时采用B/S架构,Ajax技术,MYSQL数据库和后台PHP语言的黄金搭配,将电能数据信息以多种图表的形式在网页中展示给用户,掌握整个校园建筑能耗的实时数据,实现了对校园各种能源系统的分布式监控与集中管理.着重分析了平台设计中的几个关键技术...
关键词: 可伸缩 saas 多租户数据管理框架 smtdm 存储资源弹性
云计算是一种可以弹性并按需提供资源的技术.在多租户共享数据存储模式下,如何实现数据的动态伸缩存储是云数据管理的关键.针对Saa S应用如何随着租户数量及请求规模的变化而进行自适应伸缩的问题,在分析数据存储层的伸缩性需求的基础上,基于Walraven等人提出的多租户架构思想,扩展典型的云应用架构,设计了一个多租户数据管理框架,实现存储资源...
关键词: 存储系统 磁盘阵列 raid 可靠性
完成对深空测控外部存储系统磁盘阵列的设计是深空战略工作中的一部分.本文在分析磁盘组阵各性能的基础上,为深空测控计算机外部存储系统给出磁盘阵列组阵建议.根据深空测控任务要求出发,对磁盘的各组阵方式的容量、速度和可靠性等方面进行理论分析和实际测量,结果显示RAID0组阵方式是符合存储系统需求的组阵方式.
关键词: 三维模型 粒子滤波 行人跟踪 双指数平滑
针对传统行人跟踪算法得到运动轨迹与真实轨迹差异巨大的问题,提出一种基于三维模型的粒子滤波行人跟踪算法.该方法利用摄像机标定信息和图像帧信息建立行人的三维模型,解决图像中目标尺度的变化问题,并得到目标的真实运动轨迹.同时该方法利用双指数预测模型对粒子滤波算法进行优化,以解决短时遮挡问题,同时降低运算复杂度.实验表明,基于三维模...
关键词: 姿态估计 深度数据 虚拟人
利用深度传感器估计三维人体姿态是计算机视觉领域的一个重要问题,在人机交互、虚拟现实和动画设计等领域有重要的应用价值.针对该问题的主流方法是自底向上的方法,这类方法一般采用分类、回归或检索技术,可以直接从深度数据中估计三维肢体姿态,在人机交互中得到了很广泛的应用.但是这类方法依赖于大规模的姿态数据库,而且结果不够精确.本文提出...
关键词: 旅游电子商务 多目标复合评估及优化 推荐系统
推荐算法在电子商务系统中具有良好的应用前景,受到了越来越多关注和重视,逐渐成为了电子商务领域的研究热点.在介绍目前主流的推荐算法的基础上,结合电子商务实际应用需求,提出了多目标复合评估及优化推荐算法.并基于途牛旅游网数据,与一般推荐算法进行比较,验证了该算法的有效性,从而为多目标复合评估及优化推荐系统的研究提供了新思路与新方...
关键词: r树 协同过滤推荐算法 隐式反馈 用户兴趣行为数据模型
R树是一个高度平衡树,也是目前应用最为广泛的空间索引结构.本文以用户行为的历史数据之间的相似度构造R树,提出一种基于R树的协同过滤推荐算法（R_CF）;另外,从用户的隐式反馈着手,构建用户兴趣行为数据模型,并进行数据标准化处理.仿真实验表明：较之传统的协同过滤推荐算法（CF）,本文提出的R_CF算法可以极大提升推荐top-n个相似度最高的用户...
关键词: 业务投诉 文本分类 特征选择 卡方统计方法
随着文本分类技术的发展与成熟,越来越多的企业将其应用到客户投诉分类系统中,并获得了一定的效果.针对传统卡方统计方法偏向于选择出负相关低频噪音词,将改进的CHI统计方法运用到文本特征选择,通过降低负相关低频词在特征选择算法中的权重,减小其对模型的影响.最后,对某省通信公司的业务投诉文本进行实验,结果表明该模型和方法是有效的,能更准...
关键词: 智能电网 实时电价 电器调度 随机规划 蒙特卡罗模拟
针对现有调度方案中不能解决电器使用的不确定性和可再生能源的问题,提出了一种考虑不确定性的基于实时电价的家用电器任务调度方案,该方案采用线性规划的建模方法,以最小费用支出为优化目标,兼顾了PV光伏系统、家用蓄电池以及向电网出售剩余电力情况下的能量流动,用随机规划方法和蒙特卡罗模拟来解决电器使用过程中的不确定性,保证了用户满意度...
关键词: 自适应仿射传播聚类 并行化 统一计算设备架构 并行工具箱 gpu加速
自适应仿射传播聚类作为一种新兴的聚类算法,不需要指定初始类心以及类数,对解决聚类中类数不确定性问题非常有效.然而,自适应仿射传播聚类存在时间消耗过大的问题,当样本数量较大时运行速度缓慢.为了提高自适应仿射传播聚类的运行速度,基于NVIDIA公司的统一计算设备架构（Compute Unified Device Architecture,CUDA）和Matlab并行工具箱,提出了...
关键词: android应用开发 手机隐私保护 轻量级对称加密算法 软件设计
针对Android智能手机的恶意软件正在迅速增长并危害手机用户的个人隐私和系统安全,为了实现手机短信的隐私保护和秘密通信,设计并开发了一款利用轻量级对称加密算法对短信进行加密发送的手机隐私保护软件.该软件面向Android手机而开发,具有软件开启密码保护、联系人导入、会话密钥设置、短信导入与加解密功能.该软件为智能手机隐私泄露提供了一...
关键词: 个性化推荐 协同过滤 svd 模糊聚类
协同过滤为个性化推荐解决信息过载问题提供了方案,然而也存在着数据的稀疏性、可扩展性等影响推荐质量的关键问题.我们提出了一种基于奇异值分解（SVD）与模糊聚类的协同过滤推荐算法,通过引用物理学上狭义相对论中能量守恒的方法以保留总体特征值的数目,较为准确地确定降维维度,实现对原始数据的降维及其数据填充.另外,再运用模糊聚类的方法将...
关键词: 电子健康记录 病人相似度 监督距离度量学习 多标签分类
伴随着医疗卫生服务的信息化进程推进,病人相似度成为了医疗电子健康数据的二次利用中的重要问题.在已有医疗专家对病人健康数据的评估信息下,可以将病人相似度问题转化为有监督的距离度量学习问题.通常的做法是对病人的医疗健康数据打标签来作为监督信息.在现有的病人相似度计算工作中,对监督信息的利用是很局限的;多是比较两个不同病人的标签...
关键词: 二值图像 连通域 像素扫描 标记
由于需要大量堆栈操作和反复搜索像素邻域,一次扫描算法往往效率不高.基于轮廓跟踪的连通域标记算法先跟踪目标的封闭轮廓,再线扫描轮廓内的像素,以减少像素邻域搜索及堆栈访问的次数,提高算法的效率.本文提出的基于轮廓跟踪的连通域标记算法,屏弃堆栈访问,并采用高效的轮廓跟踪算法,以提高算法的效率.本算法与其它连通域算法相比,具有效率更高...
关键词: 带参系统 模型检测 自动建模 形式验证
提出了一种基于带参系统的Murphi模型来完成对应的SMV自动化建模的方法.因为Murphi工具拥有带参特性,因此使用其对带参系统进行建模比较容易,而且得到的模型代码量比较少,易于阅读、理解和修改;而SMV模型则能实现更丰富的控制,如进行快速不变式检查和限界模型检测等,但是建模过程复杂,模型不易维护.我们通过对两者进行分析,首先提出了能够很好描...
关键词: 六关节机器人 逆运动学 单位四元数 puma机器人
6R串联机器人的逆解求解复杂,使用传统的D-H算法求解该问题计算量大且无法避免奇异点.将PUMA机器人的逆运动学的求解分为位置求解和姿态求解两个过程.首先使用D-H方法进行位置求解得到关节角1 2 3？,？,？,然后使用单位四元数的方法求解出4 5 6？,？,？.最后,在PUMA机器上进行验证,新的方法能够正确求解出所有解析解.对比新方法、D-H方法和倍四...
关键词: 云服务选择 时间序列 主观权重 客观权重
目前已有的云服务时间序列选择算法没有很好地考虑用户的Qo S（quality of service）偏好信息,而传统的用户偏好算法只适用于Qo S指标值为单一数值的情况,在Qo S指标值为时间序列向量的情况下无法进行有效计算.因此,本文提出了一种基于主客观综合权重的云服务时间序列选择算法（Time series of cloud services selection algorithm employing su...
关键词: 无线自组网 节点信任评估 节点行为检测 节点行为特征
从节点行为对网络安全的影响角度看,恶意节点将直接导致路由破坏或者毁坏数据.因此,在节点行为检测和信任度评估时,必须首先重点关注其安全性行为特征,以便降低恶意行为节点的信任值.归纳了网络中九种常见的节点行为类型,分析了各行为状态的行为特征,建立了特征模型,提出了检测特征参数和关联检测模型.仿真结果表明,提出的节点行为检测特征参数...
关键词: 多受灾点 多物资 应急救援 车辆调度 优化遗传算法
在多个地区发生灾害后,迫切需要及时救援和物资的快速运输,从仓库调拨物资到受灾点,交通网络规模较大,运输货物类型多样,并且要满足各个受灾点的资源需求、实时路况、运抵时限要求等多个目标约束条件,车辆调度具有较大难度.为解决多重约束带来的困难,根据遗传算法的生物进化理论和群体遗传学机制,建立了车辆应急运输的多目标优化问题模型,设计合...
关键词: 恰可察失真 显著性检测 视频编码 hevc
为了更好的将人眼感知特性用于视频压缩系统,提出了一种改进的基于显著性协同检测的恰可察觉失真模型（Just Noticeable Distortion,JND）.该模型通过像素域和变换域下联合建模计算得到的最优JND模型,基于上下文感知的显著性算法得到相应的显著图,并将检测结果用于JND模型权值分配.提出的JND残差滤波器可以嵌入到HEVC视频编码框架中.实验结果表...
关键词: 海量数据 知识提取 原型约简 云计算 并行计算 数据聚类
针对从海量数据中分析与提取知识计算时间高的问题,提出一种基于Hadoop的知识提取算法.本文结合Hadoop的并行处理能力与分布式存储特点,设计了一种知识提取框架,可兼容不同的原型约简方法.基于Map Reduce编程方法将约简方法并行化处理,并且设计了分类准确率高、计算速度快的原型约简组合规则.最终基于真实UCI大数据集进行实验,本框架将最近邻分...
关键词: 优敖机器人 串联机器人 人机交互 力反馈设备 实时控制
随着串联机器人技术的发展,通过计算机编程实现的多种人机交互的机器人控制方法成为一个新的研究热点.对触觉输入输出设备、六自由度串联机器人的物理结构、通讯方式及编程接口进行研究,使用Geomagic公司的触觉输入输出设备Geomagic Touch为人机交互信息采集设备,利用设备配套的Open Haptics编程套件,通过UR10机器人及其控制脚本URScript,构建了...
关键词: bp神经网络 发电功率 预测模型 布谷鸟搜索算法
为了提高光伏发电功率的预测精度,提出一种改进BP神经网络的光伏发电功率预测模型.首先采用包括室外温度、光照辐射量、风速等作为输入层节点,交流发电功率作为输出节点,引入RMSE作为衡量最优模型指标,确定了隐含层节点数,然后采用BP神经网络对其进行学习,并采用布谷鸟搜索算法对BP神经网络进行优化,最后采用仿真实验对其有效性进行测试.结果表...
关键词: 大整数运算 comba算法 karatsuba算法 openmp simd
大整数运算广泛地应用于公钥加密算法、大规模科学计算中高精度浮点数运算类以及构建大特征值等领域,然而其大部分算法空间和时间开销都很大,尤其对于核心运算之一的大整数乘法,当数据达到一定规模时,超长的串行计算时间已成为制约算法应用的巨大瓶颈.近几年来,伴随着多核、众核芯片的迅猛发展,通过充分挖掘算法本身的并行度以利用并行处理器的...
关键词: 退避算法 阻塞 ns2
在研究IEEE802.11标准的基础上,查阅了Ad Hoc网络信道接入的相关资料,分析了IEEE 802.11信道接入协议的优缺点,提出了对IEEE 802.11DCF工作模式的改进建议,以提高整个系统的性能.本文所作的主要工作包括以下几个方面：1.对IEEE802.11所采用的BEB退避机制,在分析了其缺点的基础上,参照了相关的改进算法,如MILD、LMILD、EIED等,提出了基于信道状况...
关键词: 彝文网页 词典分词 词库 彝文分词 分词平台
在机器翻译、自动分类、搜索引擎等技术中,彝文分词具有很重要的作用,同时也是彝文信息处理至关重要的环节.本文以当前的彝文分词技术为基础,通过构建彝文词库,并用彝文网页获取平台抓取彝文网页文本,结合彝文特有的优势,从分词词库、分词算法、结构流程、系统界面和模块、实验结果等方面进行了详细的分析,最终实现彝文网页文本分词平台.最后的...
关键词: 管状曲面 管道曲面 正交环面 非正则性 自交区域
参数曲线曲面的参数化直接决定了其代数性质,如正则性,而在计算机辅助几何设计中,自交现象却是一类不能直接应用的非正则性问题.管状曲面作为一类重要的几何造型,主要研究管道曲面和正交环面.在正则管状曲面的研究基础上,迫切着手对两类特殊的非正则管状曲面的自交问题展开研究,主要通过代数方法分析各自在数学上的几何特性,从而在理论上明确自...
关键词: 机载卫星通信系统 嵌入式 构件复用 领域工程
讨论了现有嵌入式机载卫星通信系统构建过程中存在的架构通用性比较差、复用度过低、开发周期长等不足之处;将传统软件工程构件技术与领域工程特点相结合,提出了一种建立在Vx Works操作系统构件架构基础上的构件复用解决方案.通过几型嵌入式机载卫星通信系统的快速构建表明该方案实现了对资源的重用,有效的降低了开发成本,缩短了产品面市时间,提...
若用户需要出版服务，请联系出版商，地址：北京市中关村南四街四号，邮编：100190。