杂志简介：《计算机工程》杂志经新闻出版总署批准，自1975年创刊，国内刊号为31-1289/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：特邀论文、专栏、专题、先进计算与数据处理、体系结构与软件技术、移动互联与通信技术、安全技术、人工智能及识别技术、图形图像处理、多...
杂志简介：《计算机工程》杂志经新闻出版总署批准，自1975年创刊，国内刊号为31-1289/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：特邀论文、专栏、专题、先进计算与数据处理、体系结构与软件技术、移动互联与通信技术、安全技术、人工智能及识别技术、图形图像处理、多...
作者：李谢华; 杨树堂; 李建华; 诸鸿文 刊期：2007年第13期
以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。将检测模型同认证测试方法相结合,能够克服原有认证测试方法缺乏判断消息初始产生者的缺点,从而在安全协议的分析中能够检测出协议可能存在的安全漏洞。通过对Neuman-Stubblebine协议的安全性验证表明,该方法能够有效地...
作者：王令群; 陆小芳; 郑应平 刊期：2007年第13期
以提高芯片生产厂家的市场竞争力、芯片合格率和按期交货率为主要调度目标,该文提出了基于多agent技术的半导体生产线动态调度算法,各加工中心agent相互合作,调度时协同考虑上下游加工中心的信息,共同满足优化调度的目的,仿真实验证明了算法的有效性。
作者：于婧; 胡曦明; 伊鹏; 汪斌强 刊期：2007年第13期
基于结构化P2P路由系统的马尔可夫链模型,以平均路径长度为指标,提出了结构化P2P网络路由算法在网络层面的性能量化评估方法。该方法解决了结构化P2P网络采用基于overlay层面的路由算法实现资源查找和定位导致的网络层路由性能无法估量的问题,能够准确表现结构化P2P网络overlay层面路由算法的实际网络性能,为结构化P2P网络路由算法的研究提供准...
作者：张磊; 谢强; 吴笑凡; 丁秋林; 黄添强 刊期：2007年第13期
企业中存在大量语义异构数据源,语义异构阻碍了数据源的查询处理。该文针对这个问题,提出了基于Ontology的语义集成方法,给出了语义异构信息源的查询处理。通过实例验证了方法的可行性。某航空研究所应用表明：该方法可以有效地处理企业中存在的异构数据源查询问题。
作者：林奕; 闫杰; 曾小荟; 张凯 刊期：2007年第13期
指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网（OOPN）统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型（EOSM）。该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个行为间的结构化动态耦合。研究表明,EOSM模型可以实现对象的结构模型与行为模型的统一表示。
作者：杜军威; 徐中伟 刊期：2007年第13期
故障树分析法（FTA）用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁...
作者：万本庭; 龚杏 刊期：2007年第13期
微波成像问题属于非线性和非适应性问题,目前很多重建算法得到的图像质量并不是最优,为了得到更好的图像,文章提出了信赖域的重建算法（TRR）,该算法将断层成像问题转化为具有约束的最小二乘问题,逐步将非适应性的最小二乘问题转化为线性互补问题求解。模拟结果表明,应用该算法可以得到比L-M算法更好的重建图像。
作者：张亚娟; 李景峰; 祝跃飞 刊期：2007年第13期
给出了对MAKAP协议的一种并行攻击方法,利用该方法,攻击者能够在用户面前扮演诚实的服务器,同时在服务器面前扮演用户。攻击结束后,服务器认为自己已和用户成功建立起会话密钥,其实用户根本没有和服务器通信。分析了此协议遭受攻击的原因,在此基础上,对MAKAP协议进行改进,获得了MAKAP1协议。在随机谕示模型下证明：若DDHP不可解,则MAKAP1协议是...
作者：刘金伟; 黄樟钦; 侯义斌 刊期：2007年第13期
介绍了孤立词语音识别系统,针对片上系统进行了语音识别算法的选择。对基于语音帧的端点检测算法、线性预测编码倒谱系数LPCC算法和动态时间规整DTW算法进行了分析和设计。对于新型语音识别SoC芯片的开发研制和推动片上可编程系统（SoPC）的研究与发展具有一定的理论和实践意义。
作者：龙士工; 罗文俊; 彭长根; 李祥 刊期：2007年第13期
在传统的串空间基础上引入带变量的串空间模型,对于未确定的消息项或其子项用变量表示,允许变量出现在消息项及其演算中,协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型,提出了一个用于推理协议主体的各种行为的模态逻辑系统,给出了该逻辑的语法、公理及推理规则。基本的模态公式[P]Aφ表示主体A完成动作P,φ是相应的结...
作者：史亮; 董槐林; 王备战; 龙飞 刊期：2007年第13期
针对遗传算法求解大规模0-1背包问题中存在的不足,将定向变异机制引入到遗传算法中,提出了基于主动进化遗传算法的0-1背包问题求解算法。该算法利用概率编码方案对种子个体进行编码,每代种群中的个体通过对该代种子个体进行测度而产生,用于定向变异的诱变因子将参与种子个体的进化。实验结果表明,该算法具有较好的全局寻优能力和执行效率。
作者：彭飞; 丘水生 刊期：2007年第13期
PEM、PGP以及S/MIME虽然提高了电子邮件的安全性,但仍存在速度慢以及安全性不够等不足。该文在介绍了混沌的分组密码算法、二维超混沌的单向Hash函数以及混沌与椭圆曲线的数字签名算法的基础上,提出了一种新的安全电子邮件系统。分析和应用表明,该系统具较高的速度和良好的安全性,具有广泛的应用前景。
作者：李清; 李志蜀; 朱明放; 殷锋; 叶军; 陈良银 刊期：2007年第13期
针对网格服务的动态性、时序性和随机性,给出了一种基于Q-learning的动态网格服务选择方法,用于求解具有不完全信息的网格环境中的服务组合。对满足马尔可夫决策过程的服务组合提出了一种支持不完备信息描述的网格服务描述模型,实现了对服务组合整个生命周期的描述。提出了一种改进的Q-learning算法,动态、自适应地对服务选择中不同选择进行预估...
作者：温东新; 王玲; 杨孝宗 刊期：2007年第13期
VLSI高层次设计技术是近年来系统设计自动化研究的主要方向,高层次综合设计是高层次设计技术的关键,其主要任务是调度和互连。该文介绍了若干基本的调度和互连算法,提出将DVS技术应用于高层次综合设计中,实现在满足任务行为的约束条件下,动态改变时钟的速度和电源电压达到降低功耗的目的,制定了可行的研究实施方案。
作者：张连明; 陈志刚; 邓晓衡; 赵明 刊期：2007年第13期
为了捕获大规模网络通信量的动力学行为特征,该文提出了一种基于分数高斯噪声和分数利维噪声的网络通信量新模型,给出了该模型参数的估计方法和通信量生成算法。仿真实验和对比分析表明,与其它经典通信量模型相比,新模型具有更好的性能,能够较好地捕获实际网络通信量的动力学行为特征,包括自相似性和冲激性。
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：0.94
期刊级别：北大期刊
发行周期：月刊
影响因子：0.79
期刊级别：北大期刊
发行周期：月刊
影响因子：0.68
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.55
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.93
期刊级别：北大期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：月刊
影响因子：0.61
期刊级别：北大期刊
发行周期：月刊
影响因子：0.62
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.45
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.57
期刊级别：省级期刊
发行周期：半月刊