计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:检测型生物芯 dna计算 解空间 毛细管电泳
提出了一种基于检测型生物芯片的协同DNA计算机解空间问题的模块化解决方案。为了解决解空间检测这个问题,该文总结了目前典型的DNA计算模型中所用到的生物检测技术,在先前的协同DNA计算机基本组成原理模型的基础上,结合了当前检测型生物芯片技术的发展趋势,提出了解决方案,并对各模块的工作原理、功能等进行了介绍,给出了问题与展望。
关键词:web挖掘 日志文件 文档聚类 矢量空间模型 关联规则
随着互联网的飞速发展,Web挖掘技术已成为数据挖掘技术的一个研究热点。该文对Web挖掘的特点、方法进行了讨论,设计了一种快速有效的Web文档聚类方法,给出了实际测试结果,验证了Web挖掘技术的有效性。提出的Web挖掘技术有效地提高了该系统的协作能力。
关键词:电子选举 视觉密码 自计票 矢量选举 可分选举
电子选举是密码研究领域中一个非常有挑战性的问题,它满足广泛的安全要求,逐步取代传统的选举形式。现有的安全电子选举方案在计算效率、可信第3方的使用、防止买卖选票和胁迫投票,以及允许的选票形式等方面存在着改进的空间。该文在对电子选举方案的安全要求、协议模型和选票形式进行分析归纳的基础上,提出了电子选举研究面临的4个挑战,阐...
关键词:客户关系管理 可行性分析 案例库 模式识别
客户关系管理(CRM)是提高企业核心竞争力的有力武器,而提高CRM项目实施的成功率是亟待解决的问题,解决本问题的关键是提高项目可行性分析的有效性。该文提出了一种新颖的、基于案例库和可量化的CRM实施可行性分析方法。仿真结果表明,该方法可以较好地回避实施中各种要素的不确定性和复杂性,是一种有效的CRM实施可行性分析方法。
关键词:业务管理 策略 qos管理 区分服务
现有的策略管理框架PBNM不仅存在着策略决策点负担过重、容易形成单点瓶颈等缺陷,同时还缺乏与SLA管理的紧密结合和具体实现。在PBNM的基础上,以Diffserv环境为底层,提出了基于策略的分层分域的业务QoS管理模型PBQM,引入了域策略决策点DPDP,增加了SLA管理、QoS监测和基于知识发现的业务恢复等管理模块;并提出了基于策略的SLA到区分服务网...
关键词:过完备独立成份分析 最短路径 自然梯度
独立成分分析(ICA)是一种在给出的随机向量中找出统计独立的数据的统计方法,而过完备独立成分分析则是ICA问题中的一类特殊的情形,它要的源信号的数目比观测信号的数目要多。该文提出了一种基于最短路径算法和自然梯度的解决过完备独立成分分析的新算法Turbo-overcomplete。该算法采用了最短路径方法来推断源信号和采用自然梯度的方法来学习...
关键词:最短向量已知格 循环格 伪循环格 格基规约
提出了最短向量已知格的概念。通过对循环格的分析,得到了循环格是最短向量已知格的两个定理。为了得到随机性更好的最短向量已知格,提出了伪循环格的概念,并且给出了伪循环格是最短向量已知格的充分条件。相关的定理都是构造性的,通过简单的算法就可以快速生成最短向量已知格。最后给出了对格基进行随机化的一般性算法。
关键词:网络蠕虫检测 小波变换 奇异点检测
通过分析网络蠕虫攻击的特点,定义了能够反映蠕虫攻击特征的失败连接流量偏离度(FCFD)的概念,并提出了一种基于FCFD时间序列分析的蠕虫早期检测方法。该方法利用小波变换对FCFD时间序列进行多尺度分析,利用高频分量模极大值进行奇异点检测,从而发现可能的蠕虫攻击。同时给出了一种基于失败连接分析的蠕虫感染主机定位和蠕虫扫描特征提取方...
关键词:微粒群 优化 差分进化 变异
提出了一种基于差分进化算子变异的改进微粒群优化算法,为减小陷入局优的可能性,在群体最优信息陷入停滞时引入差分进化算子变异,使算法摆脱局部极优点的束缚,同时又保持前期搜索速度快的特性,提高全局搜索能力。仿真实验表明:与标准微粒群优化算法相比,该文算法的全局收敛性能得到了显著提高,能有效避免微粒群优化算法中的早熟收敛问题...
关键词:网格 虚拟系统 原型系统 网格模拟
针对网格应用系统开发实验过程中的困难,提出了一种通过在单机环境中利用虚拟机技术构建网格原型实验系统,对网格应用软件进行实验的方法,已申请国家发明专利(申请号:200510018916.0)。与各种同类实验方法相比,该方法操作简单、成本低廉,所得到的实验结果真实可信,所构建的单机网格原型实验系统具有高度的灵活性和可靠性,易于维护和...
关键词:音频 数字水印 神经网络 自适应 心理声学模型
提出了一种神经网络自适应扩展回声隐藏算法。利用PN序列将音频信号的单回声内核进行扩展后作为水印信号,提高了水印算法的安全性。该算法利用了神经网络的非线性映射能力确定扩展回声内核的幅值,从而避免了复杂的心理声学模型的计算过程,实现了水印嵌入的强度的自适应。仿真实验证明了该算法的有效性和可靠性。
关键词:最小二乘小波支持向量机 小波变换 故障诊断 模拟电路 雷达
系统地提出了模拟电路的最小二乘小波支持向量机故障诊断方法。从测试点得到各种故障状态下的输出电压信号,对输出电压信号进行小波去噪,对信号进行小波分解获取多尺度的低频系数和高频系数,并对小波系数进行处理从而提取出故障特征量,以此作为学习样本来训练最小二乘小波支持向量机,确定其模拟电路故障诊断的模型。雷达系统电路仿真结果表...
关键词:霍夫变换 直线检测 快速算法
介绍了一种基于mean—shift跟踪算法,分析了mean—shift中各参数对实时性能的影响。并利用DM642EVM作为视频信号处理器,设计了一套运动目标全物理仿真实验系统。
关键词:人脸检测 人脸跟踪 特征三角形
提出了一种能在复杂环境中进行人脸跟踪的鲁棒、有效的视频图像人脸跟踪的算法。该算法根据面部特征构造特征三角形包括等腰三角形和直角三角形,根据刚体约束生成潜在人脸跟踪矩形区域。该算法能够在不同尺寸、不同光照、不同姿态和不同表情甚至不同噪音情况下检测人脸,有效率达98.18%。
关键词:工作流模型 模型校核 化筒 uml活动图 活动超图
针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核。实践证明此方法...
关键词:水安全 预警 支持向量机 评价
基于支持向量机算法建立了区域水安全预警评价模型,根据水安全评价标准及其所属的评价等级值,随机内插生成序列来建立评价分类的样本集,并以松江区为例进行研究。研究结果表明基于SVM方法建立的模型简单,评价结果合理可行,可用于区域水安全预警评价。
关键词:对等网 搜索机制 语义网 小世界
针对目前超结点网络研究中的不足,该文基于语义网和小世界理论提出了一种对等网搜索模型——SemanticP2P。模型中结点依据小世界理论在物理上形成自然的区域自治系统(AAS),各AAS依据幂规律选取各域内的超结点,超结点再根据语义关系形成多个超结点语义网(SSN),从而形成一个层次化的超结点叠加网络模型,并对其中结点的组织、SSN的构造、...
关键词:高级综合 vhdl 子程序 多进程
子程序的综合方法包括内联扩展、单独的控制单元和数据通道部分和子例程,这些方法都是针对在源描述中只包括单独一个进程时的情况。在多进程的情况下会出现一些问题。给出必须采用子程序内联扩展方法的原则,提出并且实现了将子程序转换成临界资源的方法。同时还解决了包含多个return语句的函数的内联扩展实现方法如何在保持语义的同时进行优化...
关键词:xml文档 xml近似查询 编辑距离 聚类中心
提出了一种基于XML文档聚类的XML近似查询算法。给出了基于语义的XML文档间距离的计算方法,结合该语义距离,提出了基于网格的八邻域聚类算法对XML数据库进行聚类划分,进而利用在聚类过程中得到的聚类中心对静态有序选择算法的近似查询评估阶段进行优化,使得不用对XML数据库进行完全遍历就能及时返回满足用户需要的查询结果。最后,在汽车外...
关键词:数据网格 元数据 双目录存储管理 全局命名 数据发现
提出了基于全局命名的数据网格环境下元数据目录和资源信息目录双目录存储和访问的概念,研究了全局命名的规则,给出了在该命名情况下元数据的注册和存储以及利用这种注册存储如何快速发现远程数据资源。说明了在多网格结点下寻找“对照表”采取时间戳抑制多次重发和导致多次访问数据资源的方法,并指出了“对照表”应采取的热点数据优先、冷僻...
关键词:扫描体 mamhing cubes算法
提供了一种NURBS扫描体的逼近方法。该方法主要步骤:(1)通过系列平面切割,把NURBS曲面(实体)进行降维处理,变成平面曲线;(2)为曲线设置局部标架;(3)在局部标架下求出每一曲线在每一时刻的极值点后将其转换成原曲线的奇异点;(4)使用marching cubes算法剔除扫描体内部点,保留扫描体边界上的奇异点;(5)由所有保留点拟合成奇异...
关键词:时间序列 反向查询
为解决时间序列的反向查询问题,提出了一种新的时间序列动态索引方法——IC-索引。采用单调链表示时间序列的状态变化,利用AVE树对时间序列的变化区间进行索引。实验结果表明,算法的运行时间比现有的IP-索引减少了50%。
关键词:web使用挖掘 聚类分析 关联规则 个性化推荐
在基于Web使用挖掘的推荐系统中,仅采用关联规则挖掘技术的Web推荐系统在预测用户未来浏览模式时很难取得令人满意的结果。该文将聚类分析方法结合关联规则推荐算法,应用于Web日志文件的挖掘,以改进个性化的推荐方法。实验表明,该算法能够显著地改进推荐测度的精确率指标和综合评价指标。
关键词:贝叶斯网络 信息检索 结构化查询 xml
目前XML查询语言及查询界面对Web用户过于复杂,该文描述了一种XML文档索引机制,在此基础上建立了一个通用的贝叶斯网络查询模型。用户只需在交互界面输入自然语言描述的查询,系统就能对其实现基于语义的构造,由它生成多个结构化查询;对这些查询建立贝叶斯网络,计算查询在给定文档下的概率,选择概率最大的前3个查询提交给系统执行。
关键词:软件项目跟踪 工作分解结构 挣值 进度性能指标 成本性能指标
对软件项目进度和成本的主要跟踪方法进行了说明和比较,系统地描述了挣值法的基本原理,包括制定工作分解结构WBS,估计任务属性和执行项目跟踪,举例说明了挣值法的使用过程,证实了挣值法的有效性。
关键词:符号表 异常处理器 异常传播
X—Base PL/SQL是一种过程式数据库编程语言,常用于数据库服务器端应用程序的开发。该文讨论了X-Base PL/SQL引擎中异常处理模块的设计思想和实现技术。鉴于Oracle数据库管理系统是数据库产品事实上的标准,还有其在全球的广泛应用,X—Base PL/SQL需要兼容Oracle PL/SQL8i的异常处理机制。
关键词:模糊综合评判 逻辑驱动测试 软件测试设计
对软件逻辑驱动测试设计的评价方法进行了研究,将模糊数学中的模糊综合评判方法应用于对逻辑驱动测试设计需考虑的模块接口、局部数据结构、独立路径、边界条件、错误处理等因素的测试设计完整性的评价中,提出了数学模型和评判方法,并以一个实例验证了该方法的可行性,同时,也为软件自盒测试用例设计的评价提供了一种新的思路和方法。
关键词:并行文件系统 文件条带化 自适应 模糊控制
研究并行文件系统自适应的文件条带(Striping)策略对改进文件访问性能的影响,并开发动态的文件条带分析模型,利用自动访问模式分类和实时文件系统性能数据为文件条带策略选择模糊逻辑规则库,来优化文件访问性能。研究结果表明:当文件系统负载低时,可以尽量将文件分布到所有磁盘上来最小化I/O的反馈时间;反之,在系统负载高时,使文件分...
关键词:统一建模语言 uml状态图 切片 依赖性分析
将UML状态图、程序切片和软件测试技术三者结合起来,生成基于依赖性分析的UML状态图切片,为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了该切片方法的实用性,应用于回归测试中具有较高的效率。
关键词:分布式应用 xml web services 数据传输 可访问性
在EAST_VCL应用系统中,构建了基于XML Web Services的数据服务中心,实现了多种类型的数据转换功能,并且组建了实验数据特征抽样、数据压缩等服务。实验证明,该服务中心不仅具有良好的可扩展性,而且有效地提高了EAST_VCL应用环境中数据传输性能,增强了应用的可访问性。
关键词:数据挖掘 并发挖掘 关联规则 物流
现有的数据挖掘方法大致有两类:有候选项集和无候选项集,有候选项集的挖掘以Apriori算法为代表,其特点是产生大量的候选项集,重复多次扫描数据库,挖掘效率低,不适合大型数据库的挖掘。无候选项集的挖掘以FP—T方法为代表,但它不能同时挖掘多概念层的关联规则,对具有超大项ID的大型数据库,无法生成“树”结构,使用也受到限制。该文将FP...
关键词:xml 信息检索 索引 倒排文档
当前基于Web的半结构化数据越来越受到重视。该文分析了当前对XML数据检索的相关工作,提出了一种路径索引技术,并将之无缝结合了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重检索。该方法只需要对文档库扫描一次,可以大幅度降低用户查询时间。
关键词:集群系统 phoenix集群操作系统 pwp mvc
随着集群技术的普及,集群系统如何对外提供服务成为十分重要的课题。Phoenix是一体化、高可靠、高可扩展的集群操作系统。PWP(Phoenix Web Portal)位于Phoenix系统的最上层,旨在为各类用户访问Phoenix系统提供一站式的服务。该文介绍了PWP的设计与实现。
关键词:逻辑程序 语义检测 ksg图
基于逻辑程序及其稳定模型的理论,提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图,将安全知识规则转换为一个逻辑程序,再用关键语句图去实例化该逻辑程序,最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义,具有较好的可扩展性。
关键词:问题求解环境 网格计算 高性能计算
科学问题求解环境以一套高效的科学计算工具集为基础,为求解科学问题提供了一个方便易用的平台。把传统的科学问题求解环境同网络的共享与协同特征相结合,为满足科学问题求解过程中普遍存在的知识复用与大规模计算的需求提供了新的机遇。该文介绍了科学问题求解环境的发展历史及存在的问题,在此基础上提出了一种解决方案——基于网络的科学问...
关键词:web 嵌入式设备 网络管理
随着Web和嵌入式系统的发展,许多非Internet的嵌入式设备联入了互联网,人们希望可以对这些设备能够进行管理和控制。该文针对嵌入式设备提出了一种基于Web的嵌入式设备的网络管理模型。通过把Web集成到嵌入式设备中,可以随时随地对设备进行远程访问及管理,利用该模型可以真正实现非Internet设备的网络化以及对Internet的透明网络互联。
关键词:ntp gps utc 交换网管系统
在对通信交换网关键技术(NTP、GPS、UTC)的获取及传播方式分析基础上,比较了时间同步算法的不同方案并讨论了最优的算法。根据网管系统的交换机接入方式,分别开发了串口同步程序和网口同步程序。
关键词:webgis net
分析了现有WebGIS的不足,论述了基于.NET技术的实现模型和技术特点,并根据多层结构及组件化的思想,构建了一种新的架构——基于.NET框架的WebGIS系统,该系统利用.NET的技术特点,解决了现有系统并发能力不强、兼容性不够、开发及部署复杂等问题,并且在.NET环境下进行了实现。
关键词:域间路由 连通不完全性 bgp 路由策略
在设计和实现新的路由协议之前,确定一个完善的特性集合具有十分重要的意义。文章认为这个集合还应包含一个新的重要元素:IP路径的对称性和可传递性。实验研究表明,在Internet网络目前的路由机制下,IP逻辑连接具有相当程度的连通不完全(不对称和不可传递)的病态特征,并且随着AS的网络规模的增加而显著增长。同时指出引入域的划分和独立管...
关键词:可靠性 markov模型 环路失效 维修强度
采用Markov模型方法研究了具有双工可维修链路的2D—Torus网络的可靠性。在分析链路失效/环路失效以及链路修复/环路修复关系的基础上,以3x3 Torus为例建立了具有双工可维修链路的2D—Torus网络可靠性模型。通过对模型的仿真验证并与单工网络的可靠性进行对比,给出了关于2D—Torus网络可靠性的一些结论。