计算机与现代化

刘美玲;苏毅娟;

2013, 218(10): 1-5. doi:10.3969/j.issn.1006-2475.2013.10.001

摘要 ( 272 )

相关文章 | 计量指标

简要介绍Apriori算法与Web访问路径的有向图表示方法，提出一种从Web日志文件中得到频繁访问模式的算法，该算法以Apriori算法为基础，并以访问路径序列的有序性特点作为候选集的剪枝策略，减少候选集的生成，提高算法的效率。在真实数据集和模拟数据集上分别进行实验，实验结果表明该算法是有效的，且适应性好。

基于混沌优化搜索的智能组卷算法

欧微;易朝晖;焦丽萍

2013, 218(10): 6-9. doi:10.3969/j.issn.1006-2475.2013.10.002

摘要 ( 518 )

相关文章 | 计量指标

智能组卷算法是自动组卷系统的关键技术。在分析质量指标和数学模型的基础上，本文提出一种基于混沌优化搜索的智能组卷算法。通过构建编码题库，减少优化组卷过程与数据库交互的次数；采取基于题型分段合成的试卷编码方法，将题型、题量等约束考虑到编码之中，规范混沌搜索的可行解空间；引入多混沌序列变异算子，确保优化搜索的遍历性和随机性。仿真结果表明，所提算法在组卷效率、章节覆盖度及用户期望指标吻合度等方面均具有优越性能。

基于新权重的多数据源规则合成算法

林雍泰;徐志虎;叶凯洲;谢渊源;张世伟

2013, 218(10): 10-12. doi:10.3969/j.issn.1006-2475.2013.10.003

摘要 ( 281 )

相关文章 | 计量指标

数据的存储存在多源化，从多数据源进行关联规则合成是数据挖掘领域的一个研究热点。本文针对已有的合成方法进行深入分析，提出一种综合考虑数据库容量大小及规则数量的新合成算法，该算法能够较好地度量数据源的权重。实验结果表明该方法的有效性。

拜占庭容错中的视图变更算法

陈柳;周伟

2013, 218(10): 13-15. doi:10.3969/j.issn.1006-2475.2013.10.004

摘要 ( 289 )

相关文章 | 计量指标

针对现有拜占庭容错研究中的视图变更算法存在被恶意攻击的这一问题，提出一种新的复制品视图变更算法。该算法在备份复制品未按时收到主副制品转发的请求消息并准备启动视图变更前，引入怀疑验证机制，保证只有主副制品出错时,系统才启动视图变更过程从而有效抵御攻击。实验结果显示了算法的有效性。

基于数据字典的多参数约束随机组卷算法

韩爱庆;薛磊;沈俊辉;郭凤英;唐燕

2013, 218(10): 16-18. doi:10.3969/j.issn.10062475.2013.10.005

摘要 ( 307 )

相关文章 | 计量指标

研究Excel环境下，在题型、题量和难易度等参数约束下的随机组卷问题。提出需要解决的关键问题,设计基于数据字典的多参数约束随机组卷算法，并基于Excel VBA编程和数据字典技术实现该算法。最后给出主要程序。

基于神经网络的彩色图像盲水印算法

葛番番;李兴民

2013, 218(10): 19-21,2. doi:10.3969/j.issn.1006-2475.2013.10.006

摘要 ( 233 )

相关文章 | 计量指标

提出一种基于Chebyshev神经网络的彩色图像盲水印算法。该算法先将彩色图像分块预处理，其次选择合适的样本训练网络，并建立提取水印时的网络模型，最后采用基于神经网络的水印算法在载体彩色图像中嵌入及提取水印。该算法具有较好的不可见性和鲁棒性。同时本文还利用Clifford向量的点、叉积性质提出一种水印相似度的新标准，实验表明，该标准能够较好地检测出原始水印与提出的水印的相似度。

q-贝齐尔曲线/曲面的光滑拼接

郝伶;杨军

2013, 218(10): 22-26. doi:10.3969/j.issn.1006-2475.2013.10.007

摘要 ( 270 )

相关文章 | 计量指标

通过构造一个矩阵转换算子，将q-贝齐尔曲线/曲面转化为贝齐尔曲线/曲面，然后利用贝齐尔曲线光滑拼接的条件完成q-贝齐尔曲线/曲面的光滑拼接，从而给出q-贝齐尔曲线/曲面的光滑拼接的一个几何条件。

基于高斯模糊逻辑的图像背景分离

陈鹏

2013, 218(10): 27-29,3. doi:10.3969/j.issn.1006-2475.2013.10.008

摘要 ( 296 )

相关文章 | 计量指标

