当期目录

• 2007年, 第6期　刊出日期：2007-06-01 上一期    下一期
  本期栏目： 论文

论文

Web服务事务处理的模型化方法研究

陈传波 朱羿圣 喻之斌

2007, 29(6): 1-3. doi:

摘要 ( 403 )   PDF (340KB) ( 358 )   　　

Web服务技术的出现为解决跨组织的过程集成问题提供了一种模式。在集成和交互的过程中,Web服务需要事务的支持来保持数据的一致性。传统协议规范已经能够支持Web服务 下的事务处理,但仍然存在着问题,比如不同事务处理规范之间兼容性处理、消息格式不匹配、补偿机制、超时和事务范围确立等问题还有待解决。本文介绍了一种Web服务系 统的层次设计,并给出了一种Web服务事务处理的模型化方法。这种方法在设计初期就对事务的补偿机制、超时和事务范围这些问题进行考虑和解决,使事务处理过程更加清晰 和直接。

基于满十六叉有序树的程序行为建模搜索方法

骆玉霞[1,3] 刘金刚[1,2]

2007, 29(6): 4-6. doi:

摘要 ( 361 )   PDF (277KB) ( 298 )   　　

程序行为建模及搜索是异常检测研究中的关键问题。本文提出利用系统调用发生时的程序计数器值对应的段号和段内偏移作为事件,将滑动窗口在有序事件上滑动得到事件序列集合,利用满十六叉有序树算法建立正常行为模型库。满十六叉有序树是为提高规则库的存储及搜索的效率而设计的,其存储的字节顺序隐含着结点间关系信息。在规则库中搜索某条规则的时间复杂度仅与树的深度有关,树的深度固定时的时间复杂度为O（1）。文中给出了满十六叉有序树的定义,分析了它的特点,并给出生成算法和搜索算法。

基于策略的网络安全防护系统框架研究

陈晓苏 林植 肖道举

2007, 29(6): 7-9. doi:

摘要 ( 440 )   PDF (336KB) ( 395 )   　　

基于策略的安全防护技术是当前网络安全研究的重点,但适于网络环境的安全策略应用机制还很不完善。本文全面分析了实施基于策略的网络安全防护应用系统的要求,提出了一种将安全策略、安全防护行为、网络应用逻辑三者相互独立又有机结合的安全策略防护框架。针对网络应用的行为及其状态特征综合分析了应用系统、安全策略及安全防护 护行为的形式化描述,制定了网络应用逻辑的监控机制和基于事件驱动的策略执行算法,实现了用策略动态控制应用系统行为的目的,增强了安全防护的灵活性和扩展性。

基于策略的网络安全防护系统框架研究

梅挺[1] 何大可[2] 张仕斌[3]

2007, 29(6): 10-13. doi:

摘要 ( 410 )   PDF (379KB) ( 612 )   　　

椭圆曲线密码体制ECC与超椭圆曲线密码体制HCC是当前密码学领域研究的一大热点,它们都有自身的优势和不足。但是,从近几年密码学领域发展的情况来看,ECC和HCC必将是未来密码学领域应用的最佳选择。本文主要对ECC和HCC的基础理论知识、现状及发展趋势做了介绍和研究,并提出了在HCC的理论与实现中急需解决的一些问题。

基于属性约简的概念格构造

刘利峰 吴孟达 王丹

2007, 29(6): 10-142. doi:

摘要 ( 250 )   PDF (177KB) ( 579 )   　　

概念格是数据处理和规则提取的重要工具。对于数据较大的形式背景,由于产生的概念格结构复杂,部分有用的信息将被这种复杂的结构所掩没。本文利用属性约简理论,首先在没有构造概念格的前提下将概念格的属性进行约简,从而进一步构造出约简后的概念格。实验证明,该方法简洁高效。

分布式环境下用证书实现dRBAC

张昭理 洪帆 廖俊国

2007, 29(6): 14-17. doi:

摘要 ( 394 )   PDF (302KB) ( 312 )   　　

