计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
北大期刊(中国人文社会科学期刊)CSCD 中国科学引文数据库来源期刊(含扩展版)统计源期刊(中国科技论文优秀期刊)知网收录(中)维普收录(中)万方收录(中)CA 化学文摘(美)JST 日本科学技术振兴机构数据库(日)Pж(AJ) 文摘杂志(俄)哥白尼索引(波兰)国家图书馆馆藏上海图书馆馆藏文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:检测模型 认证测试 类型攻击
以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。将检测模型同认证测试方法相结合,能够克服原有认证测试方法缺乏判断消息初始产生者的缺点,从而在安全协议的分析中能够检测出协议可能存在的安全漏洞。通过对Neuman-Stubblebine协议的安全性验证表明,该方法能够有效地...
关键词:半导体生产线 调度 多agent系统
以提高芯片生产厂家的市场竞争力、芯片合格率和按期交货率为主要调度目标,该文提出了基于多agent技术的半导体生产线动态调度算法,各加工中心agent相互合作,调度时协同考虑上下游加工中心的信息,共同满足优化调度的目的,仿真实验证明了算法的有效性。
关键词:结构化p2p网络 路由 马尔可夫链模型 平均路径长度
基于结构化P2P路由系统的马尔可夫链模型,以平均路径长度为指标,提出了结构化P2P网络路由算法在网络层面的性能量化评估方法。该方法解决了结构化P2P网络采用基于overlay层面的路由算法实现资源查找和定位导致的网络层路由性能无法估量的问题,能够准确表现结构化P2P网络overlay层面路由算法的实际网络性能,为结构化P2P网络路由算法的研究提供准...
关键词:语义异构 ontology映射 查询处理
企业中存在大量语义异构数据源,语义异构阻碍了数据源的查询处理。该文针对这个问题,提出了基于Ontology的语义集成方法,给出了语义异构信息源的查询处理。通过实例验证了方法的可行性。某航空研究所应用表明:该方法可以有效地处理企业中存在的异构数据源查询问题。
关键词:面向对象 petri网 uml 可执行对象结构模型
指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型(EOSM)。该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个行为间的结构化动态耦合。研究表明,EOSM模型可以实现对象的结构模型与行为模型的统一表示。
关键词:联锁逻辑 故障树分析法 petri网 安全性分析
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁...
关键词:微波成像 重建算法 信赖域 最小二乘算法
微波成像问题属于非线性和非适应性问题,目前很多重建算法得到的图像质量并不是最优,为了得到更好的图像,文章提出了信赖域的重建算法(TRR),该算法将断层成像问题转化为具有约束的最小二乘问题,逐步将非适应性的最小二乘问题转化为线性互补问题求解。模拟结果表明,应用该算法可以得到比L-M算法更好的重建图像。
关键词:密钥协商协议 安全ak协议 匹配对话
给出了对MAKAP协议的一种并行攻击方法,利用该方法,攻击者能够在用户面前扮演诚实的服务器,同时在服务器面前扮演用户。攻击结束后,服务器认为自己已和用户成功建立起会话密钥,其实用户根本没有和服务器通信。分析了此协议遭受攻击的原因,在此基础上,对MAKAP协议进行改进,获得了MAKAP1协议。在随机谕示模型下证明:若DDHP不可解,则MAKAP1协议是...
关键词:片上系统 语音识别 端点检测 lpcc dtw
介绍了孤立词语音识别系统,针对片上系统进行了语音识别算法的选择。对基于语音帧的端点检测算法、线性预测编码倒谱系数LPCC算法和动态时间规整DTW算法进行了分析和设计。对于新型语音识别SoC芯片的开发研制和推动片上可编程系统(SoPC)的研究与发展具有一定的理论和实践意义。
关键词:安全协议 变量 串空间 逻辑
在传统的串空间基础上引入带变量的串空间模型,对于未确定的消息项或其子项用变量表示,允许变量出现在消息项及其演算中,协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型,提出了一个用于推理协议主体的各种行为的模态逻辑系统,给出了该逻辑的语法、公理及推理规则。基本的模态公式[P]Aφ表示主体A完成动作P,φ是相应的结...
关键词:遗传算法 定向变异
针对遗传算法求解大规模0-1背包问题中存在的不足,将定向变异机制引入到遗传算法中,提出了基于主动进化遗传算法的0-1背包问题求解算法。该算法利用概率编码方案对种子个体进行编码,每代种群中的个体通过对该代种子个体进行测度而产生,用于定向变异的诱变因子将参与种子个体的进化。实验结果表明,该算法具有较好的全局寻优能力和执行效率。
关键词:安全电子邮件 混沌 椭圆曲线
PEM、PGP以及S/MIME虽然提高了电子邮件的安全性,但仍存在速度慢以及安全性不够等不足。该文在介绍了混沌的分组密码算法、二维超混沌的单向Hash函数以及混沌与椭圆曲线的数字签名算法的基础上,提出了一种新的安全电子邮件系统。分析和应用表明,该系统具较高的速度和良好的安全性,具有广泛的应用前景。
关键词:网格服务组合 马尔可夫决策过程
针对网格服务的动态性、时序性和随机性,给出了一种基于Q-learning的动态网格服务选择方法,用于求解具有不完全信息的网格环境中的服务组合。对满足马尔可夫决策过程的服务组合提出了一种支持不完备信息描述的网格服务描述模型,实现了对服务组合整个生命周期的描述。提出了一种改进的Q-learning算法,动态、自适应地对服务选择中不同选择进行预估...
关键词:vlsi 高层综合设计 调度 dvs 互连
VLSI高层次设计技术是近年来系统设计自动化研究的主要方向,高层次综合设计是高层次设计技术的关键,其主要任务是调度和互连。该文介绍了若干基本的调度和互连算法,提出将DVS技术应用于高层次综合设计中,实现在满足任务行为的约束条件下,动态改变时钟的速度和电源电压达到降低功耗的目的,制定了可行的研究实施方案。
关键词:joseph效应 noah效应 分数高斯噪声 分数利维噪声 通信量模型
为了捕获大规模网络通信量的动力学行为特征,该文提出了一种基于分数高斯噪声和分数利维噪声的网络通信量新模型,给出了该模型参数的估计方法和通信量生成算法。仿真实验和对比分析表明,与其它经典通信量模型相比,新模型具有更好的性能,能够较好地捕获实际网络通信量的动力学行为特征,包括自相似性和冲激性。
关键词:数据挖掘 关联规则 最简关联规则
传统关联规则挖掘算法往往产生过多规则而难以被决策者所采用。针对该问题,文章从应用的角度提出了最简关联规则,其特点是后项只包括一种产品,同时追求规则前项产品项数的最小化,在此基础上给出了一种最简关联规则挖掘算法。利用该算法得到的最简关联规则集包括的规则数量大为减少且能得出与全部关联规则集相同的决策,避免了大量的冗余挖掘,提高...
关键词:设计模式 互操作 gis
GIS互操作是当前空间信息科学与技术发展的要求和趋势。为了支持互操作GIS软件的实现,该文提出了数据适配器、外观和桥接3种设计模式,为空间数据互操作和GIS功能互操作的软件开发提供了一种可复用的实现方案。旨在软件实现层面增强GIS的互操作性,提高软件质量和开发效率。
关键词:蓝鲸服务点播系统 共享cache 虚拟存储设备
蓝鲸服务点播系统(SonD系统)是一个基于网络存储的新型计算环境,为大规模计算环境中计算机的部署和管理提供了有效手段。SonD系统中虚拟存储设备共享cache方法,在文件一级实现了对SonD系统中虚拟存储设备间物理共享数据在内存中cache的共享,有效地避免了共享cache后带来的数据的一致性问题。实验数据表明,虚拟存储设备共享cache方法提高了SonD...
关键词:层次分析法 数据库预处理 完整性 平滑性 一致性
层次分析法作为运筹学方法,把复杂的决策系统层次化,通过逐层比较各种关联因素组建有效模型,为分析和决策提供定量的依据。该文提出的基于“层次分析法”的数据库预处理方法在数据仓库构建的数据清理阶段,对每个准备导入数据仓库的数据库进行3种数据指标(完整性、平滑性和一致性)的评估,以“层次分析法”的准则选择合适的数据库进行数据清理,...
关键词:网格 动态分区 服务访问
介绍了一种在网格中实现的动态服务部署和获取系统。网格中的节点根据服务质量需求,动态地划分为多个服务区,并将服务动态地部署到各个服务区的合理位置,使网格客户端能够快速、有效地访问服务,提高了网格客户端的访问速度和网格的总体性能。
关键词:负载平衡 处理器池 通信延迟 容错 数据一致性
在基于并行构件的系统中,负载平衡技术是充分利用系统资源,提高系统性能的关键技术。该文提出了一种基于并行构件的动态负载池平衡技术,与已有的负载平衡策略不同,该技术综合考虑了通信延迟、容错技术以及数据一致性对负载平衡策略的影响,旨在提高策略的准确性、高效性和健壮性,增强运行时系统的性能。
关键词:petri网 工作流网 eca规则 消息机制 工作流管理系统
针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工...
关键词:元数据分类 规则 文本学习
提出了一种基于规则和学习相结合的元数据分类存储的方法,该方法通过统计分析,提取对元数据分类影响较大的通用特征规则,对无法用规则分类的元数据,采用文本学习方法,将元数据记录看成由多个属性字段组成的文本,通过构造分类器实现分类。实验结果表明,采用元数据分类存储方法具有良好的检索性能。
关键词:数据集成 adaptor soa 企业应用集成
数据集成是面向服务架构SOA的基本构件,开源项目OpenAdaptor适配器框架能够快速构建数据集成功能,具有标准化快速开发、灵活、易于定制、高度复用等特点,为企业应用集成的实施奠定了基础,文中分析了OpenAdaptor的原理及实现,通过数据/订阅模型的适配器详述了OpenAdaptor的应用。
关键词:可编程控制器 梯形图 指令表
提出了利用串并联归并算法以实现PLC梯形图到指令表的转换方法。该算法将梯形图转化为有向无环图,对图中的串并联关系进行分类归并,将串并联结构按层次存储在广义表中,根据广义表生成指令表。该算法克服了传统拓扑排序算法在梯形图结构复杂时产生误判的缺陷,增加了检查逻辑错误的功能。在最佳情况下,该算法的时间复杂度为O(n),最差情况下为O(...
关键词:轮廓信息 edgeprofiling
在程序实际执行中,Profiling技术能为编译器提供准确的轮廓信息。编译优化借助这种轮廓信息,可在优化时进行取舍,提高生成代码性能。该文介绍了在龙芯/ORC编译器中edge profiling的技术,给出了在edge profiling辅助下CPU2000性能测试结果。
关键词:swiftdb 移动数据库 同步 xml
SwiftDB是东南大学计算机科学与工程学院数据库及信息系统研究室研制的移动数据库系统,该文在移动数据库同步服务中应用XML进行语义合并、冲突检测,消除了操作冗余,简化了暂态事务,减少了同步耗时,提高了同步事务处理的成功率。
关键词:web缓存 web预取 命中率 字节命中率 替换算法
在研究Web缓存性能时,一般考虑2个评价指标:命中率HR和字节命中率BHR。目前大多侧重于2个指标之一,或仅通过测试2个指标的数值来评价缓存替换算法优劣,没有从2个指标关系的角度来评价缓存替换算法的性能。该文讨论了Web缓存系统中命中率与字节命中率之间的关系,提出了一种Web缓存性能评价指标——命中比(FBR),讨论了该指标在Web缓存替换算法...
关键词:分类 决策树 多值属性 多类标数据 相似度
提出了一种多值属性和多类标数据的决策树算法(SSC),在MMC算法中,对用孩子结点的类标集相似度来评定结点属性分类效果的计算方法进行了改进,综合考虑集合的同一性和一致性,提出了相似度评定方法,使类标集相似度的计算更加全面和准确。实验证明该算法的分类效果优于MMC算法。
关键词:层次分析法 供应商 企业资源计划
提出了一种基于混合AHP的供应商评价模型。利用标准AHP确定评价体系中各指标权重,使用基于区间AHP方法对各方案进行评定,求得评价区间值,定义了适用的区间排序法则,对评价区间值进行排序来选择供应商。该方案解决了标准AHP方法利用数值构造判断矩阵时存在的判断不确定性问题,在实际的ERP系统中得到了应用和实现。
关键词:智能体 合同网确认协议 参与者风险 发起者风险
在FIPA的合同网确认协议中,通过设置阈值来限制参与者投标数量可以降低参与者无任务被授权的风险和发起者选择次优解的风险,减少系统通信量,因此,如何确定参与者阈值是关键问题。该文通过分析参与者无任务被授权的风险和发起者选择次优解的平均风险,定义了参与者风险公式和发起者风险公式,提出了一种基于风险分析的参与者阈值确定方法MRA,解决了...
关键词:应用编程接口测试 软件测试驱动 软件测试自动化
在研究应用编程接口(API)测试特点的基础上,运用软件测试技术与方法对API进行了正确性测试,设计了API自动化测试框架,采用XML语言进行API自动化测试工具的设计和实现方案。使用该工具可在API信息提取、测试用例生成及测试用例执行、测试报告生成等方面实现自动化。该工具主要用于验证第三方提供的API,由于单元测试中较多地使用了API测试,因此...
关键词:rtos 任务扩充 lpc2294 arm
结合当前流行的uC/OS-Ⅱv2.52对任务的管理形式,推导出了几种可用任务数扩充方案。给出了一个在ARM核MCU上运行效率较优的最小系统实例。在ARM7 MCU LPC2294上对改进后的操作系统进行资源消耗分析实验,得出时钟周期消耗数据,验证了该方案是一种比较理想的解决方案。
关键词:粒计算 fuzzy集 rough集 数据挖掘
粒计算是处理信息和知识过程的一种新的研究方法,覆盖了所有粒度的理论、方法、技术和工具的研究。该文综述了粒计算发展现状、粒计算的理论、粒计算模型与方法、粒计算在数据挖掘中的应用研究,并给出了粒计算未来可能的研究方向。
关键词:面向对象 可视化程序设计语言分析器 小型c编译器
采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器-编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPL...
关键词:光网络 遗传算法 动态变异交叉遗传算子 阻塞率
给出了基于分层图模型的光网络中链路阻塞率的计算公式,提出了一种改进的遗传算法,通过动态调整交叉和变异两算子,在全局搜索的情况下,调大变异算子的值,控制交叉算子的值;在收敛到局部进行搜索时,控制变异算子,提高交叉算子值,提高局部搜索能力,得到了一种快速的光网络阻塞率的计算方法,通过模拟显示:与普通遗传算法相比可以提高计算速度60%,...
关键词:业务质量评价 服务质量 业务等级协定 策略 关键质量指标
业务质量评价是业务等级协定管理中的重要内容。为了解决现有业务质量评价方法存在的问题和满足新的业务质量评价需求,研究了通用的业务质量指标集合并提出了基于策略的业务质量评价方法,描述了业务质量评价过程并分析了该方法的特点。原型系统的实现验证了该方法能够实现实时、细粒度、动态、自动化、可扩展和定量的业务质量评价。
关键词:无线传感器网络 系统生命期 节点调度 平均覆盖度
系统生命期对无线传感器网络至关重要。在保证监控性能的前提下,通过调度传感器节点,使得部分节点工作,部分节点休眠,可以有效延长系统生命期。现有调度算法的性能不是很好,该文提出了一种基于扫描线的传感器节点调度算法,该算法将节点的监控区域近似为一组扫描线,通过这些扫描线判断是否为冗余节点。仿真实验表明,此算法的性能良好,调度得到的...
关键词:web服务 非功能属性 层次策略 匹配
Web服务的非功能属性匹配对增强Web服务发现的准确性,保证Web服务调用质量具有重要作用。目前Web服务的非功能属性匹配研究一般局限于某一具体的非功能属性,缺少支持各非功能属性的统一匹配方法。该文提出了一种基于策略的Web服务非功能属性的匹配方法,把Web服务非功能属性作为服务双方的策略,利用策略匹配来实现非功能属性的匹配。采用WSPL作为...
关键词:性能管理 性能控制 策略模型 策略冲突
性能控制功能能够将网络性能的变化过程与网络配置的变化过程相关联。该文提出了一种基于策略的通用性能控制方法,根据DEN-ng模型框架定义了性能控制策略模型,给出了面向网元的性能控制策略冲突检测和解决方法。经实验验证,采用该性能控制方法可以在性能事件的触发下结合性能控制策略动态调整网络配置,以改善网络性能。