图像的背景分离是图像处理中关键的步骤，具有十分重要的现实意义。通过背景分离方法，高效地得到图像背景是当前的研究热点之一。介绍一种基于高斯模糊逻辑的背景分离算法。算法充分考虑处理的实时性，平衡结果的有效性和处理的复杂性，保证系统的有效性和高效性。最后，在道路路面交通视频监控画面中进行仿真测试。实验结果表明，本文提出的算法能很好地分离监控视频画面的背景图像，可以使道路路面交通视频监控系统有效地摆脱环境、噪音等外部干扰。

基于肤色模型和高斯分布的多人脸检测方法

刘在英;杨平;张丽晓

2013, 218(10): 30-34. doi:10.3969/j.issn.1006-2475.2013.10.009

摘要 ( 283 )

相关文章 | 计量指标

针对由于背景复杂、肤色、表情等给人脸检测带来的困难，提出一种改进的基于肤色模型和高斯分布多人脸检测方法。该方法利用肤色模型获取肤色区域，通过多种人脸显性特征得到人脸候选区域和对边缘检测后二值图像分别向X，Y轴投影，建立高斯分布模型来准确定位人脸的区域。实验结果表明，该算法检测速度快、定位率高、鲁棒性强。

基于数字图像的复合材料有限元网格剖分算法

张兰;许磊;张阳

2013, 218(10): 35-37. doi:10.3969/j.issn.1006-2475.2013.10.010

摘要 ( 264 )

相关文章 | 计量指标

在对复合材料的SEM（Scanning Electronic Microscope，扫描电子显微镜）图像进行边缘检测的基础上，对二值图采用矢量化软件进行几何模型的构造，并利用有限元软件ANSYS来进行网格剖分，本文提出基于数字图像的有限元网格的剖分。在此算法中，通过改进Kmeans方法来检测图像中的边缘，数值实验表明算法的有效性。

改进的ASM人脸特征定位方法及其应用

徐菲;李玉鑑

2013, 218(10): 38-41. doi:10.3969/j.issn.1006-2475.2013.10.011

摘要 ( 277 )

相关文章 | 计量指标

人脸检测在许多应用中有着很重要的作用，精确定位人脸特征点是人脸识别的重要步骤之一。本文改进标准的ASM算法，将ASM算法的单一局部模板扩展为多模板进行匹配，根据人眼和嘴巴的不同表情状态建立局部模板，在匹配过程中选择对应的模板相应地进行匹配搜索，并结合标准ASM算法的全局模板进行特征点定位。实验结果表明，改进的多模板ASM算法较标准ASM算法有很大的提高，效果显著，并能很好地应用在人脸识别算法中。

风云二号卫星的跟踪方法建模与实践

李庆硕;汪智刚;岳江水

2013, 218(10): 42-45. doi:10.3969/j.issn.1006-2475.2013.10.012

摘要 ( 303 )

相关文章 | 计量指标

风云二号卫星在空间定位后，需计算出北京气象卫星地面站天线对卫星的方位、俯仰和极化角度。本文描述卫星与地面站的相对位置关系计算跟踪角度的原理，为了快速准确地找到卫星，可以利用天线运行角度规律仿真，建立天线跟踪模型，并把理论模型应用于卫星跟踪实践，应用螺旋扫描跟踪方法在工程实践中成功快速捕获风云二号新卫星。

基于Kinect的人机交互演示系统

鲍峰;卢稼奇;黎楚秦

2013, 218(10): 46-50. doi:10.3969/j.issn.1006-2475.2013.10.013

摘要 ( 315 )

相关文章 | 计量指标

针对现有的投影演示系统中翻页、注释过程存在的人机交互问题，以Microsoft Office的PowerPoint (PPT)作为平台，采用Microsoft的Kinect作为传感器，建立不依赖手持硬件的肢体交互系统。通过对肢体语言的识别与对身体部位的追踪，分别实现用挥手控制PPT翻页以及虚拟的手写注释两个功能。应用统计方法与滤波技术增强系统的体验效果。测试结果表明系统有较好的实现效果，在绝大多数场合下能够完全取代现有的交互方式。

基于Flash的微生物发酵平台

高云丽;刘贤梅

2013, 218(10): 51-54. doi:10.3969/j.issn.1006-2475.2013.10.014

摘要 ( 317 )

相关文章 | 计量指标

针对目前高校微生物发酵专业学生难以实现学习与实践相结合的状况，本文利用3DSMax建模技术和Flash动画技术以及ActionScript 3.0编程技术创建功能强大适应于专业学生实践的微生物发酵平台。在3DSMax中创建发酵罐模型和各种阀门及管线并进行级联；在Flash中模拟基本操控知识测试、演示模式和演练模式，实现二、三维联动；运用ActionScript 3.0编程技术实现排序题和选择题的设计、键盘控制设计和碰撞测试设计。该平台具有仿真度高、人机交互控制性强和可移植性等特点。

一种基于约束分析精简控制流图方法

李金诺

