--> -->

  • <tr id='D2lk9B'><strong id='D2lk9B'></strong><small id='D2lk9B'></small><button id='D2lk9B'></button><li id='D2lk9B'><noscript id='D2lk9B'><big id='D2lk9B'></big><dt id='D2lk9B'></dt></noscript></li></tr><ol id='D2lk9B'><option id='D2lk9B'><table id='D2lk9B'><blockquote id='D2lk9B'><tbody id='D2lk9B'></tbody></blockquote></table></option></ol><u id='D2lk9B'></u><kbd id='D2lk9B'><kbd id='D2lk9B'></kbd></kbd>

    <code id='D2lk9B'><strong id='D2lk9B'></strong></code>

    <fieldset id='D2lk9B'></fieldset>
          <span id='D2lk9B'></span>

              <ins id='D2lk9B'></ins>
              <acronym id='D2lk9B'><em id='D2lk9B'></em><td id='D2lk9B'><div id='D2lk9B'></div></td></acronym><address id='D2lk9B'><big id='D2lk9B'><big id='D2lk9B'></big><legend id='D2lk9B'></legend></big></address>

              <i id='D2lk9B'><div id='D2lk9B'><ins id='D2lk9B'></ins></div></i>
              <i id='D2lk9B'></i>
            1. <dl id='D2lk9B'></dl>
              1. <blockquote id='D2lk9B'><q id='D2lk9B'><noscript id='D2lk9B'></noscript><dt id='D2lk9B'></dt></q></blockquote><noframes id='D2lk9B'><i id='D2lk9B'></i>
                • 北大核心期刊(《中文核心期刊要目『总览》2017版)
                • 中国科技核心期刊(中国科技论文统计源期刊)
                • JST 日本科学技术振兴机构数据库(日)收录期刊

                留言板

                尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您≡答复。谢谢您的支持!

                姓名
                邮箱
                手机号码
                标题
                留言内容
                验证码

                2012年  第29卷  第7期

                显示方式:
                应用基于抽象机的动态翻译设计Java处理器
                王海晨, 赵祥模
                2012, 29(7): 1-3,7.
                摘要:
                本文提出了一种基于硬件抽象机的动态翻译技术,它可用于实现Java处理器.该技术采用□ 了硬件抽象机的“模糊执行”(HAM)方法,通过分析Java程序之间的相关性,动态地将Java字节码转换成基于标签的类RISC指令.然后,将堆栈折叠与动态翻译相结合进一步优化指令.应用该技术设计了一个Java指令级并行处理器,并且⊙扩展它,支持Java多线程功能.
                一种具有掉电数据保持功能的触发器设计
                张怡云, 陈后鹏, 王倩, 许伟义, 金荣, 宋志棠
                2012, 29(7): 4-7.
                摘要:
                提出了一种用相变器件作为可擦写存储单元的具有掉电数据保持功能的触发器电路.该触发器由四部分组成:具有恢复掉电时数据的双置位端触发器DFF、上电掉电监测置位电路(Power On/Off Reset)、相变存储单元的读写电路(Read Write)和Reset/Set信号产生电路,使之在掉电时能够保存数据,并在上电时完成数据恢复.基于0.13μm SMIC标准CMOS工艺,采用Candence软@件对触发器进行仿真,掉电速度达到0.15μs/V的情况下,上电时可以在30ns内恢复掉电时的数据状态.
                一种表达式粒度可重构阵列的VLSI架构及应用
                王浩, 何卫锋
                2012, 29(7): 8-12.
                摘要:
                提出一种表达式粒度可重构阵列的VLSI架构,主要面向具有高¤计算密集度和高数据并行度的应用,如视频编解码.每个处理单元内部包含4个异构数据通路单元,能够映射一个运算表达式,处理单元之间采用三层互联结构.阵列内部包括128位带宽的数据存储模块,具有数据乱序分发和拼接能力,核心计算循环能够映射到可重构阵列上执行.对包含16个处理单元的架构原型进行建模,采用TSMC 90nm工艺综合,工作频率达100MHz,芯片面积@ 为1.38mm2.对2D-DCT算法进行性能比较,结果显示该架构具有更好的计算资源利用率和面积效率.
                基于多分类投影极速学习机的快速人脸卐识别方法
                许学斌, 管晓宏, 邓万宇, 张新曼, 王栋, 刘扬
                2012, 29(7): 13-17.
                摘要:
                提出了一种基于多分类投影极速学习机的快速人脸识别方法.首先采用2DGabor小波提取所有人脸样本图像的人脸特征,然后将学习样本的人脸特征用于训练多分类投影向量机,最后将训练好的多分类投影极速学习机用于分类.采用CMU-PIE和ORL人脸数据库进行了对比实验,大量实验结果证实所提方々法的识别正确率和速度均优于极速学习机和支持向量机方法.
                低压低功耗阶跃增益对数域电流模滤波器的状态空间设计方法
                王晓宇, 杨海钢, 尹韬, 刘飞, 李凡阳
                2012, 29(7): 18-22.
                摘要:
                本文提出了一种基于状态空间方程理论的阶跃增益对数域CMOS电流模滤波器设计新方法,并构建了构成阶跃增益对数域高阶滤波器的基本状态方程及其对应的基本电路单元.可简化电路设计,易于实现电路优化;MOS管工作◥在亚域值区,低电压低功耗;电路中间变量可观测,可实现阶跃增益及可调带宽◤.采用该方法,实现了一款基于0.35μm工艺的二阶CMOS对数域电路,工作电压1.4V,功耗15μW,电路面积150×160μm2.
                一种基于决策★信息系统的求核属性算法
                胡秦斌
                2012, 29(7): 23-25,31.
                摘要:
                为了有效降低求核算法的时空复杂度,提出了一种高效压缩差别矩阵的构造方法.在此基础上,设计了一种决策信息系统的求核属性算法,有效地提高了算法的计算效率.算例分析验证了算法是有效可行的.
                信息系统的规则提取研究
                何群
                2012, 29(7): 26-31.
                摘要:
                指出求信息系统的最简规则是一个二维极简化的问题,将〇行分辩且列组合具有最大强度的属性值定义为粒极值,以其逻辑关联的程度逐级进行粒运算,得最简粒(规则)解集.从理论上统一了求解信息系统的算◣法并用各类实例以证明.
                基于调用链分析的访存优化技术
                时磊, 王红梅
                2012, 29(7): 32-34,41.
                摘要:
                本文提出一个基于调用链分析的访存优化编译技术.该技术通过建立一个扩展的调用关系图,分析程序从而估算出最小的寄存器保存集合,达到提高寄存器的利用率,并减少冗余访存操作的目的.本文将该算法在IM-PACT[1]编译框架中实№现,并对DSPstone测试集进行实验.实验数据表明,该算法能够平均减少40.36%的访存操作,并获得平均2.99%的性能提升.
                基于冗余寄存器分类的时序网络面积优化算法
                郝亚男, 杨海钢
                2012, 29(7): 35-41.
                摘要:
                本文根据时序网络中存在冗余的特点,提出将冗余寄存器分为三类:在所有可达状态空间输出端逻辑值恒为常数的寄存器、输入端相同的寄存器和对原始输出端逻辑值无影响】的寄存器;并提出了一种基于AIGs (And-In-verter Graphs)的移除冗余寄存器的面积优化算法.将三值模拟、寄存器共享和COI (Cone of Influence)化简三种方法结合实现冗余寄存器的消除,达到减少寄存器数▲和节点数,优化时序网络面积的目的.实验结果表↙明,本算法可以使寄存器△规模平均下降23%,节点数平均减少26%.
                一种基于人工蜂群的高维非线性优化算法
                拓守恒
                2012, 29(7): 42-46.
                摘要:
                针对传统优化算法在求解高维非线性优化问题时,存在收敛速率慢和求解精度不高等问题.提出一种改进的人工蜂群优化算法.正交试验设计算法被用于初始化蜂群和侦察蜂探索新蜜源.采蜜蜂利用高斯分布估计优化算法在蜜源附近搜索,跟随蜂采用自适应♀差分算法进行搜索.最后,通过4个标准的高维Benchmark函数测试表明,本文算法在收敛速度、求解精度和稳定性方面有一定优势.
                基于PPBP流量检测模型的带ξ 宽规划研究
                王苏南, 赵昕, 张校辉, 罗兴国
                2012, 29(7): 47-50,54.
                摘要:
                宽带接入情况下的链路带宽资源规划是网络部署实施过程中所面临∑ 的首要问题.为有效解●决带宽规划问题,本文基于流量检测技术提出了具有一般意义的链路带宽规划方法,该方法采用了泊松帕雷托突发过程模型,能够通过有限时间尺度集解决带宽规划问题.通过统计√本地缓存信息的方式,实现了链路带宽规划方法并验证了其有效性.从满足QoS的角度出发,给出了一种便于工程实施的最优网络部署方法.
                基于0.18μm SiGe BiCMOS工艺的高『速比较器分析与设计
                陈天佐, 吴玉平, 陈岚
                2012, 29(7): 51-54.
                摘要:
                基于预放大正反馈锁存比较理论,给出了一种8bit 8Gs/s高速比较器的设计.该比较器采用预放大器结构以提高分辨率、加快比较过程,采用主从锁存器降低亚稳态发生概率,采用输出缓冲器改善输出波形、提供测试接口;在HHNEC 0.18μm SiGe BiCMOS工艺下,采用Cadence Spectre进行仿真,结果显示,该比较器精度为4mV,输出摆幅±300mV,锁存时间37ps,过驱动恢复时间22ps,功耗约57mW,表现出良好的性能.
                基于方向小波变换的边缘检测算法
                韩慧妍, 韩燮
                2012, 29(7): 55-57,63.
                摘要:
                提出了一种基于方向小波变换的边缘检测算法.本文详细介绍了方向小波变换的原理、基于此的图像边缘检测算法,比较了方向小波变换和传统小波变换、Canny算子在图像边缘检测的效果.实验结果表明,方向小波变换更符合图像的方向、纹理特征,因此更能反映图像的边缘信息,对传统的小波变换、Canny边缘检测算法有一定程度的改ξ 进.
                社交网络中用户区域影响力评估算法研究
                肖宇, 许炜, 张晨, 何丹丹
                2012, 29(7): 58-63.
                摘要:
                以人人网为例对在线社交网络的分析,从区域信息传播的角度出发,研究社交网络中,信息传播的微观过程.通过真实测量用户的信息传播行为,完成用户信息传播网络的构建和测量.发现区域信息传播网络中少量核心节点覆盖了大部分的网络传播行为.针对这些核心节点,文中提出了一种基于节点传播意愿和传播能力综合考察的节点传播影响力识别算◥法InfluenceRank,并通过与多种相关算法进行比对,验证了算法的有效性.
                一种基于数学形态学与小波域增强的滤波算法
                王小兵, 孙久运, 汤海燕
                2012, 29(7): 64-67.
                摘要:
                为了有效滤除图像高斯噪声,将数学形态学与小波域增强相结合,提出了一种高斯噪声新型滤波算法.该算法首先将噪声图像进行二维小波分解,得到低频和高频子图像;然后保留低频←子图像不变,对各高频子图像根据其噪声分布特点分别设计出多角度、多结构逐级形态学滤波器进行滤波处理,并进行小波分解系数重构;最后对经过形态学滤波后的图像进行2层小波分解,通过设计出一种新型小波增强函数对不同幅值的小波系数进行不同程度的收缩处理,在此基础上进行分解系数重构.将自适应中值滤波↘与数学形态学滤波与本文算法进行比较,实验证明本文滤波算法其去噪效果优于前两种算法.
                一种基于JTAG接口的片上调试与性能分析方法
                高瑛珂, 王琪, 李泉泉, 张铁军, 侯朝焕
                2012, 29(7): 68-71.
                摘要:
                介绍了一种复用JTAG标准接口来实现处理器片上调试和性能分析的方法.以SuperV DSP处理器为研究对象,通过设计调试和性能分析模块以及相应指令,实现了运行控制,断点设置等调试功能以及统计执行周期数,Cache缺失率等性能分析数据的功能,极大地方便软件开发和应用程序优化,同时对处理器性能和功耗影响甚微.
                基于用例图的软件系统复杂网络特性度量
                秦怀斌, 郭理
                2012, 29(7): 72-75,80.
                摘要:
                近年来迅速发展的复杂网络理论为解决软件系统复杂性度量提供了一个新的视角.同时,鉴于用例图即是从系统整体角度及整体运行过程出发描述执行者与系统提供的用例之间的连接执行关系,提出一种将用例图和复杂网络理论相结〒合进行软件系统复杂网络特性度量的方法.给出了具体度量过程和算法,并对№提出的度量方法通过实例进行验证.
                适用于嵌入式应用的多线程顶点处理器设计
                申智波, 陈杰, 刘建, 王云, 朱玥
                2012, 29(7): 76-80.
                摘要:
                针对嵌入式应用中三维图形渲染的要求,设计了一款可编程的多线程顶点处理器.该顶点处理器采用单指令多数据结构,一条指令能够同时处理4个单精度浮点数,并采用多线程技术,支持4个线程并发执行,能够有效地减少发生数据写读冲突时的停顿周期数,提高了处理效率.相对于单线程结构,4线程顶点处理器在较小的硬件开销下,可以实现2.1~2.8倍的性能提升.该顶点处理器支持OpenGL ES 1.1和Vertex Shader Model 1.1,在90nm CMOS工艺库下可实现频率为200MHz,性能为50Mvertices/s.
                低失调二阶曲率补偿的带隙电压基准源设计
                宋宇, 吴春瑜, 王绩伟
                2012, 29(7): 81-84,89.
                摘要:
                基于斩波运算放大器的曲╱率补偿CMOS带隙电压基准源电路,采用了折叠式的一阶放大器,较二阶结构线路简单,功耗低,版图面积小,并能很好地满足增益要求.采用二阶电流补偿进行曲率补偿,使带隙电压基准▽源能达到更好的温度系数,且系统稳定.应用0.5μm CMOS Spice模型进行了运算放大器和带隙电压基准源的电路仿真,输出电压为1.17V,在-20℃至120℃温度下,温度系数◆为4.7ppm/℃.该基准电压可根据工艺和内部电阻元件选取的不同获得不同电压值,其温度范围能够满足实际工作环境的需要.
                一种基于D2权重的核k-means聚类算法
                马翩翩, 苏一丹, 覃华, 王晓帅
                2012, 29(7): 85-89.
                摘要:
                核k-means算法是标准k-means算法的扩展,提高了k-means聚类中对非线性不可分数据的聚类效果.传统核k-means算法的初始中心是随机选取的,导致出现聚类时间较慢、聚类性能低等问题.文中提出了一种基于D2权重的核k-means算法,它根据点对簇内距离的贡献,选取对其贡献最大的点为簇中心,然后在核空间内进行相应的聚类.在UCI数据集上进行实验,实验结果表明,新算法相对于传统的核k-means算法,可以有效地缩短聚类时间,并提高聚类的质量,新算法性能优于传统的核K-means算法.
                一种高效的无线Ad-Hoc网络自适应资源管理技术研究
                杜建清
                2012, 29(7): 90-93.
                摘要:
                本文针『对无线Ad Hoc网络的高度动态性、网络拓扑动态变化、链路不稳定等问题,提出了一种无线网络资源管理技术.该技术通过探测邻居节点,然后无线资源进行动态划分设置请求优先级从而建立动态划分资源优先级机制.实验表明,提出的方法能够快速进行查询,有效提高了Ad-Hoc网络中资源发现的性能和系统的稳定性,在时延方面也有一定的提高.
                一种初始化不敏感的谱聚类算法
                孙大雷, 孟凡荣, 闫秋艳
                2012, 29(7): 94-97102.
                摘要:
                针对〓传统谱聚类算法初始化敏感引起的聚类效率与正确率不稳定问题,给出一种改进的谱聚类算法.该算法首先构造Laplacian矩阵并得到其特征谱空间,然后引入粒子群优化的FCM算法在该空间中寻找最优粒子作为▂初始类簇中心用以解决敏感问题.实验表明,与传统谱聚类算法比较,该算法的聚类结果更稳定,在较高维数据集上聚类效率与正确率有明显提高.
                任务可定点拆分的资源受限项目调度问题研究
                孙晓雅, 林焰
                2012, 29(7): 98-102.
                摘要:
                任务可定点拆分的资源受限项目调度问题是标准资源受限项目调度问题的一个扩展.针对这一问题提出了一种离散人工蜂群求解算法.离散人工蜂群算法中采用基于任务排〓列的食物源编码方式,并提出了能够一种保证解的可行性和离散型的候选食物源生成方法.项目中允许定点拆分的任务首先要转换为满足先序关系的分任务,然后在通过串行调度机制生成可行调度.实算表明,该算法能够有效求解任务∩可定点拆分的资源受限项目调度问题,同时也看到在不影响完成质量情况下,项目通过任务拆分能够在一定程度上缩短项目工期.
                随机测试程序发生器的设计与实现
                于伽, 黑勇, 陈黎明
                2012, 29(7): 103-106111.
                摘要:
                随机测试程序生成技术是当前处理器功能验证中一项重要的支撑技术.本设计面向一种专用指令集处理器FlexEngine,在指令集模型建立时,按功能分类,实∞现对处理器关键单元的选择性测试;引入ISS对指令执行的动态数据分析,增加了寄存器数据范围监控、死循环预警等指令约束.实验结果表明,本设计的选择性测试功能,能够在3000条程序的测试长度下,对关键模块达到超过90%的覆盖率,有效提高了测试效率.
                2-1-1级联连续时间型ΣΔ调制器系统设计
                沈琪, 王伟印, 顾晓峰, 赵琳娜, 于宗光
                2012, 29(7): 107-111.
                摘要:
                高阶连续时间型ΣΔ调制器提供了一种有效的获得高分辨率、低功耗模数转换器的方法.提出了一种新型的2-1-1级联的连续时间型ΣΔ调制器结构.采用冲激不变法将离散时间型ΣΔ调制器变换为连续时间型ΣΔ调制器,利用Simulink对该调制器进行系统级建模和仿真,峰值信噪比达到105dB.分析了电路的非理想因素对调制器行为的影响,以获得90dB信噪比为目◣标确定了电路子模块指标.仿真结果表明,该结构能有效降低系统功耗,并验证了电路的可行性.
                RAID5小写更新的冗余◇管理机制
                刘秀菊
                2012, 29(7): 112-115.
                摘要:
                为改进传统RAID5机制小写性能低下问题,提出了一种〒高性能的冗余数据读写机制RMB (RedundancyManagement for RAID5).RMB采用异步冗余校验方法APC (Asynchronous Parity Calculating),对现有RAID5更新算法的关键步骤进行了优化,将统一计算校验块的同步操作拆分成同步镜像写更新和异步冗余计算更新.该操作分解了数据与其校验数据更新的紧耦合现状≡,提升了写操作并发度;通过合并多个版本镜像块写操作减少异或计算操作的次数.通过实验验证表,RMB机制,可将小写性能大幅提高,峰值可达4倍以上.
                一种包含异常处理的粗粒度切片方法
                郝杰
                2012, 29(7): 116-120.
                摘要:
                在构造面向对象带有异常处理的系统依赖图的基础上,分析了异常处理结构对程序依赖性的影响.并且为了得到粗粒度程序切片,提出了一种把异常处理结构转化为一个类内部私有方法◥的有效方法来简化带有异常处理结构的系统依赖图.然后在简卐化的带有异常处理结构的系统依赖图上利用图可达性算法实现了包含异常处理结构的粗粒度切片.最后,通过一个切片标准对粗粒度切片和细粒度切片进行了比较.结果证明粗粒度切片完全包含细粒度切片,这样就降低了计算切片的复杂度.
                基于贝叶斯阈值的多小波基联合去噪
                刘慧, 彭良玉
                2012, 29(7): 121-123127.
                摘要:
                本文用贝叶斯阈值法来确定阈值,提出在不同子带和不同方向上使用不同的阈值,结合改进的软阈值函数,并采用2个小波基加权联合去噪.实验证明,此法与Visushrink、Sureshrink、Bayesshrink及Wiener滤波相比,在去噪的同时保留了更多的图◆像纹理,峰值信噪比也提高0.1~1.45dB不等,充分说明了该方法的有效性.
                人脸识别中局部遮挡处理技术研究
                杜杏菁, 王晓菊
                2012, 29(7): 124-127.
                摘要:
                局部遮挡严重影响了人脸识别准确率,提出了自动最优局部遮挡的重建模型.该模型首先利用人脸图像的灰度值判断人脸遮挡类型,然后利用M估计器(M-estimator)对遮挡掩模进行估计,找到最佳局部遮挡的人脸重建系数,重建人脸,减弱人脸遮挡的影响.实验证明了局部遮挡处理的有效性,明显提高了识别准确率.
                基于TMS320C6416的MPEG-2视频压缩优化方案
                董文涛, 张忠伟, 刘勇, 安军社
                2012, 29(7): 128-130.
                摘要:
                针对嵌入式视频编码的实时性问题,给出了MPEG-2视频压缩算法在TMS320C6416DSP上的优化方法,包括基于EDMA的双缓存设计、线性汇编╳改写以及对量化计算的改进等.测试结果显⌒示,经过优化后的视频压缩速度得到显著提高,压缩D1视频的速度达到43fps左右,满足实时应用需求.
                宽频比双频Wilkinson功分器的研究与设计
                南敬昌, 王鑫, 曲昀
                2012, 29(7): 131-134.
                摘要:
                为了实现双频Wilkinson功分器的宽频比特性,并简化设计结构,在研究奇模-偶模分析理论的基础上,提出了一种在输出端口并联开路微带线的新型结构.首先通过Ψ 奇模-偶模分析理论得出设计电路的参数方程,接着利用Matlab对推导方程进行求解,获得具体的设计参数,从而设计出宽频比(2.0~6.0)的双频Wilkinson功分器.为了验证设计方法的正确性,仿真并且加工了一个工作在870MHz和2140MHz两个基站频率的功分器.测试结果表明:双频功分器在两个工作频段内都具有良好的性能,测试与仿真结果吻合良好,验证了该方法是可行的.
                基于粒子群算法的多应急点资源调度研究
                左春荣, 周玉琴
                2012, 29(7): 135-137.
                摘要:
                分析多应急点多出救点以及多资源的应急调度问题,且考虑实际的应急资源调度时间会受到影响,故加入联系数♀进行分析,建立应急最早开始时间和出救点数最少为目标函数的模型.运用粒子群算法求解,最后构造数值算例,验证了所建立模型的合理性和粒子群算法的可行性.
                使用粒子群算法进行特征选择及对支持向量机参数的优化
                张俊才, 张静
                2012, 29(7): 138-141.
                摘要:
                特征选取和参数设置是提升支持向量机分类器的效果的两个主要手段.为了将两者结合起来,实现同步优化,以达到更好的分类效果,设计了一种基于粒子群算法的分类器优化算法.新算法对粒子采用2进制编码的,设计适合的目标函数,同步进行特征选择和支持向量机参数的优化.经过对比验证,新方法能够更加准确的得到待分类数据的特征子集跟支持向量机参数,最终得到更优的处理↘结果.
                灰色神经网络在城市用水量预测中的应用
                胡瑜, 于宝堃, 许国, 张莹
                2012, 29(7): 142-145149.
                摘要:
                为解决传统BP神经网络在城市用水量预测中易陷入局部极小≡点等问题,将BP神经网络与灰色理论相结合,构建了灰色神经网络模型(GNNM),实现了二者的优势互补,并利用粒子群优化算法(PSO)对该模型的初始权值和阈值进行优化,形成了PSO-GNNM (1,N)算法.通过与传统BP神经网络、灰色理论预测法的预测结果相比较,该算法具有预测误差小、泛化能力强等优点,可为城市用水量的预测工作提供技术支持.
                多核并行技术在Image Quilting纹理合成算法中的应用
                于梦玲, 郑晓薇, 张建强, 侯立斐
                2012, 29(7): 146-149.
                摘要:
                针对Image Quilting纹理合成算法的新旧纹理块拼接特点,研究了一种创建多任务实现纹理块切割拼接的并行编程模式.设计了重叠区域缝合路径计算的多任务模块函数iq (),利用MATLAB多核集群中创建的调度器将子任务分配到各个节点上并行执行计算.实验结果表明,该算法获得了较好的加速比,提高了多核CPU的使用效率,有效地提升了多核计算机资源的利用率.
                基于改进的证据理论在机场容量评估中的应用
                袁小珂
                2012, 29(7): 150-153.
                摘要:
                本文针对机场容量评估中的不确定因素影响问题,在D-S证据理论的基础上提出了一种改进的考虑权重和折扣率的信息融合方法,并将该方法应用到实际的机场动态容量预测过程.实验结果表明,该方法进一步降低了评估过程的主观性,为空中交通流量管理决策提供了更为科学的︽决策依据.
                反射式需求工程过程演化建模
                张国生
                2012, 29(7): 154-157.
                摘要:
                用反射机制为软件系统需求工程过程演化建模,将需求工程过程的开发活动作为反射系统的基层,实现软件系统的功能需求,将软件系统的非功能需求作为反射系统的元层,对需求工程过程的开发活动进行调节、控制,并将非功能需求的性质反射到功能需求.定义了有色Petri网及其范畴,并用有色Petri网范畴描述软件系统非功能需求性质的模拟、保持和反射机制;用有色Petri网建立反射式需求工程过程演化形式化模型,模拟了软件系统需求工程过程中功能需求和非功能需求的迭代、增量、演化,为软件系统需求工程过程演化建模提出了一种新的方法.
                一种基于射线追踪的时变效应模拟方法
                徐海东, 姜小峰, 张维维
                2012, 29(7): 158-161.
                摘要:
                本文探讨了自然界广泛存在的时变效应的模拟问题,实现了一种基于射线追踪方法的时变效应渲染方法.该方法使用Surfels技术对模型表面进行重构和设置属性值,从射线源发射出相应属性值的射线,当射线碰撞到模型表面时将射线属性和模型表面元素属性交换.根据模型表面元素值,选取适当的纹理通过相应的纹理技术进行纹理映射,实现模型表面再次渲染,使模型实现时变效应.针对建筑物场景的实验结果验证了该方法的正确性.
                企业云开发平台研究
                邓超, 周文平, 申新鹏, 杨刚
                2012, 29(7): 162-166.
                摘要:
                企业云开发平台提供了一个虚拟的开发环境,开发者可以很方便的获得开发和测试环境.使得开发者可以将精力集中于应用的开发,提供更好的产品.同时该平台还提供了云体验功能,使用户可以在云端试用产品,发现问题,减少购买的盲目性.开发者在云端模拟用户的环境,再现用户的问题,迅速找到解决方案.平台的提供商使用这个平台可以有效地宣传自己的产品,增加合作伙伴和用户的数量.企业云开发平台建立了一个多赢的◆生态链.
                一种具有自律特征的入侵容忍系统模型
                刘彬, 吴庆涛, 郑瑞娟
                2012, 29(7): 167-170.
                摘要:
                针对当前入侵容忍系统缺乏自律性的问题,提出一种基于自律计算的入侵容忍系统模型.系统模型关键模块涵盖了入侵行为的检测评估、自律管理者的自主学习与自律容侵中心的容侵措施;同时通过检测评估中心构建进程危险函数,产生入侵行为的危险函数值,由自律管理者动态比较和调整危险函数值与入侵阈值的关系,实现了对入侵行为的自律容忍.最后通过实验分析了系统对入侵行为的自律容侵过程.
                高校信息网络一站式服务系统设计
                李绍中
                2012, 29(7): 171-174179.
                摘要:
                为了解决用户操作繁琐、高校信息利用率不高的问题,提出了一种一站式服¤务系统.利用网络服务架构下的Portal技术构建统一的高校公共服务平台,将各个应用系统采用统一的标准集成,避免了各个应用系统各自为政的问题,最终为用户提供了一站式服务.实验证明,这种一站式登录系统的构建有效解决了应用系统各自为政的问题,使得用户可以通过一站式服务迅速找到所需要的信息,提高了校园信息的利用率.
                商业智能在校园一卡通中的研究与实践
                戴红芳, 冯翔, 先晓兵, 陈凤
                2012, 29(7): 175-179.
                摘要:
                研究对象是校园卡的历年交易数据,以这些交易数据为基础,研究了商业智能技术在校园一卡通中的应用.实践以商业智能和数据挖掘的流程作为主线,首先是需求分析,然后是对于数据集成和多维数据集的构建,最后阐述了多维数据库的Web展现.本研究主要的价值在于对于商务智能技术和数据仓库构建进行了充分的说明,运用SQL Server商业智能组件:SSIS、SSAS、SSIS对商业智能在校园一卡通中的研究进行了分析.
                基于改进身份认证协议的单点登录系统研究
                马蕾, 杨洪雪, 朱青松
                2012, 29(7): 180-183.
                摘要:
                研究基于改进身份认证协议的单点登录系统,提高系统的身份认证的速度.针对单点登录系统中进行身份认证时,如果用户数据量过大,导致用户需要逐个核对数据库中的身份信息,造成的身份核对方法耗时,延长了单点登录系统身份认证的时间.为了避免上述问题,提出了一种基于改进身份认证协议的单点登录系统.利用线性回归方法,对用户数【据进行融合处理.通过非线性传输参数方法将融合后的信息传输到服务器中,并利用参数配准和身份认证技术将其与数据库中数据进行配准,避免传统方法大规模比对带来的缺陷,提高了身份认证的速度.实验证明,该方法能够提高身份认证的速度,效果令人满意.
                基于模糊聚类的传感网络失效节点检测
                柴继贵
                2012, 29(7): 184-187.
                摘要:
                针对当无线传感网中的传感节点分配随机性较强,节点能量不能得到有效的补充,一旦节点能量耗尽,会造成节点失效.传统检测方法因为无法准确提取节点失效特征,造成失效节点检测的准确度不高.为了解决这一问题,提出一种基于模糊聚类失效节点搜索的检测算法,通过计算无线传感节点能量消耗的特征模糊聚类概率,运用模糊概率判定失效节点位置.实验证明,该方法能有效的对无线传感网络中失效节点进行检测,取得了不错的效果.
                一维非均匀采样信号可变稀疏度傅里叶重建算法研究
                周亚同, 张伟, 杨瑞霞
                2012, 29(7): 188-191.
                摘要:
                非均匀采样信号重建在很多领域得到了广泛应用.传统的最小范数傅里叶重建(FRMN)算法具有原理直观、假设前提少等优点,但不能进行稀疏重建.本文提出一种新的可变稀疏度傅里叶重建(FRVS)算法,并利用贝叶斯推理赋予其概率解释.FRVS通过引入稀疏约束矩阵,不仅在FRMN的基础上融入了稀疏重建思想,而且求解形式与FRMN相同.一维复杂理论信号重建实验表明,FRVS比FRMN具有更高的重建精度.最后将FRVS重建算法用于实际医学心电图信号重建,结果表明FRVS能解决实际重建问题,在重建过程中需选择合适的稀疏度参数.
                基于六自由度关节机器人的一种计算机控制系统
                杨小亭, 曹义东, 宋科
                2012, 29(7): 192-196.
                摘要:
                为了解决传统工业机器人控制系统专用封闭式结构的局限性,采用Windows NT系统平台建立了一种基于六自由度关节机器人开放式的计算机控制系统.针对工业机器人控制系统实时性、扩展性、维护性、可靠性的要求,提出了Windows NT+RTX硬实时扩展的操作系统平台,基于PC总线技术的硬件平台的系统架构.该系统软件采用模块化设计原则,具备友好的图形用户接口,便于用户编辑和调用应用程序以及执行相关操作.通过对∴试验数据的分析,验证了该系统具备良好的精度和可靠性.