计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:流密码 周期序列 线性复杂度 k错线性复杂度 k位置错误谱
周期序列的线性复杂度是衡量流密码系统安全性能的一个重要指标。事实表明周期序列中的若干位置上值的变化会影响改变后的周期序列的线性复杂度。基于此点该文提出了周期序列的线性复杂度k位置错误谱的概念以便于追踪错误位置对线性复杂度的影响。特别是对周期为2^n的二元序列,发现了这类序列线性复杂度的1位置错误谱的周期并且给出了具有同样...
关键词:超分辨率图像重构 正则化方法 偏微分方程 各向异性扩散
采用非线性扩散模型建立超分辨率图像重构的偏微分方程,利用各向异性扩散方程的方向选择平滑的特性,在重构高分辨率图像的同时能够很好地消除系统噪声,保持细节信息。实验结果表明,该方法有效地提高了重构的图像质量,在视觉观察和数值评价上都优于原有正则化方法,并且对不同噪声水平的图像具有很好的鲁棒性。
关键词:数据关联 时序有限自动机 模型检测
对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。
关键词:新股上市价格 神经网络 遗传算法 预测方法
新股上市价格预测方法的研究具有重要的理论和实践意义。鉴于此,该文提出了一种基于遗传算法和神经网络的新股上市价格预测方法。将影响股票价格的因素抽象出来,部分纳斯达克新股上市价格的历史数据作为训练样本,确定该文新股上市价格预测方法中的相关参数。并以另外9家公司的上市股票为测试样本验证了该方法的有效性。
关键词:功能点分析 复杂度等级 模糊功能点分析
功能点分析是一种广泛使甩的软件功能规模度量方法,它不依赖于实现语言,度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足,提出了模糊功能点分析方法。该方法能更准确地估算出功能点数量,具有很强的实际可操作性。
关键词:无线局域网 介质访问协议 信息类别 上界
针对工作站到达两类对实时性要求不同的数据帧的应用系统,设计了一种实时的无线局域网介质访问协议。具有实时帧的工作站需要延迟一个较短的帧间隙时间,如果实时帧之间发生了传输冲突,接入点会轮询所有工作站以快速解决冲突。仿真结果表明实时帧比非实时帧经历更短的平均等待时间,并且等待时间具有确定的上限值。
关键词:图像修复 自适应阈值 多尺度
基于TV模型的图像修复算法具有较好的修复效果,但其对参数的选取较敏感,且运算量较大。该文提出了一种综合自适应阈值与多尺度的TV图像修复算法,该方法不仅可以提高TV图像修复模型的修复稳定性,还可以进一步压缩运算量,提高修复速度。
关键词:密钥替换攻击 短签名 双线性对
随机预言机模型下的可证明安全性不能保证数字签名方案在具体实现时的安全性,因此在标准模型下的可证明安全的数字签名方案更具有吸引力。针对在标准模型下可证安全的两个短签名方案,该文指出这两个方案在多用户环境下是不安全的,不能抵抗密钥替换攻击,即一个攻击者能够生成一个新公钥满足合法签名者生成的合法签名。
关键词:阵列乘法器 浮点 超前进位 流水线
为了实现不同数制的乘法共享硬件资源,提出了一种可以实现基于IEEE754标准的64位双精度浮点与32位单精度浮点、32位整数和16位定点的多功能阵列乘法器的设计方法。采用超前进位加法和流水线技术实现乘法器性能的提高。设计了与TMS320C6701乘法指令兼容的乘法单元,仿真结果验证了设计方案的正确性。
关键词:计算机视觉 图像校正 最小化畸变 图像拼接
为了方便计算机视觉中的图像配准和拼接等工作,该文提出了一种最小化畸变平面校正方法。通过求射影变换权值变化测度之和的极值及Jacobian行列式度量校正前后的局部区域变化,求得最小化重采样效果的校正变换矩阵。建立广义平面校正坐标系,在虚拟坐标系内考虑最小化畸变和最小化重采样效果,减少了旋转造成的重采样畸变,改善了可视性。
关键词:rsa 椭圆曲线密码 硬件实现 协处理器
给出了一种公钥密码协处理器的结构,既可以计算定义在Fp上的椭圆曲线的点乘运算,也可以计算应用在RSA中的模幂运算,支持域长度不超过256比特的ECC,长度不超过2048比特的RSA。该协处理器具有结构简单、实现方便、稍加调整即可满足用户对面积的要求等特点。
关键词:安全 风险评估 动态评估 数据融合
在结合现有安全管理工具的基础上,该文提出了一个基于数据融合技术的安全动态风险淖估模型,采用层次分析法和贝叶斯网络模型实现了评估的关键环节,该方法可用于动态地调整安全控制措施的优先级。
关键词:量化 梯度方向 直方图 旋转不变 光照变化
提出了一种在复杂光照环境下具备旋转不变识别能力的匹配新算法。图像梯度方向角是一种在光照变化及目标发生旋转的情况下保持相对稳定的特征量。通过对该特征量的量化与统计分析,分2步实现在变化的光照条件下旋转目标的识别:(1)统计子图像块梯度方向角量化值的直方图,大概确定出目标旋转的角度;(2)利用确定的角度值对模板图像的梯度方...
关键词:遗传算法 聚类 星座 调制识别
提出了一种基于星座聚类的MQAM调制识别新方法,运用一种改进的基于遗传算法的自适应聚类算法对MQAM星座进行重构和识别。该自适应聚类算法利用遗传算法的高效全局搜索特性,克服了模糊C-均值算法对初始聚类中心和样本输入次序敏感等不足,结合聚类有效性分析实现了聚类中心数目的自适应调整。仿真结果表明,基于该聚类算法的MQAM信号调制阶数识...
关键词:多智能体系统 合作学习 黑板模型
Q学习算法要求智能体无限遍历每个状态一动作转换,因此在涉及状态一动作空间非常大的应用问题时,导致收敛速度非常慢。借助多智能体的合作学习,智能体之间基于黑板模型的方法通过开关函数相互协调合作,可以更快地定位那些有效的状态-动作转换,避免了无效的更新,从而以较小的学习代价加快了Q表的收敛速度。
关键词:文本分类 句类 向量空间模型 hnc理论
向量空间模型是自动文本分类中成熟的文本表示模型,通常以词语或短语作为特征项,但这些特征项通常只能提供较少的局部语义信息。为实现基于内容的文本分类,该文用HNC理论中的句类作为特征项,通过混合句类分解等技术对句类向量空间降维,使用tfc算法对特征项进行权重计算,用KNN算法进行分类。该分类器的平均准确率和召回率都是可接受的,对...
关键词:sar图像 纹理 无监督图像分割 contourlet变换 均值漂移
基于斑噪特性和纹理特征,提出了一种完全无监督的SAR图像分割算法。针对SAR图像的Contourlet变换,提出了子带选取的能量标准,对选定的子带计算能量特征和共生特征;依据特征向量的相似度剔除相近特征向量,用均值漂移算法获取纹理区域数和相应的中心特征,用像素的特征向量与相应中心特征向量的距离确定它们的分类。该文提出的方法不需要先验...
关键词:地图精简 相交关系 一致性 冲突检测
针对地理实体在精简过程中遇到的相交关系一致性维护问题,提出了一种新的处理策略。该策略设计了一种新的数据记录方式来完成地理实体的相交关系管理,为地图数据精简前后相交关系的冲突提供了不同层次的等级划分,让用户可以通过不同的设置来控制交点偏移的范围,最终达到良好的相交关系维护效果。这种策略很适合面向移动设备的地图精简。
关键词:对象关系映射 类型元数据 反射 缓存 约定规则
关系对象映射框架为消除对象和关系数据库之间的阻抗提供了有效的解决方案,目前虽有很多优秀的ORM框架已得到广泛的应用,但ORM的一些固有缺陷,如繁琐的配置文件和关联域模型、过度复杂的持久层API和性能低下的缓存结构,对项目开发产生了一定的负面影响,也增加了学习成本。该文针对ORM的上述缺陷,设计并实现了基于类型元数据的轻量级ORM框...
关键词:移动点对象 空间拓扑关系 参考地物 地理信息系统
针对二维欧氏空间内的平面移动点对象,该文基于“9交模型”,定义了参考地物的空间拓扑关系模型,并将该模型表示为3个连续观测时刻的拓扑关系的三元组,给出了移动点对象与参考点、线和面地物的空间拓扑关系的定性表达。该模型可以清楚地刻画移动点对象相对于参考地物的运动变化情况,对于智能交通、移动位置服务等应用具有重要的意义。
关键词:动态二进制翻译 优化技术 基本块重叠冗余
动态二进制翻译技术通常采用基本块作为翻译和执行的基本单元,动态翻译中的基本块在划分过程中存在重叠冗余的情况,即当前翻译的基本块可能是一个已经过翻译的基本块子集,或者包含一个已翻译的基本块,这增加了翻译开销。该文从优化动态二进制翻译角度出发,检测、消除由基本块重叠冗余带来的开销。实验表明,在动态二进制翻译过程中存在5%...
关键词:p2p mulfichord 网格数据服务 服务注册与发现
随着P2P技术的发展,人们可以采用P2P框架去实现网格数据服务的管理。同集中的单服务器相比,基于P2P框架的管理方式具有一定的优势,可以避免单点失效的情况,具有良好的可扩展性。该文提出了具有Chord层次、改进的P2P结构——MultiChord,为基于领域的网格数据服务管理提供了良好的支持。
关键词:关系数据库 非一致性数据库 查询重写 聚类概率
结合概率数据库技术,以元组匹配所产生的聚类为基础,提出了一种新的基于聚类的非一致性数据的概率方法。基于可信聚类,给出了基本的查询重写技术,在有聚集的查询中,考虑了合适的元组概率、区间值、期望值。在不进行程序预处理的情况下,“重写”能被商业数据库系统有效地优化和执行,采用不一致性数据的区分度和数据库大小去理解其适应性,...
关键词:实时监测系统 内存调度 中间件 服务质量
在数据密集型实时监测系统中,任务需要通过分配内存来存储和处理动态变化的信息。该文提出了一种基于中间件的新型内存调度器,通过反馈驱动来调节实时任务的内存分配,与受控任务保持平滑的连接,开放结构允许系统设计人员增加或修改内存管理策略。测试结果表明,内存调度器引起的开销较小,能有效地协调资源共享冲突。
关键词:多维数据搜索 范围查询
讨论了P2P网络系统中基于EIR—tree树的范围查询处理算法的改进及其在多维数据查询搜索中的应用。论述了范围查询处理算法的思路和实现方法,并对该算法在多维数据查询搜索中的应用进行了相应的实验,确定了影响其效率和速度的主要因素。
关键词:移动通信 数据挖掘 预测模型标记语言 决策树 流失分析
移动通信领域迫切需要在地理分布的经营分析系统之间交换标准的数据挖掘模型。尽管预测模型标记语言已经成为数据挖掘模型交换格式的业界标准,但并没形成可用的框架来指导标准交换模型的生产过程。该文提出了支持挖掘模型交换和移动通信客户流失分析的决策树算法框架。利用该框架构建了流失预警系统,并使用模拟客户数据验证了其有效性。对标准...
关键词:面向方面编程 单元测试 aspectj
单元测试被视为横切关注点,在软件测试过程中很重要。而面向方面编程(AOP)的主要目标就是分离横切关注点,因此,单元测试非常适合用AOP来解决。该文提出了在对面向对象程序进行单元测试时遇到的问题,并用AOP方法加以解决,同时比较了传统方法和AOP方法进行单元测试的优缺点。
关键词:p2p下载 资源共享 自助式负载平衡
在资源分配和共享领域中P2P技术成为实现资源共享的有效应用方式。基于P2P技术,资源的分配效率得到极大的提高,但是由于网络带宽、资源位置等因素影响,资源下载负荷往往是不均衡的。对此,该文提出了基于网络带宽,在多资源单用户和单资源多用户这两种情况下由资源提供者自我发现、自我请求其他有效资源的方式实现资源负载平衡分布。实验结果...
关键词:mapreduce hadoop 分布式计算 光线跟踪
提出了基于MapReduce架构实现分布式光线跟踪渲染的方案。该方案基于Hadoop实现,利用MapReduce架构简化了分布式程序设计。使用分布式计算进行光线跟踪,充分利用了现有低端硬件设备的处理能力。实验表明,该方案通过并行计算大大加快了渲染速度。
关键词:软件测试 测试项目追踪 测试项目控制
如何有效追踪和控制软件测试项目是一个亟待解决的问题。该文分析了项目追踪与控制在测试过程管理领域的实施方法,探讨了测试项目中计划、追踪与控制的定义以及三者之间的关系,并结合已经实现的软件平台分析了测试项目追踪与控制的实施策略,包括测试项目计划的实施细则、测试项目追踪过程中的信息采集状况以及测试项目的具体控制方法。
关键词:开放区域 方向关系 定量查询
扩展开放区域的基本抽象类,提出了开放梯形和开放扇形的概念,利用扩展的开放区域理论对空间对象的方向关系进行建模,给出定量方向关系查询的解决方法,并扩展绝对参考框架下定量方向关系查询技术的通用性应用于不同参考框架下的定量和定性的方向关系查询处理,实验证明该技术与传统范围查询方法相比在性能上的优势。
关键词:oa系统 元模型 流程模型 基于xml的过程定义语言
分析办公自动化(OA)系统中的流程模型,参考工作流管理联盟的基于XML的过程定义语言,提出OA系统的基本流程元模型设计,其中包括OA系统的流程模型、元模型规范、处理规范等,解决了OA系统中流程的标准化处理问题,适用于建立具有行业范围的OA系统流程及处理规范,有利于促进OA系统的标准化建设。
关键词:基本交易模型 联邦交易模型 交易空间 信任度 联邦搜索路径
分布对象管理是实现分布对象互操作的一个重点。该文通过扩展ODP中的基本交易模型,实现了对象服务的局部管理,提出了一种新的联邦交易模型,使用联邦交易空间和信任度的概念实现了大规模互操作环境中的对象服务的全局管理,给出了分布对象服务的联邦搜索过程和联邦搜索规则,以及联邦查询的最佳搜索路径选择算法,研究并提出了联邦交易的实现...
关键词:计算树逻辑 模型检测 二叉判定图
在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型检测过程能够实现,从而有效克服了模型检测中的状态爆炸问题。
关键词:ejb 远程调用 设计模式
分析EJB调用原理,指出影响EJB性能的关键因素是初始化、查找JNDI和远程调用,描述针对这3大性能因素的EJB设计模式优化思想,提出基于SessionFaqade,EJBHome工厂,ValueObject等EJB设计模式的整合优化设计方案。该方案具有良好的可扩展性和可复用性。
关键词:高级事务模型 对象事务服务 saga agent
工作流高级事务模型因结构过于复杂,或者实现起来过于困难,很难应用到实际的工作流系统中。该文以Saga模型为基础,结合成熟的对象事务服务技术,并应用多agent技术对结合OTS模型的saga模型进行优化,提出并实现了一种切实可行的高级事务模型ESaga,为Saga模型增加了分布式事务支持,很大程度上弥补了Saga模型的不足。
关键词:信息资源规划 用户视图 依赖关系 依赖度
用户视图间的依赖关系对于信息资源规划中的数据分析和数据建模有着重要的意义。该文对用户视图间的依赖关系进行了定义和说明,并细分其为数据依赖和操作依赖,在此基础上,对用户视图间的依赖关系进行了度量,提出了依赖度和被依赖度2种度量方法,为规范用户视图提供了依据。
关键词:因特网知识分布 网页超链接 随机行走
因特网知识的自动获取一直是智能系统的瓶颈。而因特网网页的分布形态、网页知识的分布又在一定程度上影响知识获取及其应用技术。该文就因特网的网页分布、网页间的链接形态进行综述,指出其中存在的问题,并以此为基础,介绍了用随机行走的方法来研究因特网知识的分布。
关键词:网络流量 熵权 加权 局域线性模型
采用熵权系数代替空间距离来确定相空间邻近相点及其权重的方法,提出了一种网络流量预测的加权局域线性模型,该模型克服了用距离来确定相空间邻近相点及其权重的传统局域模型在预测高嵌入维的混沌时间序列时预测精度下降的缺点。模拟试验结果表明,和传统加权模型相比,当网络流量时间序列的嵌入维数较高时,该模型能大幅度提高预测精度。
关键词:接入汇聚路由器 一体化管理 一体化管理结构 网络管理
针对大规模接入汇聚路由器(ACR)的特点,分析了ACR的一体化管理要求,提出了一体化管理结构,并在此基础上设计了ACR网管工作站。实际运行表明,该一体化管理结构安全可靠,完全满足ACR的一体化管理要求。