2013, 218(10): 55-61. doi:10.3969/j.issn.1006-2475.2013.10.015

摘要 ( 274 )

相关文章 | 计量指标

很多静态代码分析的方法都以控制流图作为基础，本文采用一种基于约束的分析技术，包括基于约束的0-CFA，加入数据流的分析方法构造约束集，使用不动点算法求出约束集的最小解并生成控制流图，可以约减不可达分支，生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础，可以提高静态代码分析的效率，降低误报率。

基于航空ATE的微波信号集中控制设计

姜茂仁;吴波;陈琼

2013, 218(10): 62-64. doi:10.3969/j.issn.1006-2475.2013.10.016

摘要 ( 247 )

相关文章 | 计量指标

在航空电子设备综合测试系统（ATE）中，通常存在被测信号工作频率高、频带宽、辐射性强等特点，本文将射频、微波信号传输与控制通过一个转接装置与被测设备相连，省去一些路径与开关环节，减少信号辐射、相互干扰和衰减。实践证明，该装置结构紧凑，信号路径短，使用稳定，寿命长，能较好地解决设备间电磁兼容等问题。

双线激光轮廓测量中点云数据的平滑方法

张国敏;姚剑敏;郑建用

2013, 218(10): 65-68. doi:10.3969/j.issn.1006-2475.2013.10.017

摘要 ( 278 )

相关文章 | 计量指标

基于双线激光的三维扫描系统在点云数据拼接中易导致轮廓粗糙。本文提出一种基于横向离散点拟合的表面平滑方法。该方法首先采用平均算法对两个截面上的点进行平滑，其次通过选取每帧激光条纹上间隔较远的两个点进行曲线拟合，由这两个点的移动来带动整条激光条纹的微调。实验结果表明，根据所提出的方法调整后的离散点重构出的三维模型，其表面的平滑性得到了进一步的改善，重构模型表面形状与实物的表面形状更加接近。

Packet Tracer环境下的办公网路由仿真模拟

王琰;朱林;洪军;张文超

2013, 218(10): 69-73. doi:10.3969/j.issn.1006-2475.2013.10.018

摘要 ( 264 )

相关文章 | 计量指标

结合办公网网络拓扑结构，利用Packet Tracer软件仿真模拟搭建实验环境，研究将动态路由协议引入办公网的配置实例，测试在动态路由环境中的网络连通性及故障状态下的网络可靠性，为办公网的建设提供一定的参考。

基于HLA/RTI和LabWindows/CVI的船载测控系统数字仿真应用

魏江涛;陈方涛

2013, 218(10): 74-78. doi:10.3969/j.issn.1006-2475.2013.10.019

摘要 ( 229 )

相关文章 | 计量指标

基于新一代分布式交互仿真规范的高层体系结构HLA以及HLA接口规范开发的软件库RTI，构建船载测控系统分布式数字仿真平台。借助LabWinows/CVI对测控系统的设备进行虚拟化设计，以测控设备仿真子系统为例给出HLA仿真系统和LabWindows/CVI的具体结合方法，并给出测控设备仿真子系统的软件实现。试验结果表明，该系统能有效、逼真地对船载各测控通信装备的功能进行数字仿真，可以应用于各类海上测控的仿真训练、设备性能检验和实战演练等任务中，大大减少了实际测控设备的损耗。

半透明配色建库仿真算法

洪铁;赵龙;吴鹏

2013, 218(10): 79-82. doi:10.3969/j.issn.1006-2475.2013.10.020

摘要 ( 276 )

相关文章 | 计量指标

K-M理论指出K/S值与涂料的浓度存在线性关系，但实际中这种线性关系不明显。随着涂料浓度增加，K/S值逐渐趋于一个稳定值，故大部分配色软件都采用对数曲线拟合方式建立数据库。而涂料在半透明状态下，K/S值的线性性更差，采用上述建库方式已经满足不了配色精度要求。本文在半透明配色中采集多个样点后，首先对其进行无效点去除的预处理，然后对剩余有效点进行三次样条插值，并对低浓度点进行反射率修正使其更符合K-M理论假设的线性关系。实验结果表明，通过上述建库方式能显著提高配色的精度。

基于HLA的飞行训练仿真系统

周烈强;姚世军;姚云鹏

2013, 218(10): 83-86,9. doi:10.3969/j.issn.1006-2475.2013.10.021

摘要 ( 250 )

相关文章 | 计量指标

为了加快普及使用飞行训练模拟器，解决飞行训练教学中的难题，设计以计算机为邦员的基于高层体系架构的飞行训练仿真系统联邦，分析邦员的功能，设计飞行命令数据模型，规范并简化指令的表示，建立飞行仿真对象模型和飞行联邦对象模型的开发过程，最后利用建模和视景驱动工具在VS 2003下实现仿真系统，并给出座舱邦员的仿真效果。系统目前已运用到某部队飞行训练中。

