小型微型计算机系统杂志是由中国科学院主管，中国科学院沈阳计算技术研究所主办的一本北大期刊。
小型微型计算机系统杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
杂志介绍
小型微型计算机系统杂志
-
主管单位：中国科学院
-
主办单位：中国科学院沈阳计算技术研究所
-
国际刊号：1000-1220
-
国内刊号：21-1106/TP
-
发行周期：月刊
-
全年订价：￥580.00
杂志介绍
小型微型计算机系统杂志是由中国科学院主管，中国科学院沈阳计算技术研究所主办的一本北大期刊。
小型微型计算机系统杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
主管单位：中国科学院
主办单位：中国科学院沈阳计算技术研究所
国际刊号：1000-1220
国内刊号：21-1106/TP
发行周期：月刊
全年订价：￥580.00
关键词: web服务 soap rest 性能分析
SOA技术的发展使得大量的Web服务已经在互联网上并得到广泛应用.根据其所遵循的协议或架构风格,Web服务可以划分为不同的类型,其中,SOAP（Simple Object Access Protocol）服务与REST（Representational State Transfer服务是目前最主流的两种类型.然而,对这两类Web服务在互联网上的应用状况,当前还缺乏详细的对比分析工作.本文以Programmable W...
关键词: 能耗社区 信息过载 实时推荐 局部敏感哈希技术
能耗社区是以用户为中心、绿色节能为主题的在线社区,它具有用户类别多,不同类别用户行为差别较大以及用户在线行为目的性强等特点.随着社区用户规模扩大,用户产生内容和社区资源不断增多,从而导致社区信息量过载.针对能耗社区的特点和其面临的问题,提出一个基于局部敏感哈希技术的能耗社区实时推荐系统.该推荐系统主要包括两个功能模块：1）离...
关键词: 可组合服务 服务推荐 服务组合历史 语义关联度
互联网上每天有大量的Web服务和Mashup被创建.因此,如何向用户推荐可能进行组合的服务（可组合服务）是一个具有挑战性的问题.现有的一些服务推荐方法存在二八定律,即根据服务组合的历史信息来进行服务推荐的方法会导致流行的服务不断的被推荐,所推荐的服务集中在20%的范围左右.提出一种服务推荐方法,基于已有的服务组合（Mashup）信息和服务之...
关键词: 服务质量 不确定性 云模型 服务过滤
Qo S由于网络环境及物理位置等因素的变化,会产生内在的不确定性,而云模型是定义数据不确定性的有效工具,但传统云模型在描述不确定性Qo S的过程中不能处理Qo S分布的高峰特点与不对称问题,因此提出一种用p阶组合云来为不确定性Qo S建模的方法,p阶云被证明了有高峰的特点,且峰度随着p的增大而增加,可以满足Qo S分布的要求,组合云可以解决数据分...
关键词: 移动服务 服务选择 服务质量 可用性 线性规划
服务在移动环境下具有传统服务的一些特性如服务质量,但是相较传统互联网服务会拥有自身的一些特点.本文主要关注的内容是在移动环境下服务的可用性问题.由于移动环境下服务以无线传输的方式提供,使得服务会具有一定的物理服务范围,也使服务的可用性与用户的位置及其移动相关联.当用户的移动超出了服务的范围,服务相对用户便不可用了,从而导致服...
关键词: 征稿简则 计算机科学理论 微型计算机系统 学术论文 计算机软件 计算机图形 研究与发展 计算数学
一、征稿范围：《小型微型计算机系统》杂志刊登文章的内容涵盖计算技术的各个领域（计算数学除外）.包括计算机科学理论、体系结构、计算机软件、数据库、网络与通讯、人工智能、信息安全、多媒体、计算机图形与图像、算法理论研究等各方面的学术论文.二、来稿要求：本刊主要刊登下述各类原始文稿：1.学术论文：科研成果的有创新、有见解的完整...
关键词: 云计算 安全策略 语义匹配 云安全本体 描述逻辑
云计算环境中,一致的安全策略是用户和服务能够成功交互的基础.如何有效地实现安全策略的匹配已经成为保证云计算环境安全的重要关注点之一.因此,提出一种云计算环境中支持语义的服务安全策略匹配方法,将策略匹配的问题转换成语义概念的包含推理问题.该方法首先构建了表示云计算环境下安全知识的云安全本体;其次,利用描述逻辑推理本体元素相互间...
关键词: 主题模型 服务组合 推荐
服务组合是对现有Web服务进行组合复用,以创造新的服务的技术.其中,Mashup是最为常用的一种实现形式,并且已有一些网站提供对它的支持.随着互联网上Web服务数量日益庞大,如何选择合适的服务用来组合逐渐成为了一个严重的问题.事实上,在服务组合创建过程中,我们可以通过历史服务组合等信息对下一步的选择进行推荐.现在已经有一些面向服务组合创建...
关键词: 性能计算 学术年会 专业委员会 信息咨询 江南大学 计算机 学会 中国
由中国计算机学会主办,北京中科超算信息咨询有限公司、国家超级计算无锡中心（筹）协办,中国计算机学会高性能计算专业委员会、江南大学共同承办的＂2015年全国高性能计算学术年会＂（HPC China2015,会议网址：http：//hpcchina2015.csp.escience.
关键词: 模型检验 路由协议验证 形式化方法 spin cbmc
模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据库同步的OSPF模型,设置攻击者路由器伪造消息,找到攻击成功的反例;实验二建立关注节点加入、失效和相应处理的Chord模型,寻找协议缺陷.两个模型都用显式模型检验工具SPIN和有界模型检验工具CBMC实现验证,实验结果表明...
关键词: web服务 服务选择 qos 区间 不确定性
随着Web服务的广泛应用,大量功能相似但Qo S（Quality of Service）不同的Web服务部署在Internet上.如何选择满足用户功能和Qo S需求的服务成为了服务计算领域亟待解决的问题.由于受到网络状态、负荷等因素的影响,Web服务的Qo S常常是动态变化的.已有基于Qo S的Web服务选择方法大多假设服务的Qo S是确定的,没有充分考虑到Qo S的动态变化特性,因...
关键词: xml 匹配技术 实体抽取 基于实体的最近语义片段 ecsf
目前飞机企业等单位的大量数据采用XML格式存储,且与其它业务文本数据之间缺乏联系.在异构数据集成领域,文本数据与XML文档的模式匹配还较少有人关注.提出文本数据与XML文档的匹配方法,该匹配方法采用两阶段的算法,首先使用基于条件随机场的实体抽取算法从文本文档中提取实体信息,然后通过基于实体的最近语义片段（ECSF）检索算法在XML树中查询...
关键词: 不确定图 数据挖掘 期望密度 紧密子图
研究不确定图数据的挖掘,主要解决不确定图数据上紧密子图挖掘问题.基于加权不确定图数据模型,使用子图期望密度和顶点期望度数来度量子图的紧密程度.给出贪心迭代中期望峰值的特性,利用期望峰值的特性来改进算法执行过程,其结果满足2近似比的同时使得算法具有较高的执行效率.并且严格证明了算法的正确性.带顶点限制的紧密子图挖掘问题是NP难的,...
关键词: 面向服务软件 异常处理 模型检测 可终止性验证
针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL（Computation Tree Logic）刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验...
关键词: agens mashup服务 服务聚类 服务发现
如何从海量的Mashup服务集中快速、准确的找到满足用户需求的Mashup服务,成为一个具有挑战性的问题.在M ashup服务发现中,预先对Mashup服务进行聚类,将大大缩小服务搜索的空间与范围,提高Mashup服务发现的效率与精度.本文提出一种新颖的融合K-Means与Agnes的Mashup服务聚类方法（MSCA）.该方法,首先对Mashup服务中的Tag标签进行扩充和排序;其次,...
关键词: 行为 内容 虚假评论 科技产品 非监督聚类
为了尽量减少科技产品领域虚假评论造成的影响以及提高虚假评论识别的准确率,基于该领域中文虚假评论制造及内容特点,提出了一种基于行为和内容的虚假评论识别方法.基于评论者发表评论数量、频率、长度建立了网络水军特征程度模型;提出了长度程度、专业程度、情感密度、格式规范程度、情感失衡程度等内容特征计算方法;最后,提出了以内容特征为向...
关键词: 随机场景 三段式概率消息 随机状态对象化 plsc需求描述语言
高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息...
关键词: uml序列图 有向序列图 软件测试 测试用例自动生成
传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图（Directed sequence graph,DSG）模型的测试用例自动生成方法,以实现高质量、高覆盖率测试用例的自动生成.该方法以UML序列图模型为基础,定义了与其等效的形式化DSG模型,并提出一种...
关键词: web服务 竞争力 skyline 服务质量 服务提升
为解决Web服务中非Skyline服务无法被理性用户选择的问题,在分析了基于Skyline技术的服务选择的基础上,设计一种基于距离的服务竞争力提升算法.通过对非Skyline服务的服务质量进行提升,使其成为Skyline服务后能够被理性用户选择.该算法首先计算出由全部Skyline服务组成的多个不同的服务区域.然后计算从非Skyline服务所在位置至不同服务区域的距...
关键词: web服务 服务质量动态预测 支持向量机 事例推理
在开放的网络环境下,Web服务的Qo S具有很强的动态性,而如何准确地预测未来一段时间之后Web服务的Qo S,关系到服务选择与组合的成败,是服务计算领域亟待解决的关键问题.针对此问题,在考虑Web服务负载、任务特征与服务Qo S相互关联的情况下,给出一种基于支持向量机与事例推理的Web服务Qo S动态预测方法.本文首先采用支持向量机对Web服务在一段时...
关键词: mesh网络 网关部署 几何k中心 粒子群算法 全连通子图
无线Mesh网络中,网关部署直接影响到网络的服务质量,合理的网关部署对网络性能提升具有非常重要的作用.为解决几何K中心网关部署问题,本文以节点和网关之间的路径长度最小为优化目标,提出基于极大全连通子图的中心粒子群优化（Center PSO,CPSO）算法.该算法归结为在给定的网络拓扑中寻找全连通子图,并筛选出功能最完备的极大全连通子图,求得初始...
关键词: ict 融合通信 体系结构 软总线 消息队列
随着信息通信技术的兴起,融合通信服务器得到广泛的关注和应用.本文通过对当前融合通信服务器体系结构的研究和分析,指出了其不足之处.并针对传统通信系统体系结构的不足,提出了一种新的基于软总线的融合通信服务器体系结构,保证了通信系统的易扩展性和易维护性等.其中软总线采用消息队列的实现方式,并根据融合通信服务器的特点,本文设计实现了...
关键词: ims 会话边界控制器 网络安全 voip
随着3G、4G的发展,IMS平台已经成为国内外主流运营提供多媒体通信的核心网,用户接入侧也向IMS接入和移动互联网转变,使得原本封闭的用户通信系统面向互联网和移动互联网开放,带来通信便利性的同时也带来了通信安全性的问题.本文提出了一种针对IMS用户接入侧的IP通信应用层防火墙即会话边界控制器设计实现方法,提出了采用信令和媒体分离的系统结...
关键词: 无线纳米传感器网络 接入控制 冲突避免 低复杂度
无线纳米传感器网络是一种新兴的传感器网络,有着非常重要的潜在应用.针对纳米传感器极低处理能力的特点,提出两种低复杂度媒质接入控制方法：无需时钟同步的变周期低冲突接入控制方法和时钟同步下的等周期无冲突接入控制方法.这两种方法通过接入节点与中继节点之间的简单控制包交互来实现较低的冲突概率甚至无冲突.
关键词: 视频监控 运动目标检测 背景建模 视觉背景提取 鬼影
针对视觉背景提取模型在运动目标检测中消除鬼影时间长,采用固定阈值分割前景和背景像素对场景适应性不强,容易出现目标空洞等问题,提出一种改进的视觉背景提取算法.通过三帧差分技术去除运动目标区域,获取真实背景像素初始化背景模型,以消除鬼影.根据背景模型像素的方差及邻域像素的方差,自适应获取每个像素点的分割阈值.实验结果表明,该方法能...
关键词: 纹理传输 纹理合成 图像边缘 亮度重映射
纹理合成与纹理传输是目前计算机图形图像领域比较热门的研究方向.目前针对纹理传输的研究大部分都集中在纹理块与目标图像对应像素颜色信息的匹配度的改进上,目标图像整体的结构信息鲜有提及.以Efros等人提出的image quilting纹理合成算法为基础,提出一种新的纹理传输改进算法,新算法主要对纹理传输过程中的误差匹配公式作了改进,引入了与目标...
关键词: sift 特征匹配 几何信息 置信传播算法
现在常用的SIFT（Scale Invariant Feature Transform）特征匹配算法忽视了特征点之间的几何信息,而BP-SIFT算法（Belief Propagation,置信传播）虽然采用几何信息进行特征匹配,但是特征点之间并不总是满足距离相等的约束条件,根据空间距离来选择临近节点只能代表图像部分区域的几何信息,而且算法的时间开销太大.提出以特征点空间距离和所有邻近...
关键词: 长查询 图像重排序 语义相关性 视觉特征
长查询已经成为现今图像搜索领域越来越重要的一部分,但是相比于短查询,搜索引擎在处理长查询的图像检索时由于正样本的稀缺,性能不佳.提出一种结合语义与视觉信息的长查询图像重排序方法,该方法同时考虑了图像的标注信息以及视觉特征信息.具体来讲,基于多媒体语料库以及Word Net和维基百科知识资源,进行语义相关性估计,与图像视觉特征分析得到...
关键词: 扩展潜在狄雷克雷分布模型 潜在狄雷克雷分布模型 主题 场景分类
在扩展LDA（Latent Dirichlet Allocation）的基础上提出一种新的生成模型（Double Inference Latent Dirichlet Allocation,DI-LDA）用于实现自然图像场景分类.该方法不同于经典的LDA中的变分贝叶斯推导方法,而是通过二次推导来分别学习各场景类中固有主题分布及其变化下内容下的变化主题分布的先验参数,使各场景类主题分布在基于全部场景主题...
关键词: 频繁模式挖掘 差分隐私 指数机制 事务截断
现有基于ε-差分隐私模型的频繁模式挖掘算法存在全局敏感度过高与挖掘结果可用性较低的不足.设计一个基于事务截断的差分隐私频繁模式挖掘算法.算法首先采用基于指数机制的事务截断思想,对长事务进行截断处理,以有效降低算法的全局敏感度,并在此基础上提出基于事务截断的差分隐私频繁模式挖掘算法,而后提出可用于扩充Apriori算法候选集的最小噪...
关键词: 软件保护 代码混淆 代码并行化 虚拟机多样化
考虑到并行和多虚拟机保护的程序逆向分析难度大大高于串行和单虚拟保护的程序,针对嵌套虚拟机为实现高强度保护而引入的高开销问题,提出一种基于代码并行化和虚拟机多样化的软件保护方法,基于程序依赖图运用切片技术对代码进行并行划分,设计多种虚拟指令集及其对应的编译器和解释器,将划分后的代码编译成多样化字节码序列,并和虚拟指令解释器共...
关键词: 细胞自动机 可逆 arnold变换 fibonacci变换 扩散性
针对传统细胞自动机密钥空间小,加密效率低,扩散性差,需要多伦迭代才能产生雪崩效应的问题,提出一种基于二维变邻居混合可逆细胞自动机并引入Arnold变换和Fibonacci变换的加密算法.在加密前先确定本算法产生雪崩效应的临界值,在每一轮的迭代中先用细胞自动机对明文序列进行演化;然后对其进行Arnold变换或Fibonacci变换;再进行循环移位变换;直到...
关键词: knn 回归 局部保持投影 稀疏编码
针对k NN回归算法中k值固定且未考虑样本相关性的影响,提出一种基于LPP和Lasso的最近邻算法.该算法通过局部保持投影与稀疏编码相结合,使训练样本对每一个测试样本都进行重构,重构过程中,LPP用于保持原始数据的局部结构,l1-范式确保每个测试样本被k个不同数目的最近邻样本预测,以此解决k NN算法中k值固定问题.在UCI数据集上得到的实验结果表明,...
关键词: 人工萤火虫优化算法 云模型 混沌算法 函数优化
针对基本萤火虫优化（GSO）算法存在的求解精度不高、收敛速度慢、易陷入局部极小等缺陷,引入混沌算法和云模型算法对GSO的进化机制进行优化,提出一种基于混沌云模型的萤火虫优化（CCMGSO）算法.该算法在进化过程中应用云模型算法对优秀萤火虫进行局部发掘求精,增加求解精度;应用混沌算法对普通萤火虫进行全局探索寻优,避免陷入局部最优.通过基...
关键词: 蝙蝠算法 多样性 互扰现象 单维学习
蝙蝠算法是一种模拟蝙蝠回声定位行为的启发式算法,对多维优化函数,个体在全局最佳解的引导下修改所有的维,可能导致种群多样性降低过快且各维相互干扰,从而影响算法的收敛速度和求解质量.针对此不足,提出一种改进的蝙蝠算法,在每次迭代过程中,个体在随机选择的一维上有概率地向其它随机个体学习,结合阈值接收策略接收候选解,提出的方法既保持种...
关键词: nand闪存存储系统 磨损均衡 物理块 逻辑页
在NAND闪存存储系统的垃圾回收过程中,重新定义物理块的年龄和数据热度的计算方法,混合使用热块挑选策略和冷块挑选策略回收热数据块和冷数据块,并将回收块中的有效数据按照逻辑页的热度分为＂热＂数据和＂冷＂数据,分别写入到擦除次数最小的块和擦除次数最大的物理块中,减少在回收块的过程中多次对＂冷＂数据重复无意义拷贝.仿真实验结果表明,...
关键词: 多机器人系统 一致性追踪 信息交互图
多机器人系统的一致性是研究多机器人合作控制领域的一个基础问题,在一致性的基础上,提出多机器人系统的可控问题.首先本文在给定的时变参考状态下,为实现系统中的机器人与参考状态保持一致,针对全局连通情形提出了一种方法.但这种方法并不能解决一般的一致性问题,为解决一般的一致性问题,在考虑系统状态微分的前提下提出了一新方法,可以很好的...
若用户需要出版服务，请联系出版商，地址：沈阳市浑南新区南屏东路16号，邮编：110167。