对跨越多个管理域的系统而言,dRBAC是一个可升级的、分散的信任管理和访问控制机制。属性证书本质上是面向授权使用PKI的一种扩展方法,以支持与授权相关的任务。本文 提出了用证书来实现dRBAC的思想,详细阐述了如何使用属性证书在动态结盟环境下实现dRBAC模型。

基于延迟抖动分析的TCP友好拥塞控制算法

李强 张新荣

2007, 29(6): 18-20. doi:

摘要 ( 455 )   PDF (305KB) ( 901 )   　　

基于因特网的以UDP为传输协议的实时多媒体数据传输需要在保证实时性和可靠性的基础上,能够与因特网其他服务所使用的TCP协议公平共享有限的带宽。本文采用基于实时传输协议（RTP）和实时传输控制协议（RTCP）的反馈拥塞控制算法,提出一种简单的拥塞控制机制,使UDP数据流能与TCP数据流和平共处;研究了基于速率控制的TCP友好拥塞控制策略—TFRC,分析了其基本机制和关键问题;提出利用延迟抖动作为潜在拥塞信号来改进TFRC的速率控制机制,以适应实时业务低抖动的要求,并通过NS仿真验证了改进的TF RC算法对实时业务的良好性能。

VPN系统中安全策略系统的设计与实现

林晨 李之棠

2007, 29(6): 21-23. doi:

摘要 ( 387 )   PDF (223KB) ( 293 )   　　

VPN技术是解决网络端到端连接的安全问题的一条有效途径,其中的关键方面就是建立适合网络需求的安全策略,而安全策略由一条或多条描述特定行为的规则组成。本文对安全策略模块进行了研究,提出了一个安全策略模型,分析了安全策略管理器中规则的角色和状态转换并加以实现。实验结果表明,VPN系统工作正常,性能稳定。

基于NS2的路由器算法Droptail和RED的分析与比较

諶新年

2007, 29(6): 24-28. doi:

摘要 ( 617 )   PDF (340KB) ( 633 )   　　

随着因特网的迅速发展,网络拥塞问题日益严重,近年来提出了许多基于路由器的拥塞控制机制。本文详细分析了基于路由器的弃尾（Droptail）和随机早期检测RED拥塞控制  机制的设计思想和算法实现。基于NS2网络仿真平台,分别在不同数据流和相同数据流情况下对两种算法的性能和原理进行了对比研究;对仿真结果进行吞吐量、延迟、振荡、丢包率等各项QoS指标的详细分析和比较,并给出了相应结论。

下一代互联网存储集群系统的设计与实现

罗怡 谢长生 曹强 张常军

2007, 29(6): 29-31. doi:

摘要 ( 435 )   PDF (287KB) ( 363 )   　　

针对以IPv6为主要特征的下一代互联网的需求,本文介绍了将基于对象的分布式文件系统Lustre由仅支持IPv4改进为同时支持IPv4与IPv6双协议栈的设计原则与实现,并测试比 较了Lustre在IPv6与IPv4环境下的性能。其中的设计原则是通过分析Linux系统的IP协议栈得到的,因此同样适用于其他期望使用Linux的Socket接口实现支持双协议栈的网络程序。

TCP报文在操作系统探测系统中的应用

杜昆 胡华平

2007, 29(6): 32-35. doi:

摘要 ( 417 )   PDF (248KB) ( 511 )   　　

操作系统探测是网络攻防研究的一项重要内容,它既可以为安全检测服务,也可以为网络攻击提供基础。本文首先深入分析现有国内外操作系统探测工具存在的问题,然后在研究TCP报文结构的基础上提出了基于TCP报文分析的操作系统探测方法,并利用该方法实现了基于TCP报文的OS探测系统。系统能够直接对目标主机进行探测,分析操作系统类型  、开放端口服务等。

基于FCM算法与互信息量的图像自动分割

卢振泰 张明慧 陈武凡

2007, 29(6): 36-38. doi:

摘要 ( 444 )   PDF (179KB) ( 429 )   　　