分布式海量数据库之SET模型

王芳

2013, 218(10): 87-90. doi:10.3969/j.issn.1006-2475.2013.10.022

摘要 ( 672 )

相关文章 | 计量指标

分布式数据库是当前解决海量数据存储有效的解决方案。分布式数据库可以共享数据，每个站点对局部存储的数据保持一定程度的控制。但是随着现代存储需求的发展，越来越多对多物理位置部署（国内、国外）、容量把控和扩容等自动化程度的要求，传统的分布式思路遇到了明显的瓶颈。本文提出SET模型数据库（Set Model Database），解决了多数据中心部署间的全网调度和协调、存储容量的标准化管理等问题。

数据仓库中数据粒度在电子商务网站中的应用

齐丽娜

2013, 218(10): 91-93. doi:10.3969/j.issn.1006-2475.2013.10.023

摘要 ( 271 )

相关文章 | 计量指标

数据粒度决定着数据仓库的数据量和回答查询的能力。多重粒度在一定程度上既可以满足数据量的要求，又可以满足回答查询能力的要求，所以在设计数据仓库时，多重粒度成为首选。而当数据仓库采用多重粒度时，就面临着如何管理数据粒度的问题。本文研究粒度级别和多重粒度，在此基础上提出用粒度表进行数据粒度的管理，阐述粒度表的定义过程，分析粒度表的优点，并提出基于粒度表的数据仓库多维模型的构建过程。

Redis数据库在视频推荐服务系统中的应用

曹丹丹;乐嘉锦;夏小玲

2013, 218(10): 94-97. doi:10.3969/j.issn.1006-2475.2013.10.024

摘要 ( 336 )

相关文章 | 计量指标

视频推荐是为解决在信息过载的时代，如何准确地把与用户相关的视频信息推荐给感兴趣的用户而提出的，其要求实时并发性。基于内存Key-value引擎的NoSQL数据库Redis相对于传统的关系数据库表现出一定的优势，为了提高效率，把数据暂时保存在内存中，或配置为使用虚拟内存实现数据持久化。本文将Redis数据库的快速高效性运用在视频推荐服务系统中，实现更高效的推荐。

基于Web的质量信息管理系统设计与实现

金晓晔;卫刚;黄荣杰;朱华

2013, 218(10): 98-101,. doi:10.3969/j.issn.1006-2475.2013.10.025

摘要 ( 290 )

相关文章 | 计量指标

从企业信息化管理的实际需求出发，为了把分散的质量信息处理成有效的质量信息，本文根据企业的需求建立质量管理系统，用于支持企业信息化平台建设。该系统利用ASP.NET技术，并结合Entity Framework和LINQ to Entity数据访问技术，设计开发一个基于B/S架构的质量信息管理系统。该系统在采用传统分层架构模型的基础上，增加实体模型框架层；运用.NET数据库访问技术实现业务逻辑层和数据访问层的分离，大大地提高系统开发的效率。

两种自构函数对信息安全资产价值评估的影响

杨龙平;徐亦璐

2013, 218(10): 102-105. doi:10.3969/j.issn.1006-2475.2013.10.026

摘要 ( 243 )

相关文章 | 计量指标

在信息安全风险评估的过程中，资产的价值是由资产的机密性、完整性和可用性3个安全属性来决定的。因而，在给资产进行赋值的时候必需考虑这3个因素。资产的价值是这3个因素的函数，具体的函数关系可以由评估者自行决定。本文讨论两种常用的函数关系对信息安全资产价值的影响。

基于特征选择优化算法的非线性SVM木马检测模型

黄丽梅;吴丽娟;冼月萍

2013, 218(10): 106-109,. doi:10.3969/j.issn.1006-2475.2013.10.027

摘要 ( 281 )

相关文章 | 计量指标

为解决当前木马检测系统中存在的检测率低、无法检测未知木马等问题，提出一种基于特征选择优化MI算法的非线性SVM木马检测模型。本方法提取每一个可执行程序的API调用序列作为特征向量，通过特征选择算法选中区分度大的部分特征并将其量化成SVM可识别的数据，构建SVM特征向量库，利用样本数据对非线性SVM分类器进行训练学习，获得最优分类超平面。实验结果表明，该模型针对木马程序有高效且稳定的检测能力。

基于EAP-TTLS的可信网络接入认证技术

张立茹;鄢楚平;詹葆荣

2013, 218(10): 110-113,. doi:10.3969/j.issn.1006-2475.2013.10.028

摘要 ( 307 )

相关文章 | 计量指标

