2009年, 第35卷, 第7期 刊出日期：2009-04-05
-
全选|
-
计算机工程. 2009, 35(7): 1-4. https://doi.org/10.3969/j.issn.1000-3428.2009.07.001研究无线传感器网络最小空间重用链路调度(MSRLS)模型，提出一种求解一般网络下MSRLS问题的分步式近似算法MSRLS-D。该算法同时考虑无线传感器网络带宽需求分布和通信过程中的无线信道干扰，更适用于真实网络。通过理论分析和仿真实验，对该算法的性能进行论证和比较。
-
计算机工程. 2009, 35(7): 5-7. https://doi.org/10.3969/j.issn.1000-3428.2009.07.002Bloom过滤器是一种空间高效但有一定假阳性的数据表示方法。该文分析比较计数型Bloom过滤器、光谱Bloom过滤器和动态计数过滤器的异同点及适用场合，介绍Bloom 过滤器在重复项检测及频繁项挖掘中的应用，总结Bloom过滤器给数据流带来的挑战，包括元素突发问题及数据流相异元素数目变化问题。
-
计算机工程. 2009, 35(7): 8-10,1. https://doi.org/10.3969/j.issn.1000-3428.2009.07.003针对最优IEEE 802.11分布式协调功能改进协议的竞争节点个数估计算法存在计算复杂、精度较低的问题，提出一种自适应竞争窗调节策略SACWA。证明在碰撞概率保持不变的情况下网络饱和吞吐量与竞争节点个数的近似无关性，以此作为该协议设计的理论基础。仿真结果证明，该协议在节点数稳定和迅速变化的情况下都能达到近乎最优的饱和吞吐量。
-
计算机工程. 2009, 35(7): 11-13,2. https://doi.org/10.3969/j.issn.1000-3428.2009.07.004提出一种优化的小写操作RAID6算法XP-Code。该算法按对角线和逆对角线划分校验组，每个校验组中有一个校验块和N-2个数据块，校验块均匀分布在2条主对角线上。由于使用MDS编码，XP-Code只需XOR计算，且使用公式推导，实现简单。理论分析及与其他典型RAID6算法的比较表明，XP-Code的校验块计算、丢失数据恢复和小写操作等操作的效率都是最优的。
-
计算机工程. 2009, 35(7): 14-16,3. https://doi.org/10.3969/j.issn.1000-3428.2009.07.005针对传统支持向量聚类的低性能和高耗费问题，提出最小二乘支持向量聚类(LSSVC)模型，设计自适应参数化方案。模型中包括两步簇划分算法和快速训练算法。前者对支持向量和非支持向量分别进行划分，后者采用增量方式，每次增量对应聚类模型的双向学习过程。实验结果证明，LSSVC可有效提高同类算法的效率，具有良好聚类能力，当数据增量为工作集大小的10%时，算法可在时间耗费和聚类准确率之间取得良好的平衡。
-
计算机工程. 2009, 35(7): 17-19. https://doi.org/10.3969/j.issn.1000-3428.2009.07.006概念相似度的计算是信息检索领域的研究热点。本体在信息检索和人工智能领域的广泛应用，为概念相似度计算带来新的方法。该文提出一种利用本体来计算概念间相似度的方法，综合考虑语义距离和本体库统计特征。加入概念的深度、语义重合度和概念间强度的辅助影响。实验结果表明，该方法对概念相似度的计算有效，可应用于面向Web的信息检索。
-
计算机工程. 2009, 35(7): 20-22. https://doi.org/10.3969/j.issn.1000-3428.2009.07.007针对大视场高分辨率光电实时处理系统实时性问题，分析光电弱小目标检测的任务特点，从处理器节点、存储器和连接处理器节点的网络3个方面分析实时并行处理机的设计要点，设计一种基于SRIO技术的双DSP＋FPGA并行处理机。FPGA实现低层处理算法，DSP实现高层处理算法，任务划分采用区域分解并行算法，实验结果证明该设计具有可行性。
-
计算机工程. 2009, 35(7): 23-25. https://doi.org/10.3969/j.issn.1000-3428.2009.07.008针对在无线传感器网络中节点能量有效性较低的问题，利用分布式信源编码方法，去除冗余并压缩节点发送的数据。将分布式信源编码方法与对应网络结构相结合，提出基于簇的无线传感器网络实现分布式信源编码方法。实验结果表明，该方法能节省网络中25%~30%的能量消耗。
-
计算机工程. 2009, 35(7): 26-28. https://doi.org/10.3969/j.issn.1000-3428.2009.07.009针对动态网络的拥塞问题，设计一种基于观测器的鲁棒主动队列管理控制算法。该算法保证输入受限情况下时变时滞不确定网络系统的渐近稳定。通过Lyapunov稳定性分析，利用线性矩阵不等式技术研究基于观测器的鲁棒控制器的存在条件以及设计方法。仿真结果表明，该算法可以使路由器中的队列长度快速收敛到目标值，同时保持较小的队列振荡。特别在网络条件变化及出现突发流的情况下，该控制器仍能具有良好的鲁棒特性。
-
计算机工程. 2009, 35(7): 29-31. https://doi.org/10.3969/j.issn.1000-3428.2009.07.010在智能空间三维定位过程中，由于噪声干扰，对未知节点的定位会产生误差。通过对定位过程中产生的误差区域分析，推导出当空间定位参考点和未知节点满足一定条件时，定位误差最小，由此提出空间定位参考点的布局模型定理。仿真实验表明，定位参考点布局模型定理能更好地满足对智能空间实时定位的需求，且具有较高的定位精度。
-
计算机工程. 2009, 35(7): 32-34. https://doi.org/10.3969/j.issn.1000-3428.2009.07.011提出一种基于贝叶斯网络的网格服务QoS可信度评估方法，用于实现信任增强的服务选择。该方法利用服务的历史性能信息建立贝叶斯网络，根据用户的QoS需求评估服务QoS的可信度，并解决传统方法中忽略QoS提供一致性的问题。实验结果表明，在动态的服务网格环境中，该方法能增强服务信息的可信度，提高服务匹配合理性。
-
计算机工程. 2009, 35(7): 35-38,5. https://doi.org/10.3969/j.issn.1000-3428.2009.07.012基于XML的异构数据库集成技术已经被应用到现有的数据集成平台中，但由于所采用的“模式自动翻译”法的局限性，当前众多的集成平台并不能真正实现异构关系数据库的自由集成。该文在关系模式和XML Schema的形式化定义的基础上，提出描述关系模式到XML Schema的映射关系的通用模型——RtoX，给出模型的合法性验证算法。依据该模型设计了新的关系数据到XML转换的通用算法。
-
计算机工程. 2009, 35(7): 39-41. https://doi.org/10.3969/j.issn.1000-3428.2009.07.013针对路径覆盖测试技术中如何计算被测试程序的有效控制流路径子集的关键性问题，提出一种利用LCC编译器的前端结果来生成基于一次循环策略的测试程序控制流路径子集的算法。该算法通过引入邻接矩阵并借助自定义的堆栈数据结构来完成控制流路径子集的生成。通过实验程序对算法进行检验，结果表明，该方法能高效准确地计算出待测源程序片的控制流路径子集。
-
计算机工程. 2009, 35(7): 42-45,4. https://doi.org/10.3969/j.issn.1000-3428.2009.07.014为解决大量移动对象位置频繁更新所带来的性能下降问题，提出一种基于改进的Quadtree和Hash表的QH全时态索引结构。这种新的索引结构可以支持移动对象全时态索引，在Hash表中通过存储移动对象指针来支持移动对象标识查询，并对Quadtree的叶子节点采用适时合并的方法来防范分支太深而造成的查询效率低下。实验证明，QH索引与TPR-tree相比，移动对象的更新效率更高、对象标识查询较优、范围查询性能相近。
-
计算机工程. 2009, 35(7): 46-48. https://doi.org/10.3969/j.issn.1000-3428.2009.07.015针对现有搜索结果聚类方法中形成的聚类标签可读性比较差的情况，提出一种基于命名实体的搜索结果聚类方法——NEC。命名实体作为文本中的基本信息元素，具有一定的实际意义，表征主题的能力比一般词语更强，也更具可读性。算法以搜索结果文档中存在的命名实体作为聚类的标签，经过一定的标签选择和聚类合并策略，形成最终的聚类结果，提高聚类标签的可读性。实验证明，该方法是一种可行的搜索结果聚类方法。
-
计算机工程. 2009, 35(7): 49-51. https://doi.org/10.3969/j.issn.1000-3428.2009.07.016针对Web日志数据预处理中会话识别这一重要环节，提出一种优化的会话识别算法。在用户识别后，通过过滤框架页面大幅度减少实验产生的有效页面数，为每个页面设置访问时间阈值，并根据页面重要程度对该阈值进行调整，页面的重要性由页面内容及站点结构确定。实验数据显示，与对所有页面使用单一的先验阈值进行会话识别的方法相比较，该方法得到了真实性更强的会话集。
-
计算机工程. 2009, 35(7): 52-54,5. https://doi.org/10.3969/j.issn.1000-3428.2009.07.017针对网格环境中的动态性特点，特别是用户服务质量(QoS)需求的动态变化性，通过定义任务的效益函数来评估任务的多维QoS需求。同时为了兼顾任务完成时间、负载平衡等系统指标，引入系统效益的概念，给出负载平衡度的定义用来指导调度及评价调度性能。针对一组具有QoS需求的相互独立的计算任务提出一种用户QoS及系统指标指导的计算网格任务调度算法——UQSI。模拟实验结果显示，该算法能较好地满足用户的多维QoS需求，更加适合开放复杂的网格环境。
-
计算机工程. 2009, 35(7): 55-58. https://doi.org/10.3969/j.issn.1000-3428.2009.07.018针对当前的图形用户界面自动化测试中存在的局限性，提出一种每日自动回归测试(DART)框架的改进方案。研究DART流程、事件流图，包含了事件关联图的方法，实现对事件流图的优化，并采用权重选择法对DART方法进行改进，使之成为一种高效、简洁的自动冒烟测试框架。
-
计算机工程. 2009, 35(7): 59-60,6. https://doi.org/10.3969/j.issn.1000-3428.2009.07.019在分析人类概念形成机理的基础上，提出一种基于对象和属性交叉渐进式概念格生成算法，从空概念格开始，逐个地将形式背景中的对象和属性交叉插入到概念格中，实现对概念格的渐进式构造。该算法能渐进式地有效构造概念格，解决了以往渐进式概念格生成算法针对属性和对象交叉渐增更新需要重新构造概念格的问题。
-
计算机工程. 2009, 35(7): 61-63. https://doi.org/10.3969/j.issn.1000-3428.2009.07.020基于用户会话的测试技术依赖于收集的用户会话数据集，数据集规模越大，测试效力就越强，但用于收集、储存和分析数据的成本也会迅速增加。该文提出一种在Web应用测试中对用户会话数据集进行约减的方法。运用概念分析技术聚类用户会话，从中选取数据，再利用增量式的概念分析算法更新数据集。设计一个试验原型框架用于评估新方法的实际效果。
-
计算机工程. 2009, 35(7): 64-67. https://doi.org/10.3969/j.issn.1000-3428.2009.07.021为了提高Web海量数据的抓掘效率，引入并行机群抓掘机制。为使机群中每个计算节点的能力得到充分发挥，应用向量度量技术解决抓取任务和计算节点能力匹配的问题。对抓取任务向量、计算节点向量进行定义，提出余弦向量匹配算法，描述相关并行算法。理论分析和实验表明，基于余弦向量匹配算法的挖掘任务分配模型具有良好的分配适应性和负载平衡性。
-
计算机工程. 2009, 35(7): 68-69,7. https://doi.org/10.3969/j.issn.1000-3428.2009.07.022针对布尔型关联规则不能表达挖掘对象中模糊信息的关联性，给出一系列有关模糊关联规则的定义，并提出一种基于前缀树的模糊关联规则挖掘算法。通过构造前缀树来压缩存储模糊模式候选集和频繁集，有效地节约了内存开销，且只需扫描数据库2遍。实验结果表明，该算法是有效的。
-
计算机工程. 2009, 35(7): 70-72. https://doi.org/10.3969/j.issn.1000-3428.2009.07.023在基于标准模型驱动业务流程的开发环境中，需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法，把业务过程建模符号的非结构化程序转化为结构化程序，并通过一个实际案例说明其可行性。实验结果表明，该方法是有效的。
-
计算机工程. 2009, 35(7): 73-75. https://doi.org/10.3969/j.issn.1000-3428.2009.07.024针对现有的XML签名对特定细粒度信息查找困难和签名速度慢的问题，提出一种基于语义路径提取信息的变换算法，此语义路径通过构建XML索引结构得到。运用该算法查找细粒度信息方便快捷。对语义路径和信息的签名提高了XML签名的效率和灵活性，保证了数据的安全和良好的文档结构。
-
计算机工程. 2009, 35(7): 76-77,8. https://doi.org/10.3969/j.issn.1000-3428.2009.07.025利用P2P方法建立一个P2P存储系统，对参与节点按资源主题数和预测网络距离进行分组，形成由超节点维护的覆盖网络，实现对节点的有效管理，同时使用节点多重命名机制提高系统存储效率，并在仿真实验基础上，对该存储系统的性能进行验证。
-
计算机工程. 2009, 35(7): 78-81. https://doi.org/10.3969/j.issn.1000-3428.2009.07.026提出一种基于二进制的约束性关联规则挖掘算法，用数字区间确定候选频繁项的范围，通过数值的递增/减方式交叉产生候选项，利用二进制的逻辑操作计算支持数，并用数字特征减少扫描事务数，以提取满足约束条件的关联规则。该算法适于挖掘任何长度的约束性频繁项目集，且具有较高的运算效率。
-
计算机工程. 2009, 35(7): 82-84. https://doi.org/10.3969/j.issn.1000-3428.2009.07.027依据模型驱动体系结构(MDA)的开发理念，并遵循应用程序与用户界面设计相分离的思想，以系统功能和界面描述的高层次抽象为基础，提出一种支持MDA的Web报表系统开发模型。以ASP.NET为目标平台进行实验验证，表明该方法遵循了MDA开发的实质、过程和要求，能较好地与系统应用开发模型组合在一起，提高Web报表系统的质量和开发效率。
-
计算机工程. 2009, 35(7): 85-86,8. https://doi.org/10.3969/j.issn.1000-3428.2009.07.028介绍一种基于多个8位CPU软核PicoBlaze的网络处理结构。该结构利用现场可编程门阵列(FPGA)的并行性和网络协议分层结构的特点，可以实现一些相对复杂的网络处理功能，并且易于扩展和开发。通过在FPGA上完整实现一个远程启动服务器端的设计实例，阐明具体的设计方法。
-
计算机工程. 2009, 35(7): 87-89. https://doi.org/10.3969/j.issn.1000-3428.2009.07.029针对无线传感器网络中APIT定位算法定位覆盖率不足的问题，提出一种改进的IAPIT算法，并从不同的锚节点比例、节点通信半径以及同一锚节点比例等方面比较2种算法的性能，仿真实验结果表明，IAPIT定位算法在定位覆盖率上有明显提高。
-
计算机工程. 2009, 35(7): 90-92. https://doi.org/10.3969/j.issn.1000-3428.2009.07.030针对移动IP通信中的非优化路由问题，提出将主动网络技术植入几个关键功能实体，通过在MAC层设计一种移动IP执行环境MOBEE，对经过封装的主动信包做计算，使移动IP数据包主动化，以达到路由优化的目的。实验证明，大规模接入汇聚路由器ACR中基于硬件的MOBEE较Java, C等语言实现的执行环境有很大的性能提升。
-
计算机工程. 2009, 35(7): 93-95. https://doi.org/10.3969/j.issn.1000-3428.2009.07.031针对BitTorrent(BT)系统中对等连接消耗大量骨干网络带宽导致网络拥塞的问题，提出基于网络距离度量和网络分簇的节点分配策略。仿真实验表明，在不影响BT客户端下载性能的情况下，该分配策略能够将更多的数据流量限制在网络簇内部，提高数据流量的局部性，有效地减少BT系统对骨干网络带宽的消耗。
-
计算机工程. 2009, 35(7): 96-98. https://doi.org/10.3969/j.issn.1000-3428.2009.07.032针对卫星综合信息网中，卫星节点与地面站距离远、时延大、卫星节点动态性强的特点，建立卫星综合信息网中基于策略的网络管理的体系结构，提出在传统的策略决策点和策略执行点之间建立本地策略决策点的方法。该方法将本地策略决策点布置在具有管理功能的卫星代理上，实现局部策略决策点和策略执行点之间策略信息的交互，仿真结果表明该策略管理体系结构降低了网络管理的响应时延。
-
计算机工程. 2009, 35(7): 99-100,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.033提出一种基于VCG机制的无线网络呼叫接入控制(CAC)算法。该算法采用VCG机制调节用户需求，控制资源分配，以实现资源合理使用。CAC算法适合于无线接入网络中多业务服务、多优先级服务的情况。仿真结果表明，将VCG机制与CAC算法结合，能较好地改善无线网络性能，提高系统连接级的QoS。
-
计算机工程. 2009, 35(7): 101-103. https://doi.org/10.3969/j.issn.1000-3428.2009.07.034P2P网络普遍采用Chord算法，该算法使用一致性哈希函数为关键字和节点分别分配一个m位的标识符，使关键字较均匀地分配到节点上，以获得一个负载均衡的环形结构。该文在Chord算法中引入连通度选择，根据对节点已收发信息的分析，建立信息连通键值，调整节点关键字序列，减少低效信息的查询与传输。仿真实验证明，改进后的算法具有更低盲点率、更高即效性和搜索能力。
-
计算机工程. 2009, 35(7): 104-106. https://doi.org/10.3969/j.issn.1000-3428.2009.07.035提出一种跳数加权质心定位算法——HWC算法。它完全基于网络连通性，采用通信跳数信息作为加权因子计算待定位节点估计位置，体现跳数不同节点对多边形质心计算结果的影响。仿真表明，该算法减小了平均定位误差，是一种适合大规模传感器网络应用的节点定位算法。
-
计算机工程. 2009, 35(7): 107-109. https://doi.org/10.3969/j.issn.1000-3428.2009.07.036研究并实现一种自相似测试流量生成技术，比较多种典型自相似流量分析模型，利用多分形小波作为自相似测试流量的生成模型，设计自相似测试流量生成算法。将该算法应用于基于IXP2400可编程多核多线程处理器构建的网络测试系统，在区间(0.5, 1.0)内生成满足不同Hurst值的自相似测试流量，通过实验验证该技术的可用性和有效性。
-
计算机工程. 2009, 35(7): 110-112. https://doi.org/10.3969/j.issn.1000-3428.2009.07.037拓扑控制通过调节节点的发送功率，减少信号干扰，降低节点能量消耗，提高网络传输能力。该文通过考察自组网中几种经典的拓扑控制算法，研究了拓扑图能保证连通具有较小的节点度和传输半径。OPNET网络仿真平台仿真发现，拓扑控制的效能受网络中每秒的发包个数影响，当每秒发包个数大于一定值时，拓扑控制将提高网络吞吐量。
-
计算机工程. 2009, 35(7): 113-115. https://doi.org/10.3969/j.issn.1000-3428.2009.07.038提出一种基于AODV优化的移动自组网路由协议AODVO，优化RREQ传播机制、HELLO机制和链路修复机制，提供节点不相关多径路由，降低网络路由开销，提高数据传输率，对网络负载平衡有明显帮助。仿真结果验证，相对于AOMDV，该协议在分组传输率、时延和路由开销方面有较大的优越性。
-
计算机工程. 2009, 35(7): 116-118,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.039为了在IEEE 802.11无线网络中根据信道的动态变化恰当地选择传输速率，提出基于加权丢帧率的可调门限速率自适应算法。该机制加权计算丢帧率，自适应调整门限，能克服随机丢帧造成的误判，避免速率频繁波动，使速率选择更准确。仿真结果表明，该机制在Rayleigh信道和Ricean信道中均表现稳定，与其他速率自适应算法相比，吞吐量较优。
-
计算机工程. 2009, 35(7): 119-121. https://doi.org/10.3969/j.issn.1000-3428.2009.07.040利用无标度网络的幂律分布特性对结构化P2P覆盖网进行改进，提出基于幂律分布的BAChord模型，利用节点的连接度和物理邻接度的信息，使覆盖网与物理拓扑结构之间能够达到一定程度的匹配，增加路由过程中发现连接短链的概率。实验证明，该模型能在增加少量路由开销的情况下，达到比Chord模型更好的路由性能。
-
计算机工程. 2009, 35(7): 122-124. https://doi.org/10.3969/j.issn.1000-3428.2009.07.041资源搜索是非结构化P2P系统研究的核心问题，选取合适的邻居节点作为转发对象，可以提高资源搜索成功率。该文提出一种基于轮廓查询的P2P智能搜索算法SkyLP，在选取邻居节点转发查询消息时，综合考虑查询消息相似度和节点命中率。在两者构成的二维空间上，采用轮廓查询技术返回一个最优邻居节点集合，向此集合中的节点发送查询消息。实验结果表明，SkyLP算法能减少发送的消息数，有效提高搜索效率。
-
计算机工程. 2009, 35(7): 125-126,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.042在基于模式匹配的检测方法中，匹配效率是检测技术的瓶颈，间接影响入侵检测系统的实时性能。该文对4种模式匹配算法进行分析后，选择最优的Sunday算法进行改进。该算法进行匹配前先找到模式串中的特征字符(出现概率最小的字符)，进行特征字符与尾字符双重匹配，失败则移动尽可能远的距离。实验结果证明匹配效率比Sunday算法有一定的提高。
-
计算机工程. 2009, 35(7): 127-129. https://doi.org/10.3969/j.issn.1000-3428.2009.07.043在分析低轨(LEO)卫星网络的通信过程和几何特性的基础上，建立LEO卫星网络在全双工通信模式下的随机Petri网(SPN)模型，采用SPNP 6.0软件，针对2种安全协议IKE和ISAKMP的野蛮交换模式，以及空间通信协议规范SCPS-SP，分析卫星网络的平均时延并进行了模型仿真。
-
-
计算机工程. 2009, 35(7): 132-135. https://doi.org/10.3969/j.issn.1000-3428.2009.07.045设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明，能够完全自动地产生目标级程序的指针安全性证明，处理常见递归数据结构中的非一致性别名问题。后端包括独立的定理检查器，能够检验携证明代码的完整性。
-
计算机工程. 2009, 35(7): 136-138,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.046证明Lu Rongbo等人的代理签名方案(Proc. of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2007)不能抵抗替换公钥攻击和恶意但被动的密钥生成中心(KGC)攻击，普通攻击者可通过替换公钥伪造出有效的代理签名，KGC通过恶意但被动的KGC攻击可获得用户的私钥，从而能任意伪造出有效的代理签名。针对替换公钥攻击和KGC攻击，提出一个改进方案，新方案满足代理签名的安全性要求，能有效抵抗替换公钥攻击和恶意但被动的KGC攻击。
-
计算机工程. 2009, 35(7): 139-141. https://doi.org/10.3969/j.issn.1000-3428.2009.07.047提出一种基于神经网络的小波域零水印技术。不同于传统的水印算法，零水印技术对宿主图像进行离散小波变换，并在低频子带随机选择一些系数作为提取的特征，将其作为水印用于版权证明，以避免嵌入水印导致的图像变形。通过建立神经网络模型对所选特征系数进行管理、存储和检测，以提高算法的实用性。
-
计算机工程. 2009, 35(7): 142-143,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.048提出一种新的无线局域网认证密钥协商协议，可以提供双方相互认证及密钥确认。该协议在密钥设置上基于挑战响应协议和KAS方案，在密钥预分配上基于Diffie-Hellman协议，可以提供完美前向安全性，抵抗被动攻击、字典攻击、中间人攻击、假冒攻击等。并对协议的计算代价和通信代价进行分析。
-
计算机工程. 2009, 35(7): 144-146,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.049介绍2种利用加密算法同态特性的安全协议攻击，定义安全协议项代数表示和基于角色行为序列的协议模型，提出一种基于角色行为实例交互的安全协议约束序列生成方法，应用等式理论将Dolev D等人提出的Dolev-Yao模型(IEEE Transactions on Information Theory, 1983, 第12期)进行扩展，设计攻击者一阶逻辑演绎系统，采用约束求解方法对NSL协议进行建模和形式化验证，发现基于“完美密码系统假设”无法验证的同态攻击。
-
计算机工程. 2009, 35(7): 147-149. https://doi.org/10.3969/j.issn.1000-3428.2009.07.050提出一种基于逼近信号统计特征和线性伸缩恢复技术的音频数字零水印算法。对原始水印采用重复码进行纠错编码，将密钥通过伪随机序列发生器产生与重复编码等长的PN序列P，用P对编码后的水印进行调制以提高水印检测的正确率。检测时采用线性伸缩恢复技术来消除时间轴上线性伸缩带来的影响，并实现了盲检测。实验结果证明，该算法对于各种攻击尤其对剪切和MP3攻击具有较好的鲁棒性。
-
计算机工程. 2009, 35(7): 150-152. https://doi.org/10.3969/j.issn.1000-3428.2009.07.051提出一种新的基于节点声誉和目标声誉的混合抗污染机制。该机制由投票节点的声誉决定选定的目标文件的声誉。节点声誉通过引入严厉的惩罚策略及投票激励机制，有效孤立了污染者，刺激了用户对文件污染的警觉度，阻止污染的进一步扩散。仿真结果表明，与目标声誉系统相比，该机制收敛更快，抗污染性能更好。
-
计算机工程. 2009, 35(7): 153-155. https://doi.org/10.3969/j.issn.1000-3428.2009.07.052数据隐私问题引起人们的广泛关注，如何在分布式数据库的环境下挖掘关联规则成为研究的热点。该文探讨在垂直划分数据库中，如何在保护各方隐私数据的前提下挖掘全局频繁项集。各分布式数据库包含全局数据库的一部分属性，共同参与全局挖掘，同时各方不向外泄漏隐私数据。在商品服务器模型的研究基础上，提出一种基于可逆方阵的加密协议，对于垂直划分的分布式数据库，该协议具有较好的隐蔽性、高效性和准确性。
-
计算机工程. 2009, 35(7): 156-157. https://doi.org/10.3969/j.issn.1000-3428.2009.07.053认证群密钥协商协议能为群用户产生一个共享的会话密钥，使群用户在公共数据网络中进行安全通信。该文分析证明Abdalla等人的密钥协商协议不能抵抗假冒攻击：某用户的左右邻居在获得与该用户运行群密钥交换协议副本后，可以假冒该用户与其他群成员运行该协议，产生一个新的共享会话密钥，且不会被群中其他成员发现。并针对该协议编译器的缺点进行改进。
-
计算机工程. 2009, 35(7): 158-160. https://doi.org/10.3969/j.issn.1000-3428.2009.07.054根据无线群组通信的特点，基于同态加密机制采用集中式与分布式管理相结合的方法，提出一种新的安全无线群组密钥分配协议。该协议提供群组成员的认证和匿名性，具有前向保密性和后向保密性。协议初始化阶段完成了大部分计算，减少用户终端在协议执行过程中的计算量，满足无线群组通信的实时要求。分析表明，新协议安全性高，计算复杂度低，实时性好，简单且易于实现，适用于无线网络环境。
-
计算机工程. 2009, 35(7): 161-163. https://doi.org/10.3969/j.issn.1000-3428.2009.07.055针对现有安全文件系统存在的问题设计一个面向容灾的强安全性虚拟文件系统。基于Linux平台，采用虚拟存储技术，借鉴堆栈式文件系统的实现原理，通过添加认证鉴别层、审计监控层、访问控制层、透明加密层以及容灾层，实现一个集强安全和容灾于一体的虚拟文件系统。
-
计算机工程. 2009, 35(7): 164-165. https://doi.org/10.3969/j.issn.1000-3428.2009.07.056代数免疫度是近几年提出的一个衡量布尔函数密码学性质的标准。该文研究重量为奇数的布尔函数的代数免疫度和非线性度之间的关系，得到了代数免疫度固定时非线性度的下界，而且证明这个下界是紧的。代数免疫度大于d时，函数的重量有一个范围，证明了这个范围是紧的，即对任何这个范围内的整数t，都存在一个布尔函数其重量为t，代数免疫度大于d。
-
计算机工程. 2009, 35(7): 166-167,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.057地图创建是实现机器人在未知环境中自主导航的关键。该文对移动机器人在地图创建中所收集的不确定传感信息进行研究，分析声纳传感器的散射和镜面反射特性，提出一种改进的概率栅格的地图创建方法。该方法将距离信任因子引入到声纳传感器模型。利用该模型，实现移动机器人的自主地图创建，并有效地减少由于声纳传感器所引起的不确定性。通过机器人平台上进行的实验表明该方法的有 效性。
-
计算机工程. 2009, 35(7): 168-169. https://doi.org/10.3969/j.issn.1000-3428.2009.07.058针对无人机遥感在林火监测中的实际应用问题，根据森林火灾中烟的光谱特性，提出基于颜色特征的识别方法，建立分析识别模型，使用线性噪声清除方法，满足实时性要求，解决无人机遥感在林火监测中的自动识别问题。该方法利用交互式数据语言开发出相应的分析处理系统。实验结果表明，使用该方法对无人机遥感数据进行自动识别，识别率在77.71%以上。
-
计算机工程. 2009, 35(7): 170-171,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.059针对以往粒子群优化算法多样性差且易局部收敛的不足，提出改进综合学习粒子群优化(CLPSO)算法的最小方差优先自适应变异策略，设计自适应变异综合粒子群优化(CLPSO-M)算法。多个标准测试问题的对比实验数据表明，CLPSO-M算法比CLPSO算法的全局搜索能力更强，求解效果更稳定。
-
计算机工程. 2009, 35(7): 172-174,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.060针对客户相关的核判别分析(CSKDA)对图像列向量进行处理数据维数大、计算复杂，对图像整体处理没有考虑到局部特征等缺点，提出M2DPCA和CSKDA结合的方法。新方法对二维数据进行分块后采用2DPCA抽取局部特征，施行CSKDA，不仅考虑了类内、类间的差异，而且可以较好地描述不同个体人脸间的差异性。在XM2VTS和ORL人脸库上的实验结果表明，该方法在验证效果上优于CSKDA方法。
-
计算机工程. 2009, 35(7): 175-176,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.061针对隐蔽Web主题领域自动识别问题，提出一种基于独立分量分析(ICA)的聚类算法。对查询页面进行页面文本抽取和预处理，利用TF-IDF公式计算权重并选择前N个权重最大的特征词构造文档矩阵，在使用潜在语义索引(LSI)进行特征重构的基础上通过ICA分解获得类别信息。利用LSI的词共现分析和文本降噪能力提高聚类准确率。实验表明聚类平均准确率达到90%以上。
-
计算机工程. 2009, 35(7): 177-179. https://doi.org/10.3969/j.issn.1000-3428.2009.07.062针对票据纤维特征提取的难题，提出基于极值滤波和OTSU的票据纤维特征提取方法，包括采用极大值滤波方法增强纤维特征并整合复杂背景对象。采用优化流程的OTSU算法分割图像，提取纤维特征。实验结果证明，该方法提取票据纤维特征效果好、速度快，一致性指标达91%以上。
-
计算机工程. 2009, 35(7): 180-182. https://doi.org/10.3969/j.issn.1000-3428.2009.07.063研究基于微聚类算法的VoIP压缩码流说话人识别算法。给出直接从G.729, G.723.1(6.3 Kb/s), G.723.1(5.3 Kb/s)压缩语音的码流中提取识别参数，以微聚类算法作为识别结构的说话人识别算法。实验结果表明，对比在压缩码流中使用同样识别参数的GMM模型，微聚类算法在识别正确率和效率上都有很大的提高。
-
计算机工程. 2009, 35(7): 183-185. https://doi.org/10.3969/j.issn.1000-3428.2009.07.064特定领域的主题识别和关键词提取有着广泛的应用，但通过人工指定识别或文本聚类自动生成的主题类别缺乏客观的度量方法。该文结合基于BIC准则的模型选择理论和独立分量分析技术对主题的数量进行概率估计，给出主题数量在BIC意义下的统计分布。在此基础上实现了文档矩阵的ICA分解，并根据分离的独立分量获得主题的关键词及其权重。实验表明，该方法在没有领域知识支持的情况下能估计出反映文本集合的主题数并提取相应的关键词。
-
计算机工程. 2009, 35(7): 186-188. https://doi.org/10.3969/j.issn.1000-3428.2009.07.065针对具有NP难度的矩形Packing问题，提出一种带变异算子的双种群粒子群算法，该算法将粒子群分为2个不同的子群，使种群在全局和局部都有较好的搜索能力。通过子群重组实现种群间的信息交换。同时在算法中引入变异算子，对产生的局部最优解的邻域进行搜索。实验结果表明，该算法是一种求解矩形Packing问题的高效实用的算法。
-
计算机工程. 2009, 35(7): 189-190,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.066资源搜索是P2P技术的研究热点之一。该文针对现有P2P资源搜索算法消息开销大、搜索效率低等问题，提出一种基于蚁群算法的非结构化P2P资源搜索机制。利用蚂蚁信息素的正反馈原理，有效指导资源搜索路径的生成，将查询消息发送到可能存在目标的区域。仿真实验结果表明，该机制提高资源搜索命中率，减少冗余消息包，其搜索效果较好。
-
计算机工程. 2009, 35(7): 191-194. https://doi.org/10.3969/j.issn.1000-3428.2009.07.067通过对短信技术与就业问题的综合研究，提出一种在就业网站依托下，基于本体和Agent技术的短信就业服务解决方案。制定了就业领域本体，提出相容匹配算法，构造了求职、招聘、中介三方Agent模型，实现智能检索和双向推送，并以求职Agent为例描述短信就业平台的实现过程。
-
计算机工程. 2009, 35(7): 195-197. https://doi.org/10.3969/j.issn.1000-3428.2009.07.068提出一种适用于钢坯修磨轨迹优化问题的改进蚁群算法，给出一种修磨轨迹优化问题的实用数学模型。针对蚁群算法对参数敏感的问题，提出用启发信息归一化来解决的办法。仿真实验与初步试用结果表明，经改进蚁群算法优化的修磨轨迹能大幅度减少修磨过程中的空行程。该算法具有一定的理论参考价值和实际意义。
-
计算机工程. 2009, 35(7): 198-199,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.069表面贴装自动光学检测算法大多存在计算速度慢或对元件位置差异及图像变异敏感的问题。该文针对片状元件提出一种检测算法， 根据元件局部特征区域的灰度变化，通过引入局部主波概率，利用主波特性描述标本图像与被测元件图像之间的相似度，从而判断元件是否存在缺陷并确定缺陷种类。实验表明，该算法可缩小检测范围，降低计算量，提高算法适应性。
-
计算机工程. 2009, 35(7): 200-202. https://doi.org/10.3969/j.issn.1000-3428.2009.07.070对于很大一部分待检索图像，在分割后的区域中，不仅面积较大的区域对整幅图像和人的视觉有意义，那些细腻而零散的小区域同样会对视觉产生不可忽略的影响。该文提出将图像的小区域考虑到图像检索中去，以更完整、更准确地描述图像的特征，并使用均值和方差的方法提取小区域的整体分布特征，再和其他大区域的图像特征相结合的方法进行图像检索。实验表明，该方法与只考虑大区域图像特征的检索方法相比，提高了检索的精度。
-
计算机工程. 2009, 35(7): 203-205. https://doi.org/10.3969/j.issn.1000-3428.2009.07.071
基于内容的图像快速分类是Web图像实时搜索和过滤的基础。通过分析图像特征分布特点，提出一个基于局部特征的图像快速分类算法。与目前算法相比，该算法仅需对图像的局部区域扫描分析，即可得到其颜色、纹理、形状等特征，并利用Bayesian分类器来实现图像的快速自动分类。相关对比实验证实，该算法能够快速、准确地实现图像分类。
-
计算机工程. 2009, 35(7): 206-208. https://doi.org/10.3969/j.issn.1000-3428.2009.07.072图像修复是数字图像处理领域中的主要研究方向，该文介绍纹理合成技术中的Criminisi算法，并针对其在利用边界点优先权调整修补次序过程中存在的问题，提出一种改进算法，该算法不仅可以有效改善图像的修复效果，还可以在数字图像上实现用背景替换较大的前景物。实验结果证明了其有效性。
-
计算机工程. 2009, 35(7): 209-211. https://doi.org/10.3969/j.issn.1000-3428.2009.07.073给出一种基于统计变形模型的生物医学数据恢复算法。该算法统计模型分为已知和未知两部分，利用统计模型构成的先验信息和待恢复数据的已知部分估算数据的未知部分。肝脏边缘缺失数据恢复实验结果表明，只要待恢复点控制在40%以下，并采用适当的分辨率，就可以将恢复误差控制在1%以内。
-
计算机工程. 2009, 35(7): 212-214. https://doi.org/10.3969/j.issn.1000-3428.2009.07.074介绍高速网络安全协处理器中PCI-X接口模块的设计方法，利用IPSec和SSL/TLS 2种协议优化系统，并配置各种算法引擎。协处理器采用具有更高性能的PCI-X总线接口及SoC芯片，能够同时满足PCI-X总线协议和协处理器内部的特殊传输要求。实验结果表明，该设计方法是可行的。
-
计算机工程. 2009, 35(7): 215-216,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.075对于网络控制系统中一般的动态输出反馈控制问题，应用延迟量子化和增广对象向量方法建立离散时间Markov跳变系统模型，并给出稳定化控制器的设计算法和倒立摆上的仿真计算。由于应用延迟量子化方法，所建立的模型和给出的设计方法也能用于求解具有常分布律的随机延迟的动态输出反馈控制问题。
-
计算机工程. 2009, 35(7): 217-219. https://doi.org/10.3969/j.issn.1000-3428.2009.07.076提出一种低复杂度的(解)交织器现场可编程门阵列实现方法，采用Xilinx FPGA自带的双端口存储器，能有效降低FPGA资源的消耗，且输入位宽和输出位宽无需相同，适用于多带正交频分复用超宽带系统。实验结果表明，系统所占用的slices数目对于交织器和解交织器来说分别降低了46%和78%。
-
计算机工程. 2009, 35(7): 220-222. https://doi.org/10.3969/j.issn.1000-3428.2009.07.077针对交通信号机难以实现真正意义上交通信号动态优化的问题，提出一种基于双多点控制单元的自适应智能交通信号机系统，介绍该系统的组成和工作原理，并给出具体的软硬件设计方案。系统采用实时模糊控制方法，以交叉口平均车辆延误最小为优化目标，实现信号机自适应控制。实验结果表明，该系统集成度高、功能强、性能稳定，易于实现区域协调控制。
-
计算机工程. 2009, 35(7): 223-225. https://doi.org/10.3969/j.issn.1000-3428.2009.07.078针对计算机辅助设计与传统纸笔工作模式切换时存在的问题，提出一种基于纸笔范式的针织服装工艺设计系统，研究敏捷制造环境下针织服装行业的设计工作流程，并采用草图推荐技术及自由曲线编辑技术加以实现，实验结果表明，该系统能有效降低用户使用复杂度，提高设计效率，且在某企业初步试用后取得较好的应用效果。
-
计算机工程. 2009, 35(7): 226-228,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.079针对工业CT数据传输系统快速、稳定、可靠等需求，研究交换式以太网与TCP/IP协议相结合的网络数据传输方案的可行性。在分析交换式以太网传输时延的基础上，建立工业CT数据传输系统模型，并采用Socket机制对模型进行实验测试。实验结果和方案的实际应用均表明，交换式以太网能够应用于工业CT数据传输系统，并取得满意的结果。
-
计算机工程. 2009, 35(7): 229-231. https://doi.org/10.3969/j.issn.1000-3428.2009.07.080矿用ADSL和普通ADSL差别较大，传输线是其中一个方面。与普通双绞线相比，矿用双绞线的线径更大，可以传送更多的数据和信息。该文分析矿用ADSL传输技术的特点，介绍利用注水算法计算矿用双绞线信道容量的方法和步骤，研究矿用双绞线信道容量与环路距离及频带宽度间的关系。
-
计算机工程. 2009, 35(7): 232-234. https://doi.org/10.3969/j.issn.1000-3428.2009.07.081提出一种基于ARM9的WinCE 5.0 引导程序(Bootloader)设计与实现方法。通过分析Bootloader架构，在研究触摸屏控制器的WinCE 5.0 BSP开发基础上，设计并实现一种基于AT91SAM9261的WinCE 5.0 Bootloader。阐述其启动代码和主代码的开发过程，并给出主代码开发中硬件初始化的步骤。测试结果表明，该Bootloader达到了设计目标并已应用于触摸屏控制器。
-
计算机工程. 2009, 35(7): 235-238,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.082探讨基于国产大型空间数据库uBase的人口信息管理可视化系统VisualMap设计中的关键科学与技术问题，提出系统的设计框架和功能模块设计方法。通过山东省第5次人口普查数据建立的山东省人口信息空间管理应用示范系统，证明VisualMap系统较好地实现完全国产化、组件式、易扩充的数据管理和可视化平台。
-
计算机工程. 2009, 35(7): 239-241,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.083为了提高自主开发的组件建模与仿真平台SciSimu的自适应光学仿真和建模能力，将自适应光学系统码(CAOS)作为一个扩展添加到SciSimu。该文提出了一个使用接口库、自动管理和内置编译器实现扩展的设计原理。经过大量仿真项目的计算测试，证明该设计原理能让SciSimu具备自适应光学仿真能力，并且具有比CAOS更好的易用性和可扩展性。
-
计算机工程. 2009, 35(7): 242-244. https://doi.org/10.3969/j.issn.1000-3428.2009.07.084在IBM JS21 BladeCenter上进行2次HPCC测试，介绍HPCC的结果分析方法，并采用分层模型AHPCC对HPCC的测试结果进行分析。其目的是通过在高性能机群上执行HPCC测试说明HPCC测试对机群系统的评价和诊断能力。实验发现，在之前的HPL测试结果一直不理想并且无法更进一步发现和解决问题的情况下，采用HPCC测试能够较好地评价系统和诊断系统问题。通过分层模型的评价，能够得到更多关于目标系统的性能参数和发现可能的性能瓶颈，为系统设计及构建积累有价值的经验。
-
计算机工程. 2009, 35(7): 245-246,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.085支持实时交通信息是新一代动态导航应用的基本特征。该文以现有导航电子地图物理存储格式中较成熟的分层道路模型为基础，结合线性参照方法提出多层路网统一编码方法以及基于该方法的动态分层路网存储模型DyHiRD，解决交通信息在冗余数据模型下的一致性更新问题。实验结果表明，该模型的更新效率满足支持大型城市交通信息服务的终端动态导航应用需求。
-
计算机工程. 2009, 35(7): 247-249. https://doi.org/10.3969/j.issn.1000-3428.2009.07.086研究如何基于一组连续脑部医学切片重构大脑皮层，介绍体数据场和大脑皮层三维重构系统流程。针对插值后的脑部图像提出一种有效的脑灰质分割算法，通过图像预处理和阈值分割方法获取脑灰质图像。针对分割后的体数据，采用改进的Marching Cubes方法重构大脑皮层三维模型，避免提取脑灰质轮廓线。实验结果验证了该算法的可行性和实用性。
-
计算机工程. 2009, 35(7): 250-252. https://doi.org/10.3969/j.issn.1000-3428.2009.07.087以钻井作业的实时数据为参数，检索相同构造或层位上的钻井生产历史数据，将其反馈到钻井生产现场，提高钻井作业效率。针对钻井历史信息储存的分布和异构特性，利用网格技术，给出基于实时数据的钻井作业指导系统的体系结构和实现方法。
-
计算机工程. 2009, 35(7): 253-255,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.088JGraph是一套使用Java开发的、兼容Swing的开源图形组件，具有丰富的图形操作接口和良好的可扩展性。该文基于JGraph实现一个跨平台的变电站综合自动化图形组态系统。与现有图形组态系统相比，该系统具有更好的自动处理能力，能实现电力系统设备的自动检测和接线图的自动生成，简化传统变电站图形系统在接线图设计方面的工作。
-
计算机工程. 2009, 35(7): 256-258. https://doi.org/10.3969/j.issn.1000-3428.2009.07.089目前主流的嵌入式系统仿真器只提供单一的CPU仿真功能，用户难以修改仿真器的结构以适应自己设计的硬件系统。针对该问题，文章介绍一种新通用全数学仿真系统的体系结构。该仿真系统具有器件运行调度管理功能和器件间透明的数据交换功能。用户可以根据自己预期的硬件设计，随意地增减CPU和外设等被仿真的器件。
-
计算机工程. 2009, 35(7): 259-260,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.090分析uC/OS-II内核的超时等待机制，证实在一定情况下超时时间间隔不准确，在时间间隔到期的情况下，内核仍有可能返回成功，不符合一般的操作系统原理，且超时等待机制在有附加的挂起操作时，处理效率低下。指出uC/OS-II内核的超时等待机制不完善的原因，对不足之处提出改进方法。
-
计算机工程. 2009, 35(7): 261-263. https://doi.org/10.3969/j.issn.1000-3428.2009.07.091提出基于图形处理单元(GPU)的遥感影像IHS融合算法，利用图形硬件的可编程渲染器和其处理数据的并行性，把IHS的正反变换映射到GPU中进行计算。应用RTT和MRT技术实现IHS正反变换中3个分量的并行渲染输出，加速计算过程。实验结果表明，在数据量较大时，该算法的处理速度比基于CPU的算法速度更快。
-
计算机工程. 2009, 35(7): 264-266. https://doi.org/10.3969/j.issn.1000-3428.2009.07.092基于Bloom搜索过滤器的搜索过滤机制会发生误判，且在查询目标进入过滤器后，查询整个关键字的步骤会耗费太多成本。该文提出一套新的搜索过滤器架构。经实验验证，该过滤器能减少误判率的发生，降低整个过滤器的搜索成本，提高搜索过滤器的整体性能。
-
计算机工程. 2009, 35(7): 267-269,. https://doi.org/10.3969/j.issn.1000-3428.2009.07.093分析传统数字校园解决方案和建设模式存在的问题，在探讨面向服务的框架模型原理的基础上，提出基于面向服务架构(SOA)的数字校园解决方案，给出一个面向服务的校园网络应用框架。阐述基于SOA的校园应用系统集成的方法和步骤，论证基于SOA的数字校园解决方案的可行性及优越性。
-
计算机工程. 2009, 35(7): 270-272. https://doi.org/10.3969/j.issn.1000-3428.2009.07.094时隙ALOHA是无线射频识别系统中常用的抗碰撞算法，采用时分复用的方式，标签在指定的时隙内与阅读器进行数据交换。该文采用动态帧时隙分配法，使标签分配到的时隙碰撞概率降低，时隙数量根据系统碰撞数量进行实时有效调整，仿真结果表明，系统识别效率得到明显提高。
-
计算机工程. 2009, 35(7): 273-276. https://doi.org/10.3969/j.issn.1000-3428.2009.07.095网络故障的关联性传播可能导致网络故障数据包含大量冗余信息，影响诊断精度和处理效能。该文根据故障数据的特点，将粗糙集理论与支持向量机(SVM)相结合，采用基于邻域粗糙逼近的数值型属性约简算法进行快速高效的故障诊断，避免经典粗糙集理论中离散化误差的影响，缩减数据存储空间，降低SVM训练模型的复杂度，提高训练速度。ROC性能曲线分析结果表明，该方法具有良好的泛化能力。
-
计算机工程. 2009, 35(7): 277-279. https://doi.org/10.3969/j.issn.1000-3428.2009.07.096大规模海量存储系统中存储资源的结构、协议和I/O模式的复杂性等远远超过了传统存储系统，面向这种复杂存储环境的I/O服务和存储管理还缺乏高效智能的自适应模型。该文根据存储网络的特性建立基于Agent的自适应存储服务模型，实现用户需求和最佳存储设备的自动匹配。提出多Agent的系统结构和组成要素，建立服务感知和存储环境感知的参数体系，研究多Agent协同工作的自适应匹配模块和服务调度算法。仿真实验证明，该方法可以为应用服务和最佳存储系统的自动匹配提供一种智能方法，提高了存储服务质量。
-
计算机工程. 2009, 35(7): 280-282. https://doi.org/10.3969/j.issn.1000-3428.2009.07.097二进制翻译是实现系统迁移的主要方法，但基于通用平台的仅靠软件实现的二进制翻译性能不高。该文以龙芯2F处理器为实现平台，提出一种QEMU二进制翻译器并进行优化，其中包括编译环境的优化以及二进制翻译器本身的优化2个方面，对后者的优化主要涉及寄存器直接映射和多媒体指令的改进。实验结果表明，通过寄存器映射优化后，系统能够获得1.45的加速比，通过多媒体优化后，多媒体程序的执行能达到本地机器执行的80%的性能。
-
计算机工程. 2009, 35(7): 283-封三. https://doi.org/10.3969/j.issn.1000-3428.2009.07.098针对PLC编程器的缺陷，建立PLC通用编程器抽象模型，采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释Petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息，生成统一模式的XML类型配置文件。根据机型选择，通过PLC通用处理器提取相应配置文件，与中间格式代码链接，重组代码并生成与机型适配的可执行程序。
2024
第50卷 第3期
第50卷 第3期
(1975年创刊 月刊)
主管：中国电子科技集团公司
主办：华东计算技术研究所
上海市计算机学会
主编：江波
执行主编：胡冰
电话：021-67092217(费用/发票)
（稿件问题请直接联系栏目编辑） E-mail: ecice06@ecict.com.cn
国内刊号：CN 31-1289/TP
国际刊号：ISSN 1000-3428
主管：中国电子科技集团公司
主办：华东计算技术研究所
上海市计算机学会
主编：江波
执行主编：胡冰
电话：021-67092217(费用/发票)
（稿件问题请直接联系栏目编辑） E-mail: ecice06@ecict.com.cn
国内刊号：CN 31-1289/TP
国际刊号：ISSN 1000-3428