小型微型计算机系统杂志是由中国科学院主管，中国科学院沈阳计算技术研究所主办的一本北大期刊。
小型微型计算机系统杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
杂志介绍
小型微型计算机系统杂志
-
主管单位：中国科学院
-
主办单位：中国科学院沈阳计算技术研究所
-
国际刊号：1000-1220
-
国内刊号：21-1106/TP
-
发行周期：月刊
-
全年订价：￥580.00
杂志介绍
小型微型计算机系统杂志是由中国科学院主管，中国科学院沈阳计算技术研究所主办的一本北大期刊。
小型微型计算机系统杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
主管单位：中国科学院
主办单位：中国科学院沈阳计算技术研究所
国际刊号：1000-1220
国内刊号：21-1106/TP
发行周期：月刊
全年订价：￥580.00
关键词: p2p vod 相对可用性 缓存优化
P2P VoD应用中,用户行为不同步且允许随时离开系统降低了资源相互共享的概率,导致缓存可用性及服务效率降低.该问题严重影响了用户体验的质量及系统的可扩展性.定义并分析了缓存片段的相对可用性;基于对节点生存期分布规律的考察,提出一种评估缓存片段相对可用性的实用方法;设计出一种分布式的缓存优化策略：利用各节点对局部范围内缓存片段相对...
关键词: 无线传感器网络 信任管理 博弈论 可信路由
如何将信任管理运用于无线传感器网络（WSN）的路由选择成为近年来研究的一个热点.考虑无线传感器网络的节点安全度、能量约束以及传输可靠度等三个基本因素,完成节点可信度以及最优可信路径（MTP）的度量,引入博弈机制对节点参与路由进行建模,基于可信度设计了一个payoff函数,通过相应的奖惩机制抑制WSN路由中普遍存在的恶意节点、自私节点以及...
关键词: 有界模型检测 串空间 协议 验证 nusmv
提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,进行验证,有效减轻状态空间爆炸问题;利用不安全协议丛结构的特点,对BMC的下界进行优化.这种方式结合了模型检...
关键词: 网络存储安全 入侵检测 人工免疫系统 阴性选择算法
当入侵者侵入服务器或者终端的操作系统,此时主机的操作系统将不再受信任.网络存储系统应当识别出这种入侵.基于存储的入侵检测系统SIDS（Storage-based intrusion detection systems）能在存储层观察到此类入侵行为.本文提出一种新的基于存储的人工免疫入侵检测方案.该方案克服了以往一些SIDS原型完全依赖规则的缺点,利用了人工免疫的自我免疫...
关键词: wimax系统 压缩 rohc 鲁棒
为合理利用WiMAX系统PMP（Point to Multi-Point）网络的无线资源,提出一种自适应ROHC（Robust Header Compres-sion）压缩算法.算法首先基于状态划分无线信道,然后结合解压缩端反馈的信噪比SNR,利用压缩端当前采用的调制方式计算BER,判断当前信道所处状态,最后根据鲁棒性和压缩率,调整W-LSB编码时的合适窗口大小,实现自适应压缩的目的.仿真结果...
关键词: ad hoc网络 骨干网 拓扑控制 连通性
网络拓扑结构的连通性是保证数据通信的前提,而拓扑的二连通是网络在有节点或链路失效的情况下保持拓扑连通的基本条件.为了构建具有容错能力的Ad hoc网络的骨干网,针对Ad hoc网络拓扑动态变化、节点可能失效的特点,根据图论中相关理论,结合计算几何中三角剖分相关内容,给出了一种构建二连通骨干网的算法.仿真结果表明,在不同的网络环境下,采用...
关键词: 网格 自组织 资源发现 资源索引节点
针对具有动态性和不稳定性资源的网格计算环境的资源发现问题,提出一种基于资源索引节点的自组织资源发现模型,该模型采用了基于组的分层资源组织方式,通过信息节点管理组内资源信息,所有信息节点形成树型覆盖网络,可以在信息节点树型覆盖网络实现分布式资源定位.并提出以资源索引节点索引所有信息节点中资源的关键属性,设计了基于资源索引节点...
关键词: 对等网 博弈论 激励 监察
在对等网络中,存在着大量的Free-Ride节点,会严重影响到系统的性能,如何激励这些节点提供服务是提高对等网性能的重要因素.本文在节点理性假设的基础上,借助博弈论为工具,提出一种采用监察策略的对等网激励机制,并计算出了采用监察博弈的混合策略纳什均衡策略,重点分析了监察成本与参与人收益之间的博弈关系.仿真实验表明,通过采用适当的监察概...
关键词: p2p流媒体 isp交叉流量 ipv6 dht pull chord
P2P流媒体系统中,减少ISP（Internet Service Provider）交叉流量是一个重要的研究方向,本文提出了一种减少ISP交叉流量的P2P流媒体方案,方案综合考虑了Pull机制、DHT（Distributed Hash Table,分布式哈希表）原理和IPv6地址的聚类特性,从网络拓扑构建和包调度机制两个方面,通过增加ISP内数据共享和减少ISP间数据请求的方式,减少P2P流媒体系统中...
关键词: 应用层路由 p2p 服务质量保证 voip ip通信
如何提供高质量的服务质量保证（QoS）一直是IP通信中的一个研究热点.现有方案主要从三个方面来解决QoS问题：底层网络的QoS保证;编解码技术的优化以及应用层路由技术（又称为传输控制优化）.本文重点讨论应用层路由机制.介绍应用层路由的基本概念以及现有的应用层路由技术,并进行对比分析.结合SIP协议和P2P技术,提出一种全新的应用层路由系统框...
关键词: 无线传感器网络 节点id验证 防御dos攻击 策略
无线传感器网络广播认证存在DOS攻击问题,攻击者可以通过伪造大量的广播包,耗费接收节点大量能量进行数字签名验证,从而使目标节点致命.针对这种情况,提出一种无线传感器网络中基于节点ID验证的防御DOS攻击策略,充分利用节点ID验证,先于复杂的数字签名验证,有效地防御DOS攻击,且避免了对同一数据包的重复数字签名验证.从仿真实验结果看出,该策略...
关键词: 搭便车 分布式 对等网络 信誉
无结构P2P网络中普遍存在搭便车（freeriding）现象,从而严重威胁到P2P网络的性能（如公平性、容错性和扩展性）和广泛应用.本文提出一种新的分布式算法,通过对搭便车者（free-rider）的准确定位并采取的应对制约措施,来降低搭便车者对网络的危害.在本文算法中,每一个对等节点仅监控自己的邻居,判断其是否为搭便车者,进而对其采取限制或惩罚措施...
关键词: 自动执行框架 隐式代码规模膨胀 mpi
消息传递接口MPI广泛采用的fork-join编程模式会使程序在扩展时遭遇隐式代码规模膨胀的问题,根据迭代空间理论分析了问题产生的原因,针对MPI程序任务分派的各个阶段提出了相应解决方法,并将扩展性较好的一种实现为MPI自动执行框架.实验证明,这个框架仅会造成轻微的性能减损,却显著地减轻了隐式代码规模膨胀产生的影响.
关键词: ad hoc ns2 dsr 小世界 冲突避免
提出一种DSR的改进协议M-DSR.M-DSR协议首先把路由请求范围限制在一定区域内,然后根据实际情况逐步扩大请求范围,进一步根据节点的性能值来避免局部网络冲突.仿真实验表明,M-DSR协议能够提高路由发现速度、降低网络冗余信息、避免局部网络冲突,在路由负荷较大的情况下的表现尤其突出.
关键词: p2p 路由绕路 物理拓扑 自组织聚类 kademlia
针对结构化P2P网络因忽略逻辑拓扑与物理拓扑差异而导致的路由绕路问题,首先提出一种聚类算法,将物理位置紧邻的节点自组织为若干分布式聚类;然后以聚类为单位设计了关联节点物理拓扑相邻性和逻辑拓扑相邻性的节点标识方法,并且利用该方法改进了传统Kademlia模型;最后对改进模型的性能进行了理论分析和实验测试.结果表明,改进模型通过增强每一跳...
关键词: 无线视频 监控 无线网格 流媒体
现代社会对无线视频监控的需求日益增长,提出一种新型的无线视频监控网格设计方案.与传统监控网络相比,该方案采用网格技术与流媒体技术,在监控资源动态共享、监控问题协同解决、监控画面实时点播等方面有显著优势.本文提出该方案的总体设计与中间件设计,给出一个典型的监控预警应用实例.仿真实验表明,该方案在可疑事件捕获率、存储开销、报警延...
关键词: 多子模式非对称逆布局模式表示模型 灰度插值 图像压缩
针对多子模式非对称逆布局模式表示模型,引入灰度插值的方法,对原有的点、直线、矩形和三角形四种模式重新进行了定义,一个三角形插值块可以通过三个顶点的位置和灰度值按照线性插值的方法生成块内任意一点的灰度值.理论分析和实验结果表明在引入插值方法以后,与MNAM方法相比,算法的复杂度会增加,图像的压缩比可能略有降低,但是图像的重建质量则...
关键词: 自动漫游 视点质量 网格显著度 最优视点集
提出一种新的虚拟场景自动漫游方法.首先,在模糊理论的基础上建立了一个视点质量评价模型;然后,使用模糊综合评判方法求出视点集对应的虚视点,进而以虚视点的视点质量作为目标函数,并采用蚁群优化算法进行求解,得到一个场景观察的最优视点集;最后,对最优视点集中的视点进行排序,并以样条曲线连接,从而构造出一条虚拟场景的自动漫游路径.实验表明...
关键词: 二值图像表示 三角形 矩形 nam 紧凑四元树 面积计算
提出一种基于三角形和矩形NAM表示的快速面积计算算法,给出算法的形式化描述,并分析其复杂度.以图像处理领域里惯用的标准Lena、F16和Peppers等二值图像作为典型测试对象,理论分析和实验结果表明：与经典的基于紧凑四元树表示的面积计算算法相比,基于三角形和矩形NAM表示的面积计算算法具有更少的子模式数（节点数）,从而计算速度更快.
关键词: 典型相关分析 局部保持的典型相关分析 局部结构信息 判别结构信息 流形学习
利用数据集的局部结构信息和判别结构信息,构建相似度矩阵和类信息矩阵,提出监督型局部保持的典型相关分析（Supervised Locality Preserving Canonical Correlation Analysis,SLPCCA）,该方法不但突破了典型相关分析（Canonical Correla-tion Analysis,CCA）处理数据时的线性约束,提高了处理非线性问题的能力,而且克服了局部保持的典型相关分析...
关键词: 三维地形 战场环境 四叉树 地形特征 匹配方法
三维地形可视化是虚拟战场环境中重要的组成部分,在具体应用环境中由于地形特征信息的影响,渲染时逼真度较差,构造多分辨率四叉树结构组织数据;为使四叉树多分辨率地形可视化方法适应于更多的应用环境,引入地形特征重构节点评价函数,保证了应用环境中地形特征信息失真最小;提出一种基于视点的匹配方法来消除裂缝,实现了大数据量网格模型绘制过程...
关键词: 调度算法 合作协同进化 正交设计 多星测控调度 代表个体
针对多星测控资源调度问题,设计了和问题特征结合的合作型协同进化调度算法,给出了算法的编码、操作算子和流程,鉴于调度算法采用传统的代表个体最优选择和随机选择将导致求解效果不稳定,提出一种子种群代表个体选择方法及对应的个体适应度计算方法.综合考虑代表个体的协同性和计算开销,借鉴正交设计的思想,依据贪婪性强弱从每个子种群选择三个...
关键词: ason 网络生存性 保护容量 分布估计算法
针对ASON网络保护容量问题,建立了相应的数学模型,并提出一种基于分布估计的保护容量优化算法.与传统保护容量算法相比,该算法在可行解搜索空间及计算量上大大降低,为算法在工程上的实现提供了可行性.仿真实验结果表明,提出的新算法搜索效率高、求解速度快且能够获得高质量的全局近似最优解,具有较强的实用性.
关键词: 云 真实感 基于物理的 建模 gpu
快速云建模便于真实的三维室外场景规划,提出概率场参数控制的元胞自动机方法近似模拟云生成的物理过程,生成云密度体数据,引入符合粒子运动规律的不规则布朗运动随机模型创建概率场,生成的云具有真实云的外形特征.所有建模过程在可编程图形硬件卡上实现,模拟速度满足交互式系统要求.引入考虑了太阳光和背景光的单次散射光照模型,利用光线投射直...
关键词: 三次bezier曲线 形状参数 c2连续 可调整曲线
给出一组含有3个参数的四次多项式基函数,它是三次Bernstein基函数的扩展;基于该组基定义了带形状参数的多项式曲线,称之为广义三次Bézier（GCB）曲线。GCB曲线不仅具有三次Bézier曲线的特征,而且在控制多边形保持不变的条件下,具有形状可调性和对控制多边形更好的逼近性。讨论了两条GCB曲线C2拼接的条件,并构造了C2形状可调的GCB样条曲线。图形...
关键词: 道路网络 m树 道路网络嵌入 反最近邻
针对欧式空间中基于R树索引结构的反最近邻查询技术不适用于道路网环境,利用任意度量空间中的M树索引结构代替R树索引结构,进行道路网络中的反最近邻查询处理.然而,由于网络距离的计算代价高的问题,使得基于M树索引的反k最近邻查询效率很低.因此,采用道路网络嵌入技术,映射道路网络到高维向量空间,简单的L∞距离准确近似计算网络距离.在此基础上...
关键词: 特征选择 半监督 双重融合 稳定性
针对特征选择算法的鲁棒性和稳定性问题以及现实应用领域中大量的廉价未标签数据的利用问题,提出一种基于双重融合策略的半监督特征选择算法.该方法综合利用弱分类器融合技术和未标签数据包含的数据集的簇的结构信息来扩充标签数据集,然后在得到的标签数据集上采用不同的特征选择算法,对不同的特征结果进行简单的融合操作,得到最终的特征子集.在...
关键词: 半色调 误差扩散 蓝噪声 纹理结构
清晰地呈现图像的细节纹理结构是现代数字半色调技术研究的重要方面.提出一种简单有效、且能保持原图像纹理结构的半色调误差扩散算法.该算法以Ostromoukhov算法为基础,根据图像灰度空间的局部分布特征,通过计算误差扩散像素点的局部视觉纹理反馈信息,对原固定阈值进行调节.实验结果表明,改进后的算法生成的半色调图像再现的纹理结构清晰自然,且...
关键词: 面向对象编程 面向特征编程 软件产品线 模块性 可变性 增量
面向对象编程OOP（Object Oriented Programming）技术在实现软件产品线时存在不足,一个重要原因是OOP对产品线可变性的支持有限.在OOP的基础上,相关研究者提出面向特征编程FOP（Feature Oriented Programming）,研究特征的模块性,以及支持特征模块性的编程模型.本文对FOP的相关技术和模型进行了研究,提出基于FOP进行软件产品线的增量开发,可以...
关键词: 网格 服务 属性 自动合并 访问控制
基于属性的访问控制模型具有授权灵活、控制粒度细的特点,针对服务网格的特点,提出基于属性自动合并的访问控制模型.沿服务有向图的服务组合路径,自动进行属性集合的合并计算,从而实现访问控制约束属性在网格虚拟组织内自动生成.授权不需要人工干预和具有用户的先验知识,可使用户在执行需要跨越多个自治域组合服务所需的约束属性集合一次性指派...
关键词: 软件测试 功能测试 数据流图 测试路径 测试用例
对于交互式软件而言,功能的实现是通过复杂的人机交互完成的,目前的功能测试用例生成方法常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致产生的测试用例随意性较大,测试过程难以有序进行,为此,本文将软件功能的逻辑实现流程和界面信息结合在一起考虑,提出一种基于数据流图的测试用例生成方法,以业务处理中数据的流向...
关键词: 分布式agent 多agent系统 约束优化 agent协商
多Agent系统由于拥有智能性、自主性以及协同性等一系列的特性受到人们广泛的关注.分布式约束优化是协调多个Agent解决分布问题的有效技术,目前是多Agent领域的研究热点.本文将首先介绍分布式约束优化问题的基本概念和框架结构,总结现有的解决该问题的主要算法.并通过效率、性能、隐私等各方面对这些算法进行全面的比较与分析,然后介绍分布式约...
关键词: 程序验证 线程的动态创建和退出 多线程 汇编代码
近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式,使用高阶逻辑描述指令的推理规则和安全策略,为证明带有线程的动态创建...
关键词: 一趟聚类算法 基于图的聚类算法 任意形状簇
结合Chameleon算法可以发现高质量的任意形状、大小和密度的自然簇及一趟聚类算法快速高效的特点,研究可以处理混合属性的高效聚类算法.首先简单改进Chameleon算法,使之可以处理含分类属性的数据;进而提出一种两阶段聚类算法.第一阶段使用一趟聚类算法对数据集进行初始划分,第二阶段利用改进的Chameleon算法归并初始划分而得到最终聚类.在真实数...
关键词: 隐私保护 知识隐藏 序列模式挖掘 数据清洗
基于隐私保护的数据挖掘是近年来数据挖掘领域的研究热点之一.提出一个基于数据清洗的敏感序列模式隐藏算法,它通过计算事务组影响权值,选取对非敏感序列模式影响最小的事务组进行清洗,从而在确保隐藏敏感序列模式的同时,尽量减少对非敏感模式集的影响.对不同稠密度和不同规模数据集的实验结果表明,该算法既实现了对敏感模式的保护又具有较低的...
关键词: qos 区间值模糊数 不确定性 优先级 调度
非凡的服务质量是网格的基本特征,基于QoS的网格任务调度问题已成为国内外研究的热点.由于网格环境的复杂性和用户主观判断的模糊性,传统基于QoS的网格调度算法不能处理具有多个模糊QoS需求的调度问题.用区间值模糊来描述用户的主观QoS需求信息,提出基于D-S理论的区间值模糊多QoS测量方法,对区间值模糊数表达的用户多QoS需求进行融合与处理,再将...
关键词: 纠错输出编码 半监督学习 层次编码 多类分类
纠错输出编码是一种处理多类分类问题的有效方法,但它只能用于有监督的数据,而对大量未标签样本却无法利用.提出一种新颖的基于半监督技术的层次编码算法,对传统的纠错输出编码算法（ECOC）进行改造,拓展了编码的概念.在编码阶段,根据簇特征进行同类组合后再进行层次编码,从而在充分利用了无标签样本的同时,根据数据类分布的特点进行编码以提高...
关键词: 多过程 运动控制器 数控系统 调度策略
在重点研究单过程数控系统运动控制器的基础上,提出一种基于RT-Linux的多过程数控系统运动控制器设计方法.采用基于组件的设计思想给出了多过程运动控制器的设计框架,并采用了轮转调度策略实现了多个过程的调度.通过实验对多过程数控系统运动控制器的性能进行了测试,实验结果表明采用轮转调度策略会出现严重的抖动现象.为了解决这个问题,本文提...
关键词: 可重构计算 可重构处理单元 负载可分应用 负载可分调度
以参数化的硬件线程执行模型对负载可分应用的性能进行了分析与预测.重点讨论包含多个可重构处理单元（RPU）在内计算平台的负载可分调度问题,分析了配置因素对调度结果以及应用处理时间的影响.结果表明,若配置与通信操作不完全重叠,存在最大可用RPU数和最优RPU数,进而可得出优化的调度方案及应用处理时间,指导应用的设计实现.
关键词: 征稿简则 计算机科学理论 微型计算机系统 计算机软件 计算机图形 计算数学 计算技术 体系结构
一、征稿范围：《小型微型计算机系统》杂志刊登文章的内容涵盖计算技术的各个领域（计算数学除外）．包括计算机科学理论、体系结构、计算机软件、数据库、网络与通讯、人工智能、信息安全、多媒体、计算机图形与图像、算法理论研究等各方面的学术论文．
若用户需要出版服务，请联系出版商，地址：沈阳市浑南新区南屏东路16号，邮编：110167。