为解决可信网络中网络访问层对客户端和服务器的双向身份认证以及完成对终端平台的完整性进行度量的任务，深入分析TNC网络访问层IF-T标准的要求和EAP-TTLS协议的结构，重点研究EAP-TTLS协议用于可信网络中的安全性和可靠性。基于TNC@FHH开源框架将EAP-TTLS协议应用于可信网络，使用Wireshark抓包工具抓取接入认证过程的报文，并对结果进行分析。

基于Java安全API的数字签名

周志鹏

2013, 218(10): 114-116. doi:10.3969/j.issn.1006-2475.2013.10.029

摘要 ( 312 )

相关文章 | 计量指标

网络数据安全形势日益严峻。使用Java安全API可以实现对数据文件的数字签名，从而确保文件在网络上传的安全性。本文介绍数字签名的基本过程，说明数字签名使用的算法,描述如何在发送方编写Java程序对文件进行数字签名和在接收方编写Java程序对数字签名后的文件进行验证，并对这种方法潜在的不安全因素进行讨论。

重点车辆监控平台海量数据安全保障关键技术

赵力萱;詹承志;聂佩林;程智锋

2013, 218(10): 117-120. doi:10.3969/j.issn.1006-2475.2013.10.030

摘要 ( 308 )

相关文章 | 计量指标

在物联网环境下对重点车辆进行监管，需要针对海量数据的安全问题制定有效的管理方法。为构建平台数据安全保障机制，本文对海量数据安全保障关键技术进行研究。首先，通过制定平台标准化体系完成异构网络数据的安全交换。然后，结合分布式处理技术提出基于Hadoop的重点车辆信息管理模型，使海量数据可以高效存储与处理。再次，基于地图匹配算法和时态GIS技术实现对业务数据真实性检验。最后为监控平台提供安全、可靠、真实的数据支撑。

门户网站保密检查系统

王沐心

2013, 218(10): 121-124. doi:10.3969/j.issn.1006-2475.2013.10.031

摘要 ( 322 )

相关文章 | 计量指标

针对当前公务部门网站安全保密的不足，基于计算机网络和信息过滤技术对门户网站的安全性进行研究，结合互联网和公务部门门户网站使用的实际情况，本文建立一个门户网站保密检查系统，监控门户网站的信息发布情况。通过对信息要素的分析，尽可能地防止涉密信息通过网站泄漏及传播，有效保护敏感、涉密信息的安全性。系统基于通用开发框架和MFC库进行设计和实现，测试结果验证了系统的有效性和高效性。

基于B/S和SFA的葡萄生产技术效率评估系统

李斌全;穆维松;郑小平

2013, 218(10): 125-130. doi:10.3969/j.issn.1006-2475.2013.10.032

摘要 ( 251 )

相关文章 | 计量指标

葡萄是世界四大水果之一，中国作为世界第一大葡萄产出国，对葡萄生产技术效率及其影响因素进行探讨成为产业的需要。本研究旨在建立一个葡萄生产技术效率评估系统，实现葡萄生产信息采集、实时显示和生产技术效率分析的自动化处理。系统基于数据库技术、互联网技术和生产技术效率分析的相关理论，采用J2EE的三层B/S架构，其中，随机前沿算法的嵌入采用Matlab Web Server的方法。该系统可以有效解决我国地域辽阔、尚未整理的葡萄生产统计数据繁多的问题，并实现葡萄生产技术效率的远程自动化评价。

网络物理系统的中间件专业化开发方法

王迤冉;朱维军;孙挺;刘松泉

2013, 218(10): 131-134. doi:10.3969/j.issn.1006-2475.2013.10.033

摘要 ( 239 )

相关文章 | 计量指标

当代计算基础设施如网络堆栈、操作系统和中间件，都是由软件功能的不同层次构建而成，用来支持更为广泛的应用。然而，设施特征的丰富性和软件功能的层次性增加了系统性能开销。本文基于面向特征的软件开发原理，提出一种通用中间件构造过程的方法。该方法为高水平抽象特征的现代中间件推导出一种代数结构。通过一个实例说明折纸矩阵和生成程序如何在实现中间件专业化研究中所发挥的作用。

文本与朗读语音共同驱动的汉语语音与口型匹配方案

曾洪鑫;胡东波;胡志刚

2013, 218(10): 135-137. doi:10.3969/j.issn.1006-2475.2013.10.034

摘要 ( 299 )

相关文章 | 计量指标

构建一种文本和朗读语音共同驱动的双模态语音与口型匹配控制模型，将文本与语音相结合，弥补单模式驱动中信息量不足的缺点，利用文本拼音提供正确的口型视位和朗读语音为口型视位提供正确的时序，实现对语音和口型动作过程的合理匹配。

云存储文件系统对比

李依桐

2013, 218(10): 138-142,. doi:10.3969/j.issn.1006-2475.2013.10.035

摘要 ( 288 )

相关文章 | 计量指标

