当期目录

    2008年 第28卷 第8期 刊出日期:2008-08-01
    全选:
    信息与网络安全
    时滞混沌系统的参数辨识及其在保密通信中的应用
    罗群 李丽香 刘璇 高雅 杨义先
    2008, 28(8):  1901-1903. 
    摘要 ( )   PDF (437KB) ( )  
    相关文章 | 计量指标
    对系统中未知参数的辨识问题进行了系统的研究。给出了参数估计器存在的充分条件。然后,在发射端尝试将明文信号对系统的参数进行调制,在接收端利用提出的参数辨识方法来解调,从而实现数字信号的超混沌保密通信。最后数值仿真验证了该方法的有效性。
    基于文本区域特征的图像型垃圾邮件过滤算法
    万明成 耿技 程红蓉 周俊怡
    2008, 28(8):  1904-1906. 
    摘要 ( )  
    相关文章 | 计量指标
    垃圾邮件图像中通常含有大量文本区域,且这些区域常含有较多区分能力强的特征。提出一种基于图像中文本区域特征的垃圾邮件图像识别算法。首先提取出图像中文本区域的特征,包括:文本区域数量和面积、色饱和度、文字数量和颜色数量,以及图像的一些属性特征如图像面积等;然后利用支持向量机分类算法来识别垃圾邮件图像。实验表明,对于真实的邮件图像集,算法能够识别出98.5%的垃圾邮件图像,且正确率超过98%。
    可信计算平台模块密码机制研究
    罗捷 严飞 余发江 张焕国
    2008, 28(8):  1907-0911. 
    摘要 ( )   PDF (1003KB) ( )  
    相关文章 | 计量指标
    可信计算已经成为世界信息安全领域的新潮流。介绍了可信计算平台模块(TPM)的基本体系,分析了它的密码机制,指出了其密码机制上的特色与不足。针对现有可信计算组织(TCG)规范中密钥管理授权机制比较复杂的缺点,结合OIAP与OSAP的思想,给出了一种授权复用的技术方案与授权协议,并给出了协议的安全性证明。
    一种基于演化计算的序列密码分析方法
    陈联俊 赵云 张焕国
    2008, 28(8):  1912-1915. 
    摘要 ( )   PDF (702KB) ( )  
    相关文章 | 计量指标
    序列密码是一类重要的密码,演化计算是一种重要的智能计算。在研究利用演化计算进行序列密码分析方法的基础上,具体给出了一种利用演化计算对非线性滤波型序列密码体制进行分析的方法。分别在移位器初态未知和抽头位置未知两种情况下,对滤波流密码体制进行了密码分析。实验结果表明,该算法的攻击复杂度远远小于穷举攻击的复杂度。
    基于CPK的高效移动Ad Hoc网络密钥管理方案
    丁晓宇 刘建伟 邵定蓉 刘淳
    2008, 28(8):  1916-1919. 
    摘要 ( )   PDF (627KB) ( )  
    相关文章 | 计量指标
    移动Ad Hoc网络具有的动态网络拓扑、无线链路的弱安全性、节点的有限物理保护和无中心基础结构等特性,使得它面临严重的安全问题。因此鲁棒的密钥管理服务是移动Ad Hoc网络的安全基础。提出了一个基于椭圆曲线组合公钥方案和门限密码系统的移动Ad Hoc网络密钥管理方案。本方案的主要创新点是提出了三层密钥管理模型,并基于此模型,提出了节点密钥生成、密钥份额分发、节点密钥更新、密钥份额更新和密钥撤销的具体实现。三层密钥管理模型实现较高的安全性和较低的密钥管理开销。与基于证书的和基于身份的密钥管理方案相比,本方案在安全性和效率方面更加适用于移动Ad Hoc网络。
    信息系统安全风险评估技术分析
    杨晓明 罗衡峰 陈明军 范成瑜 周世杰
    2008, 28(8):  1920-1923. 
    摘要 ( )   PDF (653KB) ( )  
    相关文章 | 计量指标
    信息系统安全的风险评估是建立信息系统安全体系的基础和前提。在对国内外现有的信息安全风险评估方法与技术进行归纳和较系统的介绍的基础上,指出了目前信息安全风险评估需要解决的问题,对未来信息系统安全风险评估的发展前景进行了分析。
    网络安全可视化研究综述
    吕良福 张加万 孙济洲 何丕廉 孙立刚
    2008, 28(8):  1924-1927. 
    摘要 ( )   PDF (690KB) ( )  
    相关文章 | 计量指标
    网络安全可视化是近年来网络安全研究的热点。首先说明网络安全可视化的必要性,并给出网络安全可视化的概念、研究步骤及分类,深入分析了多种网络安全可视化方法的优缺点。最后,讨论了该领域当前存在的问题及今后的研究方向。
    一种挂号电子邮件协议的设计及其形式化分析
    高悦翔 彭代渊
    2008, 28(8):  1928-1930. 
    摘要 ( )   PDF (574KB) ( )  
    相关文章 | 计量指标
    挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性。利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点。
    普适计算环境下的动态访问控制模型
    张立臣 王小明
    2008, 28(8):  1931-1935. 
    摘要 ( )   PDF (806KB) ( )  
    相关文章 | 计量指标
    普适计算环境下,主体、客体的状态和上下文信息对授权结果具有决定性影响。针对已有授权模型由于主体、客体状态和上下文信息的缺失而导致模型不适合普适计算环境的问题,提出了一种基于主体、客体的状态和环境上下文信息对主体进行动态授权的访问控制模型,论述了模型的构成元素、体系结构和授权算法。与已有模型相比新模型采用统一的模式描述上下文信息对授权的影响,既保证了模型的简单性,又增强了模型的表达能力,更适合于普适计算环境。
    基于时空混沌序列的视频加密设计与实现
    陈宇环 易称福
    2008, 28(8):  1936-1939. 
    摘要 ( )   PDF (687KB) ( )  
    相关文章 | 计量指标
    针针对视频数据具有数据量大、实时性要求高等特点,利用可控的时空混沌序列结合基于异或的流密码加密方法,有效地构造了一种加密密钥产生器系统,并对其生成的密钥流从最大Lyapunov指数、近似熵和L-Z复杂度等方面进行了详细的分析,进而说明了密钥流具有良好的伪随机性。实验结果表明,该加密系统在安全性能测试方面具有良好的统计性质和较强的敏感性。
    一种基于身份的代理盲签名方案的分析与改进
    农强 吴顺祥
    2008, 28(8):  1940-1942. 
    摘要 ( )   PDF (501KB) ( )  
    相关文章 | 计量指标
    通过对 Li-Zhang 基于双线性映射的基于身份的代理盲签名方案的分析,指出该方案并不满足不可伪造性,原始签名人可以伪造一个有效的代理盲签名,代理签名人可以滥用代理签名权,同时当签名被用户泄露后,代理签名人能将自己在签名协议中的签名和签名的消息联系起来,这就是所谓的可追踪性。在此基础上提出了改进的代理盲签名方案,改进后的方案有效克服了原方案的安全缺陷,并满足代理盲签名所需要的各种安全性要求,其计算量虽有少量增加,但仍低于其他同类方案。
    高效的动态安全组播密钥协商方案
    quietloner
    2008, 28(8):  1943-1945. 
    摘要 ( )   PDF (587KB) ( )  
    相关文章 | 计量指标
    组播提供了一种发送者可以同时发送信息到多个接收者的高效通信机制。设计高效的密钥协商方案是实现安全组播的主要环节。以双线性对为工具,本文提出了一个新的基于身份的动态安全组播密钥协商方案,并具体地分析了当新提出的密钥协商方案用于组播时,子组之间的通信过程,以及组成员动态变化时密钥的更新过程,结果表明该方案在降低计算和通信代价方面取得了较好的效果,且满足组播密钥协商的各种安全要求。
    网络与通信
    支持功率和速率控制的自组网MAC协议研究
    林丛 向勇
    2008, 28(8):  1946-1950. 
    摘要 ( )   PDF (824KB) ( )  
    相关文章 | 计量指标
    本文首先分析了自组网中以节能为目的的功率控制以及多速率技术;然后详细介绍了当前典型的结合这两种技术进行综合优化的MAC协议,从优化目标选择、工作方式、信息来源等方面对比分析了这些协议的特点、性能及缺陷;指出该类的MAC协议的研究难点在于,对其他节点的状态了解不充分和度量指标难于反映综合优化目标。最后提出可能的改进方向。
    用column generation算法规划网络编码业务
    宋运吉 王晟 王雄
    2008, 28(8):  1951-1953. 
    摘要 ( )   PDF (467KB) ( )  
    相关文章 | 计量指标
    网络编码能够有效降低网络中关键边的资源消耗,改善网络的负载均衡。但是普通的启发式路由算法通常只能为单个业务寻找最优路由,无法优化网络的整体性能。运用column generation算法对网络编码业务进行规划,为松弛系数赋予具体的物理含义,并据此进行路径更新,有针对性地为每个业务寻找路由。与启发式算法相比,column generation从整体上提高了网络的吞吐量,改善了网络的负载均衡。同时,与普通ILP算法相比,column generation算法无需计算大量备选路径,且函数始终处于收敛状态,不会产生振荡,求解总时间缩短了23.5%,总代价优化2.5%。
    ISP拓扑测量中的完整性评估方法研究
    魏镇韩 陈鸣
    2008, 28(8):  1954-1958. 
    摘要 ( )   PDF (761KB) ( )  
    相关文章 | 计量指标
    通常利用测量手段获取ISP拓扑,然而如何评估测量数据的完整性尚缺乏深入研究。总结了影响拓扑测量数据完整性的因素,指出存在准确的节点完整性评估方法,但是不存在准确的链路完整性评估方法。提出了一种基于地理信息的骨干链路完整性评估方法。以CAIDA组织提供的skitter数据作为测量样本进行了分析,实验表明对中国电信骨干网Chinanet而言,skitter测量到的骨干链路完整性其近似上限为40%。
    基于IEEE 802.16e的睡眠模式的改进机制
    曲宏伟 张春业 张燕 赵莉
    2008, 28(8):  1959-1961. 
    摘要 ( )   PDF (478KB) ( )  
    相关文章 | 计量指标
    IEEE 802.16e标准中使用了睡眠模式以达到降低移动台的能量消耗和基站接口资源的使用。介绍了IEEE 802.16e标准的睡眠模式的特性,然后给出一种基于可变睡眠周期能量的改进机制,并在四种实际模型下与标准机制进行比较。从仿真结果可以看出改进机制比标准机制能更有效地节约能量,最后研究了关键参数对于改进机制性能的影响。
    IEEE 802.11e EDCA机制的一种参数调节策略
    吴杰康 段云飞
    2008, 28(8):  1962-1964. 
    摘要 ( )   PDF (537KB) ( )  
    相关文章 | 计量指标
    研究了IEEE 802.11e EDCA机制的原理和无线信道利用模型,阐明了EDCA参数设置对其性能的重要性。在此基础上,提出了一种简单有效的参数调节策略。仿真结果表明,该参数调节机制在保证实时业务要求的同时,可以显著提高数据流的吞吐率,优化了EDCA机制的运行性能。
    无线实时流媒体传输性能的跨层优化设计
    张芃 白光伟 靳勇 沈航
    2008, 28(8):  1965-1968. 
    摘要 ( )   PDF (746KB) ( )  
    相关文章 | 计量指标
    提出一种用于无线实时流媒体传输的优化设计策略,以提高接收方的播放质量。该策略采用跨层设计的方法,利用泊松过程分析链路层数据帧的丢失,同时把链路层最大重传次数映射到端到端时延和丢包率的计算中,自适应地调整MPEG视频帧的发送速率,在视频源数据和冗余数据之间动态分配网络带宽。仿真实验结果表明,该策略能使接收方获得最大的可播放帧率,有效提高流媒体传输的可靠性和实时性。
    自私无线Ad Hoc网络中一个低开销的诚实能效路由协议
    袁新辉 陈松乔 蒋新华
    2008, 28(8):  1969-1972. 
    摘要 ( )   PDF (626KB) ( )  
    相关文章 | 计量指标
    一种激励自私无线Ad Hoc网络中节点合作的方法,向提供报文传输服务的节点提供不低于其传输成本的报酬。低开销诚实路由协议LOTER引入了VCG机制,节点在路由发现阶段收集邻居节点的信息,目标节点选择多条RREP路径,位于RREP路径上的节点将邻居节点信息沿RREP路径报告给源节点,源节点完成LCP路由选择和VCG报酬的计算。LOTER协议以低的报文开销收集网络拓扑信息,有效实现了自私无线Ad Hoc网络中的诚实能效路由。仿真结果表明,与现有协议比较,该协议具有更好的性能。
    军事情报网格传输路径优化算法研究
    杨丰 于广浚 张涛
    2008, 28(8):  1973-1975. 
    摘要 ( )   PDF (435KB) ( )  
    相关文章 | 计量指标
    如何有效地传输情报数据是军事情报网格研究的重要问题。将蚁群网格路由算法应用于军事情报网格的传输路径选择,提出一种带删除算子的蚁群网格路由优化算法。在该算法中,通过加入一个称为删除算子的变量,在整个情报传输网格中引入优胜劣汰机制,进行强制淘汰,同时对组合参数进行选择进化,以实现组网路径的有效选择。通过仿真实验证明该算法明显提高情报组网传输性能。
    基于最小p范数状态空间准则的递归CDMA多用户检测方法
    查代奉 邱天爽
    2008, 28(8):  1976-1980. 
    摘要 ( )   PDF (624KB) ( )  
    相关文章 | 计量指标
    α稳定分布可以更好地描述实际应用中所遇到的具有显著脉冲特性的随机信号和噪声。α稳定分布没有统一闭式的概率密度函数,其二阶及二阶以上统计量均不存在。针对系统中存在独立SαSG噪声,提出一种先验新息过程最小p范数准则的递归多用户检测算法,并进行了算法的韧性改进与渐近特性分析。计算机模拟实验结果表明,这种算法是一种在SαSG分布噪声条件下具有良好韧性的多用户检测方法。
    数据库与先进计算
    一种基于用户兴趣局部相似性的推荐算法
    吴发青 贺樑 夏薇薇 任磊
    2008, 28(8):  1981-1985. 
    摘要 ( )   PDF (856KB) ( )  
    相关文章 | 计量指标
    协作过滤算法作为至今最成功的个性化推荐技术之一,被广泛应用于电子商务、个性化节目推荐等系统中。但传统的基于协作过滤的推荐系统一直受到系统的稀疏性、推荐精确度低等问题的困扰。提出了一种基于用户兴趣局部相似性的改进的协作推荐算法(CFUPS),针对协作过滤算法中用户近邻的计算和项目评分的预测两关键步骤,基于用户间潜在的局部相似的兴趣,并结合项目资源属性和项目评分矩阵来预测项目评分,进而给用户推荐感兴趣的个性化资源,理论上在提高推荐精度、克服稀疏性问题上均有改善。同时实验表明,在极具稀疏性的数据集上,该算法的推荐精度较以往的协作过滤算法有明显提高。
    数据流管理系统中Max、Min聚集算子的示例概要算法
    田海生
    2008, 28(8):  1986-1990. 
    摘要 ( )   PDF (646KB) ( )  
    相关文章 | 计量指标
    Max和Min是数据流管理系统中重要聚集算子。应用基于滑动窗口下的示例概要法在实时数据流场景下计算Max和Min。在本方法中不需要保存所有落入滑动窗口中数据元组,这意味着可以极大地减小存储空间。由于存储元组的减少,系统的处理时间也显著地减少。实验结果表明基于滑动窗口的示例概要法显著降低了时间和空间的开销。
    一种CDN中的动态数据存储方案——UbDP
    汤迪斌 王劲林 倪宏
    2008, 28(8):  1991-1993. 
    摘要 ( )   PDF (634KB) ( )  
    相关文章 | 计量指标
    CDN对于动态Web应用的加速通常采用数据缓存或复制技术。针对论坛、博客服务提供商等为注册用户提供个人信息发布平台的网站,提出了一种基于用户的数据分割方法:将数据按所属注册用户进行分割,分布到离该用户最近的数据库系统中。将数据库UID操作分散到多个数据库系统,消除了单个数据库系统的I/O瓶颈。
    基于改进语义熵最大化模型的服务发现算法
    李牧南
    2008, 28(8):  1994-1996. 
    摘要 ( )   PDF (441KB) ( )  
    相关文章 | 计量指标
    语义匹配与发现是语义Web的核心内容之一。提出一种新的基于语义熵的服务发现与匹配算法。该算法通过引入语义熵的概念,把最大熵原理运用到语义识别与匹配领域,并对传统的熵最大模型进行了经验修正。通过实验对比分析,可以看出修正后的最大熵模型在服务发现计算方面具有较好的性能,该模型在一个真实的中文语义Web的语义识别项目中得到了应用,也体现出较好的精确度和性能。
    基于包含度的直觉模糊粗糙集模型
    路艳丽 雷英杰 周炜
    2008, 28(8):  1997-1999. 
    摘要 ( )   PDF (601KB) ( )  
    相关文章 | 计量指标
    将直觉模糊包含度引入粗糙集与直觉模糊集的融合建模。首先,介绍直觉模糊集在特殊格L上的定义;其次,将模糊包含度拓展到直觉模糊环境下,提出取值于特殊格L的直觉模糊包含度定义和计算公式;在此基础上,分别利用直觉模糊包含度的隶属度与非隶属度定义了上下近似算子,建立了直觉模糊相似关系下的直觉模糊粗糙集模型,并对近似算子的重要性质进行了证明。
    一种基于rough集的属性约简的改进算法
    李永华 蒋芸 王小菊
    2008, 28(8):  2000-2002. 
    摘要 ( )   PDF (437KB) ( )  
    相关文章 | 计量指标
    目前粗糙集属性约简基本上是通过差别矩阵先求出属性核,然后在属性核的基础上再求出属性约简。这种计算方法具有较高的复杂度。因此提出并分析了属性的加权平均重要性的属性约简算法,该算法可以确保得到决策表的一个约简,且不需要计算核,减少计算量,提高计算速度。以实例验证了算法的正确性。
    中国国家网格作业管理设计与实现
    乔健 查礼
    2008, 28(8):  2003-2005. 
    摘要 ( )   PDF (640KB) ( )  
    相关文章 | 计量指标
    基于中国国家网格(CNGrid)及其系统软件CNGrid GOS,提出并实现了一种VegaBatch网格作业管理系统。VegaBatch通过基于队列长度预测的元调度策略解决了网格作业调度问题;利用双重同步机制维护全局网格作业信息视图;借助用户身份切换机制保障作业数据安全;增加作业重执行功能提供数据后处理能力。对比了国际上较为成熟的网格作业管理软件,讨论了VegaBatch解决的问题。该软件目前已部署在CNGrid环境,提供了功能丰富、安全可靠的网格作业管理功能,降低了CNGrid的使用管理成本,提升了用户体验。
    基于快速动态权重匹配的RNA二级结构预测算法
    骆嘉伟 彭政
    2008, 28(8):  2006-2009. 
    摘要 ( )   PDF (609KB) ( )  
    相关文章 | 计量指标
    在动态权重匹配算法的基础上提出了基于快速动态权重匹配的RNA二级结构预测算法。通过引入最大动态权重茎区搜索算法降低时间复杂度和扩大搜索假结的区域提高预测假结的能力,使得快速动态权重匹配算法与动态权重匹配算法相比,不仅具有O(n3)的更加理想的时间复杂度,而且还能预测更多可能存在的假结。
    图形图像处理
    正方形子模式非对称可重叠逆布局表示方法
    吴雪丽 陈传波 尚军英 吴荣宇
    2008, 28(8):  2010-2012. 
    摘要 ( )   PDF (600KB) ( )  
    相关文章 | 计量指标
    基于非对称逆布局模式表示模型(NAM),提出了一个正方形子模式非对称可重叠逆布局表示方法(NOAS)。NOAS从原模式中逆布局出若干正方形子模式,且子模式之间允许重叠。以二值图像为例,给出了NOAS表示的编码算法和解码算法。理论分析表明,NOAS表示相对于线性四元树表示在压缩率方面更具优势。实验结果表明,NOAS表示的子模式数远远小于线性四元树的节点数,且NOAS表示的压缩率明显高于线性四元树、行程编码和LZW编码表示方法。
    基于二元纯位相滤波器水印的图像篡改定位
    桑军 胡海波 叶春晓 向宏 傅鹂 蔡斌
    2008, 28(8):  2013-2016. 
    摘要 ( )   PDF (641KB) ( )  
    相关文章 | 计量指标
    二元纯位相滤波器(BPOF)数字图像水印算法将图像离散Fourier变换的BPOF作为水印嵌入到其相应幅值的某个位平面中,较好地实现了图像自认证。研究了利用BPOF水印实现图像篡改定位。其基本原理是将图像划分为互不重叠的分块,通过在各分块中独立嵌入和检测水印,实现图像篡改检测和定位。着重讨论了以不同大小对于图像分块和以不同幅值位平面嵌入水印时,所嵌入水印的不可感知性、检测性能、图像篡改定位能力以及抗JPEG压缩性能。得出了图像分块大小、嵌入水印的幅值位平面及水印检测阈值等参数的选取策略。实验结果证明了BPOF水印可以很好地应用于图像篡改定位。
    基于图像块差分和Mean Shift算法的运动目标检测
    刘玉兰 彭思龙
    2008, 28(8):  2017-2020. 
    摘要 ( )   PDF (632KB) ( )  
    相关文章 | 计量指标
    运动目标检测是计算机视觉中的一个重要研究内容,现有算法中的一个重要问题是噪声对分割结果的影响。提出了一种时空域信息相结合的运动目标检测算法:首先利用图像块的重心位置在时间域上差分结果初始化目标轮廓,图像块差分的方法可以消除噪声的影响及减少目标内部的空洞;然后采用Mean Shift算法对初始轮廓进行迭代,使其逐步贴近真实的目标边缘。实验表明该算法能快速准确地分割出序列图像中的运动目标。
    基于内容的视频拷贝检测研究
    靳延安
    2008, 28(8):  2021-2023. 
    摘要 ( )   PDF (492KB) ( )  
    相关文章 | 计量指标
    提出一种新的基于内容的视频拷贝检测方法,根据视频连续帧之间信息的冗余,提出关键帧提取算法,对提取的关键帧做DCT变换,并将AC系数的有序测度作为关键帧的特征,计算视频关键帧之间的L1距离作为视频之间的相似度度量。实验表明该方法对抗几种不同的几何攻击有较好的效果。
    一种新的运动模糊图像恢复方法
    陈波
    2008, 28(8):  2024-2026. 
    摘要 ( )   PDF (607KB) ( )  
    相关文章 | 计量指标
    通过对运动模糊产生原因的分析,提出了一种去运动模糊的新方法。首先应用Hough变换和自相关函数估计出运动模糊的方向和长度,然后应用迭代步长自适应的整体变分模型进行图像恢复。实验结果表明,这样的空间域处理方法,不但可以避免传统的频率域去模糊方法产生的震铃效应,而且该方法具有良好的抗噪性和对运动模糊参数估计误差的低敏感性。
    网点印刷呈色平面规律产生机理的初步探讨
    曹从军 周明全 吴国顺
    2008, 28(8):  2027-2029. 
    摘要 ( )   PDF (428KB) ( )  
    相关文章 | 计量指标
    寻找相对简便而又高效的颜色空间转换方法是色彩管理的一项关键内容,网点呈色平面规律作为一种客观现象为研究颜色空间转换提供了较新颖的思路。采用ECI2002标准色靶数据,利用数理统计的二元线性回归方法,验证了平面理论的正确性,并首次通过CIE1931Yxy色度系统,分析平面理论的产生机理。
    基于非线性降维的人脸识别新算法
    涂腾涛 顾嗣扬
    2008, 28(8):  2030-2032. 
    摘要 ( )   PDF (645KB) ( )  
    相关文章 | 计量指标
    提出了一种有监督的非线性核子空间人脸识别新方法。在核邻域保持投影方法的局部邻域构建过程中引入监督机制,更好地利用了人脸训练样本的类别信息,提高人脸识别的效率;在获取最佳重建权矩阵的过程中引入一个正则项约束 ,降低了其对噪声的敏感性。实验阶段,采用了AT&T和Yale人脸库和最近邻分类器测试该方法。结果表明,这种方法是有效的,且较无监督的KNPP方法及传统的经典人脸识别法具有更好的识别率和鲁棒性。
    基于Contourlet变换和奇异值分解的图像零水印算法
    曾凡娟 周安民
    2008, 28(8):  2033-2035. 
    摘要 ( )   PDF (480KB) ( )  
    相关文章 | 计量指标
    提出一种基于Contourlet变换和奇异值分解的数字图像零水印算法。原始图像经过Contourlet变换后,分解为一系列多尺度、局部化、方向性的子带图像,选择对低频子带进行分块奇异值分解,然后根据每块中第一个奇异值的大小特性“嵌入”和“提取”水印。实验结果表明,该图像水印算法能够较好地抵抗JPEG有损压缩、叠加噪声、剪裁等攻击,具有较强的鲁棒性和不可见性,提高了水印识别的可靠性。
    基于离散Hopfield网络的测井曲线交叉线识别算法
    刁川 余艳梅 王蜀颖 罗代升
    2008, 28(8):  2036-2039. 
    摘要 ( )   PDF (587KB) ( )  
    相关文章 | 计量指标
    在石油测井工程图纸的曲线矢量化过程中,由于背景网格与曲线、曲线与曲线存在大量交织,致使曲线跟踪中断,需要人工判断走向,难于实现自动跟踪。提出一种基于离散型Hopfield神经网络(DHNN)的测井曲线交叉线识别方法。这个方法先设置8个标准方向样本,对网络进行训练。在曲线跟踪的过程中,当遇到交叉点,就进入交叉线识别,通过训练好的网络进行分支匹配,再结合宽度匹配正确判断曲线走向。理论研究和实验分析表明,采用该方法提高了交叉线识别的正确率,抗干扰效果较好。
    一种改进的基于形状特征保持的QEM简化算法
    董方敏 刘勇 肖人彬
    2008, 28(8):  2040-2042. 
    摘要 ( )   PDF (662KB) ( )  
    相关文章 | 计量指标
    针对二次误差测度(QEM)简化算法对机械、建筑等CAD模型简化时存在的形状特征容易丢失的不足,提出了一种改进算法。该算法在检测出模型表面的分界轮廓曲线后,将各组成边分成四种类型,并按照尽量避免轮廓曲线上的边被折叠的原则,对各类边采用不同简化策略进行简化。实验结果表明,算法在形状特征保持方面具有较好的效果。
    基于二维双向FLD的掌纹识别方法
    秦娜 金炜东
    2008, 28(8):  2043-2045. 
    摘要 ( )   PDF (449KB) ( )  
    相关文章 | 计量指标
    采用二维双向Fisher线性判别分析对掌纹图像进行特征提取,即通过在水平和垂直2 个方向上各执行1 次二维Fisher线性判别分析,能消除掌纹图像行和列的相关性。运用Fisher准则选取更适合于分类的矩阵分量,将特征信息压缩到图像矩阵的左上角,缩小了特征的维数。测试结果表明,该方法具有更高的识别率和更低的计算复杂度。
    基于八叉树空间分割的k近邻搜索算法
    黄淼 张海朝 李超
    2008, 28(8):  2046-2048. 
    摘要 ( )   PDF (669KB) ( )  
    相关文章 | 计量指标
    以三维扫描得到的散乱点云为基础,提出了一种基于空间八叉树的快速k近邻搜索算法,通过对点集建立包围盒,利用八叉树记录分割过程,从而使近邻点的搜索只局限于采样点所在的包围盒及其周围的包围盒,并通过剪枝策略使搜索范围进一步缩小。大量真实数据的实验结果表明:该算法可以很好地提高近邻点的搜索速度。
    基于各向异性扩散方程的Canny边缘检测算法
    张洁 檀结庆
    2008, 28(8):  2049-2051. 
    摘要 ( )   PDF (498KB) ( )  
    相关文章 | 计量指标
    Canny边缘检测算法由于使用高斯滤波对图像进行平滑,往往使得算法的信噪比和定位精度下降,从而产生一些虚假边缘,使角点变圆。针对Canny算法所出现的问题提出了一种改进方法,运用各向异性扩散方程代替高斯滤波,并对扩散后的图像做图像增强。实验结果表明,该算法有效地提高了边缘检测的准确性,得到了比较理想的边缘检测效果。
    基于运动估计的Kalman滤波视频对象跟踪
    张贝贝 肖国强 江健民
    2008, 28(8):  2052-2054. 
    摘要 ( )   PDF (480KB) ( )  
    相关文章 | 计量指标
    提出了一种利用Kalman滤波对运动目标的形心进行预测,从而实现视频对象跟踪的算法。首先进行视频对象分割,求出运动目标的形心。再利用视频序列中连续两帧的形心和运动矢量信息,用Kalman滤波对运动目标的形心在下一帧的位置进行预测,从而快速、有效地自动跟踪多个目标对象。实验结果表明,该算法对运动目标的出现和消失,以及非刚性物体的尺度变化和变形,具有较强的鲁棒性。
    一种基于坐标投影的虹膜定位算法
    支兴超 王卫星 赵艳
    2008, 28(8):  2055-2058. 
    摘要 ( )   PDF (510KB) ( )  
    相关文章 | 计量指标
    提出了一种简单易行的虹膜定位算法,该算法是在对虹膜粗略处理的基础上,对内边界的采用了向坐标轴投影的方法;对于外边界采用了寻找扫描线上信息量最小的点,并用相应的匹配模板进行匹配,以便去掉由于噪声的干扰而找到的错误点,从而确定外边界和中心;实验证明了该算法的合理性。
    基于表层剥离原理的传递函数设计
    赵陌
    2008, 28(8):  2059-2062. 
    摘要 ( )   PDF (664KB) ( )  
    相关文章 | 计量指标
    针对体绘制领域目前存在的计算开销、经验提取和复杂人工干预等几个重要的应用问题,提出了传递函数设定的表层剥离算法。表层剥离算法通过单程交越检测和高梯度比例边缘检测,解决了表层起伏现象导致的分类误差较大,需要复杂的人工干预调整的问题;避免引入高阶偏导等复杂的计算,保持了较低的计算开销;而且形成了一种简单且能发挥用户直觉,具有较高自动化成分的传递函数设定方式,取得了较好的效果。据此开发的普及型医学图像分析系统验证了算法的有效性。
    基于Zooming-Panning模式的可视化信息浏览技术的研究
    杨立志 潘永惠
    2008, 28(8):  2066-2070. 
    摘要 ( )   PDF (818KB) ( )  
    相关文章 | 计量指标
    对目前已有的多种浏览技术作了深入细致的研究和分析。针对ZoomingPanning技术在具体的技术实现上不够全面,既不能保证可视化表示的结构具有一致性,也不能使可视化表示具有良好的显示效果这一情况,依据几何光学的有关原理,实现了一个能够对可视化表示动态跟踪调节的跟随因子,用于补充该技术在实现上的不足,并同时把该技术提出的两个标准扩充为三个,形成的结果称为基于自约束路径的ZoomingPanning浏览技术。实践证明,基于自约束路径的ZoomingPanning技术具有良好的浏览效果。
    人工智能与智能感知
    基于可拓理论的描述逻辑扩展
    王静 贾成伟 张健沛
    2008, 28(8):  2071-2073. 
    摘要 ( )   PDF (624KB) ( )  
    相关文章 | 计量指标
    传统描述逻辑不适合于处理信息不全、存在隐性知识甚至存在矛盾前提的问题,所以作为语义Web的逻辑基础它是不充分的,为此引入可拓学中的物元及其发散规则对它进行了扩充。首先给出了物元的语义解释,然后引入物元及其发散规则扩充Tableau算法,生成了TableauE算法和TableauE′算法,从而实现了对实例断言集Abox的扩展以及一致性检测,弥补了传统描述逻辑的不足。
    基于DE的ε-SVRM参数优化研究
    王金林 赵辉
    2008, 28(8):  2074-2076. 
    摘要 ( )   PDF (421KB) ( )  
    相关文章 | 计量指标
    参数优化是ε-支持向量回归机研究领域的重要问题,其本质是一个优化搜索的过程。基于差异演化算法在求解优化问题上的有效性,提出了以差异演化算法寻优技巧的ε支持向量回归机参数优化方法。将该算法应用于受噪声影响的标准函数,与采用遗传算法、蚁群算法、粒子群算法对支持向量机进行优化的仿真实验结果对比表明由DE算法所确定的ε支持向量回归机具有较好的预测性能。
    覆盖框架与主方向神经网络
    殷维栋
    2008, 28(8):  2077-2080. 
    摘要 ( )   PDF (700KB) ( )  
    相关文章 | 计量指标
    分析了BP、RBF和ARTMAP等人工神经网络在实现非线性映射方面的共同之处,基于RBF等网络对于人脑功能方面的模拟和仿生模式识别的思想,总结出一种处理这类问题的基本框架。该框架的特点是将问题分解为样本覆盖问题和基于模型的映射拟合问题。在利用该框架研究某个函数集在连续函数空间中的稠密性的基础上,提出了一种新的人工神经网络模型——主方向神经网络(PDNN)。通过与BP网络和RBF网络在函数拟合和混沌时间序列预测方面的对比实验,发现 PDNN具有非常良好的逼近性能和鲁棒性能。
    一种基于放大误差信号的自适应BP算法
    孙娓娓 刘琼荪
    2008, 28(8):  2081-2083. 
    摘要 ( )   PDF (383KB) ( )  
    相关文章 | 计量指标
    针对标准BP算法受饱和区域影响而导致收敛速度慢的问题,提出一种基于放大误差信号的自适应BP算法,该算法通过修改激励函数的导数,使权值的修正过程不会因饱和区域而趋于停滞,并分析了改进算法的收敛性。仿真结果表明,改进的BP算法加快了收敛速度,并在一定程度上提高了全局收敛能力。
    一种求解TSP的混合遗传蚁群算法
    徐金荣 李允 刘海涛 刘攀
    2008, 28(8):  2084-2087. 
    摘要 ( )   PDF (704KB) ( )  
    相关文章 | 计量指标
    结合遗传算法和蚁群算法,提出了一种求解TSP的基于启发式遗传信息的蚁群遗传算法。该算法由蚁群遗传算法和基于启发式遗传信息的蚁群算法两部分组成。蚁群遗传算法将蚁群算法和遗传算法结合起来,提高了遗传算法的种群的多样性;基于启发式遗传信息的蚁群算法是将启发式遗传信息加入到蚁群算法中,防止蚁群算法对信息素过分依赖,缩小最优解的搜索空间。HGIACGA算法是将启发式遗传信息加入到蚁群遗传算法中,可以提高蚁群算法的收敛速度和寻优能力。实验结果表明,HGIACGA算法在收敛速度和收敛精度上均优于ACGA和ACA算法。
    高维数据固有维数的自适应极大似然估计
    谷瑞军 须文波 刘军伟 姚娟
    2008, 28(8):  2088-2090. 
    摘要 ( )   PDF (382KB) ( )  
    相关文章 | 计量指标
    如何确定高维数据的固有维数是降维成功与否的关键。基于极大似然估计(MLE)的维数估计方法是一种新近出现的方法,实现简单,选择合适的近邻能取得不错的结果。但当近邻数过小或过大时,均有比较明显的偏差。其根本原因是没有考虑每个点对固有维数的不同贡献。在充分考虑数据集的分布信息之后,提出了一种改进的MLE——自适应极大似然估计(AMLE)。实验表明,无论在合成数据集还是真实数据集上,AMLE较MLE在估计准确度上均有很大的提高,对近邻数的变化也不甚敏感。
    集成学习中基于离散化方法的基分类器构造研究
    蔡铁 伍星 李烨
    2008, 28(8):  2091-2093. 
    摘要 ( )   PDF (465KB) ( )  
    相关文章 | 计量指标
    为构造集成学习中具有差异性的基分类器,提出基于数据离散化的基分类器构造方法,并用于支持向量机集成。该方法采用粗糙集和布尔推理离散化算法处理训练样本集,能有效删除不相关和冗余的属性,提高基分类器的准确性和差异性。实验结果表明,所提方法能取得比传统集成学习算法Bagging和Adaboost更好的性能。
    启动子序列的非均衡检测识别算法研究
    罗泽举 宋丽红 陆胜
    2008, 28(8):  2094-2096. 
    摘要 ( )   PDF (607KB) ( )  
    相关文章 | 计量指标
    通过改进Hessian矩阵对角参数,调整支持向量机中超平面的位移,将数据量少的样本从两类非均衡样本中进行分离,结合隐马尔可夫随机迭代,实验发现,不能简单固定Hessian矩阵的对角参数,而必须加之以可调整的权系数才能控制错分的样本数.对启动子序列进行识别,平均识别率达到92.8%。
    基于小波特征和多类支持向量机的病态语音识别方法
    吴石 耶夫戈尼耶·伊万诺维奇
    2008, 28(8):  2097-2100. 
    摘要 ( )   PDF (772KB) ( )  
    相关文章 | 计量指标
    研究一种应用小波特征向量和多类支持向量机进行病态语音识别的方法,该方法基于连续小波变换提取语音特征向量,利用多类支持向量机进行病态语音分类。为了简化二分类支持向量机进行多类分类时所带来的计算复杂性,根据一类支持向量机分类思想提出一种多类分类算法。该算法能够使每一类样本都独立地获得一个决策函数,通过决策函数的最大值来判断样本所属的类。实验表明,在病态语音识别系统中,多类支持向量机与小波特征向量相结合具有良好的识别效果和应用价值。
    基于优先关系定序法的IFS非隶属度函数确定方法
    雷阳 华继学
    2008, 28(8):  2101-2102. 
    摘要 ( )   PDF (452KB) ( )  
    相关文章 | 计量指标
    针对直觉模糊集(IFS)非隶属度函数难以确定的问题,提出一种基于优先关系定序法的IFS非隶属度函数确定方法,给出了详细的算法步骤,从理论上证明了该算法的正确性,并分析了算法的时间复杂度与适用范围。最后,通过实例分析从应用上验证了算法的有效性与实用性。研究表明,该算法可有效地解决具有依多属性确定优先次序特性的一类IFS非隶属度函数确定方法的问题。
    基于单纯形的双群人工鱼群算法
    曲良东 何登旭
    2008, 28(8):  2103-2104. 
    摘要 ( )   PDF (456KB) ( )  
    相关文章 | 计量指标
    针对基本人工鱼群算法中人工鱼漫无目的随机游动或在非全局极值点的大量聚集的不足,提出了一种基于单纯形法的双群人工鱼群算法。在该算法中,两个不同的子群并行游动,通过子群重组进行子群间的信息交换,实现鱼群在解空间的探索和搜索能力,然后通过单纯形法进行局部再搜索。基于典型的函数和实例测试验证,表明该算法收敛速度快、精度高,具有更好的性能。
    典型应用
    基于超立方体拓扑结构的发布订阅系统
    李宏杰 薛小平 王小平
    2008, 28(8):  2105-2109. 
    摘要 ( )   PDF (615KB) ( )  
    相关文章 | 计量指标
    从网络拓扑结构着手,提出基于超立方体拓扑结构的发布订阅系统,并在此基础上设计对应的路由算法。基于超立方体拓扑结构网络不仅仅具有一般结构化P2P网络的特性,即能够支持大规模、动态的分布式应用,而且由于自身结构的特点使其更适合于发布订阅系统中对大量事件传播的要求。仿真结果表明,超立方体结构的引入能显著降低系统负载,节省带宽。
    基于层次单元划分的软件模型检测技术研究
    陈晨 陈永生
    2008, 28(8):  2109-2112. 
    摘要 ( )   PDF (559KB) ( )  
    相关文章 | 计量指标
    通过对近年来软件模型检测领域流行的几种技术进行综述,提出了一种基于层次单元划分,使用引导式搜索方式的软件模型检测方案。本方案分为预处理、单元划分、状态空间搜索三个阶段,其中使用on-the-fly技术提高了搜索性能。实验证明,该方案在解决状态爆炸问题上有较好的效果。
    X86平台上高效高安全性的设备虚拟化模型
    黄歆媚 雷航
    2008, 28(8):  2113-2116. 
    摘要 ( )   PDF (641KB) ( )  
    相关文章 | 计量指标
    针对现有设备虚拟化模型存在性能和安全性等方面的不足,提出了一种基于硬件IOMMU的高效且安全的设备直接分配模型,并在Xen中以显示设备为例实现了该方案。该模型安全性优于基于IOVM架构的泛虚拟化设备模型。基准测试工具Viewperf测试结果表明,该方案在性能上接近于非虚拟化平台,明显优于通常的设备模拟模型。
    基于.NET Remoting的分布式监测系统设备驱动开发
    肖伯杉 龚晓峰 王旭
    2008, 28(8):  2117-2120. 
    摘要 ( )   PDF (647KB) ( )  
    相关文章 | 计量指标
    无线电监测是实现无线电频谱资源高效管理的主要手段,设备驱动在无线电监测系统软件中占据举足轻重的地位。分析了无线电监测系统的特点和监测系统设备驱动的设计要求,简要介绍了.NET Remoting的体系结构和工作原理。详细介绍了运用.NET Remoting技术构建分布式监测系统中设备驱动系统的过程,重点分析了Remoting系统中服务端根据客户端ID定向分发数据给客户端的过程。
    以Feature元素为单元的GML文档扩展区域编码ER-Code
    张海涛 杜国庆 闾国年 张书亮
    2008, 28(8):  2121-2124. 
    摘要 ( )   PDF (552KB) ( )  
    相关文章 | 计量指标
    根据GML数据路径查询中同时进行Feature元素包含关系以及Feature几何特性拓扑关系判断的需要,在研究传统XML路径编码方法的基础上,设计一种以Feature元素为单元的GML文档扩展区域编码:ER-Code。实验证明:ER-Code在编码初始构造、基于编码的整体查询等方面均具有较好的性能,把ER-Code与Feature的空间几何特性融合为一个整体空间,可大大提高GML数据路径查询的效率;该编码方法对于GML空间数据的存储、查询等相关技术的研究具有一定的理论与实用价值。
    网络化制造领域本体知识建模的研究
    张权 姚远 胡庆夕 尤飞
    2008, 28(8):  2125-2127. 
    摘要 ( )   PDF (638KB) ( )  
    相关文章 | 计量指标
    针对目前网络化制造环境下,服务描述、发现过程中语义信息动态表达不足的问题,从Web服务的角度提出了一个基于本体的制造领域知识建模方法,并在此基础上构建制造领域本体模型,最后给出应用实例。重点研究解决了制造服务过程中不同对象间的信息交流、数据交换和知识资源重用三个问题,有效地实现网络制造环境下资源共享与优化配置,为基于语义的网络协同制造服务平台的构建奠定了基础。
    基于CAN 的某水下航行器内部网络时延统计方法研究
    林轶群 刘卫东
    2008, 28(8):  2128-2130. 
    摘要 ( )   PDF (411KB) ( )  
    相关文章 | 计量指标
    结合某无人潜航器(UUV)内部网络控制系统结构,对基于控制器局域网(CAN)的网络延时做了详细分析。针对网络时延造成控制系统性能下降,影响系统稳定这一问题,提出了一种统计网络时延的方法——软件信息传输仿真法。通过仿真网络内部信息的传输过程,观察各信息的传输状况,同时记录延时数据,为基于CAN总线系统的综合性能设计提供了理论依据。
    基于Simulink的MC-CDMA仿真和性能分析
    陈奎 徐钊
    2008, 28(8):  2131-2133. 
    摘要 ( )   PDF (595KB) ( )  
    相关文章 | 计量指标
    多载波码分多址(MC-CDMA)是为宽带移动通信而提出的新型多载波调制技术, 是4G通信系统的核心技术之一,它结合了OFDM和CDMA两者的优点。依据MC-CDMA的数学模型,采用Simulink构建MC-CDMA基带仿真模型,并在此模型基础上仿真与分析它在复杂多径Rayleigh 信道下的性能,仿真频域交织对系统性能的改善。
    嵌入式现场智能显示系统的设计与实现
    向丹丹 鄢萍 张巍
    2008, 28(8):  2134-2136. 
    摘要 ( )   PDF (477KB) ( )  
    相关文章 | 计量指标
    在对国内外工业控制领域、组态软件及嵌入式技术进行深入研究后,针对目前工业监控中存在的信息处理能力较弱、适应性较差等问题,提出了一种基于嵌入式软、硬件平台的智能显示系统,阐述了在基于ARM9的硬件平台及嵌入式Linux操作系统环境下采用组态软件思想进行智能显示软件的开发过程,详细介绍了智能显示软件的模块化设计及主要模块架构。该方案实现了面向不同环境信息输出需求的快速重构功能。
    一种基于UML的软件产品线可变性建模方法
    罗代忠 赵文耘 彭鑫
    2008, 28(8):  2137-2140. 
    摘要 ( )   PDF (624KB) ( )  
    相关文章 | 计量指标
    将UML引入到软件产品线开发中,在产品线可变性分析的基础上,提出了一种基于UML的产品线可变性建模方法。该方法不仅支持可选、多选一等可变点类型的描述,还支持软件产品线可变性的约束建模。在此基础上,还通过一个手机应用软件的产品线可变性建模实例验证了该方法的有效性。
    RFID系统中一种改进的防冲撞算法
    张颇 崔喆
    2008, 28(8):  2141-2143. 
    摘要 ( )   PDF (494KB) ( )  
    相关文章 | 计量指标
    提出了一个在RFID系统中改进的防冲突算法,该算法基于Aloha算法并结合了二叉树算法。当有大量标签同时需要识别时,首先通过对标签上一轮的碰撞情况来估计待识别的标签数,然后对标签进行分类或改变帧的大小来降低标签发生碰撞的概率,从而提高识别的效率。
    面向大型数据库的审计数据采集方法
    陈伟 Qiu Robin
    2008, 28(8):  2144-2146. 
    摘要 ( )   PDF (580KB) ( )  
    相关文章 | 计量指标
    计算机辅助审计是目前审计领域研究的一个热点,审计数据采集是面向数据的计算机辅助审计的关键步骤。分析了常用的审计数据采集方法,比较了各自的优缺点。在此基础上,针对我国实施计算机辅助审计的现状以及面向大型数据库的审计数据采集的特点,分析了适合大型数据库的审计数据采集方法,并以Oracle数据库为例,分析了该方法的应用。
    快速运动估计中一种改进的块匹配免疫算法
    曾浩 高秀娟 曾孝平
    2008, 28(8):  2147-2149. 
    摘要 ( )   PDF (492KB) ( )  
    相关文章 | 计量指标
    图像的运动估计中,基于块匹配的免疫算法由于算法的随机性,使得抗体群中不匹配块增多,导致了免疫算法运算量增大。改进算法搜索过程中,通过快速识别出搜索窗内不可能成为匹配块的候选块,并把这些块消除掉,不对其进行匹配误差运算,从而可以大幅度减少免疫算法运算量。同时,由于改进算法使得候选块的匹配可能性提高,使得相对于传统块匹配免疫算法,重建图像的均峰信噪比进一步提高,进而重建图像质量得以提高。仿真实验结果验证了改进算法的上述优点。
    基于label的空间叠置方法及在嵌入式GIS中的应用
    邰滢滢 牛斌 郑子扬 邰利
    2008, 28(8):  2150-2152. 
    摘要 ( )   PDF (570KB) ( )  
    相关文章 | 计量指标
    针对嵌入式GIS中地图数据的空间叠置问题,提出一种基于label的空间拓扑算子实现方法,主要包括构建拓扑图,计算弧段的label,根据规则选取弧段,构建新的结果几何体。实验结果证明了该方法不仅对于同维度几何体、而且对于不同维度几何体的空间叠置都适用,将该算法嵌入野外调查GIS系统,能够现场完成变更,在工程实践中具有一定的普遍有效性。
    服装人台建模中三次样条方法的研究
    夏平 姚进
    2008, 28(8):  2153-2155. 
    摘要 ( )   PDF (470KB) ( )  
    相关文章 | 计量指标
    根据人台每层截面上纬向线是封闭曲线的特点,将曲线的直角坐标函数关系的转换为极坐标函数关系,进行三次样条插值计算,再转换为x、y、z值,其方法简单,计算量小,但拟合的人台肩颈部变形失真较大。分析了造成上述问题的曲线大挠度原因后,运用参数三次样条插值方法,采用累加玄长为参数,分别对人台经纬曲线的x、y、z进行插值计算,并拟合人台曲面。通过OpenGL模拟仿真表明,参数三次样条插值方法能够解决服装人台肩颈部的变形失真问题,使人台更具真实感,非常适合服装人台模型仿真。
    要素细化与代码实现——WSMF模型
    黄映辉 李冠宇
    2008, 28(8):  2156-2159. 
    摘要 ( )   PDF (683KB) ( )  
    相关文章 | 计量指标
    Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于“重用性-解耦性-语义中介协调”观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层要素及其相互关系由Web服务本体模型(WSMO)细化扩展为层次结构的WSMF底层要素体系。WSMF的底层要素由Web服务建模语言(WSML)做形式化描述,进而转换为XML代码。一个实际的Web服务例证了WSMF顶层要素的细化、形式化、代码化的方法与过程。
    一种面向故障诊断的接地网拓扑快速建模方法
    张仲康 刘健 王树奇 李志忠
    2008, 28(8):  2160-2162. 
    摘要 ( )   PDF (523KB) ( )  
    相关文章 | 计量指标
    为了给接地网故障诊断软件提供方便的人机界面,提出了一种简便灵活的接地网拓扑编辑录入方法。采用具有4列元素的边编辑表和具有3列元素的节点编辑表记录录入过程,论述了添加操作、变更节点类型操作和删除操作的处理方法,建议了由删除冗余记录、压缩节点和边的编号及生成节点支路关联矩阵A这3个步骤构成的编辑操作过程。以一个接地网为例进行了详细说明,结果表明提出的方法是可行的。
    基于COM技术的DBX邮件文件解析
    曾春溪 蔡剑怀 杨俊彬 吴顺祥
    2008, 28(8):  2163-2165. 
    摘要 ( )   PDF (439KB) ( )  
    相关文章 | 计量指标
    电子邮件客户端Outlook Express下保存的邮件数据文件,蕴藏着丰富的个人信息,挖掘分析其中的有用线索已成为计算机调查取证的重要手段和研究方向,而首要条件就是需要对这些经过编码的数据文件进行解析,将所有的邮件信息还原出来。针对此问题,提出了一种利用Outlook Express提供的COM组件接口对这些邮件数据文件直接进行解析处理的方法,避免了研究其编码及内部逻辑架构的繁琐。
    基于Petri网模型的JSP粒子群优化调度
    秦娜 乐晓波 刘武
    2008, 28(8):  2166-2169. 
    摘要 ( )   PDF (495KB) ( )  
    相关文章 | 计量指标
    提出一种有效的基于Petri网建模及改进的编码粒子群算法的车间作业调度问题优化算法,分析对比了现有的作业车间调度领域中的基于人工智能的优化算法,对所提出的基于Petri网建模和改进的粒子群算法的优化算法进行了性能分析,并对该算法进行了仿真研究,结果表明该算法是可行、有效的。
    基于位置矩阵QoS感知的Web服务组合研究
    龚小勇 朱庆生 武春岭
    2008, 28(8):  2170-2172. 
    摘要 ( )   PDF (612KB) ( )  
    相关文章 | 计量指标
    提出了一种基于位置矩阵QoS感知的Web服务组合方法。该方法使用遗传算法用位置矩阵对基因进行编码,使得该编码方式可以表示服务组合的所有组合路径和重计划信息,算法的一次执行就能完成所有路径QoS最优的全局搜索和动态重计划功能。实验结果证明了该方法的有效性和可行性。
    基于ESS均衡的电子商务信任模型
    李征
    2008, 28(8):  2173-2176. 
    摘要 ( )   PDF (578KB) ( )  
    相关文章 | 计量指标
    引入ESS均衡,提出一种新的基于动态博弈理论的电子商务信任模型,包括电子商务信任博弈、信任扩散机制及其算法。理论模型发现:信用体系不健全是导致电子商务不诚信行为频繁发生的根源,而选择信任策略的交易者个数、交易者信息交换难度以及信任相比于不信任的剩余收益等因素决定着信任的扩散。仿真实验结果表明,该模型克服了现有信任理论的静态分析局限性,提高了电子商务信任问题研究的可信度和逼真度。据此,提出了增强信任激励、提高交易者信任行为的收益比较优势以及增大电子商务交易网站的信息交换技术投入等措施建议。
    分布式嵌入式系统实时调度的建模
    张海涛 邱联奎 艾云峰
    2008, 28(8):  2177-2180. 
    摘要 ( )   PDF (535KB) ( )  
    相关文章 | 计量指标
    针对RBTPN模型在建模分布式嵌入式系统实时调度时的不足,提出了一种新的扩展时间Petri网模型。该模型通过在需要处理器资源的变迁上引入变迁速率因子,得到具有相同优先级变迁的运行速率函数,从而在分布式嵌入式系统的调度建模中,在单个处理器上结合了固定优先级可抢先调度和轮转调度。随后给出了该模型可达图的构造方法,以便可以得到调度序列的各种性质。
2024年 44卷 4期
刊出日期: 2024-04-10
文章目录
过刊浏览
荣誉主编:张景中
主  编:徐宗本
副主编
:申恒涛 夏朝晖

国内邮发代号:62-110
国外发行代号:M4616
地址:四川成都双流区四川天府新区
   兴隆街道科智路1369号
   中科信息(科学城园区) B213
   (计算机应用编辑部)
电话:028-85224283-803
   028-85222239-803
网址:www.joca.cn
E-mail: bjb@joca.cn
期刊微信公众号
CCF扫码入会