计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:流量工程 均衡网络流量 遗传算法
基于整数规划的多限制条件下流量分布优化数学模型,该文设计了一种基于遗传算法的优化算法来求解计算复杂度高的均衡网络流量问题,进行全空间并行搜索,采用自然数编码及选择交叉变异算子,结合最优个体保存策略进行选择,融入自动信息。仿真结果证明算法是有效的,改善了传统路由算法易于导致的网络流量分布不均衡的状况。
关键词:柔性过程模型 任务路由条件 产品开发过程
总结了现代产品开发过程的特点和存在的问题,分析了开发过程中的任务及任务之间的关系,提出了产品开发中的过程控制规则,讨论了路由规则和任务约束,给出了工作流模型完整性的检测算法。通过开发任务的逐级灵活分解,降低了开发过程管理的复杂性,给出了基于任务分解的任务流控制模型和算法。介绍了一个柔性开发过程控制模型实例。
关键词:标签petri网 可达性 死锁 petri网标记语言
提出了OWL—S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL—S编辑器中嵌入该功能,完善了编辑器的功能。
关键词:串扰 串扰目标选择 混合时序分析 逻辑关系分析 测试生成
针对产生串扰所需的耦合电容、信号翻转方向及时序信息,提出了包括串扰目标选择、串扰逻辑关系验证的混合时序分析算法。该算法在混合时序分析中引入测试生成,通过考察信号间的时序和逻辑关系来验证耦合电容处是否有串扰发生,并在串扰条件下验证电路的时序是否收敛。实验证明,该算法真实地反映了电路中串扰的分布情况,所得的延时分析结果也...
关键词:带权模糊petri网 模糊推理算法 知识表示 基于规则
给出了一种基于带权模糊Petri网的模糊推理算法,这种算法可以适用于一类基于规则的系统,即可以对该类系统的带权模糊Petri网模型进行相应的处理。对系统建立了知识表示的带权模糊Petri网模型,使用该算法可以确定用户给定的库所之间是否存在联系,即相应的命题之间是否存在因果关系,可以计算出命题的模糊真值。对具体的算例进行了分析并与已...
关键词:可读水印 彩色图像 分集接收
利用分集接收能够大幅度改善系统接收性能的原理,把彩色图像看成是多通道的通信信道,可读水印被正弦调制,并分别被混沌置乱,嵌入到彩色图像3个通道的小波域中。检测时,利用自适应谱线增强器对宽带信号和窄带信号的良好分离特性,采用LMS算法将调制水印自适应地从各信道中提取出来,并被数字累加,设计了数字水印相关接收机,达到了最优盲检...
关键词:流密码 迹函数 六次剩余序列
构造了一类新的周期为素数P=4u^2+27=6f+1的六次剩余序列,利用有限域和差集理论给出了该序列在周期为素数p≡7mod8情形下的迹函数表示。新序列的线性复杂良为3f=(p-1)/2,优于Hall六次剩余序列在相同条件下的线性复杂度。
关键词:短时交通流预测 指数平滑模型 动态平滑参数
短时交通流预测和交通控制巾起着基础的作用。建立了一类不需要选取初始值、带有动态参数的指数平滑模型。以预测误差平方和SSE最小为目标,构造了优选并自动生成最佳参数,使平滑模型得以优化的最速下降算法,增强了模型对时间序列的适应能力。较好地解决了指数平滑预测中,平滑参数靠检验确定且为静态,平滑初值难以确定并导敛预测偏差等问题...
关键词:overlay服务网络 服务次序 组播 罚函数方法
分析了在Overlay服务网络上进行服务组合的必要性,指出了在进行组合时服务次序约束所带来的特定困难,进而给出了服务次序约束的形式化定义以及带OoS组播路由问题的数学优化模型。借助于罚函数的方法,将服务次序约束条件吸收到目标函数中,从而可以用求解一般组播优化模型的算法来求解新模型。
关键词:生物信息学 lz复杂性相似度 k近邻 蛋白质 亚细胞位点
提出了一个基于符号序列LZ复杂性相似度和K近邻规则的蛋白质亚细胞位点类型预测的方法。相比许多其他特征参数,蛋白质序列的LZ复杂性相似度计算无需深入的生物学领域知识和除序列数据以外的其他辅助数据。同时,K近邻规则的延迟学习特性适合于亚细胞位点类型已知的蛋白质数据的动态增加。在标准的RH数据集上对该预测方法进行10重交叉验证,其总...
关键词:纹理分类 纹理谱 不变性
在纹理元的基础上提出了一类新的纹理谱描述子,新的纹理谱描述子在3个方面作了改进:将像素的灰度差量化为4个值;量化区间根据纹理对比度自动确定,并保证量化值具有灰度线性不变性;利用相关性弱的8邻域像素构建纹理谱描述子,从而降低了纹理谱维数。定义了基于新的纹理谱描述子的光照、旋转不变性纹理特征。利用该特征对Outex纹理进行光照、...
关键词:网格服务 服务质量 服务选择 服务匹配
开放网格服务体系结构OGSA提出了网格服务的概念,为网格资源的虚拟化管理给出了一条有效途径。当前网格系统对于网格服务的支持主要集中在服务的功能发现与调用部分,缺乏对服务的非功能属性的管理支持。服务的非功能属性如服务的响应时间、价格、可靠性等对于用户来说非常重要,体现着用户对网格服务均QoS需求。基于QoS的服务选择机制能够对网...
关键词:工作流 过程建模 验证 petri网 柔性
工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的。目前,柔性工作流验证领域的研究还比较欠缺,该文在这方面作了一些探索。把过程合理化验证和化简验证技术应用于基于交互学习的柔性工作流建模的形式化验证中,叙述了需要验证的问题和复杂度。利用Petri网的形式化基础特性对过程进行合理性验证和规约验证。...
关键词:微处理器 spec cpu 2000 基准程序 路经分析
Spec CPU2000的基准程序被广泛地应用于处理器的设计性能评估。在微处理器RTL级系统评估过程中,需要运行一些性能评估代码来完成系统的评估,因为运行整个基准程序的代价很大,所以都用运行部分代码的方式来获得性能情况。该文利用基准程序的频繁函数提取出徼程序的方法,用于微处理器RTL级系统的评估,在函数提取过程中研究函数内部的频繁使用...
关键词:贝叶斯网络 软件项目 风险管理模型 风险原
提出了一种基于贝叶斯网络的软件项目风险管理模型。随着软件项目的进行,该风险管理模型能够利用不断更新的项目数据持续地预测潜在风险,确定风险源并采取适当的应对措施降低风险发生概率。经实践检验,在软件开发过程中引入该风险管理模型能够有效地对风险进行管理,提高软件开发的成功率。
关键词:gml wfs svg wms webgis
提出了一种基于GML实现互操作WebGIS的新机制。该机制以GML实现多源数据存储与传输为基础,利用WFS实现地理数据要素层存取、检索与更新,在客户端以SVG方式输出高质量矢量图形。与传统的WMS实现Web服务相比较,该机制能实时动态地实现异构、跨平台下地理数据要素层互操作。
关键词:分布式数据库事务 基于协同缓存的分布式数据库更新机制 协同缓冲池
减小数据库事务中的写操作开销对于分布式数据库系统的性能而言很关键。该文提出了一种基于协同缓存技术的分布式数据库更新机制,通过在分布式数据库服务器节点物理内存之上构建全局协同缓冲池,并利用其缓存写入记录,减小了数据库事务中的磁盘访问开销,研究了基于协同缓存的分布式数据库更新机制与其在该机制下事务性能改进。
关键词:稳定性 gui测试 桌面操作系统
稳定性测试是可信性测试中一个重要的部分,传统的稳定性测试方法不适用于桌面和交互式系统。提出了一个新的基于Linux桌面操作系统的稳定性测试框架,探讨了测试过程中存在的一些技术难点和相应解决问题的关键技术。以这个测试框架为基础开发了一个集成测试平台,结合测试实例揭露了当前Linux桌面操作系统存在的稳定性问题。
关键词:网格计算技术 真正应用集群 共享磁盘 高速缓存合并 透明应用切换
以企业IT面临的难题为背景,分析了企业陋格计算相对于传统计算的优势,提出了利用网格技术解决企业难题的观点;研究了Oracle 10g核心组件RAC的技术特点,对这些特点的原理进行逐一分析;架设RAC系统实例,并对其进行功能验证、性能测试以及结果分析。
关键词:集成 映射规则 冲突消解
针对目前基于本体的XML数据集成系统中,仅仅通过映射到全局模式来进行冲突消解的不足,该文提出了一种可扩展的映射规则模型。基于该模型,给出了一个冲突消解算法,可以较好地解决由于局部数据源间的冲突引起的局部数据源查询结果整合不正确和数据源间的连接操作失败等局部数据源互操作中出现的问题。
关键词:重构 代码味道 自动化检测 lepus 设计模型 形式化规则
软件重构是改造软件遗留系统、软件重用的重要手段。代码味道用于描述软件设计缺陷,检测代码味道是软件重构的重要步骤。按照代码味道的特征给代码味道分类,对引发重构的主要缺陷一一类之间结构型代码味道,给出了自动化检测的原理,设计和实现了一个检测工具。
关键词:内容管理系统 xml 元数据 索引 算法
内容管理系统(CMS)的元数据管理是其核心模块,负责记录内容的描述信息和帮助其他模块快速定位相关内容,元数据索引是为检索提速的关键技术。根据XML语言的特点,可采用它作为元数据的描述语言,因此元数据索引问题转变为XML文档的索引问题。该文在对XML数据进行形式化描述的基础上,分析了XML索引算法的特点,针对CMS元数据的特点,提出了一...
关键词:模拟方法 性能评测 统计分类
提出了一种基于程序周期行为的快速模拟方法,通过对基本块执行次数和基本块跳转关系进行统计采样和分类,选择有代表性的程序片段来执行,能够在保证模拟精度的同时极大地缩短模拟时间。实验结果表明,在模拟了龙芯2号微体系结构的sim—godson模拟器上,采用这种方法SPEC2000测试程序可以在1h内运行完,误差率不超过5%。
关键词:反汇编结果程序结构 子程序划分 算法 结点
由于嵌入式系统可执行目标代码的多样性与灵活性,对其反汇编后,结果程序的结构化程度以及易读程度均不理想。为了更好地分析反汇编结果程序,该文提出了一种对反汇编结果程序进行子程序划分的算法,对算法设计所依赖的数据结构以及算法实现过程进行了描述和分析,给出了反汇编结果程序结构分析算法的性能测试分析结果。
关键词:delaunay 三角剖分 不规则三角网 凸壳
在介绍Delaunay不规则三角网基本概念和TIN数据结构的基础上,主要对平面离散点构建凸壳的格雷厄姆算法进行了研究和改进,提出了一种“斜率扫描线法”,并进行了编程实现。实验表明改进后的算法实现简单,容易理解,对于D—TIN模型的生成行之有效。
关键词:活动对象 调度器 负载平衡 proactive
ProActive在开发并行计算及网格应用中很受欢迎,但目前还没有可用于基于ProActive的并行计算的任务调度器,在对相关技术进行研究后,给出了一个简单有效的任务调度器的实现方案,介绍了其技术细节。将其应用于开发的基于ProActive的并行计算支持平台中进行了实验,实验结果表明该调度器是可行和有效的。
关键词:软件可靠性 可靠性模型 遗传程序设计
为解决软件可靠性模型的不一致性,摆脱传统模型多种主观假设的束缚,提出了采用遗传程序设计(GP)的演化算法建立基于软件失效间隔时间序列的软件可靠性模型。针对装甲兵工程学院的某软件测试用例进行演化建模,并对其性能指标进行了分析评价,结果验证了GP算法的可行性以及拟合、预测的有效性,从而能有效地应用于软件系统测试,保障数据的有...
关键词:工作流 时间模型 时序依赖 静态验证
时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。
关键词:小型软件组织 小型软件项目 裁剪
介绍了面向小型软件组织和项目的CMM裁剪研究,包括其裁剪的背景和意义、目标、范围和方法等,研究了小组织和小项目实施CMM面临的几大主要问题及其解决的裁剪措施。
关键词:java java虚拟机 linux 龙芯2号 jit
Java语言作为一种跨平台的编程语言在企业应用开发、桌面应用开发及嵌入式开发上获得了广泛的应用。为了在龙芯上运行Java程序,将Sun HotSpot Java虚拟机移植到了Linux/龙芯2上,该文描述了移植过程中的主要工作、遇到的问题及解决的方法和优化工作。
关键词:汇编程序 lex yacc 虚拟插桩 语句覆盖 分支覆盖
在对汇编语言源程序的测试工作中,山于其非结构化的设计思想以及众多的跳转指令,使得插桩非常困难。该文在汇编嵌入式软件程序流程图自动生成的研究基础上,提出了以PC值为基准条件的断点设置、检测机制以及虚拟插桩机制。并结合特定的测试用例在仿真测试平台上得以实现,最后通过实验检验了其正确性。
关键词:任务调度模型 gridsim仿真工具 网格
针对网格调度在网格中的重要性,提出了一种以策略为机制的网格任务调度模型。解释了模型中各功能部件的作用及其相互之间的关系,给出了与模型相对应的进行任务调度所需要的算法伪码。用Gridsim仿真工具验证模型的可实施性。
关键词:tcp吞吐量 主动测量 可用带宽
为了进行网络性能评估,在专用网络实验平台上开发了主动测量TCP吞吐量的工具NetThruput,并利用此工具在不同背景流量下测量端到端的TCP吞吐量;分析了TCP和UDP背景流量以及TCP连接的个数等因素时TCP吞吐量测量的影响;区分了TCP吞吐量和可用带宽。
关键词:无线网络 信号强度 定位算法 历史记录
研究了在基于80211的系统中,如何通过信号强度进行移动设备的室内定位。在研究并实现最大群中心定位算法MCCPA的基础之上,给出了一种利用移动终端的历史位置信息对定位结果进行修正的室内定位算法(MMCCPA)。其主要思想是,在给定前一时间使用者所在位置的条件下,将使用者出现在特定范围的概率列入考量加以修正,并作为对环境闳素影响的调整...
关键词:网络模型 无线传感器网络 约束集 qos度量 qos路由策略
基于无线传感器网络服务质量(Qos)的特点,提出了一个独立于具体算法的、在点和边上都可加权的有向图网络模型,并用数学定义描述了QoS参数间的关系及服从的函数约束,使用该网络模型分析QoS路由的数学约束集并提出QoS路由选择策略。
关键词:流媒体 流行度预测 缓存替换算法
针对流行度随时间变化的特性,利用回归分析皮术给出了一种流媒体文件的流行度预测算法,并在增加少量存储空间及计算时间消耗的情况下,将该预测算法应用于流媒体缓存服务器的缓存替换算法之中,模拟实验表明,该方法能减少缓仔的替换次数,提高缓存命中率,性能较优。
关键词:p2p网格 规则广播算法 感染广播算法 元算法
提出了一种基于P2P网格的高效广播传递算法,算法综合了两种覆盖网络的广播传递算法的优点:一种是规则网络,另一种是采用感染算法通信的非结构化网络。形成的元结构算法比原来的算法具有更快的广播传递速度、更低的消息复杂度和更高的鲁棒性。实验表明该方法具有可行性。
关键词:瘦客户端 远程显示 分布式计算 桌面环境
瘦客户端技术通过程序逻辑与用户界面的分离以及处理的集中来达到提高资源利用率、降低系统成本、提高系统安全性等目的。该文介绍了一个适合面向分布式桌面计算环境的超瘦客户端系统——SmartTerm,分析了SmartTerm设计中面临的一些技术问题,提出了解决方案,并且以RFB协议为基础提供了一个SmartTerm的设计实现实例。SmartTerm可以应用到网格...
关键词:组播 共享树 最短路径树
协议无关组播-稀疏模式是目前应用最广泛的绸播路由协议之一。它以汇聚点为基础建立共享树进行数据传输,由接收者发起到源的最短路径树的建立,通过最短路径树进行组播数据的分发。在共享树向最短路径树切换时会发生部分数据包丢失现象。该文分析了RPT向SPT切换时数据包丢失的原因及相关因素,提出了改进和解决方案。
关键词:服务等级 监控 wsrf
针对服务等级的监控提出了一种基于Wrapper的监控机制,该机制以WSRF下有状态的Web服务(WS—Resource)为基础,用Wrapper将服务提供方提供的服务进行包装再,从而在客户端访问这些包装过的服务接口时能够采集监控相关的信息,执行监控操作。采用Wrapper,的最大优点是可以屏蔽不同服务提供方的异质性,简化监控系统的实现,甚至可以直接编译服...