计算机工程与应用杂志是由中国电子科技集团公司主管，华北计算技术研究所主办的一本北大期刊。
计算机工程与应用杂志创刊于1964，发行周期为半月刊，杂志类别为计算机类。
杂志介绍
计算机工程与应用杂志
-
主管单位：中国电子科技集团公司
-
主办单位：华北计算技术研究所
-
国际刊号：1002-8331
-
国内刊号：11-2127/TP
-
发行周期：半月刊
-
全年订价：￥1300.00
杂志介绍
计算机工程与应用杂志是由中国电子科技集团公司主管，华北计算技术研究所主办的一本北大期刊。
计算机工程与应用杂志创刊于1964，发行周期为半月刊，杂志类别为计算机类。
主管单位：中国电子科技集团公司
主办单位：华北计算技术研究所
国际刊号：1002-8331
国内刊号：11-2127/TP
发行周期：半月刊
全年订价：￥1300.00
关键词: 机器翻译 进步 问题 创新
50多年来,机器翻译在目标定位、理论研究、技术开发以及系统的产品化和产业化等诸多方面都取得了巨大的进步,尤其是随着世界经济全球化和以互联网为代表的信息技术的迅猛发展,机器翻译需求愈加旺盛,世界范围内掀起了机器翻译研发的新热潮.然而,国内的机器翻译在热闹的表面下还存在着一些亟待正视的问题,如理论上的误区、技术上的盲从和市场化中...
关键词: lvapunov泛函 网络拥塞控制 鲁棒aqm算法
通过采用一种基于Lyapunov泛函的多变量时滞系统分析技术对网络拥塞控制问题进行了研究,得到了系统以衰减度λ指数稳定的鲁棒镇定条件,在此基础上提出了AQM网络拥塞鲁棒控制算法,所得结果不但可用于小时延网络（如LAN）,同时也适用于大时延网络（如WAN、Internet）,仿真实验表明采用该技术设计的网络拥塞控制算法具有良好的鲁棒性及控制性能.
关键词: 对地观测卫星 全球普查 任务调度
卫星全球普查任务是指利用星载遥感设备,周期性地对全球表面进行覆盖监测和数据采集.论文针对卫星全球普查任务需求的特点和卫星资源能力,建立了卫星全球普查任务调度系统.卫星全球普查任务调度系统主要包括想定管理模块、资源管理模块、场景管理模块、调度模块与仿真评估模块等功能模块,文中重点分析了系统核心的场景管理模块、调度模块与仿真...
关键词: 词性标注 条件随机域 触发对
词性标注主要面临兼类词消歧以及未知词标注的难题,传统隐马尔科夫方法不易融合新特征,而最大熵马尔科夫模型存在标注偏置等问题.论文引入条件随机域建立词性标注模型,易于融合新的特征,并能解决标注偏置的问题.此外,又引入长距离特征有效地标注复杂兼类词,以及应用后缀词与命名实体识别等方法提高未知词的标注精度.在条件随机域模型框架下,进一...
关键词: 视频分析 视频镜头分割 镜头边缘检测
论文对视频镜头边缘检测的基本原理进行了阐述,介绍了压缩域和非压缩域中视频图像的镜头切换、渐变及溶解的检测方法,以及各类检测方法的基本思想和主要公式,最后指出了性能评价所面临的问题.
关键词: 入侵检测 异常检测 聚类 主成分分析
提出了一种基于聚类和主成分分析的异常检测方法,该方法利用聚类分析将训练数据划分为不同的子集,从而得到正常模式在特征空间中的分布,然后利用主成分分析来提取各行为子集的特征轮廓,最后利用各子集的PCA变换矩阵进行检测.实验结果证明了基于主成分分析的异常检测方法的有效性.
关键词: 目标检测 空时域差分 流水线结构 可见光 背景起伏
可见光图像背景常常表现出时域和空域的双重相关特性.针对可见光图像背景下的运动小目标检测,提出了一种空时域联合差分的检测方法.以可见光图像序列模型为基础定性分析了目标、背景和噪声的基本特性和差异;在此基础上提出了空时域联合差分的背景抑制方法,结合流水线结构给出了一种实时性好的具体实现方案.实验结果证实了该方法的有效性.
关键词: 签名验证 演化计算 动态匹配
在线手写签名验证是一种基于生物特征的身份识别技术,论文尝试将演化计算理论用于手写签名验证.首先建立数学模型,并在此基础上提出了签名验证匹配演化算法,特别是签名曲线的动态分段匹配方法.最后给出了计算实例,并对结果进行了分析.实验结果表明了演化算法用于签名验证的有效性.
关键词: pnml petri网 关联矩阵 xml dom
PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径.文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOM API解析PNML文件及实现转换过程的技术细节.
关键词: 线图 同构 nrlcc编码 匹配
线图匹配在计算机视觉领域有着广泛的应用.该文研究基于改进的NRLCC编码以及面之间的关系进行立体线图的匹配.首先利用图同构检测目标线图与模型线图的面的排列关系是否一致;然后获取面的NRLCC编码和ENRLCC编码,分别得到面的顶点的凹凸性信息和组成面的曲线段的凹凸性信息.最后,利用以上几组信息,进行线图的匹配.试验结果表明,该方法可以对具有...
关键词: 多序列比对 蚁群算法 渐进比对方法 后验概率 概率一致性
在所有多重序列比对算法中,渐进比对方法由于简单的算法和高效的计算在生物信息学中得到了广泛的应用.但是渐进方法最大的缺点是在早期阶段形成的错误不能在后期的计算中纠正过来.针对这个问题,我们设计了ProAnt比对算法,即渐进方法和蚁群算法相结合来求解多重序列比对问题.首先,对输入的多个序列进行预处理,用蚁群算法和概率一致性更新计算出所...
关键词: 混沌 蚁群 优化 信息素
为了克服混沌搜索的盲目性,提出了一种蚁群算法和混沌优化算法相结合的混合优化算法,该算法利用蚁群算法中信息素正反馈的思想指导当前混沌搜索的区域.工作蚁群按照信息素的浓度高低,分别按照不同的概率搜索不同的搜索区域,从而可减少混沌盲目搜索的次数.仿真结果表明,该方法能够明显提高混沌优化算法的寻优效率,同时算法的通用性将有所提高.另...
关键词: 求逆 正规基 多项式基 基转换
有限域GF（2m）在椭圆曲线密码体制中有着非常重要的应用,密码体制的整体效率大部分取决于GF（2m）上的运算效率.该文给出了有限域GF（2m）上使用正规基表示时的一种快速求逆方案,该方案基于基转换技术,更改运算元素的表示基,采用多项式基的AI求逆算法进行运算.实验表明,此方案比普通的正规基求逆算法更加快速.
关键词: 数据流 信息流 控制流图 前向流 后向流
数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面.论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序的数据流分析奠定了良好的基础.
关键词: 变换编码 模式 决策图 二叉树
论文提出一个新的无损图像压缩算法,主要是通过有序二叉决策图（OBDD）的方法,寻找图像中重复的模式来减少其存储空间的一种变换编码,因而成为表示图像的另一种数据结构.我们通过该算法来寻找OBDD以精确地表示图像,并给出了其OBDD的有效编码,所获得的结果表明,所提出的算法及其编码是实现无损图像压缩的一种有效的方法.
关键词: 端点检测 谱熵 信息复杂程度
语音识别中,端点检测关系到后面的学习及识别效果.短时域检测的算法简单,计算量少.论文对基于谱熵的算法做了改进,采用信息复杂度计算,得到了短时域的能量-过零率和谱熵以及改进方法的结果的对比,仿真结果表明在低信噪比的条件下,改进的方法有较高的检测准确率.
关键词: 条件事件代数 乘积空间条件事件代数 贝叶斯网 概率论 逻辑推理
条件事件代数理论在数据融合系统中有着重要的应用前景,该理论可用来解决不确定性、概率性和模糊性推理问题.条件事件代数是在确保规则与条件概率相容的前提下,把布尔代数上的逻辑运算推广到条件事件（规则）集合中的逻辑代数系统.对于一些特殊的贝叶斯网（如多树型网络）已经有了一些可行的概率推理的算法,但到目前为止,还没有可行的逻辑推理的...
关键词: 低密度奇偶校验码 二部图 围长 准循环码 循环矩阵
论文研究了准循环LDPC码的构造方法,并对其译码性能进行了仿真.结果表明,准循环LDPC码在中短码时具有很强的纠错能力,性能接近目前与其长度相仿的最好的LDPC码,且编译码简单,易于实现,因而具有广阔的应用前景.
关键词: 高可信软件 安全程序 形式化证明方法 证明工具coq
对可靠程序的需求随着高可信软件在信息社会中的作用日益重要而增加.基于形式化证明工具构造携带证明的安全程序,给出严格的程序规范及其证明是提高软件可靠性的重要途径.论文介绍使用形式化证明工具Coq构造安全程序的过程和经验.
关键词: 嵌入式 数据中间件 轻量级
随着嵌入式Internet时代的到来,嵌入式设备通过与网络的结合实时地互相交换信息已经初步发展起来,因此对嵌入式系统的数据传输速度提出了要求.论文论述了在嵌入式系统中使用三层客户机/服务器结构设计来实现嵌入式数据中间件,有效地改善了多用户对数据库的访问性能,优化了网络传输性能,提高了响应的实时性.
关键词: velociti 指令分配 排序 决策树
在设计基于VelociTI体系结构的数字信号处理器过程中,为了高速实现并行指令的分配,提出了一种基于该体系结构的指令分配方法：排序法.该方法结合决策树原理实现取指包指令并行性测试,并将处理器的功能单元按照一个规定的顺序排列,使每一个功能单元与执行包的某一个字段对应,将执行包中的指令根据译码的结果和功能单元的顺序进行重新排序,从而完...
关键词: 可重构计算 fpga 在线重配置
介绍可重构计算的概念和基于SRAM工艺的FPGA器件的特点.设计了一种基于FPGA器件的可重构计算系统,着重讲述了该系统的在线重配置电路的总体结构,FIFO、FPGA配置逻辑模块、控制寄存器和控制逻辑等功能模块及系统的工作流程.最后探讨了可重构计算相关研究面临的问题和发展方向.
关键词: 构件库 xml 构件描述和检索 框架
随着基于构件的开发方法（CBD）的普遍应用,作为CBD的核心技术的可复用构件库的管理已成为学术界和业界共同关注和研究的热点.论文在对构件库和XML进行深入研究的基础上提出并初步实现了一个基于XML的构件库管理框架,并对作为其关键技术的基于XML的构件描述与检索做了详细的论述.
关键词: 静态二进制翻译 ia64 过程调用 过程恢复
论文介绍了静态二进制翻译中的过程恢复技术.根据IA64体系结构特点及其对过程调用的有关约定,实现了对IA64过程的恢复;并在对大量实例进行研究的基础上,提出了一种浮点参数恢复的改进方法.
关键词: 移动管理 移动ip 嵌入式系统 windows
随着移动通信的快速发展,以及手持移动设备的增多,人们已经进入到一个移动计算的时代.移动管理是移动通信中的核心问题.针对IETF的移动IP协议的不足,论文提出了基于嵌入式Windows CE.net操作系统实现通信设备的移动管理方案.首先简述移动IP协议,并指出其不足之处;然后介绍了嵌入式移动的整体框架：最后详细说明了移动的实现.该方案主要特点如下...
关键词: 数字处理器 optimode技术 数据处理引擎 可配置
嵌入式设备竞争激烈的产品市场,要求能更快、更有效地进行数字处理器的设计.论文对ARM公司全新的OptimoDE设计技术进行了研究.OptimoDE设计技术是一种可配置的数据处理引擎和工具集,它采用VLIW（超长指令字）体系结构,用户可自主配置数字处理器的资源,通过在线仿真,生成高效的嵌入式专用处理器系统.文章分析了OptimoDE的实现原理,给出了设计与集...
关键词: 协议 秘密共享 门限 新个体
董攀等人基于Shamir的（t,n）门限方案提出了一种为新个体分配秘密份额的方案.该方案具有无需信任中心,无需改动其他人秘密份额等优点.然而该方案存在一个缺陷,导致任意成员都可以求出其他成员的子密钥,进而重构群组密钥.论文对此进行了密码分析,并给出了详细的攻击方法.
关键词: 拥塞窗口 流量预测 自相似 缓存队列 rtt
提出一种基于自相似长相关性网络流量的TCP拥塞控制机制.利用自相似长相关性网络流量极值出现时间长的特性,预测下一时段的网络流量,动态调整相应的拥塞窗口a值,使TCP拥塞窗口从简单的线性增长变成随着网络资源的具体情况呈阶梯函数改变.仿真模拟表明,该方案降低了多媒体业务流的突发性,平滑了数据速率的变化,使缓存队列长度下降,增加了总体数据...
关键词: uwb无线传感器网络 非相干检测 传输性能 仿真
论文首先给出了UWB无线传感器网络体系结构模型,接着利用UWB技术和非相干信号检测技术设计了一个非相干检测UWB传感器接收机.在此基础上,着重研究了UWB无线传感器网络的传输性能.通过仿真发现采用了非相干信号检测技术,对UWB无线传感器网络传输性能的提高具有重要意义.
关键词: 移动ad hoc网络 定向天线 波束方向 定位信息 网络性能
定向天线系统可以有效提升Ad hoc网络路由协议和接入控制的性能,已经成为Ad hoc网络研究的重点.但是定向天线的DOA算法复杂度较高,因此可以考虑利用位置信息实现波束方向的调整.另外由于寻路机制的区别,不同路由协议采用定向天线传输时,性能表现有较大差别,而且MAC层协议对定向天线的有效调度也会对网络整体性能产生较大的影响.通过仿真评估和深...
关键词: 密码学 签密 认证加密 前向安全 公开验证
签密是实现认证加密的一种新的密码技术,其效率远远高于传统＂先签名再加密＂认证加密方法.然而签密方案不能像传统方法那样同时提供前向安全性和可公开验证性.论文对两个重要签密方案Zheng的签密方案和SK签密方案进行了改进,给出了两个同时具有前向安全性和可公开验证性的签密方案.在改进方案中验证不需要接收者的私钥,传输中隐藏签密的承诺值,...
关键词: cws服务 计算资源共享 网格计算 web服务
Web服务和网格计算技术,出现了日益融合的趋势,网格计算已经进入了服务为中心的新阶段.在这种情况下,就可以在具有良好跨平台性和互操作性的Web服务框架上实现计算资源的共享.论文提出了CWS服务和支撑CWS服务注册和共享运行的平台系统.在平台系统实现的过程中解决了几个关键问题.目前,已在北京大学计算机系的校园网内搭建了CWS服务平台,成功运行...
关键词: 弹性分组环 带宽利用率 公平策略
弹性分组环（Resilient Packet Ring,RPR）是刚被IEEE802.17标准化的主要用于宽带IP光城域网的新型技术,其带宽利用效率和传统环网相比具有较大的优势.论文通过建立弹性分组环基本带宽模型并对其带宽利用率及带宽分配的公平策略进行分析.分析结果表明：RPR带宽利用率在“环形”业务模式下最高,而在星型业务模式下和传统环网相比则无优势;在比较...
关键词: 多描述 多径路由 贝叶斯优化算法
多描述视频编码是无线Ad hoc网络中提高视频质量的一种很有效的编码方式,对于多描述编码的传输,常采用多径路由策略,论文将贝叶斯优化算法应用到多描述编码的多径路由中,以降低传输的失真.实验结果表明,贝叶斯优化算法对于解决多描述视频编码的传输失真具有良好的性能.
关键词: 无线认证协议 安全性 模型检验
模型检验作为一种有效的分析和验证手段,在对有线认证协议的形式化分析上已得到了成功的应用,但关于无线认证协议的相关工作目前还比较少.论文应用模型检验方法对D.S.Wong等提出的无线认证协议（Server-specific MAKEP）的安全性进行分析,在分析过程中充分考察了无线环境中移动装置和无线网络的特点,验证结果表明了该方法用于分析无线认证协议的...
关键词: 动态负载均衡 自适应 集群
负载均衡问题是一个经典的组合优化难题,该文建立了一个集群中的负载均衡问题模型,并提出了一种旨在最小化负载均衡开销的动态自适应算法.由于集群中存在网络延时,所以负载重分配的开销很大一部分取决于CPU间发送、接受的消息的最大数量.该负载均衡算法以最小化负载重分配时CPU间消息发送、接受的数量为目标,根据过载、轻载CPU数量的变化动态调...
关键词: rbac web应用 访问控制
论文以RBAC（Role-Based Access Control：基于角色的访问控制）理论为基础,利用B/S应用模式的特点,将WEB应用的业务逻辑和对应的显示逻辑进行合理的划分,通过控制应用系统各个页面对于不同用户角色的可见性,提出了基于角色-页面模型的Web用户访问权限的控制方法,简化了RBAC模型的实现.该方法能够减少Web应用开发中繁琐的逻辑判断代码,方便应用...
关键词: web服务 信任模型 主观逻辑 声誉 信任度
对主观逻辑存在的一些问题进行分析和改进,并进一步提出一个基于主观逻辑的自适应Web服务信任模型iWSTrust.通过利用iWSTrust对Web服务环境的交易过程所涉及的实体间的各种信任关系进行详细的建模和推理,并区分不同类型的服务请求者,iWSTrust能够使实体的信任度和声誉随着交易经验的增加而自适应地改变,预测实体的未来行为,并对恶意欺骗的实体进...
关键词: web service 移动网管 xml soap
论文阐述了Web Service技术在移动网管系统中应用所具有的优势,即与平台无关、信息共享等,介绍了XML、SOAP、WSDL、UDDI这几种关键技术.以中国移动电子运营维护系统为例,提出了一个基于Web Service的实际网络管理的解决方案.通过采用Web Service技术,实现了不同的移动网管异构子系统间的互联互通.
关键词: p2p 电子商务 信任模型
P2P电子商务比传统电子商务更方便、更灵活,但用户所涉及的风险和安全威胁也越大,各种网络诈骗层出不穷.降低用户的风险,帮助用户选择可信的交易对象,是电子商务发展的充分条件.文章提出了一种基于信任群的信任模型TGTM,经过模拟实验证明,该模型能够有效地孤立和识别恶意节点,帮助用户选择可靠的交易对象,降低其交易风险.
若用户需要出版服务，请联系出版商，地址：北京市海淀区志新东路14号综合楼，邮编：100083。