传统的阈值分割算法只考虑到图像的灰度信息,而忽略了灰度的空间分布以及分割后图像与原图像之间的关系。本文从分割图像与原图像的内在联系出发,提出了一种新的基于 FCM算法与互信息量技术相结合的分割算法,即FCM-MI算法。首先利用FCM算法确定全局阈值作为初值,以互信息量为目标函数,在小范围内计算分割图像与原图像的互信息量,互 互信息量达到最大时的阈值即为最优值。对大量医学图像和车牌图像进行的实验结果表明,本算法所得到的目标图像的边界特征保持完好,虚假目标信息大大降低,图像边界细腻、连续且定位性能好。

成像卫星任务规划可视化仿真系统实现技术

李军 何川东 郭玉华 陈浩

2007, 29(6): 39-41. doi:

摘要 ( 426 )   PDF (274KB) ( 714 )   　　

对成像卫星任务规划的方案进行可视化仿真分析,是确保成像卫星任务规划的可靠性和高效益的有效途径。本文在分析成像卫星任务规划的可视化仿真特性、建模特性、数据处理技术等的基础上,设计了一种适合于成像卫星任务规划的可视化仿真系统。该系统基于GIS设计了任务规划二维规划视图,在STK基础上构建了任务规划三维视景仿真分析环境。同时,建立了资源库,对仿真的场景、模型资源进行有效管理。该系统已成功应用于某卫星任务规划系统,提高了成像卫星任务规划的效率。

图像搜索中基于网页分块的图像分类研究

章勤 余洋 陶文兵

2007, 29(6): 42-44. doi:

摘要 ( 377 )   PDF (270KB) ( 351 )   　　

本文提出并实现了一种基于网页分块的图像分类模型,利用图像位于网页中的特点,将图像和网页结构有效地结合起来对网络环境中的图像进行分类。首先利用VIPS页面分块算 法对网页进行分块,然后根据分块网页结构的特点将各分块网页中的图像分为背景类、广告类和主题类,最后利用这个图像分类结果指导网络环境下的图像搜索。实验结果表明 明,这种方法能够显著提高图像搜索性能。

一种分布式实时视景仿真系统中的DR算法研究

贺晓鹏[1] 石生明[2] 廖虎雄[1] 凌云翔[1]

2007, 29(6): 45-46. doi:

摘要 ( 458 )   PDF (188KB) ( 331 )   　　

在分布式实时视景仿真系统中,由于多武器平台的客观因素,使得系统中网络传输数据量大大增加,DR算法是DIS中提出的减少网络传输数据量的重要方法。本文根据实际分布式 实时视景仿真系统中常用的数据标准,提出了一种时间步长具有可变性的通用DR算法,并通过实验数据说明二阶和三阶算法的适用范围。

专家系统辅助的多Agent蚁群算法研究

林杰 陆耀华

2007, 29(6): 47-50. doi:

摘要 ( 398 )   PDF (277KB) ( 356 )   　　

本文提出了一种使用专家系统辅助的多Agent蚁群算法,该算法使用专家系统来辅助蚂蚁寻找可行路径,更好地适应了具有动态复杂约束的生产调度问题。它采用JESS专家系统外壳、JADE多Agent平台构建系统,对大规模定制供应链调度模型进行了算法检验。

一种基于轮盘赌选择遗传算法的随机微粒群算法

夏桂梅 曾建潮

2007, 29(6): 51-54. doi:

摘要 ( 462 )   PDF (260KB) ( 545 )   　　

以保证全局收敛的随机微粒群算法SPSO为基础,本文提出了一种改进的随机微粒群算法——GAR-SPSO。该方法是在SPSO的进化过程中,以轮盘赌选择机制下的遗传算法所产生的 最优个体来代替SPSO中停止的微粒,参与下一代的群体进化。通过对五个多峰的测试函数进行仿真明：在搜索空间维数相同的情况下,GAR-SPSO收敛率及收敛速度均大大优于SPPSO。

一种解决更新相关的更新冲突协商算法

周婧[1] 王意洁[1] 李思昆[1] 王元志[2]

2007, 29(6): 55-56. doi:

摘要 ( 432 )   PDF (208KB) ( 285 )   　　

针对数据一致性维护过程中存在的更新相关问题,本文提出一种更新冲突协商算法,利用Bloom Filter压缩技术表示更新,通过结点间的分工协作发现和解决更新相关冲突,并实现副本最终一致。模拟测试结果表明,该方法在一致性维护开销方面具有较好的性能。

