购物车(0)小型微型计算机系统杂志是由中国科学院主管，中国科学院沈阳计算技术研究所主办的一本北大期刊。
小型微型计算机系统杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
杂志介绍
小型微型计算机系统杂志是由中国科学院主管，中国科学院沈阳计算技术研究所主办的一本北大期刊。
小型微型计算机系统杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
主管单位：中国科学院
主办单位：中国科学院沈阳计算技术研究所
国际刊号：1000-1220
国内刊号：21-1106/TP
发行周期：月刊
全年订价：￥580.00
关键词: 网构软件 层次着色petri网 性能建模 仿真分析
网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含...
关键词: 符号执行 规范语言 形状分析 规范化 抽象化
在一个C程序静态分析工具的实现中,设计了一种描述函数行为的规范语言,包括描述程序状态的基本断言,描述内存的谓词以及描述链表、二叉树等递归数据结构的形状谓词.该工具基于编译框架LLVM和符号执行工具KLEE,以函数为单位分析并构造函数行为规范,该过程中需要使用断言描述程序状态并按需抽象成形状谓词表示的形式.为此本文设计并实现了一系列的...
关键词: 云计算 粒子群 rbf神经网络 资源调度
为了实现云计算资源调度的多目标优化,提高资源利用率和保证云应用的服务质量,通过对云计算系统进行研究,设计并实现了一种基于RBF神经网络和粒子群算法的云计算资源动态调度系统.首先,提出云计算资源的动态调度系统的管理框架,并给出本框架形式;其次,设计并实现了一种综合运用RBF神经网络和改进粒子群算法,并通过预测资源的需求量、考虑应用性...
关键词: 程序可移植性 程序分析 符号执行 编译器
在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试...
关键词: 云计算 processing 资源调度 分布式检索算法
资源调度是云计算中的关键问题之一,它的调度机制与算法直接影响到云计算系统的性能及成本.GPU（graphics processing unit）正越来越多地被应用到通用计算领域,作为高性能云计算系统中的特殊计算资源,对GPU计算资源的调度有其特殊性.综合考虑计算任务在节点间以及节点内部的数据传输延迟,以充分利用系统GPU计算资源、掩藏传输延迟为目标,研究了...
关键词: 复杂网络 社区发现 关联度 社区调整
社区发现是当前复杂系统研究的前沿热点.本文提出了用于描述网络节点间依赖程度的关联度指标,能够有效描述社区节点向社区的聚集,提出了利用关联度进行社区挖掘的两阶段算法CDCDA.该算法首先采用局部扩张方法挖掘初始节点社区,对于初始社区外的独立结构（边缘稀疏结构、边缘聚集结构、中间稀疏结构和中间聚集结构）,分别采用合并、分割合并的方...
关键词: 抽取 未登录词识别 候选词抽取
关键词的抽取广泛应用于自然语言处理过程中.对于中文关键词抽取,分词结果及候选词的选取严重影响后期的抽取结果.针对候选词的选取,提出一种连续单字未登录词识别和多词短语识别的方法来进行候选词选择,可以较好的识别出频率大于1的未登录词,且不依赖于语料库规模和领域.并且,在传统的TF-IDF基础上,结合位置特征和长度特征的情况下,考虑兼类词...
关键词: 概念复合块 从底向上语料标注方法 从底向上和自顶向下语料标注方法
大规模、高质量的中文树库的建立对中文句法分析的发展有着重要的意义,但是对于字数多、结构层次复杂的中文复杂句的标注仍费时费力并且标注质量不高.这严重影响了中文树库的建立速度,阻碍了中文句法分析的发展.因此,该文提出一种融合了从底向上和自顶向下的中文复杂句标注方法,该方法将复杂句切分成结构较简单的块进行分析.实验表明,与传统的从...
关键词: 事件抽取 事件论元角色 核函数 卷积树核
事件论元角色抽取是事件抽取的关键环节,句法分析信息对事件论元角色抽取具有重要作用.传统基于机器学习的方法通常将句法分析信息转化为平面特征,并不能全面利用句法分析信息.为此,提出基于卷积树核的事件论元角色抽取方法.首先,构造基本树结构,将句法分析信息转化为结构特征;其次,针对句法结构树包含较多冗余信息的问题,设计相应裁剪算法,优化...
关键词: 机器人雅可比矩阵 运动旋量 hol4 形式化验证
机器人雅可比矩阵是描述机器人运动性能的重要参数,保证机器人雅可比矩阵的描述、求解及分析的正确性和可靠性非常重要.然而传统的数值计算与计算机代数符号方法不能给出100%精确和完备的分析与验证.基于高阶逻辑定理证明技术固有的高可靠性和证明完备性,以运动旋量和串联机器人正向运动学指数积公式为数学基础,在高阶逻辑定理证明器HOL4中建立...
关键词: 贝叶斯网络 敏感性分析 联合树 一阶偏导
我们经常需要修改网络参数以在局部信任度改变时集成新的概率信息,贝叶斯网络的敏感性分析就是研究网络参数与输出概率之间的关系.首先剪枝掉那些不能到达证据的节点,然后采用联合树算法对剪枝后的贝叶斯网络进行的敏感性分析,该算法在每一簇中缓存中间结果以加速计算P（e）相对于下一变量P（xi｜ui）的一阶偏导;并且能够在各个簇中并行地计算导...
关键词: sae lbp 网页分类 深度学习 神经网络
在网页分类技术中,SVM、BP神经网络和Naive Bayes等传统分类器主要采用了信息增益、互信息和最大熵等模型选取特征.随着深度学习的发展,深层次地选取特征的方法正在被广泛研究.结合稀疏自动编码器（SAE）和LBP神经网络,提出一种基于SAE-LBP的网页分类器.根据网页文本的半结构化特征,改进了文本特征表示的权重计算.针对网页文本的稀疏性,采用SAE...
关键词: 深度神经网络 并行 gpu利用率 传输开销
在语音识别领域,基于深度神经网络（Deep Neural Network,DNN）的声学模型与传统的基于高斯混合模型的声学模型相比具有更出色的识别效果.DNN模型主要使用误差反向传播（Back Propagation,BP）算法进行训练.由于DNN参数规模非常庞大,使用BP算法对其训练是一个异常耗时的过程.目前主要通过高性能的GPU设备对DNN模型的训练训练进行加速.本文探究了...
关键词: 噪声点 重新分配 稳定的类 基于贝叶斯的连接性
K-means只能处理球形或具有较好分离度的数据集,不能够处理任意形状的数据集.同时,因为初始中心点是随机选择的,所以K-means聚类结果是不稳定的.为此提出一个新的聚类算法.具体如下：首先用K-means对数据集进行多次划分,计算点对出现在同一个类的频数,辨识并丢弃噪声点,从而获得精炼的类.然后重新分配那些点个数较少的类及分割距离方差较大的类,...
关键词: 动态时间弯曲距离 下界距离 点对累积近似 滑动窗口分段
下界算法可以简化时间序列相似性查询的计算过程.现有的基于点对累积近似表示法的下界算法,相似度计算的时间代价较小,但当时间序列振幅波动较大时,往往不能紧致地拟合时间序列.针对这一问题,在下界算法中引入滑动窗口分段表示法,提出一种基于滑动窗口分段的动态时间弯曲下界算法,构建拟合度更高的上下边界曲线,对时间序列进行过滤,筛除相似性较...
关键词: 虚拟网络映射 混合整数规划 遗传算法 单纯形法
虚拟网络映射是网络虚拟化研究的关键内容,利用传统遗传算法解决虚拟网络映射问题,由于遗传算法本身的缺点使得问题容易过早进入局部最优解,且收敛速度慢.在基本遗传算法中加入改进的单纯形算法,以最大化In Ps的收益为目标,建立混合整数线性规划（MILP）模型,提出VNE-M-GA的虚拟网络映射算法.该算法利用单纯形法预估寻优方向,遗传算法和单纯形法...
关键词: 学术论文 论文字数 计算数学 微型计算机系统 计算机科学 研究与发展 算法理论 体系结构 信息安全 技术开发
一、征稿范围：《小型微型计算机系统》杂志刊登文章的内容涵盖计算技术的各个领域（计算数学除外）.包括计算机科学理论、体系结构、计算机软件、数据库、网络与通讯、人工智能、信息安全、多媒体、计算机图形与图像、算法理论研究等各方面的学术论文.二、来稿要求：本刊主要刊登下述各类原始文稿：1.学术论文：科研成果的有创新、有见解的完整...
关键词: 无线传感器网络 体域网 云服务 穿戴设备 移动健康监护
智能可穿戴设备成为当前学术界和产业界的研究热点,正在不断的影响和改变着人们的行为习惯和生活方式.基于体域网（BSNs）和云服务（Cloud Service）的健康管理和运动健身,成为了该领域的一个非常重要的应用方向.从实际出发,构建了基于BSNs和Cloud Service的系统平台,包括可穿戴的人体生理信号采集设备、智能移动终端设备应用程序和数据分析平台...
关键词: ims sip 身份认证 安全通信 合法监听
IMS即IP多媒体子系统,是被业界公认的下一代网络的核心技术.开放互联网环境的引入使IMS接入侧面临多种安全威胁.本文通过对IMS网络进行研究,针对IMS接入侧设计了一种安全通信模型.在原有SIP协议框架的基础上,通过扩展头域,引入两阶段Diffie-Hellman密钥交换算法模型等方式,实现了三项主要功能：1）终端和服务器的双向认证;2）终端间会话密钥的自...
关键词: 移动ad hoc网络 多播通信 检查点 网络容错
移动Ad hoc网络是一种多跳、自组织无线网络,多播通信技术的发展进一步拓宽了其应用范围,本文主要研究多播通信环境中的移动Ad hoc网络检查点策略,以提高其可靠性和可用性.首先,讨论了支持多播通信的通信诱发检查点模型,能较好地避免级联回滚和由于检查点操作所带来额外通信开销.然后,提出了一种低能耗检查点间隔调整策略.该策略基于进程状态变...
关键词: 多功能车辆总线 事件仲裁 仲裁二叉树 平衡二叉树
针对消息数据的事件轮询机制设计各种性能优化算法对提高多功能车辆总线消息数据的实时性能具有重要作用.详细分析了消息数据的通信机制,给出了事件轮询的具体流程,通过引入仲裁二叉树模型,对事件轮询的核心算法即事件仲裁算法进行了深入解析.该模型涵盖了事件仲裁的各种情况,清晰的展示了事件仲裁的方向和特点.在此基础上,为减少因大量冲突导致...
关键词: lte系统 家庭基站分组 干扰协调 频率复用
针对引入家庭基站后带来的干扰问题,提出了干扰协调算法.首先由家庭基站获取的邻居列表建立干扰矩阵,然后根据干扰矩阵对家庭基站进行分组,不同组之间可以频率复用.同组家庭基站在分配正交频率资源的基础上,充分考虑家庭基站用户的信道差异和负载差异,进行频率资源的动态分配及有效利用,保障了家庭基站用户的Qo S.算法分析了在不同干扰门限下家...
关键词: 稀疏矩阵向量乘 数据布局重组 intel xeon phi 分块压缩存储
稀疏矩阵向量乘（Sp MV）是线性求解系统等科学计算中重要的计算核心.鉴于传统的稀疏矩阵向量乘算法在Intel Xeon Phi众核集成架构上存在SIM D利用率低,不规则访存开销高及负载不均衡的问题,难以发挥其运算能力.本文针对Intel Xeon Phi的体系结构特点,提出了一种通用的分块压缩存储表示的稀疏矩阵向量乘并行算法：（1）在ELLPACK存储格式基础上...
关键词: 异构系统 open acc mic 自动翻译 优化
随着异构系统在高性能计算领域的流行,各种为异构平台设计的编程模型被提出,比如CUDA、Open CL等,而这些原生的编程模型存在着编程复杂、优化困难和可移植性差等问题.Open ACC标准通过添加编译制导语句指示编译器将相关的代码段或循环卸载到加速器上执行,可以解决这些问题.本文设计并实现了Open ACC到MIC平台上并行程序的自动翻译工具,从而实现...
关键词: 分布式控制系统 容错调度 调度序列 粒子群优化
随着分布式控制系统复杂性的增加,系统出现故障的可能性增大,然而系统中的任务在任何情况下都必须在其时限前完成,因此需要为分布式控制系统提供容错能力.本文针对回路任务之间具有优先约束的分布式控制系统,先给出了系统模型、任务模型和容错模型.然后基于版本复制技术设计了可同时容忍软件故障和硬件故障容错的容错调度算法.算法通过设计一个...
关键词: 轨迹预测 分布式并行处理 调度策略 实时性
多目标实时轨迹预测是空中目标预警的核心任务之一.随着雷达（组网）监测范围的扩大,数据量激增,现有的串行处理方式已不能满足实时性要求.本文针对多目标实时轨迹预测中对同一批目标定轨及轨迹修正需进行数据回溯的特点,采用目标任务与计算节点绑定的方法,设计出一套完整的分布式异构并行方案,解决了通常的分布式雷达数据处理系统在处理该任务...
关键词: 海洋绘制 实时 近岛屿 海水色彩 反射与折射 gpu
海洋场景仿真一直是计算机虚拟现实研究中一大热点.为更为逼真地表现近岛海洋海水的色彩细节,首先,针对当前大多数海洋模型计算复杂的问题,采用水面网格模型加法线贴图构建大规模海洋表面,由于计算全部由GPU完成,实时性得到大大提高;然后,借助于U3D地形组件,构建了多种岛屿高程地形,通过修正海面的菲涅耳系数,成功地解决了海面与岛屿的边界问题,...
关键词: 图像语义标注 马尔科夫随机场 概率潜语义分析 图像检索
针对现有标注算法精度不高的问题,提出一种基于上下文相关模型的图像语义标注方法.首先,根据语义概念在训练数据集中的共现频率,对每个概念构造马尔科夫随机场图结构;其次,从已标注图像的文本信息出发构建一个非对等模态的概率潜语义分析（PLSA）模型,计算图像和语义概念的联合概率,并将其作为马尔科夫随机场（MRF）中点的观察值.与此同时,基于P...
关键词: 特技飞行表演 飞机拉烟 漩涡限制 gpu 并行计算
为编排更多特技飞行表演中飞机拉烟新奇效果,烟雾多路径运动控制核心算法是关键.首先,为实现千变万化的拉烟效果,引入速度增长因子控制烟源速度,使得烟雾可沿任意轨迹运动;其次,在拉烟扩散过程中,受到复杂气流的作用会产生漩涡现象,为避免小尺度漩涡细节丢失,将漩涡限制作为N-S（Navier-Stokes）方程的外力项,借助可变空间螺旋性强度取代作用在...
关键词: 生物特征识别 手背静脉图像 质量评价 多参数融合 权值
生物特征识别系统的性能与图像质量密切相关,识别过程中大部分的错误匹配是由低质量图像导致的.根据生物特征图像质量评价参数,并结合手背静脉图像结构特点,选取了有效区域尺寸、对比度、清晰度、位置偏移和旋转角度作为手背静脉图像质量评价的参数.基于各参数改变对识别率影响曲线,提出了根据其平均斜率确定参数最优权值的方法,并利用加权的方...
关键词: 遥感图像检索 遗传算法 支持向量机 相关反馈
目前在基于内容的遥感图像检索中,存在图像内容描述不精确,图像查询精度低以及图像查询结果排序错误的问题.就此问题,提出了一种基于遗传算法优化和支持向量机（SVM）的遥感图像检索方法.该方法首先利用遗传算法优化遥感图像特征组合参数,得到对图像内容描述精确度较高的遥感图像检索模型,然后结合优化后的图像相似度计算模型对传统的SVM相关反...
若用户需要出版服务，请联系出版商，地址：沈阳市浑南新区南屏东路16号，邮编：110167。