杂志简介：《计算机学报》杂志经新闻出版总署批准，自1978年创刊，国内刊号为11-1826/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：研究论文与技术报告、短文、学术通信、学术活动、中国计算机学会学术动态
杂志简介：《计算机学报》杂志经新闻出版总署批准，自1978年创刊，国内刊号为11-1826/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：研究论文与技术报告、短文、学术通信、学术活动、中国计算机学会学术动态
作者：胡海洋; 马晓星; 陶先平; 吕建 刊期：2005年第09期
反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件'黑箱'结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计算、多媒体应用等多个领域展现出较好的应用前景.该文在介绍反射计算与反射系统基本知识的基础上,首先分析归纳了...
作者：陈伟东; 冯登国 刊期：2005年第09期
该文基于可验证秘密共享思想和对Zheng的签密方案的必要修改,首次构造了一种不需要可信中心的门限签密方案.它能同时达到门限签名和加密的双重目的,实现代价仅和门限签名相当,并具有非否认性质.该文对当前一些分布式密钥分配协议做了分析,并基于Naor的基本思想,重点利用签密方案设计了协议SC-DKDS.与其它协议相比,该协议在减低实现成本等方面更...
作者：周明辉; 邓佳; 郭长国 刊期：2005年第09期
该文从容错QoS角度出发,为现有的基于中间件的容错对象管理框架增加自适应特性.首先把动态重配置定义成容错属性集(及其实现)、计算环境和资源变化描述、动态调整算法三者之间的互动关系,然后采用反射模型和/订阅模型建立了一个动态重配置管理框架,可以使系统在发现计算环境的变化、定制动态调整算法等多方面得到有力的支持,为系统有效实施动态...
作者：曹小林; 莫则尧 刊期：2005年第09期
针对大规模科学计算中的强非规则结构负载问题,作者开发出一种基于实测的动态负载平衡方法.首先,将由规则结构化网格组成的模拟区域剖分成多块;其次,把块的高维坐标转换成一维Hilbert空间填充曲线(HSFC)索引;然后,基于实测信息采用多层均权法剖分按一维HSFC索引排列的块;最后根据剖分信息重分配块以平衡负载.它把仅适用于一维的多层均权法扩展到...
作者：岳安步; 林作铨 刊期：2005年第09期
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了...
作者：彭京; 唐常杰; 李川; 胡建军 刊期：2005年第09期
该文提出了一种新的基于多层染色体基因表达式编程的遗传进化算法M-GEP,新算法引入了多层染色体的概念,利用染色体构建的层次调用模型对个体进行表达,在解决实际函数发现、电路进化等实际问题中取得了良好效果.该文主要贡献包括:(1)提出了基于多染色体的基因表达式编程算法(M-GEP);(2)建立了不同染色体的层次调用模型及存储结构;(3)提出并实现了...
作者：李爱国; 覃征 刊期：2005年第09期
提出一种基于分段多项式表示(PPR)的时间序列数据库相似查询的系统化方法.PPR是一类基于线性多项式回归的正交变换.用PPR变换索引时间序列数据在理论上具备非漏报性质.文中分析了PPR的计算复杂性以及查询阈值的下界,并提出了一种衡量时间序列相似查询算法之查询效率的定量指标.与基于离散傅立叶变换(DFT)和离散小波变换(DWT)的时间序列相似查询...
作者：凌应标; 吴向军; 姜云飞 刊期：2005年第09期
该文提出了一种求解SAT问题的改进遗传算法(SAT-WAGA).SAT-WAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SAT-WAGA等多个算法的实...
作者：郭岩; 白硕; 杨志峰; 张凯 刊期：2005年第09期
文章围绕网络日志中是否蕴含用户访问Web的规律性特性以及如何利用这些特性,研究了日志规模与用户数、Web文档数以及单位用户访问的Web文档数的关系;通过用户对Web访问动机的分析得出结论:一定时间段的Web访问日志中蕴含了用户的稳定兴趣;利用日志中蕴含的用户稳定兴趣,提出了一个基于用户行为的相关文档检索模型和搜索引擎系统SISI.SISI的实际...
作者：张涌; 朱洪 刊期：2005年第09期
在近似算法领域,集合覆盖(Set Cover)是研究的比较早和比较透彻的问题之一.该文提出了一类与集合覆盖很相似的问题:集合击中和弱集合b -覆盖,并且给出了解决它们的近似算法,还证明了它们的不可近似性.
作者：曹锋; 邓培民; 易忠 刊期：2005年第09期
有限自动机公开钥密码体制的提出进一步激励了有限自动机可逆性的研究.在有限自动机公开钥密码体制中首次提出了自动机化合的概念.易知,两个弱可逆有限自动机的化合仍然是一个弱可逆有限自动机并且它的延迟步数不大于前两个有限自动机延迟步数之和.然而,另一方面,如何将一个弱可逆有限自动机分解为两个弱可逆有限自动机的化合却是一个非常困难的...
作者：徐川育 刊期：2005年第09期
基于规则的模糊系统在表示信息方面受到模糊集隶属度不能区分正面证据和反面证据的限制.对此,该文提出了基于Vague规则的一类Vague系统,它包括SISO和MISO Vague系统;证明了:对于定义在紧集上的连续函数f,存在一类Vague系统,其Vague关系ε-逼近f;Vague关系被去Vague化后,得到的系统输出万能逼近f.一类Vague系统增强了不确定信息的表示能力,扩大了...
作者：刘全; 孙吉贵; 崔志明 刊期：2005年第09期
Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简化前后结果对比表明,改进后的Tableau方法,在推理效率上有很大的提高.
作者：黄国宏; 熊志化; 邵惠鹤 刊期：2005年第09期
该文提出一种基于构造型神经网络的最大密度覆盖分类算法,该算法直接从样本数据本身入手,通过引入一个密度估计函数对样本数据进行聚类分析,找出同类样本中具有最大密度的样本数据点,然后在特征空间里作超平面与球面相交,得到一个球面领域覆盖,从而将神经网络训练问题转化为点集覆盖问题.该算法有效地克服了传统神经网络训练时间长、学习复杂的...
作者：孙权森; 曾生根; 王平安; 夏德深 刊期：2005年第09期
利用典型相关分析的思想,提出了一种基于特征级融合的组合特征抽取新方法.首先,探讨了将典型分析用于模式识别的理论构架,给出了其合理的描述.即先抽取同一模式的两组特征矢量,建立描述两组特征矢量之间相关性的判据准则函数,然后依此准则求取两组典型投影矢量集,通过给定的特征融合策略抽取组合的典型相关特征并用于分类.其次,解决了当两组特征...
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：0.94
期刊级别：北大期刊
发行周期：月刊
影响因子：0.79
期刊级别：北大期刊
发行周期：月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：0.68
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.55
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.58
期刊级别：北大期刊
发行周期：月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