一个改进的基本方向约束一致性的判定算法

邹阳 曾晓勤

2007, 29(6): 57-60. doi:

摘要 ( 378 )   PDF (326KB) ( 344 )   　　

基本方向约束的一致性判定是定性空间推理中的基本问题之一。本文采用将基本方向约束集转化成有向图的方法,给出了一致性判定的相关结论,并据此在Skiadopoulos算法基 础上提出了一种改进算法。新算法不但能判定出所有导致不一致的约束子集,而且还提高了执行效率。

粒子群优化算法研究与发展

杨志鹏[1] 朱丽莉[2] 袁华[1,3]

2007, 29(6): 61-64. doi:

摘要 ( 435 )   PDF (291KB) ( 438 )   　　

粒子群优化算法是一类基于群体智能的启发式全局优化技术,群体中的每一个微粒代表待解决问题的一个候选解,算法通过粒子间信息素的交互作用发现复杂搜索空间中的最优区域。本文介绍了粒子群优化算法的基本原理,并通过建立记忆表,详尽描述了粒子群优化算法中个体极优和全局极优的搜寻求解过程。同时,本文还给出了多种改进形式以及研究现状,并提出了未来可能的研究方向。

基于改进进化策略的CSCL任务分配自适应决策方法

王慧华 朱兆辉 吴克立

2007, 29(6): 65-67. doi:

摘要 ( 446 )   PDF (204KB) ( 325 )   　　

本文针对在伸缩性很大的多用户多任务（MU-MT）网络协同学习环境中,如何获得稳定的总体效益最优化的任务分配问题,提出了一种基于改进进化策略的自适应决策方法。该方法在传统进化策略基础上,通过进化方向控制和自适应选择算子设计等改进,优化了收敛速度,并防止抖动和早熟。本算法的优点主要在于：运算规模能依据CSCL环境的变化自动调整,具有很强的环境自适应性,因而是在未知网络环境中提供稳健协同性能的有效解决方案。

基于维层次的OLAP变粒度存储策略

杨科华

2007, 29(6): 68-70. doi:

摘要 ( 375 )   PDF (235KB) ( 374 )   　　

目前的决策支持体系结构中都是采用数据仓库来存储系统中的分析数据,应用OLAP技术实现系统中的分析功能。但是,数据量的增长也使得DataCube不断增大,因而影响到了OLA P的效率。本文提出了一种基于层次的OLAP变粒度存储策略,根据实际情况灵活地调整需要进行聚集的粒度与数据集,从而更好地满足数据分析的需要。

Web—MIND：基于特定主题的Web信息挖掘系统

文坤梅 卢正鼎 叶卫国

2007, 29(6): 71-73. doi:

摘要 ( 386 )   PDF (234KB) ( 308 )   　　

本文研究并实现了一个面向特定领域的网上药品信息挖掘系统Web-MIND。用户通过提交关键词向系统表达自己希望获得的信息主题,而Web-MIND利用元搜索及多策略学习等方法对所积累的文档库进行信息和知识挖掘,过滤不相关信息,并自动将有用信息推荐给用户。采用基于语义的模糊匹配技术,系统能有效地帮助用户挖掘Web上的药品广告信息和
 知识,以达到审核因特网药品广告的目的。

基于本体特征提取的事例推理研究

李玉华 王光武

2007, 29(6): 74-76. doi:

摘要 ( 393 )   PDF (214KB) ( 393 )   　　

本文以智能交易甄别原型系统为例,以反洗钱知识为背景,结合基于本体的半结构化文本特征提取和基于事例的推理方法,通过对可疑案例报告提交的数据进行特征值提取,并与案例库中的案例进行匹配,从而发现大额可疑交易记录。将基于事例推理技术应用于大额可疑交易甄别中,是对该技术应用领域的成功扩充,同时也是对基于模型推理的有效补
 充。本文利用本体对领域知识的描述信息来分析特征词之间的关系,描述了基于事例推理的思想及方法,并结合实例对其进行了进一步的说明。