随着云存储的广泛应用，分布式文件系统作为云存储的关键，也受到越来越多的关注。本文分别介绍5种主流的开源分布式文件系统的性能特点，并对HDFS在I/O性能方面进行改进，再在系统架构、访问方式、存储方式等方面对几种分布式文件系统进行对比分析，以便选择适合的分布式文件系统。实验结果显示，改进的HDFS在元数据占用内存方面有了很大的提升，数据读取速度也略高于Lustre。

众核处理器系统可靠性优化方案

叶凝;应忍冬;朱新忠;李超;刘佩林

2013, 218(10): 143-148. doi:10.3969/j.issn.1006-2475.2013.10.036

摘要 ( 262 )

相关文章 | 计量指标

航天器片上众核系统的安全性、可靠性面临着由太空辐射的威胁。在进行众核系统各个处理器核的任务分配时，需要进行可靠性分配和冗余度优化。本文提出一种准最佳方案，能够在相对较短的时间内，决定运算流图中各个步骤占用的冗余处理器数量，以达到在有限处理器核数量的情况下系统的最高可靠度与可用度；提出依据任务的运算流图计算节点可靠性灵敏度的方法。通过具体的实例对本文提出的方案进行了效果的评估。

基于特征语义描述的协同造型

刘琼;邓明中;张宁

2013, 218(10): 149-152,. doi:10.3969/j.issn.1006-2475.2013.10.037

摘要 ( 288 )

相关文章 | 计量指标

针对协同特征造型中模型的传输数据量大的问题，提出一种基于特征的描述性语义协同造型方法。对基于特征的产品模型的语义描述进行分析，以XML进行描述，并通过采用基于父子约束关系的特征驱动的模型构建方法,使得造型不再依赖特征创建的顺序，维护了设计结果和设计意图的一致性，也有助于提高设计效率。分析特征语义增量文件的本地识别、提取以及网络交互，通过只传输XML增量语义，初步实现低量网络传输负荷的协同造型。

航天器上众核系统自修复方案设计

陈鹰翔;应忍冬;朱新忠;李超;刘佩林

2013, 218(10): 153-158. doi:10.3969/j.issn.1006-2475.2013.10.038

摘要 ( 239 )

相关文章 | 计量指标

在航空航天等领域使用的系统，在发生系统错误的情况下，很难实现人工修复。本文在介绍众核系统NoC和容错技术的基础上，提出一种基于众核系统片上网络的自动修复方案。该方案在检测到系统发生永久性错误的时候，通过重新映射，重新布局布线完成系统功能的恢复，延长系统在没有人工干预情况下的使用时间。

NAND Flash在手持测振测温仪中的应用

刘晓婉;江志农

2013, 218(10): 159-162,. doi:10.3969/j.issn.1006-2475.2013.10.039

摘要 ( 276 )

相关文章 | 计量指标

手持测振测温仪在机械故障诊断中发挥着重要作用，其中的存储系统是该设备的重要组成部分。本文简要介绍NAND Flash与F2812的接口电路，详细说明Flash驱动设计，解决Flash在连续写操作造成数据丢失问题。Flash存储与读写速率均满足本手持仪的要求。

基于模糊专家系统的操作评价方法

乔程程;楚纪正

2013, 218(10): 163-166. doi:10.3969/j.issn.1006-2475.2013.10.040

摘要 ( 273 )

相关文章 | 计量指标

介绍基于模糊专家系统的过程人员操作评价方法的结构和实现方法。高质量的评分系统能够对操作好坏进行评价，并能对操作中的不足给予指导。本文综述操作模型和评分模型，并应用模糊专家系统原理，建立评分规则库，利用正向推理方式进行推理。该评分方法成功应用于某供热仿真培训系统中，经使用证明，该评分方法能够实时、快速、准确地评价工人的操作，在正式上岗前的培训中帮助教师进行客观考核，具有很高的使用价值。

DDS中ROM存储的线性分层插值压缩方法

熊巍

2013, 218(10): 167-171. doi:10.3969/j.issn.10062475.2013.10.041

摘要 ( 296 )

相关文章 | 计量指标

在直接数字频率合成器（Direct Digital Frequency Synthesizer, DDS）中，传统ROM存储表的正弦函数幅度压缩法为了达到高压缩率，通常采用较为复杂的正弦近似函数，增加了硬件电路的复杂度。本文提出一种线性分层插值的ROM表压缩方法，通过分层、分段线性插值近似，可以显著减少相位点幅度的量化比特数，同时各层可以共用同一个插值和重建电路，使得硬件的复杂度显著降低。理论分析和仿真结果表明，本文提出的ROM表压缩方法在不显著增加硬件电路复杂度的情况下，可以有效提高ROM表的压缩比。

个人信息交互历史的可视化

付康

2013, 218(10): 172-176. doi:10.3969/j.issn.1006-2475.2013.10.042

