2007年, 第33卷, 第09期 刊出日期：2007-05-05
-
全选|
-
计算机工程. 2007, 33(09): 1-3，6.
以液晶显示器(TFT-LCD)制造业为例，对供应链中多阶生产规划问题进行了研究。运用混合整数线性规划，以企业整体获利最大为目标，考虑材料成本随时间的变化以及库存对资金的占用和市场需求量、需求价格的变动，对工厂生产做出安排，给出不同时段的库存状态，由此开发TFT-LCD产业多阶生产规划决策支持系统，为生产安排提供决策依据。通过在TFT-LCD厂的应用，证明了该系统的实
用性。 -
计算机工程. 2007, 33(09): 4-6.周期序列的线性复杂度是衡量流密码系统安全性能的一个重要指标。近几年人们注重对多重周期序列的联合线性复杂度的研究。该文给出了Fp上周期为Pn的多重周期序列联合线性复杂度的一个新的表达式，介绍了周期为Pn的随机多重周期序列联合线性复杂度分布的计算方法，提出了一种周期为Pn的多重周期序列联合线性复杂度的快速算法。
-
计算机工程. 2007, 33(09): 7-9，21.地形匹配算法是海底地形辅助导航系统的关键技术之一。根据海底地形的特殊特性，传统地形匹配算法直接应用于STAN时，易出现定位精度大幅降低和算法不稳定性问题。该文提出一种基于地形轮廓匹配原理的新算法，该算法利用改进的Hausdorff距离作为水深实时测量曲线与海底地形图水深曲线之间的度量函数。改进的Hausdorff距离对匹配对象存在的小误差不敏感，在一定程度上还可反映空间两条曲线的方位关系，该算法定位精度高、稳定性好。利用某海域地形图进行的仿真实验表明：该算法是可行的，定位精度比现有算法提高一倍左右。
-
计算机工程. 2007, 33(09): 10-11，5.目前，景象匹配中的匹配概率研究还不够完善，传统的景象匹配概率的定量计算是通过匹配信噪比、独立像元数、图像匹配次数来确定的，但是对于雷达景象由于其特殊的图像特性，传统的定量计算方法往往会计算出错误的景象匹配概率。该文定义了雷达景象的“贡献像元数”，利用贡献像元数和理论推导，得出了景象匹配概率。通过大量实践证明，运用贡献像元数来计算景象匹配概率是一种有效的方法。
-
计算机工程. 2007, 33(09): 12-14，1.网络结构对于片上网络系统的性能和功耗发挥着重要作用，PRDT(2,1)有着较低的网络直径和平均距离、常数的节点度以及良好的可扩展性，这些特点使其非常适于NoC。为了提高小规模PRDT的路由性能，该文提出了一种binary路由算法，当网络规模不大于16时，该算法无须使用虚拟通道即可实现无死锁路由，通过增加少量虚拟通道，可改进为完全自适应路由算法。对所提出的路由算法与原有的向量路由算法进行仿真比较，结果显示binary算法在硬件成本较低的同时，性能更为优异，完全可以应用于基于PRDT的小规模NoC网络。
-
计算机工程. 2007, 33(09): 15-18.构造了对空域几何变化具有强鲁棒性的频域模板匹配算法，使模板匹配成为具有几何恒常性特征的原型匹配。傅立叶变换提取信号的平移不变性；用原点自相关函数值R(0)进行能量归一化处理，消除信号幅度比例的影响；通过对数变换将空域尺度变化转化为可在频域中消除的平移变化；引入能量分布函数，消除来自空间旋转对匹配的影响，从原理上保证了频域模板匹配算法对空域几何干扰的恒常性。实验表明，该算法能够有效消除来自空域的几何变化对模板匹配过程的干扰。
-
计算机工程. 2007, 33(09): 19-21.针对非马尔可夫随机Petri网提出了一种补充变量引入方法，使其适合于系统共享维修资源情况下的可靠性分析。研究了基于补充变量的非马尔可夫随机Petri网的分析方法，以一并行系统为例说明该方法的建模过程、求解方法以及可靠性指标表达式，并以指数分布为例进行了方法验证，验证表明该方法是可行性的。
-
计算机工程. 2007, 33(09): 22-24，6.针对多模态函数优化问题，提出了一种遗传算法。用正交设计法对搜索空间进行探索，用差分法确定适应函数关于各变量的灵敏性，对灵敏性较高的几个变量，按其所在维度对搜索空间进行划分。用遗传算法分别对各子空间进行单次搜索，根据各子空间当前最优解的大小依概率对其应用遗传搜索。根据情况决定是否对各子空间递归调用该算法。仿真实验证明：在同等计算量的情况下，该算法相对于其他遗传算法能明显提高全局最优解的精度，并获取更多的局部最优解和其他有效信息。
-
计算机工程. 2007, 33(09): 25-27.对单小波区间化的思想加以总结分类，提出了区间多小波设计的一般方法。在重新定义多小波在L2([0,1])上的多分辨分析(MRA)后，针对任意支撑长度 的 重多小波，通过构造尺度子空间Vi([0,1])和小波子空间Wi([0,1])，得到了L2([0,1])的一组基，并进一步推导了双尺度方程，得到了一类区间多小波滤波器的参数化表示式。
-
计算机工程. 2007, 33(09): 28-30.分布式环境下的异构案例表达制约了案例检索过程中案例属性之间的可比性，进而成为分布式环境下案例推理系统成败的一个关键问题。该文提出基于语义相似的案例检索，通过利用Ontology技术来理解案例属性的内在含义，在此基础上定义并计算属性之间的相似程度。对原型系统的初步测试证明了基于语义相似的案例检索有效性。
-
计算机工程. 2007, 33(09): 31-33.最大熵模型可以对非常广泛的自然语言现象建立概率模型，该文提出了一种使用统计模型的中文姓名识别方法，采用最大熵原则建立统计模型，并运用该模型计算姓名概率。系统采用真实语料进行开放测试的结果表明，在保证一定准确率的情况下，系统召回率可达90%以上。
-
计算机工程. 2007, 33(09): 34-36.瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型，实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法，解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。
-
计算机工程. 2007, 33(09): 37-39，4.在建立定位实现模型的基础上，从定位、验证和聚类3个主要步骤分析Internet实体地理位置定位的核心技术，提出了可行的目标定位算法和验证算法，并借助对定位结果的聚类分析优化结果集。与现有的实体定位技术相比，该模型提出了可信等级的概念，并围绕可信等级在验证和聚类方面进一步修正，对结果的可靠性有较深入的考虑。
-
计算机工程. 2007, 33(09): 40-42.基因组的结构与功能存在密切联系，其功能主要通过DNA子序列来表达，因此研究DNA序列结构对于生物信息学来说具有重要的意义。该文研究了k-长DNA子序列在DNA全序列中出现频数的计数问题，设计并实现了k-长DNA子序列内部计数算法和外部计数算法。该算法通过一个哈希函数把k-长DNA子序列映射为整数关键字从而把k-长DNA子序列出现频数的计数问题转化为整数关键字的重复计数问题，使得能够利用经典B树算法来解决k-长DNA子序列的出现频数计数问题。针对所要解决的问题提出3种改进措施以进一步提高算法的性能。
-
计算机工程. 2007, 33(09): 43-45，4.软件运行监控器监测出故障之后，软件故障定位非常困难。该文提出了双轨迹差异分析法，根据成功的运行（run）和含有故障的运行之间的差异来进行故障定位。它采用程序谱来抽象表达程序执行轨迹，按照编辑距离度量来选取和含有故障的运行最近邻居的成功运行。通过序列间的最长共同子序列和最大稳定子序列集的计算，最终得到导致成功运行和失效运行之间差异的可疑故障语句集，并把它作为故障原因。经实验验证，该方法大大减少了故障定位中代码审查的范围。
-
计算机工程. 2007, 33(09): 46-48.利用模糊逻辑，分析了各测试用例中交元的测试特性，得到如下结果：交元在不同测试用例中所发挥的测试作用是相同的。据此给出了生成充分考虑参数取值组合作用、且个数少的测试用例（测试用例基）的一种方法，建立了以测试用例基表示所有测试用例的表达式。利用模糊逻辑证明了用测试用例基执行测试，不仅能确保软件质量满足用户需求，且提高了测试用例的揭错能力。由于测试用例基具有数量少、测试效率高的特点，该文的研究有利于改善测试工作，降低测试成本。
-
-
计算机工程. 2007, 33(09): 52-54.职责分离是一个系统最基本的防止欺骗和错误的手段。该文在Chinese Wall安全策略的基础上，实现了一种基于历史记录的职责分离模型，通过跟踪用户的历史权限记录来决定用户当前分配的权限从而实现职责分离，并对其进行了形式化描述和分析，证明其满足职责分离安全原理。该模型继承了Chinese Wall策略和职责分离安全原则的优点，能够提供更加完善的访问控制策略。
-
计算机工程. 2007, 33(09): 55-57.带口令的安全盒子环境演算是对原有的移动环境演算的改进，避免了移动环境演算中open操作所带来的干扰，加强了环境对其自身边界的控制能力，实现了对环境的回收。文中给出了SBAP的语法和语义定义，用SBAP对Pi-演算中的匹配算子进行了改写，并对电子邮件系统进行了描述和仿真。
-
计算机工程. 2007, 33(09): 58-59，8.
针对减少无线传感器网络信息获取和处理代价这一关键性问题，提出了将信息处理和粗糙集技术融为一体的新的研究思路，并设计了一种层次型智能信息处理方法。在无线传感器网络实时森林火灾监测的实际应用中，该方法通过从3个层次进行智能数据分析，使传感器节点仅自动获取和传送有用的最小数据集信息，从而有效地使用节点受限资源。
-
计算机工程. 2007, 33(09): 60-61,9.为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非自由选择网结构活性和有界性的分析，给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法，从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。
-
计算机工程. 2007, 33(09): 62-63,1.并行测试技术是未来自动测试系统的发展方向之一，而目前国内外尚无实用的并行测试系统体系结构的开发模型。该文介绍了基于UML的并行测试系统分析、设计和实现的全过程，为并行测试系统的研发提供了一个参考。
-
计算机工程. 2007, 33(09): 64-65.LDPC码译码采用的是BP算法，但由于回路的存在，使译码重复迭代，特别是短长度的回路使LDPC码的性能下降，因此用树图法分析了LDPC码的回路及其特性，给出了码回路的求解方法，非常适合于计算机进行求解，同时也给出了LDPC码回路所经过的节点及长度。
-
计算机工程. 2007, 33(09): 66-68，7.采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离，利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后，用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。
-
计算机工程. 2007, 33(09): 69-71.异常处理是实现嵌入式应用软件系统可靠性和容错性的重要手段。该文探讨了通信领域内嵌入式软件设计中异常处理的相关技术，分别以X86和PowePC硬件平台为例对异常发生时的运行栈进行了深入的分析，给出了一种通信领域内较通用的异常处理模型，并基于商用嵌入式操作系统VxWorks讨论了该模型的实现。
-
计算机工程. 2007, 33(09): 72-73,1.软件构件技术作为一种软件复用技术，旨在解决软件系统开发所面临的困境。大多数构件组装工具都是基于某种特定的构件模型，选取JavaBeans 构件模型作为研究对象，分析了其与软件复用相关的特征，探讨了其对软件复用的支持程度，并对其中的一些特征进行了扩展。
-
计算机工程. 2007, 33(09): 74-75,7.针对带缺省属性值的不完备信息系统，对已提出的容差关系、非对称相似关系、限制容差关系和修正容差关系等相似关系的局限性进行了剖析，提出了一种权衡容差关系，实例和分析说明，它是一种更加合理的带缺省属性值的不完备信息系统的相似关系。
-
计算机工程. 2007, 33(09): 76-78.通过分析在FD集F的最小归并依赖集存在弱左部或弱右部冲突时所具有的性质和特征，讨论并给出了满足PS(保持FD，无损连接且满足SNF)且无α环分解的充要条件和算法，对算法的正确性、可终止性进行了证明，并对算法的时间复杂度给出了分析。
-
计算机工程. 2007, 33(09): 79-81.在现有仿真时间推进机制中，事件的发生时间采用精确的时间戳，但是有时事件的发生时间用一个时间区间来表达更合理。该文提供了一种新的时间卷曲方法来发掘事件发生时间的不确定性，此方法的核心思想是：用事件的时间区间模型代替精确时间戳模型来提高事件并发性；当事件的时间区间重叠时用因果关系防止失序；对因果关系事件采用语义学方法进行区分，防止过多回滚。在RTI上增加时间管理扩展组件，用来实现基于时间区间的乐观时间同步机制。
-
计算机工程. 2007, 33(09): 82-83，8.在μC/OSII中，当应用任务在申请到的内存块中产生了非法指针，并且指针地址指向了空闲内存块头结构区时（前几个字节），空闲链表将会被破坏。为解决这一隐患，将控制信息与用户空间独立存放。该文通过扩展内存块定位字节至16位，得到一种能够区分1 024个不同内存块的一级内存管理算法。
-
计算机工程. 2007, 33(09): 84-86.全文检索领域的关键问题是索引模型以及该模型之上的高效搜索算法，基于一种优秀的全文索引模型互关联后继树提出了基于后继区间的搜索算法，大大提升了全文的检索速度，从而更加充分地体现了互关联后继树模型在全文领域的优势。
-
计算机工程. 2007, 33(09): 87-89.在构件的描述与检索中引入本体，可以更好地表示构件间的语义信息。本体是对知识的表达，可以对知识进行有效的组织和管理，实现知识共享和重利用，从而充分有效地利用知识资源。但是知识不是一成不变的，基于本体描述的构件库系统中的本体库需要更新和维护。该文提出了一种本体演化理论框架，探讨了其研究方向和重点。
-
计算机工程. 2007, 33(09): 90-91，1.基于一种新的自动程序设计方法基因表达式程序设计（GEP），通过设计适应函数、初始化群体的优化、增加新的遗传算子以及采用演化策略中的（λ+μ）淘汰策略等对原始GEP算法进行有效的改进，设计出一种新的数据挖掘算法。采用UCI机器学习知识库中的数据集对该算法进行了实验，并通过与C4.5及文献[3]的比较，检验了该算法的准确性。
-
计算机工程. 2007, 33(09): 92-94.二进制代码的逆向工程是一个底层的技术，被应用于计算机安全、系统验证、加密解密等相关领域。在逆向工程中，C++的反编译技术是一个难点，尤其是其类型信息的恢复。该文提出了一种利用异常处理机制的类型恢复方法，该方法可以用来分析出每个函数的所有局部类变量，还能分析出这个类的构造函数和析构函数的地址。该方法在特定的环境下可以准确高效地解决C++反编译中的一个难点。
-
计算机工程. 2007, 33(09): 95-96.对海量视频数据库中所蕴涵的语义相关内容进行挖掘分析，是视频摘要生成方法面临的难题。该文提出了一种基于向量空间模型的视频语义相关内容挖掘方法：对新闻视频进行预处理，将视频转化为向量形式的数据集，采用主题关键帧提取算法对视频聚类内容进行挖掘，保留蕴涵场景独特信息的关键帧，去除视频中冗余的内容，这些主题关键帧按原有的时间顺序排列生成视频的摘要。实验结果表明，使用该视频语义相关内容挖掘的算法生成的新闻视频具有良好的压缩率和内容涵盖率。
-
计算机工程. 2007, 33(09): 97-99.目前已有的Web应用框架能够在一定程度上降低业务逻辑处理的难度，但仍要编写大量重复代码，未能提供完善的机制以适应系统的变更。该文设计并实现了一种Web应用自动构建框架WACF，该框架能够适应复杂的业务需求，并能通过生成工具实现大部分应用开发的自动化。工程实践证明，WACF是一种高效稳定、适用性广泛的应用框架，能够在较大程度上提高开发效率。
-
计算机工程. 2007, 33(09): 100-102.采用通用后缀树模型(GSTM)，利用邮件内容的上下文信息，进行每个文本位置的不定长多元统计，从而获得被测邮件与不同训练集的相似程度，确定邮件所属的类别。理论分析和实验表明，在相同语料上，该方法的精确度和召回率均达到或超过了基于向量空间模型的邮件过滤方法；对于长度为N的邮件，过滤时间为O(N)；长度为N的新邮件加入训练集，训练时间为O(N)，满足了训练集的动态增长；该方法不需进行分词处理，完全独立于语种，适用于多语种邮件同时存在的情况。
-
计算机工程. 2007, 33(09): 103-105.综合选用数据挖掘中的EM聚类算法和C4.5分类算法，设计并进行了一系列以研究2型糖尿病发病危险因素与血糖变化关系为目的的实验。研究结果包括：发现了新的血糖门限值5.26和未发病门限值4.28，发现和验证了影响最大的8个重要发病危险因素及其对应的一系列重要临界值，定性定量相结合地给出了各个重要发病危险因素的影响程度在血糖值不同预警门限值下的变化关系等。
-
计算机工程. 2007, 33(09): 106-108.针对一些高关键性的特殊应用，把传统实时系统中的截止期、空闲时间、关键性等概念引入数据流管理系统，根据系统中连续查询的特征，赋予其新的涵义。提出了一种基于优先级的实时调度策略，使得流截止期较早、空闲时间较短、关键性较高的查询具有更高的优先级；给出了一种优先级树结构，使得基于优先级的查询执行序列唯一化。实验表明该策略提高了连续查询的实现价值率和连续查询调度的成功率。
-
计算机工程. 2007, 33(09): 109-110，.IEEE 802.16-2004标准定义了Mesh模式下的调度机制，基于这些调度机制下的数据信道资源分配算法，在标准中没有详细规定。该文提出了两种基于优先级的时隙分配算法，以实现MAC层的QoS，通过仿真分析了平均分组延迟、请求失败率和时隙利用率。仿真结果表明这些算法实现了对不同需求的业务流的QoS保障。
-
计算机工程. 2007, 33(09): 111-113.IP over DVB是实现IP数据广播的关键技术，ULE是其最新的封装协议。以卫星网为背景，阐述了IP over DVB-S转换网关系统设计和实现的关键技术。该网关兼容支持IPv4/IPv6双协议、MPE/ULE 2种封装方式，给出了其在远程教育中的典型应用。对其它数据广播网关的设计与应用具有参考价值。
-
计算机工程. 2007, 33(09): 114-116.分析了802.11a无线局域网(WLAN)OFDM基带接收系统中频率同步和信道估计算法的运算特点。针对实际算法的特点，设计了一个面向应用的专用DSP处理器(ASP)，利用ASP可以以软件方式实现802.11a前导序列的接收。经实际流片验证表明，该设计可以实现11a前导序列接收的各种基带处理运算，具有高度的灵活性和较小的芯片面积。
-
计算机工程. 2007, 33(09): 117-119，.分析了网格与P2P资源的特点，提出了一种融合二者资源的UVSP模型，以实现有效的资源表示、发现、访问和协同。根据此模型，为网格加入基于DHT的Bootstrap系统和为P2P系统加入服务化节点。讨论了资源组织体系结构，实现了一个具有BT Tracker功能的系统原型。该模型对网格与P2P系统资源的融合或具有异构拓扑的P2P系统之间的资源共享与协同有参考作用。
-
-
计算机工程. 2007, 33(09): 123-125.
在ODMRP协议中，由于采用周期性地广播Join-Query包来更新成员信息和路由信息，因此网络中流动着大量平凡的Join-Query控制包，造成网络开销增大，网络拥塞。采用能量驱动的概率转发的方法，根据每个节点的能量资源信息为每个节点设置相应的转发投递概率，抑制网络中的Join-Query控制包。模拟结果显示，能量驱动的MANET概率组播路由协议(p-ODMRP)在投递率满足需求的情况下，网络的控制开销减小20%左右，增加了网络寿命，协议的综合性能有明显提高。
-
计算机工程. 2007, 33(09): 126-127，.对多速率实时业务优先情况下系统用剩余信道处理尽力而为业务的情况进行研究，提出了一种计算在此种情况下尽力而为业务平均延时和平均处理时间的模型。并对用可变剩余容量处理尽力而为业务的情况进行了仿真，将仿真结果和新模型所得到的结果进行比较，发现新模型是可行的。为计算可变容量系统中数据业务的平均处理时间和平均延时提供了一种可靠的方法。
-
计算机工程. 2007, 33(09): 128-130.路由抖动指Internet上路由的反复声明与撤销现象。路由抖动起源于网络的一个区域，并迅速在网络中传播，造成网络的不稳定。升级网络节点的软件和(或)硬件有利于维护网络的稳定性。为此，网络中的节点依照它们处理路由抖动能力的不同被分类。该文分析了路由抖动的传播规律，提出并比较了对网络进行有效升级的算法，给出了网络升级的优先步骤。
-
计算机工程. 2007, 33(09): 131-133.针对大规模网络环境下的安全特点，提出了一种基于域的网络安全策略模型，通过应用域和规范安全策略语言，研究了策略的存储、查找、冲突检测与消解、发布实施过程中的技术和原则。应用该模型后的系统成为一种具有自动化策略管理特点的安全系统。
-
计算机工程. 2007, 33(09): 134-136.给出了一个入侵自动响应系统的总体结构，总结了可能的响应方式作为研究的前提和基础，介绍了基于Mobile Agent 事件决策机制、自适应技术和协同技术，完成了相应的原型系统。该系统具有易扩充性、配置简单、避免单点时效性、在异构环境中运行等优点，并在保证结点可控性和检测效率的同时提高了系统的容错性和协作能力。
-
计算机工程. 2007, 33(09): 137-139.视频加密通常要求满足实时性和保持码流格式不变。而直接加密视频码流中的DCT系数和MV变长码字会产生非法变长码字从而破坏码流格式，不利于视频通信的正常应用。该文提出了一种加密DCT系数和MV变长码字并保持码流格式不变的方法。此方法同视频码流中定长码字的加密结合起来可以形成一个完整的视频加密方案，试验结果表明该方案满足视频通信实时性的要求并达到较高的保密级别。
-
计算机工程. 2007, 33(09): 140-141，.目前MANET中安全方面的研究大多是对单个节点实施的恶意行为的分析和防范。该文研究了一种多节点配合的攻击模式——隧道攻击。结合DSR路由协议和NDM安全模型验证了隧道攻击的有效性和对网络的危害性，提出了设计相应安全措施的方向。
-
计算机工程. 2007, 33(09): 142-144.在分析入侵检测系统原理及通用入侵检测框架（CIDF）的基础上，按照CIDF的结构要求，设计了基于CIDF的入侵检测系统原型。在系统实现的内部机制上，采用链表的形式保存各类事件的完整信息并按CIDF的要求进行检测数据的标准化，为系统构件共享信息提供高效、准确的保证。结合实践，指出了用语义标识符SID扩充以适应异常检测方面的问题。
-
计算机工程. 2007, 33(09): 145-147，.利用双线性映射理论，结合代理签名和盲签名的优点，在基于身份的公钥密码体制中，提出了一种基于身份的代理盲签名方案。该方案采用以身份为基础的公钥，取代了以数字证书为基础的公钥，省略了验证签名时从系统中获取公钥的步骤，减少了交互的次数，节省了存储空间，并克服了李方案中存在的两个安全性缺陷，有效防止了原始签名人冒充代理签名人对消息进行签名，且限制了代理签名人的代理签名权。
-
计算机工程. 2007, 33(09): 148-150.如何在安全信息系统中支持多种安全政策是近年研究的热点，该文将多安全政策支持框架分为3个大类：基于统一安全模型的FMP，基于安全属性的FMP和基于政策描述语言的FMP。对典型例子进行了分析和比较，结合真实安全环境的特征提出了今后的研究方向，列举了一种FMP在安全操作系统中实施的实例。
-
计算机工程. 2007, 33(09): 151-153.安全管理是安全操作系统的重要组成部分，如何依据新的国际信息安全评价标准——CC(Common Criteria)开发安全操作系统安全管理子系统是值得探讨的问题。该文介绍了符合CC标准EAL 3级的“安全操作系统的安全管理框架”及其在红旗安全操作系统中的实施。
-
计算机工程. 2007, 33(09): 154-156.在分析具有时间约束特性的角色访问控制模型(TRBAC)的基础上，对其中翻转点选择和安全状态恢复问题进行了阐述，提出了在TRBAC中判断系统安全状态的翻转点选择算法，选择合理的终止会话集合使系统恢复到安全状态的算法。该算法在一定程度上解决了翻转时间点选择过大或过小引起的效率和安全冲突的问题。
-
计算机工程. 2007, 33(09): 157-159，.像素扩展度和对比度是视觉加密方案中两个重要的指标，同时使二者达到最优在理论上是非常困难的。运用排列的方法设计出一种(2，n)方案，从理论上证明了其存在性，并给出了该方案的构造方法。软件仿真结果表明，该方案能够折衷考虑二者之间的矛盾，在像素扩展度较小的情况下，使对比度接近最优。
-
计算机工程. 2007, 33(09): 160-162.入侵检测技术是网络信息安全技术中很重要的一个研究领域。为了提高入侵检测系统对入侵类型的识别能力，在该系统中将免疫算法与RBF网络融合起来，形成一种双层分类结构。试验结果表明，基于融合免疫算法和RBF网络的入侵检测系统能有效地区分4种入侵类型。
-
计算机工程. 2007, 33(09): 163-164，.如何提供一个协同、开放、灵活并高效的安全服务，是协同电子商务必须解决的一个重要问题，移动Agent为解决这一问题提供了一个新的方法。该文介绍一种基于历史事件的安全认证机制，以期进一步完善协同电子商务中的安全服务问题。
-
计算机工程. 2007, 33(09): 165-167.在数字信息内容细粒度保护领域，通常存在对信息内容的部分保护和引用保护需求。这类保护可能带来不同安全规则之间的冲突，从而造成信息内容的不可用性，就此问题进行分析，挖掘冲突根源，提出安全规则的冲突检测算法及信息内容可用性检测算法，给出一个实例予以说明。
-
计算机工程. 2007, 33(09): 168-170.分析了GF(2n)域上基于优化正规基(ONB)的椭圆曲线的运算法则，讨论了域划分对芯片实现速度和硬件资源占用二者的影响，设计了一种串-并行结构的基于ONB的高速有限域运算单元，用于完成GF(2191)域上基于ONB的ECC芯片实现，在50MHz时钟下，GF(2191)域上的点乘运算速度平均为981次/s。
-
计算机工程. 2007, 33(09): 171-173，.针对VPN接入的身份认证问题，提出了一种综合运用LDAP认证、应用系统认证和动态密码认证技术的多级认证模式，运用UML模式对动态密码认证系统进行设计，实现了多应用系统和多种用户管理模式环境中的统一用户认证管理和安全的远程访问。
-
计算机工程. 2007, 33(09): 174-176.公钥基础设施(PKI)是解决网络安全的重要技术之一，一套完整的PKI系统常由多个模块组成，如何在复杂的网络环境中保证这些模块之间的通信安全，RFC2025已经提出了一个通用的解决方案。针对实际应用情况提出了一种具体实现和解决方案。该方案在设计上对原协议进行了一些约定和扩展，实现上使用面向对象方法和回调函数，使用上缓存密钥，减少协商次数，在异常情况下密钥协商能自动恢复，保证了密钥的可用性。这样实现、使用都比较方便，而且保证安全，提高效率。
-
计算机工程. 2007, 33(09): 177-179.针对VPN日志信息的特点，提出了一种安全审计系统的设计。通过采集VPN的多种日志信息进行分析，监控VPN的运行状况，检测系统中存在的不安全因素。既提高了VPN的运行性能，又弥补了VPN在安全防范上存在的不足。
-
计算机工程. 2007, 33(09): 180-181.现有的可见水印技术将水印嵌入到整幅图像或图像的任意位置，没有考虑图像的具体内容，但对于许多应用而言，图像的某些特定区域（如感兴趣区域）比其他区域更重要。该文提出了一种感兴趣区域的自适应可见水印技术，在用户选定的感兴趣区域嵌入可见水印。实验结果表明：水印半透明地呈现在用户选定的感兴趣区域，为感兴趣区域提供了更好的保护。
-
计算机工程. 2007, 33(09): 182-183.2004年8月，在美国召开的国际密码学会议上，来自中国山东的王小云教授宣布成功破译了MD5、HAVAL-128、MD4和RIPEMD算法，并在任何初始值下用2^40次Hash运算给出了SHA-0的碰撞。这意味着目前广泛应用于电子商务、银行系统、证卷系统的安全认证算法——Hash函数分析领域堡垒的轰然倒塌。面对严峻而残酷的现实，依赖于Hash算法的银证系统数据安全传输问题，也就成为人们不得不及时解决的实际问题。该文给出了一种银证系统数据安全传输的综合防御措施。
-
计算机工程. 2007, 33(09): 184-185，.经典粗糙集理论是建立在完备信息基础上的，然而现实中，由于各种原因，很多的信息系统是不完备的。该文分析了不完备信息系统下的粗糙集模型，引入了一种构造广义决策表的方法，提出了一种基于广义决策表直接求取不完备信息系统属性相对约简的算法。通过实例计算，说明了算法的简单性和有效性。
-
计算机工程. 2007, 33(09): 186-188，.随着信息技术的发展和市场全球化程度加深，企业业务流程的动态、敏捷、多变等特点日趋明显，对业务过程管理系统的柔性提出了更高的要求。该文在研究流程知识与BPM系统异常关系的基础上，借鉴知识管理的相关理论和BPM异常处理研究成果，提出了利用流程知识进行BPM系统异常处理，赋予ECA法智能化处理异常的能力，扩展了ECA法的使用范围，提高了BPM系统的异常处理能力，控制异常发生，减小异常的负面影响，增加了BPM系统柔性。
-
计算机工程. 2007, 33(09): 189-190，.提出了利用近似算法求解二维矩形装箱问题的最小高度的一种方法。该方法基于启发式递归策略和遗传算法。利用启发式递归策略把所有大小各异的矩形都装入宽度固定的矩形容器中，并计算装完后所需容器的高度，用遗传算法的进化能力优化高度，使得所需容器的高度尽可能小。计算数据证明这种方法能够得到很好的结果，特别是对数据量大的测试问题，效果更好。
-
计算机工程. 2007, 33(09): 191-193.利用正样例集合和未标识样例集合获取初始的最强反例集合是使用两步框架方法构造一个面向PU问题文本分类器的基础。该文指出了使用1-DNF算法抽取初始的最强反例集合的局限性，提出了对算法1-DNF的改进方法。实验结果表明，与原算法相比，它大大增加了获取的最强反例数目，加快了算法的收敛速度，提高了分类器的精度。
-
计算机工程. 2007, 33(09): 194-195，.利用双正交单小波的对称性和良好的滤波性能，给出了具有GMPs (Good Multifilter Properties)的双正交多小波滤波器，对其经过平衡处理后，结合Burt提出的选择和平均的融合方案，对可见光图像和红外图像进行了融合实验，充分利用红外波段和可见光波段的信息互补性，达到便于观察的目的。仿真结果表明该方法能取得较好的融合效果。
-
计算机工程. 2007, 33(09): 196-198.根据文本分类通常包含多异类数据源的特点，提出了多核SVM学习算法。该算法将分类核矩阵的二次组合重新表述成半无限规划，并说明其可以通过重复利用SVM来实现有效求解。实验结果表明，提出的算法可以用于数百个核的结合或者是数十万个样本的结合，对于多异类数据源的文本分类具有较高的查全率和查准率。
-
计算机工程. 2007, 33(09): 199-200，.层次判别回归把分类和回归统一成回归问题，在每个内部节点进行输入和输出空间的双聚类，输入空间的分类子空间可以自动从聚类中获得，再用层次概率分布模型计算判别子空间，构成输入空间由粗到精的概率分布，可以准确而且快速地实现高维数据的检索。该文提出了利用核函数在输入空间先对样本进行核聚类，就能够有效降低非线性分类边界的影响，使得检索结果更加准确。
-
计算机工程. 2007, 33(09): 201-203，.针对多约束QoS多播路由问题，选择带宽、时延和时延抖动为QoS参数，借鉴人体免疫系统的适应能力和蚂蚁算法的全局寻优能力，提出了一种新的融合算法即免疫-蚂蚁算法。利用免疫算法把目标函数和约束条件作为抗原，目标函数的优化解对应为抗体，使得求解过程的收敛方向得以控制，利用蚂蚁算法产生和更新抗体。实验结果表明，该算法能够明显提高路由选择的效率。
-
计算机工程. 2007, 33(09): 204-206.如何有效实现降维是现代成像光谱仪辨识地物类别的一个难点所在。该文在已知高光谱图像地物类别数的情况下，提出了一种采用混合最小描述长度(MMDL)模型选择准则确定高光谱图像本征维数的方法。该方法在期望最大化算法框架下同时实现混合PPCA降维和聚类，并根据MMDL准则确定数据降维维数，可以得到数据在概率意义下的精确的降维表征。仿真数据和真实数据进行的比较实验表明，该方法能精确地选择数据的本征维数。
-
计算机工程. 2007, 33(09): 207-209.如何形式化表述世界知识并提供给计算机使用，是制约自然语言理解处理实现突破的核心问题之一。该文立足于HNC理论的整体框架，对世界知识按领域进行分类，为每一领域赋予领域句类表示式，为句群处理提供知识支持。同时，以国家治理与管理领域为例，阐述领域句类表示式的设计步骤以及如何使用。
-
计算机工程. 2007, 33(09): 210-211，.运动估计是视频压缩算法的重要组成部分，块匹配算法是运动估计的主要方法，但算法复杂度高。该文提出了一种Winner-update搜索策略，总结了衡量图像复杂度的简便方法，构造合理的匹配误差序列，以重排匹配搜索的顺序，进一步降低了块匹配算法的计算复杂度。文中设计了与算法相适应的数据结构，对比实验表明了该算法可节省90%~98%的计算量。
-
计算机工程. 2007, 33(09): 212-215.提出了一种基于遗传模拟退火算法的带宽、时延和时延抖动约束费用最小的组播路由选择方法，该方法针对遗传算法的局限性，采用基于备选路径集的整数队列编码机制，对适应度函数进行了调整，改进了交叉和变异操作，结合了模拟退火算法。实验表明，该算法能够有效地提高收敛速度、避免早熟收敛、满足多媒体网络对相应QoS的需求。
-
计算机工程. 2007, 33(09): 216-218.传统的协作筛方法存在的主要问题是需要人为地提供评价，该文对其进行了改进，根据用户事务模式自动获取用户评价，构建评价矩阵。针对现有个性化信息推荐系统存在的问题，将Agent应用到电子商务个性化信息推荐，引入设计的协作筛方法，设计了基于Agent的电子商务协作推荐系统(ECCRS)。ECCRS是基于服务器端的电子商务协作推荐系统，它考虑了用户访问页面的时间特性，不需要用户注册，在推荐时考虑了页面的新颖性，同时实现了离线处理、增量更新与在线推荐的结合。实验结果表明，ECCRS采用的推荐方法是有效的。
-
计算机工程. 2007, 33(09): 219-221.朴素贝叶斯分类器是一种简单而高效的分类器，但是其属性独立性假设限制了对实际数据的应用。文章提出一种新的算法，该算法为避免数据预处理时的属性约简对分类效果的直接影响，在训练集上通过随机属性选取生成若干属性子集，以这些子集构建相应的朴素贝叶斯分类器，采用模拟退火遗传算法进行优选。实验表明，与传统的朴素贝叶斯方法相比，该方法具有更好的性能。
-
-
计算机工程. 2007, 33(09): 225-227.研究了在广域IP网上实时传送媒体流的体系技术及传输中媒体流的质量控制措施，面向全网建立多层转发体系，在每个转发节点设置转发代理。系统对代理可实现派生、撤消或更换。转发代理完成对应媒体流的及时转发任务，实现对所在网络分支的拥塞状况自动检测、自动向上级节点报告、自动控制转发流的大小，达到对转发媒体流的质量控制。
-
计算机工程. 2007, 33(09): 228-230，.为了满足嵌入式、移动设备的实时视频编码应用，提出一种可分级的复杂度-失真最优的运动估计算法，通过调整复杂度控制参数来实现视频编码器计算复杂度的可分级性，确保视频质量达到最优，在编码效率最高和失真最小间取得相对最佳平衡。实验结果表明，随着处理器计算能力的变化，该算法能自动调整编码器的计算复杂度，大大减少运动估计的运算量，同时图像质量和码率变化不大。
-
计算机工程. 2007, 33(09): 231-234.听觉是视觉很好的辅助手段，使用多通道用户界面有利于提高人机交互的效率。可听化是用非语音来表示信息的技术，可听化正成为一种新的可用于模式识别、数据分析的工具。该文提出CAD可听化研究的实现途径，从工程应用角度总结归纳了适合可听化的CAD数据类型，分析了相应的数据映射算法设计，在CAD机构设计中，通过设计方案实时运动仿真，进行运动学和动力学分析计算，讨论二维连续数据的可听化。
-
计算机工程. 2007, 33(09): 235-237.高性能的DMA控制器是诸如高端微处理器和媒体处理器等SoC片上通信架构的重要组成部分。该文提出了面向AMBA总线的高性能32位DMA控制器的VLSI实现，引入了双时钟域、同步复位门控时钟和握手信号路由阵列的设计。在SMIC 0.18μm的工艺下，可以达到180MHz的工作频率。应用于32位RISC处理器ALP3310中，与使用软件传输相比，AHB总线和APB总线的数据传输速度分别提高80.0%和26.7%。
-
计算机工程. 2007, 33(09): 238-239，.将纺织行业信息服务系统分为若干个自主智能实体Agent，用Agent结构封装信息服务基本处理单元，各Agent节点具有自治性强、主动合作性好等特点。运用MAS技术构造系统中几个关键部分的Agent信息流模型，确定了这种信息处理系统基本的工作模式。将模糊逻辑系统应用于Agent状态实时评估系统模型的构造，Agent可以自主地根据所处环境及自身的情况，调整下一步运作策略，使系统有限的资源实时得到合理的调配利用。
-
计算机工程. 2007, 33(09): 240-242.电信级IPTV系统向用户提供丰富的节目的同时也要考虑提高系统自身的性能。该文描述了IPTV系统架构与现有的 Web Cache 技术，通过对测试数据的分析找到影响EPG性能的瓶颈。分析了IPTV系统的特点，提出了一种适合IPTV 系统的Web cache 架构 EPG_Cache，EPG_Cache通过提供缓存部分数据的方法提高EPG的响应速度。
-
计算机工程. 2007, 33(09): 243-245.维特比译码器是广泛使用的极大似然解码方法。该文提出了有别于IEEE 802.11a标准的解码方法，将软判决译码使用在该标准卷积码的解码机制上，利用算术部件的重组和混合向后追溯式以及时钟关断技术，在保证性能和低复杂度前提下减少存储器读写操作以降低功耗，利用SMIC 0.18μm CMOS工艺设计实现该译码器，在ALTERA FPGA上实现原型验证，性能满足IEEE802.11a标准要求。
-
计算机工程. 2007, 33(09): 246-247，.从系统集成的角度研究了基于Web的远程监控系统设计中所涉及的关键技术，设计了基于Web的远程实验系统，实现了本地监控站的设计和远程客户端与Web服务器的设计。
-
计算机工程. 2007, 33(09): 248-250，.目前GPS的定位技术已经比较成熟，然而GPS正常工作时需要4颗可见卫星。该文提出了一种基于高精密数字地图的GPS双星定位系统，结合航位推算系统进行组合导航，对组合导航的输出信息综合滤波。试验证明，该算法增强了车载导航系统在城市复杂环境中的适应性，提供了满足要求的定位精度。
-
计算机工程. 2007, 33(09): 251-254.介绍了摊铺机行驶系统的控制方案，结合摊铺机行驶系统的功能要求及LPC2138的特点，实现了摊铺机行驶系统数字控制器测控模块的硬件设计，包括测控模块总体结构、LPC2138微控制器、模拟量输入通道、开关量输入通道、开关量输出通道、PWM输出模块、通信接口。讨论了测控模块的抗干扰技术。
-
计算机工程. 2007, 33(09): 255-257.介绍了高密度K9K8G08U0M NAND flash芯片的内部组成、引脚配置、各种读操作、页面编程、块擦除、写保护等操作时序和状态查询。提供了NAND flash存储器与其宿主控制器的标准接口逻辑。
-
计算机工程. 2007, 33(09): 258-259，.介绍了一种基于CAN 总线的分布式音频控制网络的研究开发情况，实现了CAN总线与各模块的接口设计，制定出了相应的音频效果控制器内部通信协议。对RS232接口设备、RS232接口设备与CAN接口设备的联机使用和设计具有联网能力的音频设备具有重要意义。
-
计算机工程. 2007, 33(09): 260-262.协同物流商务是一种新的软件和服务策略，它利用Internet技术将物流企业的市场、服务、客户等统一在一个全球知识网中，成为物流企业管理信息系统与电子商务两大应用的结合点。该文从协同物流商务的特点出发，分析了协同物流商务的商业逻辑模型，结合湖北省交通物流信息平台的开发，给出了协同物流商务系统信息平台体系结构模型，并对其系统功能进行了分析。
-
计算机工程. 2007, 33(09): 263-265.对于被集中部署到机群环境中的应用服务来说，为了保障服务的负载均衡和高可用特性，通常会配备冗余的软硬件资源，并采用相应的管理系统[1]，帮助调配这些资源、维持稳定的服务质量。然而，商业分布式应用的规模日益庞大，如何让管理系统适应其复杂结构，该文提出了一种解决方案。该方案通过定义形式化模型，建立了一套描述复杂多层次应用结构、判定应用运行状况的方法，并在此基础上构建了具有广泛适应性的平台环境，使得部署于机群之上的复杂商业应用在此架构下得到统一的管理。
-
计算机工程. 2007, 33(09): 266-268.远程过程调用(RPC)是分布式系统中常见的进程间通信手段，与显式的消息传递方法相比，RPC能为多节点进程间通信提供更好的透明性。该文在分析了RPC系统结构的基础上，结合嵌入式环境设计了一个通用的RPC系统，并在ARM7、μC/OS-II、以太网和TCP/IP的基础上实现了该RPC设计。通过测试，比较了RPC方式与显式消息传递的时间损耗。
-
计算机工程. 2007, 33(09): 269-271.SQL注入技术通过输入带有SQL关键字的语句破坏后台数据库查询语句完整性，进而开展客户端攻击，危害性很强，此外，不合规范的输入数据，也加重系统负担，降低系统可靠性。所以电子政务系统安全性、可靠性亟待提高。正则表达式具有很强的模式匹配功能，可以用来校验各种类型数据。加入正则表达式校验层，扩充传统三层B/S架构至四层后，通过校验客户端输入数据，能够遏制某些客户端攻击，在一定程度上提高电子政务系统安全性、可靠性。在电子政务系统建设中应用该项技术，取得了优良的效果。
-
计算机工程. 2007, 33(09): 272-274.提出了一个用于扩充高缓块管理的近似LRU算法。利用该算法，设计了一个可过滤LRU数据块的扩充高缓方案——LRU块过滤高缓(LBF高缓)。仿真结果显示，LBF高缓的性能优于类似结构的扩充高缓(如牺牲高缓和辅助高缓)，与具有2倍容量的直接映像高缓相比性能有所提高。
-
计算机工程. 2007, 33(09): 275-276，.针对都江堰灌区信息化建设过程中各子系统不能有效共享数据，难以进行集中决策分析的问题，提出一种基于数据仓库的综合数据中心平台的建设方案，设计了结合灌区特点的数据仓库体系结构，对应用数据仓库的两个关键问题――联机分析处理(OLAP)和数据挖掘进行了分析，并给出了设计方案。
-
计算机工程. 2007, 33(09): 277-279.μC/OS-II以其运行稳定、实时性强、代码短小精悍等优点受到嵌入式系统开发人员的青睐。该文介绍了一个采用μC/OS-II实现的心电监护仪的软件系统的设计与开发。将μC/OS-II移植到S3C2410处理器上，对μC/OS-II进行了配置，在μC/OS-II上创建并运行8个任务，采用消息队列来实现它们之间的通信，协同工作，实现了监护仪的功能。文章还对不采用操作系统、采用Linux以及采用μC/OS-II实现心电监护仪各自的优缺点作了比较和探讨。
关键词：
-
计算机工程. 2007, 33(09): 280-282.由于军事领域中情报信息的相对分散独立，存在信息孤岛的特点，使用数据网格可以将这些分布式的异构信息组织起来，实现资源共享和信息集成。ECIShare信息平台在数据网格DataGridTool上对不同数据库系统和文件系统进行统一管理，实现了信息发布、信息查询和发现、信息的安全访问控制等功能。
-
计算机工程. 2007, 33(09): 283-封三.嵌入式系统强调软硬件的协同性与整合性，软件与硬件可剪裁，以满足系统对功能、成本、体积和功耗等要求。文中通过对基于µC/OS-II操作系统的嵌入式系统驱动构件结构和驱动构件与微控制器(MCU)密切相关模块的分析，提出一种中间件技术来方便地裁减驱动构件的功能，提高驱动构件的复用性、可移植性。
2024
第50卷 第9期
第50卷 第9期
(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