利用链接发现技术侦测可疑账号交易信息

刘芳 伏峰

2007, 29(6): 77-80. doi:

摘要 ( 293 )   PDF (287KB) ( 360 )   　　

金融犯罪一般和账户的资金流动有着紧密的关系,特别是在洗钱活动中表现得尤为突出。目前,大多数的异常侦测系统采用的是传统知识发现方法,首先对数据集进行调查,形成  感兴趣的假设,然后再设计分析方法来解决这些问题。但是,这往往有个弊端,对于一个新的应用领域,我们便很难得到那些我们未知或不熟悉的新型知识模式。为了弥补这一不不足,本文利用基于约束非指导性链接发现技术,通过对目标节点进行约束性判断,再计算“兴趣度”和路径“作用值”来对外汇资金交易数据库进行自动分析,挖掘出用户感兴趣的交易信息,并最终为侦测外汇金融犯罪提供有利线索和决策依据。

一种基于统计信息的Cache漏流功耗估算模型

周宏伟 张承义 张民选

2007, 29(6): 81-83. doi:

摘要 ( 367 )   PDF (250KB) ( 277 )   　　

本文提出了一种基于统计信息的Cache漏流功耗估算模型。该模型通过对Cache访问间隔时间的统计,估算出不同衰退间隔条件下Cache的漏流功耗。根据该模型所设计的Cache   漏流功耗模拟器与Hotleakage漏流功耗模拟器相比,对于Cache漏流功耗估算的结果平均偏差小于3.46%。该模型可以用于Sleep Cache与Drowsy Cache中,估算不同衰退间隔下Cache漏流功耗比率,选取最优衰退间隔,最大程度地降低Cache漏流功耗。

面向特定应用的指令集自动扩展

吕雅帅 沈立 王志英 戴葵

2007, 29(6): 84-86. doi:

摘要 ( 371 )   PDF (284KB) ( 397 )   　　

面向应用扩展指令集是面向特定应用处理器设计过程的一个重要环节,这一工作的自动实现对于缩短产品开发周期具有非常重要的意义。现有的技术未能实现该过程的完全自  动化,而且在选择指令时并没有全面考虑指令对处理器面积和功耗的影响。本文设计并实现了一个面向特定应用的指令集自动扩展系统,该系统不仅可以根据应用特征自动扩展
 新指令,而且可以自动完成编译器的修改。模拟结果显示,扩展的新指令能够在保持功耗、面积基本不变的前提下,带来4.7%～16.7%的性能提升。

基于模拟存储器的FPGA原型验证系统

张明 周宏伟 张民选

2007, 29(6): 87-88. doi:

摘要 ( 330 )   PDF (183KB) ( 485 )   　　

当前ASIC功能验证流程中,FPGA原型验证系统的可调试性一直是制约验证速度的重要障碍。本文提出了一种模拟存储器技术,即将FPGA板上的存储请求映射到PC机上,由PC机上的软件模拟存储器的行为。通过此技术,功能验证工程师可以非常方便地记录和分析测试用例的执行轨迹,以及设置访存事务级的断点等,大大增加了验证板的可调性。同时,模
 拟存储系统的设计复杂度和成本也低于由硬件实现的大容量存储系统,有助于降低FPGA原型验证板的设计复杂度。

高性能VLSI设计中时钟分布网络的问题与解决方法

刘祥远 陈书明

2007, 29(6): 89-92. doi:

摘要 ( 443 )   PDF (258KB) ( 457 )   　　

本文介绍了深亚微米工艺下高性能VLSI芯片中时钟分布网络设计所面临的问题,总结了时钟分布网络设计的一般方法,最后指出了时钟分布网络设计研究的发展方向。

降低指令存储器功耗的一种有效方法：循环缓冲

胡定磊 陈书明

2007, 29(6): 93-96. doi:

摘要 ( 371 )   PDF (350KB) ( 422 )   　　

