1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2013年第Z6期, 刊出日期:2018-11-16
  
智能控制
模型检验综述
王蓁蓁
计算机科学. 2013, 40 (Z6): 1-14. 
摘要 ( 230 )   PDF(1387KB) ( 1493 )   
相关文章 | 多维度评价
在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。
基于锦标赛选择变异策略的改进差分进化算法及函数优化
傅嗣鹏,乔俊飞,韩红桂
计算机科学. 2013, 40 (Z6): 15-18. 
摘要 ( 204 )   PDF(438KB) ( 803 )   
参考文献 | 相关文章 | 多维度评价
针对差分进化算法传统变异策略在全局收敛鲁棒性和搜索效率上不能达到一个很好的折衷,并且算法的操作算子固定,导致搜索效率低、易早熟收敛等问题,文中在差分进化算法变异策略性能分析的基础上,提出了一种基于锦标赛选择的变异策略。该策略采用“锦标赛选择”对随机选取的变异向量排序选出基向量,差分向量选择有利于搜索的方向并对其 “强化”,以提高收敛速率和维持种群多样性;同时操作算子采用随机正态缩放因子F和时变交叉概率因子CR,以平衡局部搜索和全局搜索;最后,利用4个典型Benchmarks测试函数对改进算法进行测试。实验结果表明,该改进型差分进化算法能有效避免早熟收敛,较好地提高算法的全局收敛能力和搜索效率。
服务组合中面向端到端用户QoS需求的QoS聚合机制研究
刘志忠,王勇,贺毅辉,彭辉
计算机科学. 2013, 40 (Z6): 19-21. 
摘要 ( 131 )   PDF(336KB) ( 494 )   
参考文献 | 相关文章 | 多维度评价
服务组合基于多种基本的组合结构,组合多个已有的服务来满足用户的功能性和非功能性(即QoS)需求。通常,用户的需求直接是端到端的需求,而服务描述本身具有自身的QoS描述。由于所处的层次不同,端到端的QoS需求描述和单个服务的QoS描述存在一定的语义鸿沟。基于层次化本体模型建立QoS本体模型,建立了用户QoS和服务QoS之间的映射关系。并针对基本的服务组合结构,研究了异构QoS本体环境下服务的QoS聚合机制。基于基本组合结构的QoS聚合,提出了完整的服务组合中的QoS聚合算法和QoS转换算法,以满足端到端的QoS需求。
基于分层Agent的军事分析仿真在线辅助决策系统研究
杨妹,杨山亮,赵鑫业,杨政军,周云
计算机科学. 2013, 40 (Z6): 22-26. 
摘要 ( 158 )   PDF(443KB) ( 981 )   
参考文献 | 相关文章 | 多维度评价
指挥与控制是军事分析仿真在线辅助决策系统中研究的主要对象之一。通过分层Agent方法对军事分析仿真在线辅助决策系统的指控关系进行建模,将战役级仿真中的指挥和控制划分成战略层、战术层和执行层,并对各层Agent功能进行描述。系统采用基于BOM组件的高性能RTI仿真方法,最后以一个空地攻防对抗系统的实例说明了该建模方法的应用。
基于免疫克隆算法的LVQ聚类算法权值优化
张晓丹,黄海燕
计算机科学. 2013, 40 (Z6): 27-28. 
摘要 ( 115 )   PDF(232KB) ( 429 )   
参考文献 | 相关文章 | 多维度评价
学习矢量量化(LVQ)聚类算法存在严重的对初值敏感的问题,若初值的选择偏差太大,就不会产生好的聚类效果,致使聚类精准度不够。免疫克隆算法具有很强的群体搜索能力,将免疫克隆算法用于优化LVQ聚类算法的初值,并将改进得到的聚类算法用于对IRIS数据集进行分类。分类结果与标准的LVQ算法的比较表明,改进后的聚类算法在稳定性上有了较大幅度的提高。
复杂地形影响下雷达探测范围表现算法研究
白玉兵,余小游,陈寿辙,殷玲,陈铁军
计算机科学. 2013, 40 (Z6): 29-32. 
摘要 ( 169 )   PDF(582KB) ( 675 )   
参考文献 | 相关文章 | 多维度评价
通过分析雷达探测范围边界与数字地形高程的相对位置关系,提出一种基于几何光学原理的雷达探测范围受复杂地形影响的修正算法。采用雷达传播衰减模型和混合采样方法,应用该修正算法,实现了对复杂地形影响下雷达探测范围的修正。实验结果表明,该算法不仅对复杂地形适应性强,而且表现效果真实直观。
基于Metropolis-Hastings变异的粒子群优化粒子滤波器
路威,张邦宁
计算机科学. 2013, 40 (Z6): 33-36. 
摘要 ( 259 )   PDF(335KB) ( 746 )   
参考文献 | 相关文章 | 多维度评价
为了解决粒子滤波在粒子数量较少时估计精度不高的问题,提出了一种基于Metropolis-Hastings(MH)变异的粒子群优化粒子滤波算法。该算法将Metropolis-Hastings(MH)移动作为粒子群优化的变异算子,通过将MH变异规则与粒子群的速度-位置搜索过程相结合,使得重采样后的粒子群更接近真实的后验概率密度分布,有效解决了一般的变异粒子群算法容易发散的问题,加快了粒子滤波在序贯估计过程中的收敛速度,提高了其估计精度。仿真试验证明,基于MH变异的粒子群优化粒子滤波算法可以有效地克服粒子贫化现象,改善对非线性系统的跟踪估计效果。
基于信息物理融合系统的智能制造架构研究
张彩霞,程良伦,王向东
计算机科学. 2013, 40 (Z6): 37-40. 
摘要 ( 112 )   PDF(422KB) ( 1464 )   
参考文献 | 相关文章 | 多维度评价
信息物理融合系统(Cyber Physical System,CPS)的特征和功能为离散制造的智能化生产和竞争力的提高提供了有效的思路和途径。本文在现有物联网的基础上,基于CPS概念并结合现有离散制造业的特点,构造离散型制造信息物理融合系统的基本架构,并对该架构和相应功能模块进行了分析。最后,从离散型制造CPS基础理论和系统模型、系统优化调度与自治机制、安全性、可靠性、系统的可验证性等几个方面阐述了离散型制造CPS所面临的挑战。
带扩展记忆的粒子群优化最小二乘支持向量机在中长期电力负荷预测中的应用
段其昌,周华鑫,曾勇,张广峰
计算机科学. 2013, 40 (Z6): 41-43. 
摘要 ( 129 )   PDF(247KB) ( 420 )   
参考文献 | 相关文章 | 多维度评价
针对中长期电力负荷预测,考虑了影响中长期电力负荷的各种因素,提出了一种带扩展记忆的粒子群优化算法(PSOEM)与最小二乘支持向量机(LSSVM)相结合的中长期负荷预测方法。PSOEM比传统PS0收敛速度更快,精度更高,具有更强的寻优能力,因此利用PSOEM算法对LSSVM参数进行优化选择,获得了较优的PSOEM-LSSVM预测模型。通过实例仿真表明,该方法与其他几种方法相比具有更高的预测精度和速度。
基于领域驱动的MIS系统细粒度权限模型研究
张忠捷,喻昕,王高才
计算机科学. 2013, 40 (Z6): 44-49. 
摘要 ( 141 )   PDF(559KB) ( 826 )   
参考文献 | 相关文章 | 多维度评价
权限管理是管理信息系统(MIS)中非常重要的组成部分,现有部分系统中的权限管理过于粗糙或混乱,无法实现较为完整细致的权限管理;而其它的权限管理方案理论虽好,但与当今主流的软件开发方式和框架不相符,且不具备可实现性,无法应用于实际开发的信息系统。为此本文基于领域驱动设计的思想,对传统的基于角色访问控制(RBAC)模型进行细化和改进,在此基础上构建一个基于领域驱动的MIS系统细粒度的权限模型,然后再实现该模型,以展示权限系统构建的全过程,从而给目前权限系统的开发提供一个较完善的解决方案。本文给出了权限实现的详细方法和技术。
基于空间聚类的动物疫点分布划分算法研究
郭茂耘,潘丽娟,江红旗,柴毅
计算机科学. 2013, 40 (Z6): 50-53. 
摘要 ( 108 )   PDF(360KB) ( 442 )   
参考文献 | 相关文章 | 多维度评价
防疫管理资源(人员和设备等)的合理有效配置是动物疫情防疫管理关注的问题之一。根据疫点的空间分布情况,基于空间聚类和最大夹角边界确定方法,提出了对疫点分布进行分类划分的方法。首先研究了将K-Means聚类分析方法应用于疫点的空间聚类分析,实现了疫点按空间亲疏关系的分类。在此基础上,根据最大夹角原理,在聚类结果中确定了每一个分类的边界线,实现了对疫点按空间关系进行分类划分区域的方法,从而为疫情管理人员有效地监测与分析疫情空间分布模式、控制管理和预防动物疫情的扩散提供了支持。
基于融合算法的测试优化选择问题研究
刘刚,黎放,狄鹏
计算机科学. 2013, 40 (Z6): 54-57. 
摘要 ( 142 )   PDF(352KB) ( 419 )   
参考文献 | 相关文章 | 多维度评价
测试优化选择是个集覆盖问题,而启发式算法是求解集覆盖问题的有效方法。文中将遗传算法、BP神经网络和模拟退火算法进行融合,提出了一种融合算法,该算法充分利用遗传算法全局搜索能力强、BP神经网络训练能力强和模拟退火算法搜索速度快的优点,既避免陷入局部最优的现象,又提高了搜索的效率和精度。该算法已应用于求解测试优化问题。实例证明,该算法能够快速有效地求得测试优化问题的最优解。
忆阻细胞神经网络在车牌定位中的应用
张凤清,段书凯,王丽丹,胡小方
计算机科学. 2013, 40 (Z6): 58-60. 
摘要 ( 118 )   PDF(802KB) ( 567 )   
参考文献 | 相关文章 | 多维度评价
将新型的电路元件忆阻器与传统细胞神经网络相结合,构建出体积小、功耗低、计算速度快的忆阻细胞神经网络。用该网络实现对车牌图像定位的预处理,对应的计算机仿真结果验证了方案的有效性。提出的忆阻细胞神经网络将提高硬件电路实现的集成度,同时也有利于车牌识别速度和效率的提高。
求解单通道盲分离问题的一种新方法
赵文红,王巍
计算机科学. 2013, 40 (Z6): 61-63. 
摘要 ( 113 )   PDF(478KB) ( 451 )   
参考文献 | 相关文章 | 多维度评价
近年来,单通道盲分离作为信号处理领域中的重要分支,受到了人们越来越多的关注。粒子滤波和进化算法都是利用一群粒子(个体)进行逼近估计的方法,同时各有各的优势。本文将粒子滤波与进化算法两种方法结合起来,既利用了粒子滤波估计的准确性,又利用了进化算法对收敛性进行保证,提出了一种解决单通道盲分离问题的新方法。文中针对两路同频BPSK混合信号,采用粒子滤波的架构,同时利用赌轮选择方法对粒子进行重要性采样,最后根据最大后验估计的方法对当前时刻的粒子对进行估计。
智能算法与优化
求解多目标优化问题的新遗传算法
韩丽霞
计算机科学. 2013, 40 (Z6): 64-66. 
摘要 ( 293 )   PDF(310KB) ( 1219 )   
参考文献 | 相关文章 | 多维度评价
给出了求解多目标优化问题的一种新解法。定义了多目标优化问题的非劣方向,设计了方向杂交算子和简单的变异算子。标准算例的计算机仿真结果表明,新算法可以快速地找到一组范围广、分布均匀且数量充足的Pareto最优解。
面向装箱问题的量子遗传优化算法
郭晶,陈贤富
计算机科学. 2013, 40 (Z6): 67-69. 
摘要 ( 304 )   PDF(332KB) ( 757 )   
参考文献 | 相关文章 | 多维度评价
针对遗传算法系统的维持能力问题,提出一种量子演化算法(a Quantum-Inspired Evolutionary Algorithm)用于解决装箱问题的布局与优化。算法中采用量子比特编码、量子延伸变异操作。同时根据装箱问题具体情况,设计相应的量子旋转门更新策略,并在此基础上引入遗传操作,同时提出MCBF算法修复策略。最后,对8个测试数据集进行测试。实验测试结果显示,算法在维持遗传基因种群多样性与提高优化质量等方面效果明显。
现代模态逻辑在计算机科学中的应用研究
陈志远,黄少滨,韩丽丽
计算机科学. 2013, 40 (Z6): 70-76. 
摘要 ( 252 )   PDF(681KB) ( 1723 )   
参考文献 | 相关文章 | 多维度评价
现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。
模型检测中状态爆炸问题研究综述
侯刚,周宽久,勇嘉伟,任龙涛,王小龙
计算机科学. 2013, 40 (Z6): 77-86. 
摘要 ( 460 )   PDF(1014KB) ( 2707 )   
参考文献 | 相关文章 | 多维度评价
模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。
基于高斯加权的GeesePSO改进算法
庄培显,戴声奎
计算机科学. 2013, 40 (Z6): 87-89. 
摘要 ( 379 )   PDF(596KB) ( 447 )   
参考文献 | 相关文章 | 多维度评价
为了提高粒子群算法的优化性能,通过观察和分析雁群结队飞行的智能群体现象,国内学者提出了基于雁群启示的粒子群优化算法(GeesePSO,GPSO)。该算法虽然在一定程度上提高了PSO算法的性能,但是在GPSO算法中存在着不合理的加权平均机制,即最小值寻优方面的加权缺陷。针对该问题,本文通过采用高斯加权方法对GPSO进行合理改进,提出一种基于高斯加权改进的粒子群优化算法(Gaussian-Weighted GPSO,GWGPSO)。实验结果表明:新算法在收敛精度、收敛速度和鲁棒性等指标上得到了提高,从而证明高斯加权方式是合理的和正确的。
随机决策形式背景下的概念格构建原理与算法
刘保相,李言
计算机科学. 2013, 40 (Z6): 90-92. 
摘要 ( 141 )   PDF(327KB) ( 449 )   
参考文献 | 相关文章 | 多维度评价
概念格是根据二元关系提出的概念层次结构,用于数据的分析和规则提取。针对随机决策形式背景,讨论了随机决策形式背景下随机概念的数学表示,并证明了随机概念伽罗瓦连接的存在性,提出随机概念格的构建算法,最后用实例证明了其有效性。
一种求解稀疏信号重构的新算法
戚平
计算机科学. 2013, 40 (Z6): 93-95. 
摘要 ( 119 )   PDF(201KB) ( 519 )   
参考文献 | 相关文章 | 多维度评价
由于允许从少量数据中恢复原始信号的压缩感知的引入,基于1范数正则化的最优化方法近来越来越受到重视。利用最小二乘问题的一种等价形式和Bregman迭代方法的一些技巧,本文推导出了可以用于稀疏信号重构求解的非满秩情况下的A+线性Bregman迭代方法的一种新的等价形式,并证明了它与原形式的等价性。
基于Hadoop平台的高阶矩阵相乘MapReduce算法研究
向林泓,陈芋文,张昱琳
计算机科学. 2013, 40 (Z6): 96-98. 
摘要 ( 242 )   PDF(245KB) ( 1121 )   
参考文献 | 相关文章 | 多维度评价
目前,针对基于单一节点的中高阶矩阵相乘存在着计算瓶颈,甚至因内存溢出导致计算机崩溃等问题,结合利用云计算分布式处理和虚拟化技术的优势,提出一种基于Hadoop平台的高阶矩阵相乘的MapReduce算法。实验结果表明:该算法能够有效地解决高阶矩阵相乘中存在的计算瓶颈问题,同时提高了计算效率。
改进的验证正确性ACTL性质的限界模型检测方法
徐亮,余建平
计算机科学. 2013, 40 (Z6): 99-102. 
摘要 ( 114 )   PDF(305KB) ( 514 )   
参考文献 | 相关文章 | 多维度评价
近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。
Vague集方案优选算法在传动方案优选中的应用
王海丰,王鸿绪,张鲲
计算机科学. 2013, 40 (Z6): 103-104. 
摘要 ( 134 )   PDF(246KB) ( 356 )   
参考文献 | 相关文章 | 多维度评价
针对火力发电厂的圆锥滚筒筛主结构传动设计方案问题,提出完整的Vague集传动设计方案决策优选算法。应用Vague集的相似度量分析,在一套新的Vague集(值)之间的相似度量公式的基础上,提出两个从区间值数据向Vague数据转化的公式,这两类公式成为完整的Vague方案优选方法的两个技术支撑。实验数据结果说明文中所提出的公式和方法都是实用的。
分段式量子-单纯形进化算法及函数优化
张伟丰
计算机科学. 2013, 40 (Z6): 105-107. 
摘要 ( 130 )   PDF(249KB) ( 353 )   
参考文献 | 相关文章 | 多维度评价
量子进化算法在高维复杂函数优化上存在容易陷入局部最优解、进化后期收敛速度慢的问题,为进一步提高其搜索性能,提出了一种带单纯形搜索算子的分段式量子进化算法。该方法将搜索过程分为3个阶段,首先用量子进化算法搜索到一定代数,然后将种群分为若干个子种群,每个子种群中的个体作为单纯形法的初始顶点,并行地用单纯形法进行搜索,将搜索后的子种群再合并,继续用量子进化算法进行最后的搜索。对几个典型的高维函数进行仿真的结果表明,该算法具有更快的收敛速度和更高的求解精度。
基于轮转算法的缓冲交叉开关调度算法的设计与实现
刘飞,李冰,张磊磊
计算机科学. 2013, 40 (Z6): 108-111. 
摘要 ( 127 )   PDF(302KB) ( 690 )   
参考文献 | 相关文章 | 多维度评价
研究了一种低复杂度、高性能的交换机调度算法——轮转(Round Robin)调度算法及其硬件实现,它是基于缓冲交叉开关交换结构的。缓冲交叉开关交换结构相比于无缓冲的交叉开关交换结构,仅需要简单的调度算法对输入VOQ队列和交叉点缓存输出分别进行调度,这大大简化了调度算法硬件实现的复杂程度,减小了系统延迟。因此,结合轮转算法和缓冲交叉开关交换结构各自的优点,可以设计出高性能的交换机。
数据存储与挖掘
基于语义信息的存储能效的研究
尤红桃,张延园,林奕,刘胜
计算机科学. 2013, 40 (Z6): 112-114. 
摘要 ( 123 )   PDF(358KB) ( 467 )   
参考文献 | 相关文章 | 多维度评价
随着数字化信息爆炸性的增长,存储技术成为IT业发展的新动力。存储系统规模的不断扩大,使能效问题越来越突出,主要表现为增加了系统运行维护和冷却的成本、降低了系统的可靠性和扩展性、加剧了存储系统周围环境的污染,因此研究存储能效问题具有较大的经济价值和实用意义。阐述了存储系统中磁盘能效的研究进展和现状,并从语义信息出发,设计与实现了基于语义信息的驱动程序。实验表明该驱动程序有效地降低了磁盘能耗,提高了存储系统I/O性能,优化了存储能效。
基于语义的业务架构需求冲突验证研究
朱岭,郭树行
计算机科学. 2013, 40 (Z6): 115-119. 
摘要 ( 135 )   PDF(447KB) ( 447 )   
参考文献 | 相关文章 | 多维度评价
为了解决企业信息化过程中经常出现的需求冲突问题,提出了一种基于语义的业务架构需求冲突验证方法。首先引入了企业架构和业务架构的概念,论述了企业业务架构需求冲突的定义与影响;其次基于传统的、业务架构视角下的语义模型,提出了信息化需求冲突的一种验证方法,并进行了案例研究,以验证方法的可行性;最后对TOGAF架构需求及其冲突验证方法进行了研究。
面向大规模地形的瓦片调度与实时绘制算法
刘浩,曹巍,赵文吉,宁方馨,潘李亮
计算机科学. 2013, 40 (Z6): 120-124. 
摘要 ( 159 )   PDF(1399KB) ( 437 )   
参考文献 | 相关文章 | 多维度评价
随着图形硬件性能的提升,大规模地形绘制的主要瓶颈已从绘制能力不足转变为大数据的传输,针对这一问题提出一种支持大规模地形的瓦片调度与实时绘制算法。将超大地形数据以瓦片金字塔形式存储于硬盘,绘制每一帧时只调度当前场景所需的少量瓦片进入显存。首先利用GPU实时计算地形网格点的地理坐标并传回CPU分析可见范围,然后采取瓦片四叉剖分、规则化处理和瓦片合并等一系列操作在所有LOD层中拣选最优瓦片集合并调入内存,在内存中利用一块固定大小的缓存进行管理与更新,并最终以单张纹理的形式传入显存进行采样和绘制。实验表明,该算法节约了大量的显存带宽,有效提升了系统在数据传输方面的执行效率,在大规模地形调度与绘制中取得了较好的效果。
基于相容粗糙集的改进的基因特征选择方法
焦娜
计算机科学. 2013, 40 (Z6): 125-128. 
摘要 ( 120 )   PDF(370KB) ( 355 )   
参考文献 | 相关文章 | 多维度评价
在基因表达数据中,有效的基因选择方法是癌症基因数据研究的重要内容。粗糙集是一个去掉冗余特征的有效工具。由于基因表达数据的连续性,为了避免运用粗糙集方法所必须的离散化过程带来的信息丢失,将相容粗糙集应用于基因的特征选择,提出基于相容粗糙集的基因特征选择方法,并在此方法基础上进一步对粗糙集的边界域进行研究,提出了基于相容粗糙集的改进的基因特征选择方法。在两个标准的基因表达数据上进行实验,结果表明与传统的基因特征选择方法相比,所提方法能够有效提高分类精度。
基于主题树的BBS论坛用户互动行为分析
胡雪娇,李慧,马国栋
计算机科学. 2013, 40 (Z6): 129-132. 
摘要 ( 140 )   PDF(826KB) ( 400 )   
参考文献 | 相关文章 | 多维度评价
用户之间的互动对研究BBS论坛有着重要意义。为准确描述BBS树状论坛用户之间的互动过程,引入了主题树的概念,并根据自主定义的主题广度系数W和主题综合深度系数D等统计指标,对主题中用户的互动情况进行了详细描述。研究结果表明:主题总帖数的大小并不能全面描述主题中用户的互动情况,用户互动频繁的主题帖不一定具有较高的主题总帖数。因此,根据主题广度系数W和主题综合深度系数D对用户的互动行为进行划分,得到5种分类结果。
基于粒计算的离散化算法及其应用
史志才,夏永祥,周金祖
计算机科学. 2013, 40 (Z6): 133-135. 
摘要 ( 127 )   PDF(277KB) ( 612 )   
参考文献 | 相关文章 | 多维度评价
连续数值属性的离散化是粒计算理论应用的重要步骤。首先对目前的离散化算法进行了分类讨论,提出了区间粒的概念,融合熵理论定义了区间粒的粒度,进而提出了基于粒计算的连续数值属性的离散化算法,并将该算法应用于入侵检测过程;实验结果表明该算法简洁高效,能够确保入侵检测系统的检测效果。
基于PageRank的社交网络影响最大化传播模型与算法研究
宫秀文,张佩云
计算机科学. 2013, 40 (Z6): 136-140. 
摘要 ( 187 )   PDF(440KB) ( 1237 )   
参考文献 | 相关文章 | 多维度评价
社交网络中影响最大化问题是指找出最具有影响力的k个节点,使得最终社交网络中被影响的节点最多,信息传播范围最大。针对影响最大化问题,目前已存在一些基本传播模型,但是这些模型没有考虑网络中节点的相关性和重要性,而网络中节点的相关性和重要性是衡量其影响力的一个重要指标,因此,提出了一种基于网页排名算法的信息传播模型(PageRank-based Propagation Model,PRP),然后利用贪心算法来近似求解影响最大化问题。实验结果表明,基于PageRank的传播模型解决影响最大化问题的效果比传统的线性阈值模型、加权级联模型和独立级联模型的效果更好,影响力范围更大。
基于标签路径的Web结构化数据自动抽取
李贵,陈成,李征宇,韩子扬,孙平,孙焕 良
计算机科学. 2013, 40 (Z6): 141-144. 
摘要 ( 119 )   PDF(662KB) ( 515 )   
参考文献 | 相关文章 | 多维度评价
提出了一种基于标签路径的Web结构化数据自动抽取方法。该方法通过对网页DOM树的解析获取完整标签路径集合,并依据路径相似度测量方法来聚类标签路径,实现目标数据区域的定位,然后通过标签节点坐标位置的特性来分离各个数据项,过滤冗余数据,最终完成数据抽取。实验结果表明,与MDR方法相比,该方法在处理拥有结构化数据的网页时,有更高的查全率和查准率。
复杂网络性质探讨及在垃圾邮件过滤中的运用
李渊,廖闻剑,彭艳兵,程光
计算机科学. 2013, 40 (Z6): 145-148. 
摘要 ( 110 )   PDF(329KB) ( 332 )   
参考文献 | 相关文章 | 多维度评价
基于描述社会网络中幂律分布和小世界效应的网络理论,社会计算能够定量分析社会行为的规律。首先通过幂律分布特征从统计意义上区分了网络中两类度数有差异的节点,这样的方法可以用于垃圾邮件过滤。考虑小世界效应后得到网络平均距离变化缓慢的动态性质,该性质指出了一种平均距离相对固定的网络模型构造思路。最后以邮件数据为实验对象,验证了节点分类的方法对垃圾邮件过滤的有效性。
基于切片的OLAP动态推理控制研究
周彩霞,陈启买
计算机科学. 2013, 40 (Z6): 149-152. 
摘要 ( 116 )   PDF(337KB) ( 402 )   
参考文献 | 相关文章 | 多维度评价
针对OLAP系统存在的数据仓库敏感信息泄漏的问题,及已有的推理研究都是以数据立方体为粒度,细粒度的切片推理仍然存在的问题,提出了以切片为推理单元的推理控制方法。该方法将推理粒度细化到切片,使每次查询生成对应的切片格,根据格的依赖关系判定是否存在推理通道,实现动态地防止单切片的推理,提高了敏感信息的保护力度。
谱聚类的算子理论研究进展
管涛,王杰
计算机科学. 2013, 40 (Z6): 153-156. 
摘要 ( 115 )   PDF(362KB) ( 469 )   
参考文献 | 相关文章 | 多维度评价
谱聚类来源于算子理论研究成果,在大数据降维和分类中发挥着重要的作用,但是目前国内的研究多注重应用算法设计,很少见到谱聚类理论方面的研究。为弥补这方面的一些不足,较为系统地总结了这些理论,侧重于阐述与谱聚类的算子理论紧密相关的最新理论研究成果,并简要介绍了一些具体的谱聚类算法、原理及其性能。从积分算子、图谱理论、流形学习出发,评述和分析了谱聚类的最新理论原理、收敛性结论、发展现状以及与流形学习的内在联系,最后指出了理论研究的一些方向。
面向领域的Web数据抽取与集成
李贵,李征宇,陈韶刚,韩子扬,孙平,孙焕良
计算机科学. 2013, 40 (Z6): 157-159. 
摘要 ( 105 )   PDF(585KB) ( 328 )   
参考文献 | 相关文章 | 多维度评价
面向领域的Web数据挖掘包括领域Web数据抽取和领域Web数据集成。针对领域数据抽取,提出了Web结构数据模型和Web表模式,给出了Web表定位和数据记录抽取的算法,针对领域Web数据集成,提出了基于领域模型的数据集成算法。结合行业领域的实际需求,验证了模型和算法的有效性。
基于ERP的电力企业数据集成研究
张德刚,罗学礼,盛俊,徐树振,田雷
计算机科学. 2013, 40 (Z6): 160-162. 
摘要 ( 103 )   PDF(395KB) ( 422 )   
参考文献 | 相关文章 | 多维度评价
整合异构数据源是电力企业提升信息化水平的必由之路,介绍了一个以ERP为核心,以XML和Web Ser-vice为基础的电力企业数据交换和共享平台模型,通过该平台实现了电力企业新开发的ERP系统和遗留系统异构数据源之间跨平台的数据交换和共享。应用案例表明,该平台实现了企业ERP与异构数据源数据共享与交换,为企业信息化打下了坚实的基础。
模式识别
改进的随机Hough变换的头部区域检测算法
陈昊,马钺,陈帅,李昭月
计算机科学. 2013, 40 (Z6): 163-165. 
摘要 ( 145 )   PDF(263KB) ( 459 )   
参考文献 | 相关文章 | 多维度评价
介绍了一种基于随机Hough变换(RHT)的圆检测的改进算法。该算法利用梯度方向信息来确定采样的3点是否进行累积,并在获得真实圆之后采取部分删减的策略来更新边缘点集。此方法不仅解决了传统RHT中由于随机采样而造成的大量无效累积问题,并且有效改善了传统RHT方法中与梯度方向Hough变换(GHT)算法相比最优拟合结果丢失的情况。该方法在降噪后的图像上做了实验,最优拟合结果出现概率明显提高,检测性能有了显著的改善。
基于SVM的人体运动状态检测
于雷,辛晓越,卢志泳,陈志鹏,刘宁
计算机科学. 2013, 40 (Z6): 166-168. 
摘要 ( 136 )   PDF(328KB) ( 1082 )   
参考文献 | 相关文章 | 多维度评价
针对人体运动状态监测中出现的设备要求苛刻、预测精准确较低等问题,采用了一种基于支持向量机(SVM)的人体运动状态检测方法。该方法通过移动终端设备中的传感器获取人体运动数据,并利用SVM对“小数据集”进行运动状态建模和预测,最终实现了低设备要求、高准确度的人体运动状态检测,并通过实验验证了其有效性。
基于压缩感知理论的视频编解码方法
杨鑫诚,何斌
计算机科学. 2013, 40 (Z6): 169-172. 
摘要 ( 116 )   PDF(349KB) ( 1260 )   
参考文献 | 相关文章 | 多维度评价
压缩感知理论是一种全新的信息处理方式,是近来国际上热门的研究方向,在信号处理等其他领域中具有很好的应用前景。结合压缩感知理论和传统的视频编解码技术,设计提出了一种基于压缩感知理论的视频编解码方案。用测试视频进行了仿真实验,结果表明该算法能够取得较好的效果。
基于改进的数学形态学的OCT图像快速边缘提取算法
张博闻,田小林,孙延奎
计算机科学. 2013, 40 (Z6): 173-175. 
摘要 ( 138 )   PDF(732KB) ( 469 )   
参考文献 | 相关文章 | 多维度评价
提出了一种基于形态学的OCT图像的边缘检测方法,即对原始图像预处理,增加图像的对比度和边缘特性,使用形态学腐蚀和膨胀两个基本算子进行,选取了合适的结构元素,最后采用canny算法提取边缘。实验结果表明,经过改进的数学形态学方法处理的图像边缘特性的提取效果显著增强,且效率高、处理速度快。与经典的边缘检测算子和传统形态学边缘检测算法相比,该算法优势更加明显,边缘提取质量显著提高,且速度有显著提升。
一种有效的提高车牌首字符识别率的方法
吕文强,杨健
计算机科学. 2013, 40 (Z6): 176-179. 
摘要 ( 135 )   PDF(326KB) ( 452 )   
参考文献 | 相关文章 | 多维度评价
针对车牌识别系统中由于低质车牌首字符特征提取困难而导致车牌首字符识别率不高的问题,提出了一种新的车牌汉字特征提取方法。该方法首先对车牌首字符的二值图像进行网格化处理,并对每一块网格区域提取字符笔画所在像素的占空比、散度和质心3个特征分量,接着将提取到的所有的特征向量用支持向量机分类器进行训练,最终可以得到一组鲁棒性很强的分类器。实验结果表明,该特征提取方法与支持向量机分类器结合可以较大地提高车牌首字符的识别率。
基于核空间LLE的彩色图像分割方法
刘越,彭宏京,钱素静
计算机科学. 2013, 40 (Z6): 180-183. 
摘要 ( 116 )   PDF(703KB) ( 494 )   
参考文献 | 相关文章 | 多维度评价
拉普拉斯特征映射近年来被成功地运用到基于聚类的彩色图像分割中,其构成图的结点间权重用高斯函数计算,很难真实反映像素局部几何结构,导致复杂图像边界分割困难。基于此,提出一种基于核空间局部线性嵌入的图像分割方法,其首先利用单个像素间的八邻域关系来构造图,然后将局部线性嵌入算法进行核化,从而实现在高维空间中利用相关拉普拉斯矩阵描述像素间相似度并生成特征向量子空间的过程,最后,利用模糊C均值聚类算法对特征向量进行聚类从而为单个像素分配类标签,最终达到了彩色图像分割的目的。实验结果表明,新方法较拉普拉斯特征映射方法的图像分割效果更显著。
基于模型的图形用户界面事件交互图生成方法
丰凯,高建华
计算机科学. 2013, 40 (Z6): 184-187. 
摘要 ( 279 )   PDF(412KB) ( 525 )   
参考文献 | 相关文章 | 多维度评价
用户界面(GUI)测试是一项很困难的工作,一个重要的原因是背景事件会影响测试结果,基于模型的图形用户界面测试技术可以解决这个问题。目前基于模型的图形用户界面测试技术有两种常用的GUI模型:事件流图(EFG)和事件交互图(EIG)。这两种模型可以表示GUI事件之间的交互关系,其中EIG是从EFG转换而来的。通过一个简单的GUI实例对GUI中的事件进行了明确的划分,并且为适应文中的划分事件改进了原有的MX算法。最后根据GUI的事件驱动性和对GUI事件的划分提出了一种由EFG转换成EIG的新方法:驱动算法。实例表明,此方法使EFG转换成EIG的过程更简单。
一种改进的基于信号能量阈值的表面肌电信号自动分割方法
李琳,王建辉,顾树生
计算机科学. 2013, 40 (Z6): 188-191. 
摘要 ( 128 )   PDF(339KB) ( 771 )   
参考文献 | 相关文章 | 多维度评价
表面肌电信号中连续动作信号的有效分段提取是对信号分析和处理的前提,提出了一种改进的肌电信号自动分割方法,为实现康复机器人信号全自动分析奠定了基础。该方法将表面肌电信号窗口能量作为肌肉动作始末点的判决标准,给出初始阈值计算公式。同时结合小波变换技术对非动作信号进行滤波,并根据分割点特征提出分割阈值自动调节方法。实验表明,该方法可以自动分割肌电信号,无需考虑测试者自身因素的影响,无需手工设定初值,分割结果准确,精度较高。
基于分割线的漫画帧识别与自动排序
焦利敏,何中市,李佳
计算机科学. 2013, 40 (Z6): 192-195. 
摘要 ( 145 )   PDF(669KB) ( 556 )   
参考文献 | 相关文章 | 多维度评价
分析了漫画构成文法,提出一种漫画结构定义法;分析了漫画帧排布特点和分治思想的关联性,提出基于二叉树结构的漫画帧迭代识别排序法;分析了漫画分割线特点,提出一种基于分割比的分割线选择算法。本方法可以对漫画帧进行自动识别、抽取与排序,帮助减少手动分割的工作量。分割后的漫画帧可以放在屏幕较小的手机或PDA上阅读,使漫画阅读方便、简单、生动。实验证明该方法对大多数漫画帧的识别分割和故事情节的先后顺序排列具有较好的适应性与实时性 。
基于视觉点特征的图像检索技术研究
孙思,赵珊,魏从刚
计算机科学. 2013, 40 (Z6): 196-198. 
摘要 ( 113 )   PDF(288KB) ( 456 )   
参考文献 | 相关文章 | 多维度评价
基于视觉点特征的图像检索是图像检索(Content Based Image Retrieval,简称CBIR)的一个子集,指利用图像中对图像的内容有显著影响的一些点特征对图像进行查询,试图在理解图像内容的基础上,检索出与示例相类似的图像。目前,CBIR技术在商标查询、罪犯比对等领域有着很重要的应用。本文主要集中在对图像的感兴趣点特征提取技术上,针对边缘方向直方图法存在的问题,提出一种基于Canny边缘提取及轮廓序列矩法,首先对图像进行预处理,然后采用Canny边缘提取方法提取图像的轮廓,最后,将该轮廓的3个矩作为最后的特征向量进行检索。实验证明,提出的算法检索效果较好。
基于HOG和Haar特征的行人追踪算法研究
陆星家,陈志荣,尹天鹤,杨帆
计算机科学. 2013, 40 (Z6): 199-203. 
摘要 ( 147 )   PDF(1147KB) ( 605 )   
参考文献 | 相关文章 | 多维度评价
行人在真实场景的检测和追踪是多目标检测和追踪研究中的一个重要问题,尤其是在真实的三维场景中的多行人之间的遮挡、拥挤以及背景的变化对多目标检测和追踪研究造成了严重的挑战。在多目标检测中利用了Haar特征、HOG特征,在行人正面向相机运动时,采用Haar特征检测器检测人脸,并结合Haar运动模型完成行人的检测,当行人侧向运动时,采用HOG特征,利用层次-部分模型进行行人的检测和追踪,在完成行人的检测之后,利用最大权重独立集合算法完成帧间目标的关联。通过对 ETH、TUD以及本地样本库的检测和追踪结果表明,采用Haar特征和HOG特征的检测算法对于行人的正面和侧面都具有较高的检测准确率、精确度。
视频跟踪算法研究综述
闫庆森,李临生,徐晓峰,王灿
计算机科学. 2013, 40 (Z6): 204-209. 
摘要 ( 242 )   PDF(760KB) ( 664 )   
参考文献 | 相关文章 | 多维度评价
在许多计算机视觉应用领域中,视频跟踪是最基本的任务。尽管有了大量的跟踪算法,但是跟踪算法的鲁棒性仍是具有挑战性的问题。物体的突然运动、目标或者背景外观的改变、目标与目标以及目标与背景的遮挡、非刚性物体的结构、摄像机抖动等问题都是视频跟踪算法设计过程中需要考虑的因素。介绍了视频跟踪算法及其研究进展,综述了现有基本的目标跟踪算法分类,详细描述了每种表示方法,并指出其优缺点。进一步讨论了跟踪的重要性问题,包括目标检测、特征选择、贝叶斯跟踪、在线学习跟踪等。
图形处理器低功耗设计技术研究
田泽,张骏,许宏杰,郭亮,黎小玉
计算机科学. 2013, 40 (Z6): 210-216. 
摘要 ( 157 )   PDF(874KB) ( 869 )   
参考文献 | 相关文章 | 多维度评价
图形处理器(GPU)以其强大的图形加速性能以及在通用计算领域的出色表现正在被越来越广泛地应用。但随着芯片规模和集成度的不断提升,单个GPU芯片的功耗已经高达376W,是高端通用处理器的2~3倍。高功耗带来的可靠性、稳定性以及芯片成本问题使“功耗墙”已经成为未来GPU设计过程中需要突破的关键问题之一。立足于体系结构层次,结合图形处理器的渲染流水线的结构特点,从深度测试和消隐、染色器数据通路、纹理映射和压缩、渲染策略、寄存器文件和片上Cache等角度描述了图形处理器的低功耗设计技术,并指出了GPU低功耗设计技术的进一步研究方向。
盲源分离技术在AIS中的应用
赵文红,王巍
计算机科学. 2013, 40 (Z6): 217-219. 
摘要 ( 114 )   PDF(248KB) ( 365 )   
参考文献 | 相关文章 | 多维度评价
AIS自动识别系统是国际船舶组织统一使用的一种海上船舶运输系统。船上的AIS设备定时地报告该船的位置、航向以及其他相关的安全信息等,其他船只和岸上的基站同时可以收到这些汇报信息。它通过船舶之间以及船舶和岸台之间交换航行信息,进一步加强航行安全。AIS采用SOTDMA技术来调配发送信息的时隙,但是信息冲突是不可避免的。引入盲源分离技术,一旦信息发生冲突,可以将信息分离出来,防止了信息的丢失,从而提高了信号的监测概率。
无线网络与通信
基于片上网络多处理器QoS研究与设计
衡霞,支亚军,韩俊刚
计算机科学. 2013, 40 (Z6): 220-222. 
摘要 ( 112 )   PDF(231KB) ( 883 )   
参考文献 | 相关文章 | 多维度评价
在研究片上网络服务质量的基础上,提出面向多处理器的64核片上网络结构。IP单元产生不同类型的数据包,网络提供优先级别服务,以保证高优先级数据包的低延时需要。性能统计结果表明,该模型对多处理器之间不同类型的数据包通信均满足服务质量要求。
基于手机平台的嗅觉网络传输研究与探索
李联宁
计算机科学. 2013, 40 (Z6): 223-227. 
摘要 ( 100 )   PDF(498KB) ( 892 )   
参考文献 | 相关文章 | 多维度评价
介绍使用半导体气体传感器阵列感觉自然界各类物质气味,而后通过传感器阵列与神经网络软件的接口进行转换,再用BP神经网络算法进行数据处理与信息融合。在通过互联网或3G移动通信网络进行多媒体传输的基础上,废弃使用气味合成发生器的传统方法,研究以超声波直接传导到人类大脑嗅觉感应中心的方式来实现嗅觉传输不经过人类鼻腔的直接传输模式,通过互联网达到超远距离进行嗅觉传输的目的。进行的研究与探索试图通过实验证明基于手机(移动终端)平台的嗅觉传输的可行性,以为阐明气味复现机制、揭示机器嗅觉规律、以人工神经网络组成为基础为全球范围提供嗅觉、味觉、触觉的互联网及移动通信网络传导提供思路。
IEEE 802.16e上行测距研究
吕海坤,黎海涛
计算机科学. 2013, 40 (Z6): 228-231. 
摘要 ( 131 )   PDF(620KB) ( 368 )   
参考文献 | 相关文章 | 多维度评价
IEEE802.16e/ WiMAX无线网络中,由于每个用户端与基站的距离各不相同,需要采用有效的测距机制对用户信号进行上行同步和功率控制。首先分析了IEEE802.16e的测距原理,包括测距码的产生、发送与检测算法等;然后,给出了上行基站测距处理的各个功能单元,如测距码、功率检测和时延估计的设计流程;最后,在IEEE802.16e基站系统中完成了上行测距处理的实现,测试结果表明给出的测距方案可行。
基于云计算与物联网技术的港口物流综合服务平台架构研究
韩海雯,齐德昱,封斌
计算机科学. 2013, 40 (Z6): 232-235. 
摘要 ( 149 )   PDF(476KB) ( 491 )   
参考文献 | 相关文章 | 多维度评价
世界贸易量的不断攀升对港口物流及相关业务提出了新的发展要求。物联网技术在数据自动采集和位置全面感知方面有着天然的优势,云计算平台能够提供强大的资源利用与数据存储处理能力,SOA架构则可实现灵活的服务组合和系统构建。这3种技术在港口物流及相关业务中的综合应用能够满足港口物流在用户数量、用户需求、业务范围、业务复杂度方面不断扩大的需求,推动其从信息平台向服务平台升级。针对当前物流信息平台存在的不足,提出构建港口物流综合服务平台的完整架构,阐述了架构各层的组成及功能目标,详细研究了物联网技术、云计算技术和SOA架构在平台各层构建中发挥的作用。
嵌入式瘦Web服务器的设计与研究
崔丽群,张明杰
计算机科学. 2013, 40 (Z6): 236-238. 
摘要 ( 102 )   PDF(372KB) ( 517 )   
参考文献 | 相关文章 | 多维度评价
为了在低端单片机的环境下设计与研究一种嵌入式瘦Web服务器,对TCP/IP协议栈进行了精简,尤其是在TCP精简中提出了一种加速打开机制,避免了三次握手过程,并对CGI技术进行了改进。利用Javascript将服务器端的部分工作移到客户端处理,利用XMLHttpRequest实现服务器和浏览器异步通信,从而能有效地提高服务器的性能。通过性能测试表明,该服务器符合嵌入式环境的要求,在低端平台上实现嵌入式Web服务器具有较高的实用价值。
高阶调制APSK信号载波同步算法研究
胡景明,郭道省,王辉
计算机科学. 2013, 40 (Z6): 239-242. 
摘要 ( 191 )   PDF(707KB) ( 786 )   
参考文献 | 相关文章 | 多维度评价
随着卫星通信业务的发展,卫星宽带高速数据通信变得越来越重要,使得高阶调制技术逐渐应用于卫星通信中,但载波频偏对诸如APSK等高阶调制信号的影响很大,其多个幅度也使得载波同步更加复杂。在回顾载波同步算法理论的基础上,分析了载波频率和相位偏差对APSK信号系统的影响,并研究了载波频率和相位偏差的估计算法。分析表明,算法可有效地解决APSK信号多幅度和相位模糊较大的问题,可较好地适用于APSK信号的载波频率和相位同步。
基于泛函网络的周期来压预测方法研究
崔铁军,马云东
计算机科学. 2013, 40 (Z6): 243-246. 
摘要 ( 129 )   PDF(355KB) ( 397 )   
参考文献 | 相关文章 | 多维度评价
为预测周期来压,构建了基于小波和混沌优化的泛函网络(FN)预测方法。该方法利用小波分解技术将所选的样本集数据分解成不同频率的分量。基于混沌理论对分量相空间进行重构。各重构分量分别使用FN模型进行训练。最后,将各个FN模型得到的预测分量进行小波重组,得到完整的周期来压荷载预测波形。通过在重构时的计算发现,荷载的时序序列有一定的混沌性。通过模拟并与3种其它模型进行比较发现,基于小波和混沌优化FN的预测模型得到的最终周期来压荷载波的精度更高,收敛性也较好,但是,时间成本较大。
云计算平台下移动商务交互模型设计与实现
叶水生,肖磊
计算机科学. 2013, 40 (Z6): 247-250. 
摘要 ( 87 )   PDF(595KB) ( 472 )   
参考文献 | 相关文章 | 多维度评价
在云计算平台下,设计并实现了移动商务的交互模型,通过集群的分布式计算,对前端客户需求实现资源的统一调度和分配,服务器的计算能力得到明显提高,实现了轻客户端的目的。依靠云计算的按需调用实现信息交互,服务器和客户端成为两个独立的单元,在客户端只需要一个浏览器就可以完成整个交易过程,保证了双方设计上的灵活性。经实验验证,采用交互模型实现移动商务,能够使服务资源得到最优分配,从而改善了交易方式,提升了用户体验。
水下传感器网络系统架构与体系结构研究
郑君杰,李延斌,尹路,马金钢,王洪涛
计算机科学. 2013, 40 (Z6): 251-254. 
摘要 ( 225 )   PDF(605KB) ( 838 )   
参考文献 | 相关文章 | 多维度评价
针对水下传感器网络的现实需求,构建了水下传感器网络的应用场景,提出了高密度水下三维传感器网络的全新概念。结合水下传感器网络的应用,基于陆上传感器网络的体系结构,设计了水下传感器网络的体系结构,对该体系结构各层的功能进行了深入分析。提出一种基于深度信息与能量均衡的水下路由协议,该协议利用节点的深度信息就可以完成数据的有效转发,节点间通信量极少;并设计了协议的算法,提出了空洞处理对策。
无线传感器网络远程代码更新技术研究进展
况晓辉,许飞,刘丽
计算机科学. 2013, 40 (Z6): 255-261. 
摘要 ( 98 )   PDF(853KB) ( 398 )   
参考文献 | 相关文章 | 多维度评价
高可用性是无线传感器网络的设计目标之一,远程代码更新可增加或更新运行在传感器节点上的软件,是提高无线传感器网络可用性的重要支撑。分析和总结了传感器网络远程代码更新研究领域的研究成果,阐述了主要远程代码更新机制及其待解决的问题,最后探讨了今后应研究的问题,指明了下一步研究的重点和难点。
基于M/M/1/K排队模型的低功耗无线通信网络TDMA协议延迟评估及仿真
冯永,姚龙海,张亮
计算机科学. 2013, 40 (Z6): 262-264. 
摘要 ( 88 )   PDF(308KB) ( 636 )   
参考文献 | 相关文章 | 多维度评价
基于M/M/1/K排队模型对低功耗无线通信网络中的TDMA协议延迟特性进行了评估,利用网络仿真软件QualNet在单跳簇状网络拓扑的条件下对不同接口的TDMA延迟特性进行了相应的仿真,并将仿真结果与评估值进行了对比。仿真表明,该评估方案具有较好的近似性,同时,硬件接口的选择对于减少TDMA延迟时间有着较大的影响。
几类新的笛卡尔乘积互连网络
师海忠
计算机科学. 2013, 40 (Z6): 265-270. 
摘要 ( 119 )   PDF(462KB) ( 501 )   
参考文献 | 相关文章 | 多维度评价
Star网络、Pancake网络、Bubble sort网络、修正Bubble sort网络(又称圈图)、轮图等都既是Cayley图又是重要的互连网络。利用图的笛卡尔乘积方法构建了几类新的笛卡尔乘积互连网络:环网、循环移数网络、ILLIAC网络、超立方体分别与Star网络、Pancake网络、Bubble sort网络、修正Bubble sort网络、轮图的笛卡尔乘积网络;这些网络的某些性能指标(例如,直径等)比Star网络或超立方体更好。
云平台应用系统迁移方法的研究
张靓,范冰冰,郑伟平
计算机科学. 2013, 40 (Z6): 271-275. 
摘要 ( 72 )   PDF(672KB) ( 335 )   
参考文献 | 相关文章 | 多维度评价
针对多组件应用系统迁移到云平台的目标物理服务器的选择问题,提出了一种基于组件间通信量的迁移方法。迁移方法根据形式化后的应用系统逻辑架构图和云平台物理资源组织结构图,通过计算组件间的通信量和虚拟资源需求值,为应用系统各组件在云平台选择目标物理服务器。通过在品高云计算平台上的多租户精品课程网站群系统的迁移实验,证明了所提迁移方法较好地减少了应用系统在使用时,云平台内部物理服务器间的通信量。
MFSK信号在循环频率处基于一阶循环矩检测器的性能分析
李小强,沈越泓,李颖,丁豪杰,汪李峰
计算机科学. 2013, 40 (Z6): 276-279. 
摘要 ( 177 )   PDF(375KB) ( 347 )   
参考文献 | 相关文章 | 多维度评价
频谱感知是认知无线电的关键技术之一。在信噪比较低并且对主用户信号先验知识知道较少的情况下,主用户检测对于认知无线电设备来说是非常重要的。对有噪MFSK信号在循环频率处基于一阶循环矩检测器的性能进行了较为深入的理论分析,并推导了采样长度有限时噪声一阶循环矩幅度及有噪MFSK信号在循环频率处一阶循环矩幅度的概率密度函数公式;据此给出了该检测器的ROC特性曲线计算方法。理论分析表明,随着采样长度的增加,该检测器的性能显著提高;同等条件下,随着MFSK信号进制数M的增加,检测器性能有所下降。
P2P流媒体系统中基于直觉模糊集的节点选择策略
李彦,王丽娜
计算机科学. 2013, 40 (Z6): 280-282. 
摘要 ( 118 )   PDF(343KB) ( 357 )   
参考文献 | 相关文章 | 多维度评价
通过对非结构化P2P网络中的随机节点选择算法进行研究,运用模糊理论中的直觉模糊集概念提出了基于得分函数的节点选择策略,以克服传统策略的随机性和盲目性。采取对节点的可靠度进行得分排序的方法,充分利用了能力强的节点,其具有良好的适应性,可反映P2P网络中节点和资源的动态性,提高了系统的整体效率。
数据链通信实时数据传输QoS控制研究
董长城,吴炜,李峻林,赵恒
计算机科学. 2013, 40 (Z6): 283-286. 
摘要 ( 105 )   PDF(349KB) ( 442 )   
参考文献 | 相关文章 | 多维度评价
目前基于数据链通信的服务器节点大多采用FCFS的服务模型进行实时数据传输,并没有根据实时数据的时效性及优先级提供良好的QoS控制。提出一种基于数据链通信的实时数据传输QoS控制算法,其通过在应用层对实时数据进行QoS分级并采用一种最早截止时间优先的优先级可控制算法(PC-EDF)进行调度,以保障在数据链通信带宽受限的条件下实时数据端到端传输的低时延以及可靠性。实验结果也验证了该方法的有效性。
采用随机移动模型的无线自组织仿真网络连通性分析
刘宴涛,汪博,安建平,刘珩
计算机科学. 2013, 40 (Z6): 287-290. 
摘要 ( 99 )   PDF(401KB) ( 506 )   
参考文献 | 相关文章 | 多维度评价
以无线自组织网络的连通性作为研究对象,根据几何随机图中最小度原理,结合均匀分布、泊松分布、随机点模型网络、随机方向模型网络等几种网络的节点概率分布,计算网络中节点的最小度,得到网络1-连通度与节点数和通信半径的定量关系,证明网络连通性按照均匀网络、随机方向模型网络和随机点模型网络的次序减弱。
Wiki远程支援终端系统的设计与实现
马力,郑国宁,孙煜
计算机科学. 2013, 40 (Z6): 291-295. 
摘要 ( 74 )   PDF(652KB) ( 324 )   
参考文献 | 相关文章 | 多维度评价
舰员作为远程支援系统的主要使用对象,是整个系统的使用核心。舰员远程支援系统由于远离大陆,离线支援是非常重要的部分。详细描述了完整的Wiki支援系统的设计需求、设计方案和系统组成,并 给出了关键技术的实现代码。
基于JTAPI的调度服务器基本功能的设计与开发
田文锋,卜宪德
计算机科学. 2013, 40 (Z6): 296-298. 
摘要 ( 94 )   PDF(246KB) ( 595 )   
参考文献 | 相关文章 | 多维度评价
随着IP化技术的发展、调度设备的更新,多媒体调度系统比传统调度系统更加直观与人性化。因此电力调度系统也引入了软交换来开发多媒体调度系统。在深入研究CTI技术及其JTAPI标准协议接口的基础上,结合电力通信调度系统的需求,提出了基于思科统一通信平台的电力多媒体调度系统架构。对于框架中的调度服务器的基本外呼、多方会议、强插、强拆等功能,给出了在JAVA平台上基于JTAPI标准接口开发的具体实现方法。
一种改进的K-Reach索引的快速创建算法
刘凯洋
计算机科学. 2013, 40 (Z6): 299-301. 
摘要 ( 94 )   PDF(284KB) ( 400 )   
参考文献 | 相关文章 | 多维度评价
基于经典网络可达性问题的k可达性问题对于无线网络、社交网络等新型网络具有重要意义。最新提出的K-Reach[1]可以快速地计算任意两个顶点之间是否存在长度小于为k的路径。注意到随着K-Reach索引的逐步建立,已经计算过的顶点包含其所有可达顶点的路径信息。因此,提出一种改进的K-Reach索引创建算法,其充分利用了这些路径信息,避免了重复访问大量顶点,从而提升了算法效率。通过对不同实际数据进行的实验表明,改进算法所用时间明显小于原始算法。
信息安全
基于事件处理的分布式系统故障定位技术
杜翠兰,谭建龙,王晓岩,张宇,刘萍,樊冬进
计算机科学. 2013, 40 (Z6): 302-306. 
摘要 ( 79 )   PDF(431KB) ( 474 )   
参考文献 | 相关文章 | 多维度评价
近年来,分布式计算系统的规模越来越大、行为越来越复杂难控,系统中出现的各种故障也呈指数级增长,造成了非常严重的危害和损失,并且出现问题时对故障的排查、定位难度进一步加大。传统的通过跟踪程序运行轨迹来判断程序运行正确与否的方法,在分布式监控信息的交互上因消耗过大而且对目标程序侵入性高,已经难以满足软件行为分析的需求。通过复杂事件的处理及时发现和定位系统故障在事件大量、快速、不间断发生的分布式监控环境中显得尤为迫切。它可以利用有意义的信息状态变化事件分析系统行为,进而判断系统的运行状况,及时发现系统故障并定位,保证系统的健康运行。当前已有的复杂事件描述语言大多数是基于SQL 的方法来描述复杂事件。这种数据流查询语言对于普通用户而言比较复杂,难以掌握。通过构建一种基于集合的事件流模型,对事件进行形式化定义,使用集合来表示事件,并定义相应的操作,使得用户只需掌握几个简单的集合操作,便可以定义复杂的故障规则。
协作频谱感知及SSDF攻击研究
曹龙,赵杭生,鲍丽娜,赵小龙
计算机科学. 2013, 40 (Z6): 307-310. 
摘要 ( 108 )   PDF(312KB) ( 327 )   
参考文献 | 相关文章 | 多维度评价
认知无线电网络中,协作频谱感知技术利用多个认知用户的本地感知,克服了多径效应、阴影效应等问题的制约,提高了系统的检测性能。介绍了典型的协作感知系统模型,对本地感知和融合判决这两个关键要素进行了分析,给出了单节点检测与协作感知时的ROC曲线及性能比较。介绍了频谱感知数据篡改攻击、分类以及目前对该攻击的研究现状,针对可能出现的攻击情况,进行了理论分析和仿真,仿真结果表明遭受SSDF攻击后系统性能明显下降。最后总结了全文。
基于复数的隐私保护数据融合方案
曹晓梅,刘大伟
计算机科学. 2013, 40 (Z6): 311-314. 
摘要 ( 100 )   PDF(349KB) ( 382 )   
参考文献 | 相关文章 | 多维度评价
致力于如何实现无线传感器网络的安全数据融合,提出了一种基于复数的隐私保护数据融合方案CNPD(Complex Number-based Privacy Data Aggregation)。CNPD方案中,传感器节点在采集到数据之后,利用自身的私有数据形成复数形式的自定义数据来隐藏和融合敏感数据。即使隐私数据被攻击者窃听或解密,该方案也可以防止它们恢复出敏感信息,从而有效地保护了用户隐私数据的安全。通过理论分析和仿真实验表明:与PDA相比,CNPD在通信开销以及安全方面更加高效。
基于路径约束的间接跳转目标地址识别
李丹,王震宇,井靖,王国好
计算机科学. 2013, 40 (Z6): 315-319. 
摘要 ( 101 )   PDF(445KB) ( 615 )   
参考文献 | 相关文章 | 多维度评价
间接跳转目标地址的识别一直是二进制代码控制流重构的难点之一,其跳转目标一般依赖于程序动态执行时的信息,传统方法无法精确识别。通过对控制流重构技术的研究,提出一种基于路径约束的间接跳转目标地址识别方法,即对于一个间接跳转,在初始控制流图的基础上构建从程序入口点到间接跳转的路径集合,对于每条路径,首先通过数据流分析相关技术得到跳转目标地址关于自由变量的一个表达式,然后对路径约束求解,得到满足约束的自由变量的一组特定解,并以此确定跳转目标表达式的值。通过该方法,每个间接跳转都可以根据路径集合确定跳转目标的地址集合。
基于安全域隔离的嵌入式系统的访问控制机制研究
牛文生,李亚晖,张亚棣
计算机科学. 2013, 40 (Z6): 320-322. 
摘要 ( 110 )   PDF(363KB) ( 559 )   
参考文献 | 相关文章 | 多维度评价
针对嵌入式领域安全关键系统的信息安全问题,提出了基于安全域隔离的访问控制模型,采用分区间信息流隔离控制机制,结合分区间消息路由和消息权限鉴别机制,实现了分区操作系统中安全关键类应用任务的多级安全访问控制,并依据该模型设计了多级安全操作系统的访问控制机制。通过安全性分析证明,该机制使基于微内核的嵌入式操作系统能够防止非法的资源访问、身份伪装、信息泄露和隐秘通道等安全威胁;经过系统的性能测试表明,安全访问控制机制的引入使嵌入式操作系统的综合性能消耗约为10%左右。
复杂涉密网络高清视频会议系统的设计与实现
马绍良,李凤保,路海
计算机科学. 2013, 40 (Z6): 323-326. 
摘要 ( 119 )   PDF(618KB) ( 465 )   
参考文献 | 相关文章 | 多维度评价
通过对国内外涉密视频会议系统发展现状的调查分析以及对相关音视频编解码技术、边界防护、QoS服务保障、安全策略部署等关键技术的研究,设计了一种基于涉密复杂网络的高清视频会议系统。结合摄像自动跟踪控制和高清视频编解码等技术,完成了在窄带宽、安全管控严格的涉密网环境中的高清视频会议系统的设计与实施,其满足国家涉密网络应用系统的相关接入要求。实践表明,该设计在涉密网络环境视频会议系统建设中具有一定的指导意义。
无线传感器节点的故障诊断研究
尚兴宏,尚曦乐,章静,钱焕延
计算机科学. 2013, 40 (Z6): 327-329. 
摘要 ( 113 )   PDF(311KB) ( 398 )   
参考文献 | 相关文章 | 多维度评价
无线传感器网络节点发生故障不仅消耗节点的能量和网络带宽,甚至会造成网络瘫痪。在分析无线传感器网络节点故障类别的基础上,分别使用相关向量机、支持向量机等算法对其进行研究,并用节点的特征值及相应的故障类型训练相关向量机及支持向量机的分类器。仿真结果表明,相关向量机比支持向量机和人工神经网络有更高的诊断精度。
基于频率特征向量的系统调用入侵检测方法
张莉萍,雷大江,曾宪华
计算机科学. 2013, 40 (Z6): 330-333. 
摘要 ( 85 )   PDF(459KB) ( 527 )   
参考文献 | 相关文章 | 多维度评价
针对基于系统调用的异常入侵检测方法中较难抽取正常系统调用序列的特征库问题,提出将正常系统调用序列抽取出的子序列的频率特征转换为频率特征向量,并以此作为系统调用序列的局部和全局特征;为了保证对大规模数据集检测的准确率和速度,采用一类分类支持向量机(SVM)分类器进行学习建模,利用先前建立的特征库进行训练,建立入侵检测分类模型,最后对于待检测序列进行异常检测。在多个真实数据集上与已有的异常入侵检测方法进行比较实验,结果表明本文提出的方法的多个异常检测指标都都优于已有方法。
P2P环境下的具有隐私保护的信誉协议
孙波,丁雪峰,司成祥,张伟
计算机科学. 2013, 40 (Z6): 334-336. 
摘要 ( 112 )   PDF(332KB) ( 508 )   
参考文献 | 相关文章 | 多维度评价
信誉协议通过计算系统用户的信誉评价结果的总合得到最后的信誉结果,然后根据该信誉结果做出相应的决策。在现实情况中信誉系统中的用户往往会反馈一个不诚实的信誉值,因为他们担心他们真实的评价结果会遭到对手的报复。提出一个具有隐私保护的信誉协议,该协议能保证某实体得到其他实体诚实公平的信誉评价。在该协议中使用Shamir门限密钥共享为参与者提供共享子密钥,并利用具有同态性质的可验证密钥共享使得交易员和密钥持有者之间能够验证共享子密钥的正确性。协议中持有共享子密钥的参与者是随机选择的。运用语义安全的ElGamal 密码系统和Cramer Shoup密码系统,共享密钥的持有者可以以隐私保护的方法提交他们的信誉值,并由一个可信的代理计算信誉结果提交给信誉引擎。用户可通过访问信誉引擎获得信誉结果。该协议保证了信誉结果计算过程中的隐私保护性和信誉结果的可靠性。
基于时序分析的木马控制行为识别方法
陈利,张利,姚轶崭,胡卫华
计算机科学. 2013, 40 (Z6): 337-339. 
摘要 ( 223 )   PDF(257KB) ( 427 )   
参考文献 | 相关文章 | 多维度评价
传统指纹识别方法在检测新型未知木马时漏报率较高。为此,提出基于时序分析的无指纹木马控制行为识别方法。该方法先对数据流进行时序分簇处理,再计算分簇数据的加权欧氏距离,通过分簇数据的时序关系来识别木马控制行为。实验表明,该方法无需特征指纹库,且检测准确率高,占用资源少,能实现实时检测和处理。
工业控制系统信息安全审计系统分析与设计
陈庄,黄勇,邹航
计算机科学. 2013, 40 (Z6): 340-343. 
摘要 ( 108 )   PDF(364KB) ( 481 )   
参考文献 | 相关文章 | 多维度评价
目前工业控制系统(Industrial Control System,ICS)广泛应用于电力、水利、交通运输、大型制造行业以及国家基础公共设施,已经成为国家安全战略的重要部分。 传统的信息安全防护技术(如防火墙技术、入侵检测技术等)因其技术原理和适用协议的差异,使工业控制系统不能取得很好的防范效果。为了有效地提高ICS的安全防护能力,该文针对ICS的数据特点以及协议特点设计了一款ICS信息安全审计系统,该审计系统主要由数据采集模块、内容检测模块、异常行为判断模块、行为处理模块、审计响应模块等组成。实验结果表明,本系统能够对ICS进行全方位的安全审计,能够极大程度地提高ICS的安全防护能力。
利用一个组合检测系统来减少对恶意请求的错误判断
林捷
计算机科学. 2013, 40 (Z6): 344-348. 
摘要 ( 101 )   PDF(583KB) ( 359 )   
参考文献 | 相关文章 | 多维度评价
当今Web应用程序定制技术被广泛应用,异常检测技术在预警和实时阻断应用级程序攻击网站等方面是一个很合适的方法。然而,异常检测技术更容易产生误报和漏报的问题。利用一个综合系统来解决问题,这个综合系统包括基于Web的异常检测系统和一个数据库异常检测系统。即一个Web的异常检测系统和SQL查询的异常检测系统的串行结构将能提高系统检测的效率。在现有的几种Web应用程序上对其适用性进行了评估,显示出该算法在减少误报和漏报方面是可行的有效的。
一种基于有损连接的个性化隐私保护方法
刘英华
计算机科学. 2013, 40 (Z6): 349-353. 
摘要 ( 82 )   PDF(453KB) ( 362 )   
参考文献 | 相关文章 | 多维度评价
匿名模型是近年来隐私保护研究的热点技术之一,主要研究如何在数据发布中既能避免敏感数据泄露,又能保证数据发布的高效用性。提出了一种(α[s],k)-匿名有损分解模型,该模型通过将敏感属性泛化成泛化树,根据数据发布中隐私保护的具体要求,给各结点设置不同的个性化α约束;基于数据库有损分解思想,将数据分解成敏感信息表和非敏感信息表,利用有损连接生成的冗余信息实现隐私保护。实验结果表明,该模型很好的个性化保护了数据隐私。
小数的最佳分数表示算法研究
薛丹,李顺东,杨宸
计算机科学. 2013, 40 (Z6): 354-355. 
摘要 ( 121 )   PDF(236KB) ( 952 )   
参考文献 | 相关文章 | 多维度评价
在科学与工程计算中无理数的表示与运算是一个非常棘手的问题。如果能够用整数表示无理数,将给科学与工程计算带来极大的方便。要实现无理数的整数化表示,第一步要做的是实现无理数的有理化表示。利用连分数作为桥梁,首先将无理数转化为连分数,然后根据计算精度的要求生成最简分数表示,从而实现无理数的最佳有理逼近。最后给出了一些常用常数在不同计算精度要求下的最佳有理逼近,其对科学计算有一定的指导意义。
基于公平MAC协议的RTS注入攻击的防御方法
叶进,王正飞,聂东举,张向利
计算机科学. 2013, 40 (Z6): 356-360. 
摘要 ( 81 )   PDF(427KB) ( 524 )   
参考文献 | 相关文章 | 多维度评价
针对WLAN环境下对AP的RTS注入攻击方式,引入虚拟队列管理机制,提出了基于公平MAC协议的解决方案。与已有的方案相比,该方案只需要在AP上部署,算法简单有效,具有良好的工程可行性。仿真结果表明,该方法能够有效抵御RTS攻击且对MAC层其它形式的DoS攻击也具有普遍意义上的防御性。
远程多管火箭炮火控系统的软件安全性测试分析
庞红彪,李之博,高小雅
计算机科学. 2013, 40 (Z6): 361-364. 
摘要 ( 92 )   PDF(380KB) ( 419 )   
参考文献 | 相关文章 | 多维度评价
简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵;然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试,系统解决了远程多管火箭炮火控系统软件安全性测试“难”“杂”“多”问题,有效提高了测试效率和质量,进一步确保了远程多管火箭炮火控系统的安全性。
基于三维Lorenz混沌的彩色视频加密
何晔,王磊,夏晖,张学峰
计算机科学. 2013, 40 (Z6): 365-367. 
摘要 ( 109 )   PDF(494KB) ( 384 )   
参考文献 | 相关文章 | 多维度评价
混沌理论应用于加密还是一个比较新的研究领域,现有的基于混沌理论的视频加密大多采用单独的低维映射,安全性不高;而高维混沌系统虽然加密性好,但由于其密钥序列复杂的产生过程与视频加密数据量大、实时性要求高的特点形成矛盾,至今仍鲜有应用。针对于此,结合像素扩散的思想,提出了一种基于三维Lorenz混沌的彩色视频加密算法,该算法遵循香农信息论中的混淆与扩散机制,视频帧中任何一个像素的解密错误都会影响整个视频的解密,具有很高的安全性。此外,该算法还具有加密速度快等优势,解决了高维混沌系统应用于视频加密的难点。
智能系统及应用
基于SVR算法的燃气轮机功率预测研究
王文超,苗夺谦,陈骥远
计算机科学. 2013, 40 (Z6): 368-371. 
摘要 ( 117 )   PDF(321KB) ( 603 )   
参考文献 | 相关文章 | 多维度评价
对燃气轮机未来几小时的功率预测是跳闸等故障预警的关键,而国内该方面研究尚少。采用支持向量回归模型,并融合多变量预测,以提高预测的准确性。以某电厂燃气轮机运转的实际数据为例,设计多组对比实验,详细阐述了实验流程以及重要参数的选取方法,最终验证了该方法的有效性。
云计算在医疗机构部署中的云资源管理的一种方式
魏振钢,孙维成,杨洁,陈超
计算机科学. 2013, 40 (Z6): 372-373. 
摘要 ( 95 )   PDF(518KB) ( 496 )   
参考文献 | 相关文章 | 多维度评价
将云计算应用到医疗机构信息化建设,可以为医疗机构信息化管理带来激动人心的成果。从云计算在医疗机构中的部署出发,介绍了一种采用云资源数据库管理云资源的方式,并描述了云资源数据库的设计与使用。
面向流水线型模式的MANET嵌入式可靠性分析研究
赵志峰,田立新,赵曦滨,钟诚
计算机科学. 2013, 40 (Z6): 374-376. 
摘要 ( 127 )   PDF(347KB) ( 353 )   
参考文献 | 相关文章 | 多维度评价
随着大型离散制造业的竞争日益激烈,提高生产效率变得越来越重要。实施MES(Manufacturing Execution System)是提高竞争力的一个比较好的解决方案,而网络通信畅通是实施MES的关键基础。针对大型离散制造业车间的行业特点和实际环境,引入了移动自组织网络(MANET,Mobile Ad hoc Network)作为通信的网络。由于MANET是不依赖固定基础设施、无中心控制、动态拓扑的动态无线通讯网络,研究基于实际环境的MANET的可靠性对于网络的部署和调整就显得非常有现实意义。基于实际制造业车间环境,给出了面向作业型制造业生产模式的MANAET可靠性分析模型(ERMWT,Embedded Reliability Model on Working Table)。
虚拟现实技术在隧道开挖工程中的应用
黄地龙,邓飞,唐云
计算机科学. 2013, 40 (Z6): 377-380. 
摘要 ( 138 )   PDF(391KB) ( 571 )   
参考文献 | 相关文章 | 多维度评价
针对复杂地质结构与多地质灾害风险的地下隧道开挖安全和科学施工,提出了一种隧道开挖计算机仿真方法。方法首先以地质勘探资料为基础,通过智能推演和人机交互方法进行三维地质建模,然后应用计算机仿真技术虚拟隧道开挖,最终揭示隧道围岩地质结构变化特征,实现隧道开挖过程中的地质灾害风险预警。方法成功地应用于几个大型铁路隧道开挖工程,结果证明该方法能够有效预测隧道围岩地质结构变化与地质灾害可能发生的空间位置、类型与级别。方法为实际隧道科学施工决策、安全开挖提供了可靠依据。
网络隔离技术在3G移动办公中的应用探讨
孙庆和,刘道群
计算机科学. 2013, 40 (Z6): 381-383. 
摘要 ( 98 )   PDF(260KB) ( 392 )   
参考文献 | 相关文章 | 多维度评价
网络隔离技术在安全性要求高的领域得到广泛的应用。为了解决3G移动办公对信息传输的实时性和安全性需求,引入了网络隔离技术。详细描述了网络隔离的技术原理、主要功能及特点,并以网络隔离为基础设计了3G移动办公的安全解决方案。经应用证明,基于网络隔离的安全解决方案具有设计简单、隔离充分和安全性高等特点。
基于NewMap API的地图服务系统在交通拥堵识别中的应用研究
苗得文,邱满,许忠奇,奚雪峰,付保川
计算机科学. 2013, 40 (Z6): 384-386. 
摘要 ( 117 )   PDF(268KB) ( 378 )   
参考文献 | 相关文章 | 多维度评价
随着经济的快速发展,我国的交通基础设施大为改善,但是,道路的增长跟不上车流量的增长;与此同时,行车路线变得越来越复杂,间接地增加了道路网的复杂度,这些都为通畅行车带来了一定的阻碍。在交通出现拥堵时,如果能够实时快捷地识别拥堵地点以及拥堵程度,即可采取针对性的措施,避免加剧拥堵。但是,当前交管部门所采取的视频远程监控方式,依靠人工查看,其在拥堵识别的自动化及实时性方面,存在不足。本系统利用交通运行中特定公共车辆实时移动信息,基于NewMap API的地图服务,结合堵塞识别模型,实时地反应城市道路的交通拥塞状况,为动态优化出行路线提供了前提条件。
并行网络文件系统PNFS研究
张媛,于冠龙,阚云鹤
计算机科学. 2013, 40 (Z6): 387-391. 
摘要 ( 94 )   PDF(679KB) ( 611 )   
参考文献 | 相关文章 | 多维度评价
从解决高性能计算机I/O瓶颈面临的问题着手,首先详细分析并设计了并行网络文件系统——PNFS的结构、存储机制、管理机制和工作机制,然后对并行网络文件系统PNFS的原型系统进行了性能测试,从而验证了并行网络文件系统PNFS可以有效地解决传统网络文件系统在可扩展性、可用性和性能上存在的问题,能够为高性能文件系统的建立提供一种行之有效的解决方法。
测控应用软件系统资源复用研究
陈骁,孙军,刘志芳
计算机科学. 2013, 40 (Z6): 392-394. 
摘要 ( 77 )   PDF(279KB) ( 339 )   
参考文献 | 相关文章 | 多维度评价
随着我国航天任务执行密度和并发度不断加深,测控软件准备实施的高效率能力面临考验。如何在缩短准备周期的同时保证软件高质量输出成为当前必须解决的问题。针对上述问题,结合测控任务需求特点,采用当前解决软件危机的研究热点“软件复用技术”的思想和方法,对测控应用软件系统进行复用构件提取以及复用行为实施,进而减轻软件负担,提升软件质量,保障航天器飞控实施。
基于Stackelberg领导模式下的云资源定价研究
冯韵,李浩
计算机科学. 2013, 40 (Z6): 395-397. 
摘要 ( 84 )   PDF(332KB) ( 420 )   
参考文献 | 相关文章 | 多维度评价
资源管理是云计算中最重要的一部分。介绍了基于现有云银行模型的云银行生命周期,并提出了合适的定价策略。它根据不同时期云银行的特点得出不同的定价策略。本文的目的是提供一个自动更新机制来定价云资源,从而最大化所有参与者的利益。
智能家居的“春天”来了
张桂青,鹿曼,汪明,李成栋,彭伟,段新美,纪祥和
计算机科学. 2013, 40 (Z6): 398-402. 
摘要 ( 213 )   PDF(514KB) ( 808 )   
参考文献 | 相关文章 | 多维度评价
论述了智能家居的概念,着重阐述了智能家居及其核心技术的国内外发展历程,理清了智能家居的发展脉络。随后从技术、生产厂家、市场规模、消费者意识等方面论证了智能家居的“春天”已经来临。最后,对智能家居的未来发展进行了展望。
MVC模式下的考试系统建模研究
司飙
计算机科学. 2013, 40 (Z6): 403-406. 
摘要 ( 188 )   PDF(355KB) ( 415 )   
参考文献 | 相关文章 | 多维度评价
网络化已成为信息技术的主要特征和重要的应用手段。在高校,随着计算机应用技术范围的扩大,网络化考试作为一种高效、准确、严肃的考试形式,成为替代传统笔试的一种趋势,是高校进行专业课考核改革的重要手段。研究提出了一种基于MVC模式的校园网考试系统建模方案,讨论了在Struts框架下进行实际应用的一些方法。实践证明,利用一个成熟的技术进行应用开发,能够有效保障该项目的可靠性和稳定性。
家电产品设计知识的语义共享方案研究
常万军,杨亚楠,郭祖华
计算机科学. 2013, 40 (Z6): 407-409. 
摘要 ( 85 )   PDF(493KB) ( 380 )   
参考文献 | 相关文章 | 多维度评价
在家电企业的生命周期管理实践中,产品设计方面存在着手工建档、查询与协同性困难的状况。将本体理念引入家电领域,研究顶层本体及其语义扩展方法,提出功能语义扩展方法is-a,构建功能本体。采用OWL标准对家电企业的设计知识进行表达,构建以用户需求为导向的索引知识库。以相关度匹配方法和映射方法为支撑,实现用户需求与本体知识索引的转换,达到语义共享。最后通过某家电企业设计知识共享平台的建立来验证文中的索引知识构建方案的可行性。