计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
北大期刊(中国人文社会科学期刊)CSCD 中国科学引文数据库来源期刊(含扩展版)统计源期刊(中国科技论文优秀期刊)知网收录(中)维普收录(中)万方收录(中)CA 化学文摘(美)JST 日本科学技术振兴机构数据库(日)Pж(AJ) 文摘杂志(俄)哥白尼索引(波兰)国家图书馆馆藏上海图书馆馆藏文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:隐马尔可夫模型 延时 剪接供体位点识别 水稻基因组
为使得隐马尔可夫模型(HMM)能够处理非相邻可见符号之间的依赖关系,将延时机制引入标准的HMM中。该技术仅仅改变了高阶状态发射概率的计算。所有适用于HMM的算法基本保持不变。该文设计了一个一阶延时隐马尔可夫模型和一个一阶标准隐马尔可夫模型,将两者分别应用于水稻基因剪接供体位点的识别。识别结果显示,延时模型的判别能力在一定程度...
关键词:分群 遗传算法 基于案例推理
为减轻指挥人员的认知负担,研究了作战实体的分群问题。结合遗传算法强大的搜索能力和CBR在知识获取、维护等方面的优点,利用与CBR相结合的遗传算法求解分群问题。通过把各作战实体聚合为各种规模、各种类型的作战群体,该方法将大大减轻指挥人员的认知负担,提高其决策的效能。
关键词:实时调度 延迟 预测控制 权重 服务区分
针对工作在不可预测环境下具有不确定性任务特征的实时调度系统的服务区分问题,利用队列理论对权重队列实时调度系统进行多变量控制建模,并结合模型预测控制方法将控制问题转化为受限多变量优化问题,进而基于标准的最小二乘求解器设计预测控制调度框架以及算法。通过调整任务类的权重因子来改变任务类的计算资源分配,以实现为调度任务类提供...
关键词:有偏小波网络 偏倚函数 非线性时间序列 径流预报
针对小波网络计算过程中出现大量冗余的特点,提出一种有偏小波网络模型。该模型在网络中添加一个偏倚层,通过自适应调整参数,增加自由度,减少计算冗余,同时采用基于多分辨率的初始化框架,加快了收敛速度,提高了计算精度。仿真计算表明,有偏小波网络能够反映非线性时间序列的内在特性,得到较好的径流预报结果,是一种有效的非线性建模方...
关键词:两阶段聚类 模糊蚂蚁聚类算法 待机地域选取
根据“隐蔽疏散配置”选取原则,提出了一种计算机辅助生成陆战旅待机地域选取方粟的新万堵。为兄服传统珊取聚买舁法压仃时间长、仅能处理结构化数据等不足,给出了一种两阶段模糊蚂蚁聚类算法。对第1阶段聚类后数据进行融合操作,减少了第2阶段聚类的数据量、数据分布空间和迭代次数。实验证明,该算法是一种高效率、鲁棒性好的算法。该选取方...
关键词:信息系统 粗糙集 不一致决策表 k阶分配序约简 区分矩阵
在不一致决策表中定义了k阶分配序约简,给出了k阶分配序一致集的判定定理。通过定义k阶分配序区分矩阵,给出了求k阶分配序约简的区分矩阵法。为了克服区分矩阵法时间复杂度过高的缺陷,通过定义属性的相对重要性,提出了一种求k阶分配序约简的启发式算法,分析得到该算法的时间复杂度是多项式的结论。实例验证了算法的有效性。
关键词:交通量 预测 支持向量回归 留一法
支持向量回归方法作为以结构风险最小化原理为理论基础的学习算法,可应用于交通量的预测,其中模型参数的选择是预测性能的关键因素。针对交通量的影响因素,应用时空挖掘联合预测模型,给出了BFGS变尺度算法求LOO误差上界最小化值定参的方法,试验证明,该方法对交通量的模型参数选择和预测是有效可行的。
关键词:圆检测 几何特征参数 特征点 图像分割 边缘提取
提出了一种利用一组几何特征参数对图像中的圆形进行检测的方法。对提取出的边缘进行多边形拟合,并对拟合后的多边形进行归一化处理,提取平移、旋转和尺度变换不变性的几何特征,计算相应的几何特征参数,将几何特征参数满足一定条件的形状识别为圆形。描述了该方法的具体步骤,并与随机Hough变换进行了对比实验。对合成图像和真实图像进行的...
关键词:文本提取 小波模极大值 滑动窗口
视频图像中包含着许多重要的文字信息。图像和视频文本信息的提取包括文本检测、定位、跟踪、提取、增强和识别等几个部分。将文本的检测、定位与提取,作为文本区域提取的整体来讨论。以文本的检测算法为重点研究对象,提出了应用小波模极大值算法来解决视频图像中文本区域的检测。实验表明,小波模极大值算法所得到的文本区域与其它算法相比具...
关键词:数据挖掘 关联规则 约束
针对具有上界约束的关联规则问题进行了研究,给出了上界约束的定义,分析了满足上界约束频繁集的性质,并给出了相关的证明。在此基础上,提出了基于FP-Tree的上界约束算法,采用了预先测试的方法,降低了测试项集的成本,提高了计算效率,实验结果证明该算法具有较高的效率。
关键词:带进位反馈移位寄存器 线性移位寄存器 线性复杂度 随机性检测
分析了由Schneier提出的FCSR和线性反馈移位寄存器(LFSR)相结合的密钥流生成器的结构特性,给出了其可生成密钥流的周期和线性复杂度的理论I二界,讨论如何选择LFSR和FCSR的参数以使产生的密钥流具有较好的伪随机特性,并使其周期和线性复杂度尽可能接近理论上界。利用美国技术与标准局(NIST)提供的STS软件包进行生成器选定参数下输出的密钥...
关键词:移动对象数据库 公路网 移动对象的管理 数据模型
移动对象数据库对大量移动对象的位置信息进行管理,能够支持传统数据库不能进行的时空查询,考虑到大多数移动对象的运动都固定在已知的路线中,基于公路网的移动对象数据模型、通过对公路网拓扑图的数字化转换,能够对移动对象进行有效的管理,该文采用实时平均法来反映每条线路的动态运行情况,对移动对象未来位置进行了精确预测。
关键词:网络处理器 多模式匹配 字符串匹配
由于中英文字符在编码方面的差异,传统面向英文字符环境的多模式匹配算法无法直接应用于中英文字符混合环境。提出了一种适用于网络处理器和中英文混合环境的高效多模式匹配算法。该算法采用从左向右的正向匹配,以字节为最小匹配单位,以字符为最小移位单位,在Trie树结构基础上,利用块字符匹配降低逐字匹配的概率,结合QuickSearch(QS)算...
关键词:2010年上海世博会 运行综合管理系统 框架 关键技术
从2010年上海世博会运行管理的需求出发,构建了运行综合管理的系统框架,研究了实现此功能框架的关键技术,包括子系统集成与协同工作方案、决策指挥控制的技术体系和管理体系、门户技术以及安全管理技术等。
关键词:软件体系结构 质量属性 场景
软件体系结构分析与评价的目的是为了识别体系结构设计中的潜在风险,验证系统的质量需求在设计中是否得到了体现,预测系统的质量并帮助开发人员进行设计决策。从软件体系结构的概念出发,介绍并讨论了国内外有代表性的分析评价方法,探讨了软件体系结构分析与评价方法研究中存在的问题和未来的发展方向。
关键词:通用软件封装器 封装器支持子系统 封装器激活原则子系统
基于Linux系统设计并实现的通用软件封装器旨在操作系统内核中嵌入一个安全框架,该框架通过对指定的任何软件进行封装,实时监控软件与操作系统之间的系统调用,并依据封装器对其进行处理可实现多种安全策略(如访问控制、入侵检测),从而保护主机资源。实验结果表明,通用软件封装器在系统内核中运行稳定,达到了预期效果。
关键词:多数据库 移动数据库 串行化 事务处理
提出了一个移动多数据库全局事务模型及其可串行化事务管理技术。该技术通过从各自治站点中获取本地可串行化信息构造全局事务可串行化图GTSG来判定全局事务的可串行性。它支持全局事务的迁移、网络的断接(包括可能发生的灾难性断接)并保证全局事务的关键站点子事务的原子性和隔离性。
关键词:xml 编码 关系存储 信息查询 信息更新
提出了一种基于区间表示的XML编码方式,设计了相应的关系存储模式,研究了该编码方式对信息查询和信息更新的支持。鉴于XML关系存储下信息更新的困难性,采用基于order-descendan(O-D)的XML编码方式,不仅可以完全支持XPath查询语言的13个查询轴的查询功能,而且通过简单的计算即可有效地支持XML数据的增加和删除,这种简单计算可以在关系存...
关键词:需求模型 用户界面逻辑模型 表单
为了支持界面设计的自动化,国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些工具都只是从界面本身考虑设计和编码的自动化,没有从用户需求出发考虑界面的设计。该文从需求模型出发设计用户界面逻辑,使得界面是依据用户需求设计的,并且是可以进行需求验证的。该文给出了从需求模型得到界面逻辑模型...
关键词:测试 有穷自动机 形式化方法 软件规约 面向对象
尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不足对面向对象规约的高级测试。该文提供了一个基于有穷自动机的测试框架来测试面向对象规约。该方法在一个可执行的有穷自动机...
关键词:粗集理论 约筒算法 重要度
Z.Pawlak于1982年提出的Rough集理论有效地分析了不确定、不精确、不一致等各种不完备信息,其优点是无需要任何关于数据的初始的或附加的信息,如统计学中的概率分布。该文介绍了Rough集的基本论在数据约简中的应用。在分析基于信息系统的粗糙集理论的基础上,描述了一种基于核与重要度的约简算法,从降低约筒算法计算复杂度角厦出发,修改了属...
关键词:插桩 lkm 寄生技术 嵌入式linux
为了克服嵌入式Linux调试领域中的插桩模型的缺点,该文在LKM技术的基础之上,引入了“寄生技术”,提出了一种嵌入式Linux内核调试模型,实现了调试的功能。实验表明,该模型降低了寄生代码与嵌入式Linux内核的耦合度,减少了对嵌入式Linux内核的修改量,提供了更为灵活的扩展机制和更容易移植的条件。
关键词:分布式计算 并行计算 tspaces 元组空间
Tspaces是一种新型的网络中间件。它为网络环境中各进程提供一种强大的共享存储机制来处理相互之间通信和同步。在Tspaces的基础上,构造了一个用于群机环境的并行计算系统TDCE。TDCE支持SPMD模式的并行程序,实验结果表明TDCE能以较小的系统配置和管理开销构建分布式计算平台,为并行程序的开发运行提供有效的支持,给出了系统MPI的对比测试结...
关键词:流数据 连续查询 动态存储 监测系统
以开发的网上信息监测系统为应用背景,建立了流数据应用的原型系统。通过Internet互联网实现网络数据截获、监控、还原、杏询及存储等技术,提出并应用了连续查询及动态存储策略,在原型系统中测试了系统的性能。
关键词:软件需求 形式化转换 软件可靠性
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。
关键词:ad hoc网络 组播 适应性概率转发 数据传递效率
提出了Ad H0c网络中基于概率转发的组播协议P_ODMRP。在该协议中,转发节点根据相邻转发节点的密度确定转发概率,并按此概率转发数据报文,从而减少冗余数据报文,降低网络冲突的可能性。仿真结果表明,P_ODMRP协议在保持原ODMRP协议的高数据报文投递率的同时,降低了无效数据的传递开销和数据报文平均端到端传递时延,提高了数据传递的效率。
关键词:高性能服务器 动态部署 虚拟服务器
目前高性能服务器能够支持多种应用,但各种应用在同一段时间内对资源需求是不均衡的,致使高性能服务器的资源利用率较低。该文所提出的动态部署系统是一种提高基于InfjniBand和SAN的高性能服务器资源利用的新方法。该动态部署系统通过构建虚拟服务器,改变服务器结点的计算特性,在各种应用中移动计算节点,从而合理分配服务器中闲置资源,提...
关键词:恶劣环境 数据通信策略 混沌加密 xml 系统安全
恶劣环境下无线信号会出现时断时续的不稳定现象,导致传统的保持在线连接的通信方法不能正常工作。为此,提出了一种“信号-时间窗”分析指引下的基于FTP协议传送经混沌加密及压缩处理的XML文档的数据通信策略,给出了其在恶劣信道下成功应用的实例。系统投入运行半年多的实践结果表明,该通信策略能很好地解决恶劣环境下的数据通信问题,保证...
关键词:应用层组播 共享拥塞链路 路由算法
应用层组播网络由于是构造在基础网络之上的覆盖网络,因此在应用层组播路由中产生了共享拥塞链路问题。根据共享拥塞链路的不同特点,提出了一种新的基于组播会话流而改变组播树拓扑结构的应用层组播树生成算法,消除组播树中的共享拥塞链路。仿真实验表明,与基于延迟或带宽的同类路由算法相比,此算法在综合考虑组播树的带宽利用率和延迟条件...
关键词:伽利略测试接收机 伪卫星 远近效应 独立通道
为了消除由于伪卫星测试环境下造成的远近效应,该文提出了一种基于SIC算法原耻的伽利略测试接收机通道结构设计,利用伪卫星通道的跟踪结果生成强干扰信号用以抵消GPS和Galileo通道的输入信号的强干扰信号成分,并利用伪卫星通道对较强的伪卫星信号使用1/8个周期的伪随机码做相关运算的方法,以牺牲9dB信噪比的代价使信号捕获时问大大缩短。Ma...
关键词:最短路径 二度量单播最短路径问题 路径长度
随着网络应用的日趋复杂,多度量的网络描述也在增多。针对网络的二度量单播最短路径问题,结合适当的路径长度判定函数,该文提出了一种能保持路径计算过程中的真实状态的新算法,不必预先进行处理,计算过程中通过判定函数来减少搜索空间,从而减少计算量,具有良好的可扩展性,可扩展到多度量模式。
关键词:非集中式p2p 分布式希表 洪泛 混台式搜索 内容知名度 搜索效率与质量
对非集中式P2P系统,分布式哈希衷和洪泛方法均可被用于资源搜索。结合了这两类方法的混合P2P搜索模式被期望有更好的性能,但需要找到准确判断资源知名度的仃效方法。而在动态的P2P网络环境中,现有的混合搜索算法仍面临着搜索效率与质量有待优化的问题,该文在分析现有问题的基础上提出了一种解决思路。
关键词:jpeg2000 partial object 网络缓存
目前带宽和传输延迟仍是互联网性能的主要瓶颈之一。尽管多媒体普及率越来越高,图片仍然是用户在上网时浏览得最多的内容之一。因此,如何尽快地给用户呈现出其所需要的图片,始终是一个值得研究的课题。该文基于网络上新的图片压缩算法JPEG2000,提出了一种解决方案,并用实验证实了这种方案的可行性。
关键词:网格计算经济 契约 匹配算法 体系结构
针对网格计算经济,研究了将契约应用于网格资源管理和调度的方法。提出了一个结构化的契约模式,完成了契约匹配算法,分析了契约的安全问题和相关处理。在此基础上提出了基于契约的网格资源管理体系。该方法简化了资源管理以及网格监测,规范了GSP的行为,促进了资源的可靠性,进而推进了QoS的改善。
关键词:web cache 索引
构建了一种基于混合索引的浏览器缓存协作系统,它充分利用客户端浏览器缓存的内容,以P2P方式交换WebCache,克服了集中式服务器存在的一些问题。客户端的Internet访问响应时间是系统设计的主要依据。索引技术是系统中影响响应时间的关键技术,为了提高响应时间,对索引技术进行了讨论,并针对该应用的特点进行了改进。系统具有以下优点:易于...
关键词:9ip 对等应用 面向对象
以sIP协议(session Initiation Protocol)为基础,重点讨论对等应用终端问通信转移、三方通信等工作模式。利用会话协议誊翼警翌等应用间的数据传递关系,拓展了应用适用场景,开阔了应用的设计思路。针对具体应用与SIP协议问耦合问题,给出了一个面向对象的设计和实现方案。
关键词:网络处理器 最长匹配算法 嵌入式系统 微引擎 微码
传统的最长匹配路由算法都是基于双线程并行查找方法来实现的,没有充分利用新一代网络处理器无延时线程切换和可编程的特点。该文基于IXP2350平台对传统的最长匹配算法进行了优化改进,充分利用硬件特性和微引擎中异步内存读写的特点,用单线程来完成整个路由的查找。实验测试结果表明,这种优化改进使路由器的包转发效率提高了20%。
关键词:无线传感器网络 定位 近似三角形内点测试
无线传感器网络作为一种全新的信息获取和处理技术,可以在广泛的应用领域内实现复杂的大规模监测和跟踪任务,而网络自身定位是大多数应用的基础。传感器节点自身定位就是根据已知位置的节点,按照某种定位机制确定自身的位置。该文分析了近似三角形内点测试算法,对该算法进行了改进,分析表明:较之原算法,改进算法增大了anchor节点的覆盖度...
关键词:进程演算 逻辑编程 自动验证 密码协议
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证。通过对EKE协议进行的分析,不但证明了协议已知的漏洞,而且发现了针对EKE协议的一个新的攻击——并行会话攻击。很好地验证了该新方法对密码协议的分析能力。
关键词:电子邮件 安全套接字层协议 简单邮件传输协议 邮局协议
分析了现存的安全电子邮件解决方案,发现它们一般只对邮件体进行加密和签名,而没有考虑邮件头的安全性。在某些环境下,邮件头也需要安全保密。研究了安全套接字层协议(SSL),提出了一种基于SSL协议的安全邮件解决方案,既增强了邮件体的安全性,也保证了邮件头的安全性。