摘要 ( 325 )

相关文章 | 计量指标

人们同物理对象交互的时候，很自然地使用了可视化的交互历史提供的信息，但是在数字领域，特别在需要每天交互的复杂的个人数字信息环境中，缺乏对数字对象交互历史的可视化，严重影响了人们完成任务的效率。本文通过对已有相关研究的分析，建立交互历史模型，分析交互历史不同层次的用户交互；针对个人信息，提出个人信息生命周期来管理个人信息的交互历史。基于交互历史模型以及个人信息的特点，采用合适的可视化结构对个人信息的交互历史进行可视化，设计原型系统ViPA。本研究对提高个人工作效率和减少个人信息的认知负担起到了非常重要的作用。

基于VMware View实验桌面云

张荣高

2013, 218(10): 177-178,. doi:10.3969/j.issn.1006-2475.2013.10.043

摘要 ( 235 )

相关文章 | 计量指标

针对高校机房管理的现状与面临的问题，分析桌面虚拟化的相关技术，设计和实现一个基于VMware View的实验桌面云，可提高高校机房的管理和维护工作的效率。

分析测试实验室信息管理系统的设计与实现

张俊勇;张鸣虹;黄庆和;周萍

2013, 218(10): 179-183. doi:10.3969/j.issn.1006-2475.2013.10.044

摘要 ( 243 )

相关文章 | 计量指标

为提高分析测试实验室管理信息化水平，加强质量管理，基于分析测试实验室工作流程、质量管理要求，开发分析测试实验室信息管理系统，经实验室试验运行，效果良好。本系统具有较好的可扩展性、开放性，人机界面友好，可满足一般分析测试实验室的管理要求。

基于关键词的微博热点话题实时检测方法

]魏萌;杨文涛

2013, 218(10): 184-187,. doi:10.3969/j.issn.1006-2475.2013.10.045

摘要 ( 300 )

相关文章 | 计量指标

微博热点话题发现不仅要对微博文本以及话题识别本身进行研究，还要处理微博用户的社会关系。由于微博文本的简短和半结构化特性，传统的热点话题检测方法并不适用。本文提出基于微博关键词的热点实时检测方法，并利用微博多元数据对该方法进行修正，实验证明该方法针对微博数据的有效性。

漂流中露营地的管理问题的数学建模

张梦菲;杨懿剑;李博文

2013, 218(10): 188-192. doi:10.3969/j.issn.1006-2475.2013.10.046

摘要 ( 321 )

相关文章 | 计量指标

为了解决漂流中露营地的安排问题以及如何来安排最优的方案：包括旅行时间、选择哪种船，从而能够最好地利用河中的露营地，本文致力于河流的承载能力、露营地的利用率和游客的满意度这3个评判标准，分别基于决策策略和预定策略建立2个模型，构建露营地的最大利用率和旅客满意度这2个目标函数，通过约束分析和双目标编程得出最优解，并进行计算机模拟，得出具体的时间安排表，对于制定沿河漂流的管理方案具有实际的参考价值。

多线程技术在地铁自动售票机软件中的应用

夏叶锋;徐骏善

2013, 218(10): 193-196,. doi:10.3969/j.issn.1006-2475.2013.10.047

摘要 ( 315 )

相关文章 | 计量指标

在开发自动售票机软件系统中，针对系统资源利用不足和性能低下，提出多线程技术。结合自动售票机软件系统的架构和多线程技术的运行机制，用C++实现自动售票机软件系统中设备驱动层和通信层，并给出部分关键代码。该技术的运用使整个软件系统得到很大改善。目前，该软件系统已稳定运行在武汉地铁2号线。

基于ASP.NET MVC框架的Web应用开发

周文红

2013, 218(10): 197-199. doi:10.3969/j.issn.1006-2475.2013.10.048

摘要 ( 318 )

相关文章 | 计量指标

介绍使用ASP.NET MVC框架进行Web应用开发。此方法使用C#语言编写的控制器类为核心，通过控制器转到不同的业务方法进行处理，将结果返回到视图类中，在用户界面上显示；页面采用新型Rasor语法混合HTML标记，实现页面模板化；数据存储在模型类中，然后映射到数据库进行持久化。整个应用实现良好的层次结构，有利于开发出结构清晰的企业Web应用。

基于启发式搜索图的测试点决策方法

庞威;吕晓峰;马羚;邓力

2013, 218(10): 200-203. doi:10.3969/j.issn.1006-2475.2013.10.049

摘要 ( 258 )

相关文章 | 计量指标

针对武器系统测试点决策问题，研究相关性矩阵和信息熵理论，将测试点决策问题转化为图搜索问题，测试点的决策过程就变成了图节点的扩展过程，在此基础上定义评估函数为启发信息，进而推导出图节点扩展方式，引导图搜索，通过实例对该方法进行验证。实例表明，该方法提高了测试节点搜索效率，快速决策出最佳测试点。

