计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:遗传规划 模式定理 悲观模式定理 精确模式定理
模式定理是遗传规划的理论基础,主要解释群体在遗传进化过程中动态变化的情况,希望能够预测下一代属于某个模式的实例数,为改进遗传规划的性能提供理论上的指导。以介绍悲观模式定理和精确模式定理这两类模式的形式分析了近年来模式理论的研究进展。
关键词:网格 计算 性能
通过推导,得出了几种不同连接网格计算系统的加速比和效率计算公式,为构造网格计算系统和评价网格任务分法算法的效率提供了理论依据,并为进一步研究其它拓扑结构的分布式计算系统打下了基础。
关键词:突发公共卫生事件 数字城市 概念模型
在对突发公共卫生事件需求分析的基础上,分析了城市突发公共卫生疫情分析与决策系统的基本功能,阐述了突发公共卫生疫情分析与决策系统与数字城市之间的关系,对其概念模型进行了设计,并论述了系统的技术实现。
关键词:聚类 网格 算法 精度
为了提高基于网格技术的聚类精度,提出了利用低密度单元中的点到高密度单元中心的距离作为判断聚类边界点和孤立点的技术,开发了HQGC算法。实验表明,该算法能识别任意形状的聚类,聚类的精度高、运行速度快、可扩展性好。
关键词:可验证秘密分享 可验证加密 公平交换 半可信第三方
运用可验证秘密分享和可验证加密技术设计了一个安全的双方公平交换协议。该协议引入了分布式的半可信第三方,与已有的具有单一半可信第三方的公平交换协议相比,分布式半可信笫三方的存在使新协议的安全性和公平性得到了更好的保证。
关键词:数据库 事务 存储过程 触发器 知识库
将复杂系统的信息简约细分成可依据事务ACID属性控制的知识规则,利用VFP数据库管理系统提供的存储过程技术,形成由触发器启动完整性约束规则进行知识表示和推理的系统,结合VFP提供的面向对象编程技术对该系统的补充完善,构建一体化的知识库系统。
关键词:模型检验 statecharts eha 操作语义
模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EHA模型检验Statecharts的方法,首先把Statecharts转换为EHA,通过其操作语义得到Büchi自动机,然后与LTL公式所得的Büchi自动机相乘,最后检查该乘积自动机所能接受的语...
关键词:关联规则模型 图像挖掘
传统的低维图像关联规则没有考虑纹理要素以及对象的重复出现次数、对象的面积大小,与此相关的图像知识无法挖掘出来。该文提出的七维图像关联规则模型7D_AR功能比传统的低维图像关联规则更加完备,可以很好地解决以上问题。通过概念提升及删除无关维,由七维图像关联规则模型7D_AR可以演化出维数小于七维的各种关联则。
关键词:网络设计 遗传算法 启发式算法 跳数 边连通
提出了一种由启发式算法和遗传算法混合使用的混合遗传算法用于通信网络中的骨干网拓扑设计。文中骨干网拓扑设计问题是在满足R边连通和跳数约束的情况下使得网络费用最小。在遗传算法中,交叉和变异操作会产生不可行解,可通过增加链路来使不可行解变为可行解。增加链路后,其费用一般要比父代个体大,并且有多余的链路。该文的混合遗传算法是...
关键词:多播路由 协议 qos路由 分布式多播路由
研讨了具有QoS约束的分布式多播路由问题。描述了一种适应于QoS多播路由的网络模型,提出了一种分布式QoS多播路由协议(DQMRP)。DQMRP只要求网络链路(或节点)的局部状态信息,不需要维护全局状态信息。DQMRP可有效地减少构造一棵多播树的开销,多播组成员能动态地加入,退出一个多播会晤,且不干扰现有的多播树。给出了DQMRP的正确性证明。...
关键词:真随机数 同余法 正负法 噪声
为了提供一种简便和有效的真随机数生成方法,通过分析环境噪声数据的统计特性,提出同余法和正负法将声音波形数据进行处理。去除声波数据的周期性、连续性、相关性,提取其随机性。同真随机数采集系统设计相关的电路噪声问题以及采集速度问题也作了讨论。用此思路构建的真随机数采集系统原型已经能够用来产生性能较佳的真随机数,证明了设计思...
关键词:数字识别 图论 模式识别
提出一种应用图论的原理和基元方向信息来识别手写数字的方法,根据图论的原理对数字的图像进行粗分类,抽取基元,由方向信息进行细分类,结果表明该方法有比较好的识别结果。
关键词:公平性 环网
公平性是弹性分组环(RPR)的关键技术之一。文章提出了一种基于反馈控制理论的RPR带宽公平分配算法(RCPD),以解决RPR中不公平算法造成的问题。
关键词:多小波 正交性 对称性 平衡性
多小波是近几年小波理论研究的一个重要方向。从多小波的正交性、对称性和平衡性着手,得到了一个新的一般性结果,这个基本结果对于多小波的设计来说具有一定的指导意义。
关键词:多元线性回归 模糊控制变量 模糊集
多元线性回归被广泛用于预测。回归式反映了响应变量和预测变量间的线性关系。将模糊集理论引入多元线性回归中,通过模糊控制变量,可以得出更符合实际,也更容易为人所理解的回归模型。针对真实数据的实验表明,具有模糊控制变量的线性回归可以解决一类复杂的回归问题。
关键词:微粒群优化 粗糙集 属性离散化
连续属性的离散化是粗糙集理论的主要问题之一,也是影响粗糙集理论实用性的瓶颈之一。由于没有最佳离散化形式的统一标准,大多离散化算法采用的启发式带有较强的主观性,也难以得到较满意的离散效果。该文提出了基于微粒群优化的连续属性离散化方法,将各属性的离散化划分点初始化为一群粒子,在保证决策表分类能力不变的情况下,通过粒子间的...
关键词:软件项目开发 组织模式 评价 成本质量函数
用数学建模分析方法,构建软件项目开发组织模式的成本质量函数评价模型,并据此评价3种组织模式的效能,认为高端市场适用模式2,中端市场适用模式3,低端市场适用模式1,并结合实际案例验证理论分析结论的正确性。
关键词:面向方面编程 b语言 连接点 连接点集合 建议代码 方面
借助传统编程语言的面向方面编程扩充——AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面...
关键词:粗糙集 属性离散 聚类 som
分析粗糙集连续属性离散化问题的本质特点,提出满足粗糙集约简指标和优化算法相结合的离散化思想。引入启发式搜索策略,解决属性离散的NP-Hard问题,建立连续属性SOM自组织网络聚类的MDV(Maximum Discernibility Value)搜索方法,并给出属性约简的冗余度定义和计算方法。根据实际计算要求,对冗余度的定义进行改进。最后,通过UCI数据库实例...
关键词:嵌入式软件 集成开发环境 交叉编译 远程调试
实现了一种嵌入式软件集成开发环境,完成面向VxWorks应用程序的开发,包括源代码的编辑、编译、链接、下载、调试等一系列功能。原理是以宿主一目标机的方式,用交叉编译器编译链接源代码,形成目标代码,用RPC方法实现下载功能,并通过远程调试器GDB与VxWorks的WDB通信实现源代码级调试。
关键词:专题化爬行 web挖掘 神经网络 加强学习
介绍了基于Web内容和结构挖掘的专题化智能Web爬行Crawler系统,并重点介绍其中CA(C&S)算法,该算法充分利用神经网络可以方便地模拟网络的拓扑结构和并行计算的特点,采用加强学习判断网页与主题的相关度,在进行相关度计算时,不考虑网页的全部内容,而通过提取网页的HTML描述中的重要标记,对Web网页进行内容和结构分析,从而判断爬行到的...
关键词:粗糙集 规则提取 噪音规则 支持度
在总结分析现有规则提取算法的基础上,提出了一种新的带覆盖度和置信度因子的两阶段规则提取算法,以解决噪音数据产生的噪音规则问题,并提出了一个衡量算法有效性的指标——支持度。实例表明,该算法能够有效地去除噪音规则,使提取出的规则更加精练实用。
关键词:组件设计 软硬件协同设计 systemc
如何高效、正确地将高度抽象的形态设计,自动变化成设计的低层实现形态是软硬件协同设计(Hardware/software Co—design)的一大难题。对此该文给出了一个如何将设计从高层模型(CDM模型)自动映射到SystemC组件的设计方法及其相应的行为级代码的自动生成算法。
关键词:svg 存储空间 图形库 xml
SVG标准已被广泛应用于图形处理系统中,但当有大量的SVG图形文件时,SVG标准没有给出如何管理这些SVG文件的方法。该文阐述了将大量SVG文件构建成一个SVG图形库的模型,该SVG库减少了SVG文件大小,使得图形库也能更加方便共享、管理SVG文件。
关键词:阈值 双优先级 回溯技术 任务切换
基于阈值的双优先级调度算法结合了抢占式与非抢占式调度算法的优点,可以提高任务集的调度成功率,并减少由于任务切换引起的系统开销。对阈值的分配是调度算法的核心。在基本优先级已知的条件下,基于回溯技术的阈值分配算法利用低端任务阈值单向影响高端任务最大响应时间的特性,可以在有限的时间内为任务集找出一组具有极大值特征的阈值。该...
关键词:数组越界 静态分析 算法 控制流图
给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。
关键词:软件性能测试 仿真建模 排队模型 交通一卡通
基于排队模型的仿真建模技术,提出了一种新的性能测试框架。针对该框架,提出了一种仿真模型参数估计算法。从而能在少量真实测试数据的基础上,根据业务需求产生大量具有代表性的仿真数据。该框架在北京市政交通一卡通工程总中心结算系统性能测试中得到了应用。
关键词:图 apriori算法 数据挖掘
在计算机科学领域,图是最复杂的数据结构之一。它具有直观的表达形式,无论在研究领域还是在商业领域都有着广泛的应用。因此,如何从大量的图中挖掘出令人感兴趣的子图模式已经成为数据挖掘领域研究的热点之一。结合图论知识,对经典的Apriori算法进行改进,提出了一种图的数据挖掘方法,该方法能够有效地进行频繁子图的挖掘。
关键词:成本控制 组件集成 依赖性解析机制
论述了组件集成过程中的依赖性解析机制,主要包括组件集成过程中的集成序列解析机制、集成组件版本检测机制和集成环境检查机制,着重讨论了序列解析机制中的成本控制。
关键词:信息隐藏 信息隐藏容量 自然语言处理 文本信息隐藏
给出了一个基于自然语言处理的文本信息隐藏的一般化模型,然后基于该模型讨论了增加信息隐藏容量的方法。接着给出了一个可以有效地增加信息隐藏容量的算法。从理论和实验上都表明,该算法可以有效地提高信息隐藏容量约25%以上。
关键词:中间件 反射 重配置 qos
随着新的应用形式以及应用环境的改变,中间件不仅要解决异构和分布情况下的复杂问题,而且要解决动态性和灵活性,由此产生反射中间件。目前,基于J2EE架构的反射中间件没有解决网络的QoS控制问题。该文设计了一个提供QoS控制的反射中间件的原型(HHRM),先从重配置的角度对该原型进行了深入的分析,然后比较了它和主流反射中间件之间的重配置...
关键词:自动摘要 抽取型摘要 概括型摘要 互联网
主要研究了Internet上的文本自动摘要,介绍了自动摘要的主流技术;讨论Internet上文本摘要的新需求以及网页上与自动摘要相关的信息,介绍了摘要处理过程和当前自动摘要的主要评估方法;对Internet上文本的自动摘要作出了总结和展望。
关键词:能力成熟度模型集成 能力区分 人力资源配置模型
结合CMMI的特点设计了一种比较实用的人力资源统计方法,提出了能力区分的概念。在此基础上建立了CMMI实施过程的人力资源配置模型,对模型的求解过程进行了分析,并提出了相应的解决办法。最后进行了实例分析,证明了模型的有效性、实用性。
关键词:perl扩展 移植 java虚拟机 动态链接
Perl扩展作为Perl语言与其他语言的接口,使得Perl能够解决更加复杂的问题。该文从Perl扩展的创建入手,深入分析了Perl解释器的动态链接技术以及Perl扩展的工作原理。然后分析了Perl扩展到Java虚拟机移植的可行性和难点,最后给出了移植的几个实现方案及其评估。
关键词:隐私保护 决策树 水平分布 垂直分布
将隐私保护引入决策树构造过程中。对于数据集的3种不同分布情况,即数据仅分布在单方、数据水平分布和数据垂直分布,分别讨论了在保护隐私的前提下构造决策树的方法。
关键词:图形界面 多数据库查询优化 代价模型 查询描述
设计了一个定义多库查询的工具,该工具的设计提供了一个新的抽象层面,该抽象层面向下可将查询映射到各种具体的数据库中,向上则隐藏了各个数据库的差异,在前端采用统一的方式显示给用户。用户可以以一种直观的方式定义查询,并且在查询执行过程中使用了查询采样优化算法,使得整个用户查询变得简单而快捷。
关键词:服务发现 语义web 标志语言 语义 推理 匹配算法
提出了基于语义Web的技术。首先要定义一个服务本体,服务提供者通过服务本体描述服务信息,并以语义Web的形式来。用户可以定义查询条件来查询自己所需要的服务。查询条件可以多种形式定义,如语义Web形式和三元组形式。这需要有一个算法来处理用户查询,能够处理语义信息并进行推理,对用户的查询和所提供的服务进行匹配,并返回查询结果。文...
关键词:存储区域网 存储共享 动态库
以SAN异构存储共享系统的实现技术为核心,提出了一个基于SAN的用户级应用型存储共享系统模型,无需改变开放系统内核,可利用开放系统的系统调用来优化磁盘I/O性能,易于实现、维护和移植。详细描述了系统的设计思想和实现方法,并重点对动态库模块进行了研究。在与日本某大公司的合作项目中已实现了该系统,性能评测表明其具有接近于本地存储...
关键词:任务调度 有向无环图 异构计算 启发式算法
提出了一种异构环境下的基于复制的调度算法(TDNH),并与同为异构环境下的HEFT算法进行了比较,结果证明TDNH算法减小了时间跨度。最后通过实验证明了TDNH算法能够得到比较好的结果。
关键词:网络管理 业务管理 业务组合 业务云模型
为了解决面向业务网络管理中怎样快速提供满足用户需求的复杂新业务的问题,根据面向业务管理网(SMN)的概念和模型为基础,从业务复用的视点出发,针对整个业务生命周期建立了业务云模型,并设计了业务云发生器,可以方便快速地产生新业务。最后,给出并实现了一个基于业务云模型的SMN原型框架。