在超长指令字结构的数字信号处理器中,其指令存储器的功耗所占比重较大。但是,根据数字信号应用的特点,可以采用循环缓冲来减小指令存储器的功耗。本文提出了一种编译器控制的循环缓冲技术,由编译器选择合适的循环代码将其放入循环缓冲,从而减小了取指过程中指令存储器的功耗;给出了循环缓冲的体系结构设计、功耗分析以及有效利 用循环缓冲的编译方法;最后用功能级功耗模型验证了该方法的有效性。

一种提高同时多线程VLIW处理器中取指单元吞吐率的方法

万江华 陈书明

2007, 29(6): 97-101. doi:

摘要 ( 379 )   PDF (324KB) ( 426 )   　　

在同时多线程处理器中,提高取指单元的吞吐率意味着各线程之间的Cache竞争更加激烈,而这种竞争又制约着取指单元吞吐率的提高。本文针对当前超长指令字体系结构的新特点,提出了一种同时提高取指单元和处理器吞吐率的方法。该方法通过尽可能早地作废取指流水线中的无效地址,减少了由无效取指导致的程序Cache冲突,也提高了整个处理 器的性能。实验结果表明,该方法使处理器和取指单元的吞吐率均相对提高了12%～23%,而一级程序Cache的失效率则略微增加甚至降低。另外,它还能够减少10%～25%的一级程
程序Cache读访问,从而降低了处理器的功耗。

DRTSADL分析器的设计与实现

王建勇 郑芳

2007, 29(6): 102-104. doi:

摘要 ( 340 )   PDF (196KB) ( 281 )   　　

DRTSADL是一种针对分布式实时系统的体系结构描述语言,其设计目的是为了实现基于软件体系结构的代码生成和测试。为此,首先需要设计并实现DRTSADL语言的分析器。本文论述了DRTSADL分析器设计和实现原理,说明了实现该分析器的主要过程。

一种面向集成开发环境的可扩展并行调试器的设计和实现

杨科 张卫民 蒋杰

2007, 29(6): 105-108. doi:

摘要 ( 414 )   PDF (267KB) ( 426 )   　　

并行调试器对于提高并行程序的开发效率至关重要。本文通过对主流并行调试器功能、界面、集成度等方面的分析,提出了一种面向集成开发环境、模块化的可扩展并行调试 器模型,并从提高调试效率角度着重讨论了其动态分组通信结构和消息合并机制。

基于J2EE的权限管理框架实现

胡和平 徐蔚

2007, 29(6): 109-112. doi:

摘要 ( 362 )   PDF (284KB) ( 352 )   　　

在基于角色的访问控制RBAC模型中,通过角色将用户和权限相联系,极大地降低了授权管理的复杂性,是一种灵活有效的安全措施。本文提出了一个适用于J2EE领域的RBAC权限管理框架。通过使用软件设计模式和面向方面的编程方法,将通用的权限管理放在框架内实现,而将特殊易变的权限管理以面向方面编程的方法实现,实现了强有力的可扩展性
和易维护性。

自然语言理解的机器认知形式系统

黄培红

2007, 29(6): 113-116. doi:

摘要 ( 1068 )   PDF (270KB) ( 971 )   　　

自然语言理解是人工智能研究中的热点和难点之一。基于现有的相关理论,本文提出自然语言理解的形式化定义,以及改进相关的公理系统,从而统一“意思理解”和“道理理解”等两种理解类型。通过设计、开发和运行“篇章理解原型程序”,验证理论成果的正确性和有效性。

基于高斯-施密特粒子滤波器的多机器人协同定位

邵金鑫 王玲 魏星

2007, 29(6): 117-120. doi:

摘要 ( 464 )   PDF (211KB) ( 483 )   　　

多机器人协同定位需对各个机器人的运动模型和观测模型精确建模,需要运用非线性、非高斯系统。已经应用于本领域的各种非线性算法主要有两种：一种是扩展卡尔曼滤波 算法（EKF）,它对非线性系统进行局部线性化,从而间接利用卡尔曼算法进行滤波与估算;另一种是序列蒙特卡罗算法,即粒子滤波器（PF）。本文介绍了一种改进的粒子滤波
 器,即高斯-施密特粒子滤波器（GHPF）,重点比较这三种算法在多机器人协同定位领域的应用效果。