基于ESB的Web服务管理系统的设计与实现

赵朋飞

2013, 218(10): 204-207. doi:10.3969/j.issn.1006-2475.2013.10.050

摘要 ( 310 )

相关文章 | 计量指标

针对目前SOA发展过程中所面临的Web服务管理缺乏的现状，本文分析传统Web服务管理在SOA架构中的不足，采用Web服务管理与企业服务总线ESB(Enterprise Service Bus)相结合的方式，设计和实现一套面向SOA的Web服务管理系统，提供服务注册、服务管理、服务的调用申请及审批等功能，大大降低了对Web服务的管理难度，有效地提高了工作效率。

基于网络演算的无线传感器网络能效

秦仁武;陈一心;王高才;易向阳

2013, 218(10): 208-211,. doi:10.3969/j.issn.1006-2475.2013.10.051

摘要 ( 241 )

相关文章 | 计量指标

能耗问题是无线传感器网络研究中的热点。本文运用网络演算理论的到达曲线和离开曲线刻画无线传感器网络中流量的到达过程和离开过程，建立传感器能耗模型，给出模型约束条件，并分析模型中信噪比的作用。通过引入离开曲线和最佳离开曲线，得出离开速率与信噪比的关系。在此基础上研究和计算在特定状态下传感器网络最佳能耗，推导出最佳能耗公式。通过仿真验证了最佳能耗情况下速度与距离关系等相应结论。

服务器集群综合监控系统的设计与实现

吴瑜

2013, 218(10): 212-215,. doi:10.3969/j.issn.1006-2475.2013.10.052

摘要 ( 314 )

相关文章 | 计量指标

为解决信息技术发展带来的集群服务器系统管理问题，提出一种基于Web的服务器集群综合监控系统，通过设计和搭建基础信息采集、逻辑分析判断、结果展示三层架构实现系统，提供自动采集、分析判断及报警功能，并在大量数据基础之上实现决策支持。

高校信息门户中关键指标体系的展示

陈蕊

2013, 218(10): 216-221. doi:10.3969/j.issn.1006-2475.2013.10.053

摘要 ( 339 )

相关文章 | 计量指标

以所在大学为研究对象，结合学校自身优势与相关发展要求，制定一套高校发展关键指标体系。同时，基于学校数字化校园建设基础平台设计实现关键指标体系的展示系统，并进行指标展示系统的信息门户集成。系统集成后，实现信息门户中系统的单点登录和高校发展关键指标体系在信息门户中的展示，为学校管理人员提供快捷、方便、可靠的高校发展关键指标信息查询与管理服务。

基于物联网RFID的农产品溯源系统的设计与实现

杨运平;周志鹏;李沐华

2013, 218(10): 222-225. doi:10.3969/j.issn.1006-2475.2013.10.054

摘要 ( 245 )

相关文章 | 计量指标

介绍基于物联网RFID技术构建的农产品溯源系统的实现。通过将农产品的生产、加工、运输、储藏等环节的信息记录在数据库中，达到追溯农产品来源、保障安全性的目的。系统采用ASP.NET开发，使用Ajax、jQuery、JSON等多种表现层技术，改善了用户使用体验，并能与RFID驱动软件相结合。系统采用分层结构，便于维护和扩展。

虚拟化环境中的存储基础架构管理及优化方案

张迎春;张卫

2013, 218(10): 226-228. doi:10.3969/j.issn.1006-2475.2013.10.055

摘要 ( 268 )

相关文章 | 计量指标

介绍存储基础架构的管理活动及虚拟化环境中的管理技术,提出在IT基础架构的各个层次上运用虚拟化技术能使复杂的存储基础架构管理任务变得更加灵活、轻松、高效。通过一个为新服务器/主机分配存储空间的实际案例，对比在传统环境和虚拟化环境下进行存储管理所需执行的不同管理任务。最后分析当今存储基础架构管理中面临的挑战，提出一个优化解决方案。

基于DOM结构树的网页正文信息分段方法

周建;汤进;罗斌;

2013, 218(10): 229-232. doi:10.3969/j.issn.1006-2475.2013.10.056

摘要 ( 278 )

相关文章 | 计量指标

网页正文信息的正确提取与分段，对文本信息挖掘等具有重要的意义。本文提出并实现一种从Web页面获取正文信息并能够正确分段的方法。该方法首先利用网页布局标签和

构建一个DOM结构树，然后利用DOM结构树所反映出的布局标签的嵌套关系，对内容块进行取舍，提取出正确的正文信息，最后利用对一些特殊标签的处理，实现正文信息的分段。实验表明，该方法易实现、效率高，能自动准确地提取正文信息并分段。

当期目录