计算机工程与应用

计算机工程与应用杂志 北大期刊 CSCD期刊 统计源期刊

Computer Engineering and Applications

杂志简介:《计算机工程与应用》杂志经新闻出版总署批准,自1964年创刊,国内刊号为11-2127/TP,是一本综合性较强的计算机期刊。该刊是一份半月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:博士论坛、网络、通信与安全、数据库、信号与信息处理 、工程与应用

主管单位:中国电子科技集团公司
主办单位:华北计算技术研究所
国际刊号:1002-8331
国内刊号:11-2127/TP
全年订价:¥ 1080.00
创刊时间:1964
所属类别:计算机类
发行周期:半月刊
发行地区:北京
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:2.11
复合影响因子:0.68
总发文量:17129
总被引量:109244
H指数:73
引用半衰期:3.7842
立即指数:0.0214
期刊他引率:0.8953
平均引文率:8.4761
  • 一种改进的软件项目开发风险管理模型

    作者:冯楠; 李敏强; 寇纪淞; 方德英 刊期:2007年第21期

    该文提出了一种改进的软件项目开发风险管理模型。该模型在贝叶斯网络的建模过程中以样本数据集为基础进行结构学习和参数学习,建立更符合实际软件项目特征的贝叶斯网络。同时,进一步完善了软件项目开发风险管理流程,并利用贝叶斯网络的信念更新过程实现动态软件项目风险管理。经实践检验,该改进模型能够更有效地对软件项目开发过程中的风险进行...

  • n值逻辑系统MTLn中命题的程度化方法

    作者:李骏; 王国俊; 周艳 刊期:2007年第21期

    基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。

  • 密码协议形式化分析的计算合理性

    作者:王全来; 王亚弟; 韩继红 刊期:2007年第21期

    基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。

  • 可信的组播接收方不可抵赖服务MNORS

    作者:刘璟; 刘民岷 刊期:2007年第21期

    提出了基于移动Agent安全方案MABCM的组播接收方不可抵赖服务MNORS。在MABCM构造的移动Agent黑箱的保护下,通过内嵌解密密钥的方式,NRR移动Agent程序能够在不可信的接收方计算环境中强制生成可信的NRR不可抵赖证据,解决了在不可信的接收方环境中强制产生可信的NRR证据的技术难题。目前,针对组播接收方不可抵赖问题的研究成果非常少,作者所知的唯...

  • 7轮AES-192的飞去来器攻击

    作者:张闻宇; 黎琳 刊期:2007年第21期

    给出了7轮AES-192的飞去来器攻击。攻击需要239选择明文,2183自适应选择密文,时间复杂度为2183次加密操作,需要237字节的存储空间。这种攻击也可以用于其它SPN结构的没有足够混合的算法。

  • 网格工作流中转移概率的计算方法研究

    作者:王勇 刊期:2007年第21期

    网格工作流的转移概率指的是工作流中一个活动发生之后另外一个活动发生的概率或者该活动再次发生的概率。转移概率广泛地应用在工作流的分析中,如过程重组、工作流服务质量管理等。基于一种网格工作流模型GPEL,分析了计算转移概率的不同的场景,并讨论了这些场景中转移概率的计算方法。

  • 多星联合动态调度问题的启发式算法研究

    作者:王军民; 谭跃进 刊期:2007年第21期

    对地观测多星联合动态调度问题是一类复杂的调度问题。在对多星联合动态调度问题的动态来源进行深入分析的基础上,对该问题进行了统一描述。针对问题的特点,提出了一种基于规则的启发式求解算法,设计了最大竞争度的退出启发式规则和最小冲突度的插入启发式规则。最后给出了一个应用实例,对算法进行了验证。

  • 一种基于内容保护的电子方案

    作者:薛海峰; 卿斯汉; 张焕国 刊期:2007年第21期

    设计了一种对内容进行保护的电子方案,可以使发行商在兑奖前不知道彩民的内容。通过采用Hash链方法,可以公开验证所有,防止发行商与银行勾结伪造、伪造销售额、伪造中奖奖金以及防范其内部人员攻击。该电子方案具有隐私性、不可伪造性、不可重复、可追踪、不可否认性、公开验证性等安全特点。

  • 改进的Ridgelet变换图像去噪方法

    作者:罗鹏; 高协平 刊期:2007年第21期

    提出了基于平移不变的ridgelet去噪方法,与平移不变小波去噪相比较,试验结果表明平移不变的ridgelet算法在消除和抑制噪声的同时能更好地保留图像边缘特征,并且显著改善了峰值信噪比。

  • 不确定环境中的群体行为建模及仿真研究

    作者:陈世明; 黄江平; 姜红 刊期:2007年第21期

    提出一种模糊隶属度函数来对个体的不确定运动状况进行建模,进而提出不确定环境中的群体模型,这种基于模糊概念的建模方法不会无谓地牺牲个体的可运动空间,可尽量减少群体行为建模时对个体邻域内其他个体运动状况的约束强度,而不确定群体模型能保证在不确定环境中实现稳定收敛的群体行为,仿真结果表明,通过对个体的运动位置进行模糊处理,有利于...

  • 构件适应和组装的形式化语义描述

    作者:谢兄; 张维石 刊期:2007年第21期

    构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进...

  • 非线性约束规划的极大熵多目标进化算法

    作者:刘淳安 刊期:2007年第21期

    解非线性约束规划的困难在于如何处理问题的约束,从问题的约束条件出发构造了一个新的极大熵函数,利用此函数将原非线性约束规划问题转化成了两个目标的多目标优化问题。通过对搜索操作和参数的合理设计给出了一种新的极大熵多目标进化算法。计算机仿真表明该算法对带约束的非线性优化问题求解是非常有效的。

  • 基于网络方法的DNA序列编码区·非编码区性质研究

    作者:付新; 徐振源 刊期:2007年第21期

    利用了一种基于图论理论的方法对DNA序列(片段),其编码区及非编码区进行分析。该方法通过复杂网络研究生物体的拓扑结构,主要通过测量聚类系数(也可称:集团系数)构建网络的拓扑结构。依据DNA序列的前缀、后缀关联性质构造了所选取DNA序列(片段),其编码区和非编码区的相关网络,发现以上网络分布满足幂率特征,有较大的聚类系数(集团系数)...

  • 基于Contourlet的图像PCA去噪方法

    作者:张久文; 敦建征; 孟令锋 刊期:2007年第21期

    提出了一种通过主分量分析(PCA)对Contourlet域中噪声能量的估计来实现去噪的新方法。Contourlet变换是一种结合多分辨率分析和方向性滤波的小波变换,它除了具有一般小波变换的多尺度、时频局域性外,还具有多方向性、各向异性等特征。因此,Contourlet能有效地捕获到自然图像中的轮廓,并对其进行稀疏表示。目前使用的小波去噪方法基本上都是建...

  • 一种形态学滤波结构元的选择方法

    作者:肖启芝; 许凯; 关泽群; 周春; 秦昆 刊期:2007年第21期

    形态学滤波作为一种非线性滤波方法在目标提取、抑制噪声等图像处理领域有着广泛的应用。针对形态学滤波中的一个关键问题—结构元的选择,通过对结构元分解和形态学滤波运算的研究,提出了一种自适应选择结构元尺度的二值形态学滤波方法。通过实验表明该方法可以快速、准确地确定滤波中结构元的尺度,具有较强的去噪性和抗干扰性。