基于高地址约束和按需存储分配的UCard底层调度模块研究

曹计昌 周宇杰

2007, 29(6): 121-123. doi:

摘要 ( 454 )   PDF (265KB) ( 330 )   　　

本文介绍了一种实现一卡多发的新型智能卡UCard及其体系结构。针对UCard现有固定存储空间分配存在资源浪费等不足,提出了一种按需存储空间分配方法,并且该方法通过对高位地址总线的约束实现了不同大小COS之间的物理隔离。然后在引入动态地址控制器的基础上,给出了基于按需存储空间分配的UCard底层调度模块的一种实现方式。最后利 用有限状态机对UCard底层调度模块装载、调度、卸载COS的过程进行了形式化描述。

基于WinCE的OPC数据采集系统设计与实现

尤枫 邵俊军 赵恒永

2007, 29(6): 124-127. doi:

摘要 ( 386 )   PDF (282KB) ( 595 )   　　

本文分析了现阶段OPC数据采集方法在工业控制中存在的问题,并根据WinCE系统和OPC技术的特点提出并实现了基于WinCE的嵌入式OPC数据采集方案。该方案是工业数据采集的 一种新的实现方法,具有很好的应用前景。

嵌入式Flash播放器的设计与实现

杨宗凯 梁志聪

2007, 29(6): 128-131. doi:

摘要 ( 339 )   PDF (296KB) ( 816 )   　　

本文详细分析了嵌入式Flash播放器的相关技术以及总体结构,针对已有产品存在的问题和不足,在核心模块的实现技术上进行了改进,最后介绍了笔者自行设计的嵌入式Flash 播放器Wit Flash的具体实现。

基于实例的动态定义执行工作流引擎研究

林永毅[1,2] 罗锶[2]

2007, 29(6): 132-134. doi:

摘要 ( 375 )   PDF (235KB) ( 415 )   　　

在强调灵活和快速的业务竞争领域,目前大部分工作流管理系统产品无法完全满足非结构化业务流程对灵活性与复杂性的要求。本文提出一种基于实例的动态定义和执行的轻量级工作流引擎,可实现非结构化业务流程的规范化建模和个性化建模,增强对非结构化业务流程的柔性描述和执行能力。该引擎在深圳电信中得到应用,提高了企业流程的运
 营效率。

一种多Agent多议题的协商模型

武妍 曾建潮 白尚旺

2007, 29(6): 135-139. doi:

摘要 ( 338 )   PDF (365KB) ( 300 )   　　

协商是多Agent系统实现协作、协调和冲突消解的关键技术。本文分析了协商问题的实质和协商过程,提出了一种支持多轮协商的多Agent多议题协商模型。模型中引入了Agent 类型的概念,在信息不完全的条件下,协商Agent通过推测协商对手的类型来指导自身的提议策略和协商战术,使提议更具针对性,避免了盲目性,从而节约了协商时间,提高了协
 商质量。

环F2＋uF2上偶长度的循环码

吴波[1] 朱士信[2] 李平[2]

2007, 29(6): 143-147. doi:

摘要 ( 293 )   PDF (241KB) ( 270 )   　　

环F2＋uF2是介于环Z4与域F4之间的一种四元素环,因此它分享了环Z4和域F4的一些好的性质,此环上的编码理论研究已成为一个新的热点。本文给出了环F2＋uF2上任意偶长度的循环码的结构定理,并给出任意长度的循环码的计数公式。

基于CommonKADS模型的知识库应用

杨洋 韩杰 滕至阳

2007, 29(6): 148-150. doi:

摘要 ( 324 )   PDF (260KB) ( 286 )   　　

针对中小规模知识库系统中存在的知识表示能力不够、知识搜索广度不足的问题,本文结合CommonKADS模型从两个方面着手来解决：一方面用本体对知识进行表示,增强知识语义表达能力;另一方面,为了实现不同领域知识间的交流,将桥本体引入到知识模型中,发挥其在领域之间的“桥梁”作用,从而保证和提高系统的问题求解效率和能力。最后,以
 以操作系统知识为背景,介绍知识库的实现并对措施的有效性给予验证。