公共文化服务平台

广西可信软件重点实验室开放基金: 作品数：47 被引量：100H指数：5; 相关作者：张迎周王勇缪裕青陈光喜张大鹏更多>>; 相关机构：桂林电子科技大学南京邮电大学燕山大学更多>>; 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西高校优秀人才计划项目更多>>; 相关领域：自动化与计算机技术理学电子电信一般工业技术更多>>

基于间接认证链的输入测试证明方法: 2015年; 针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法。该方法引入间接一致性的概念,解决了Yahalom协议中存在的不完整的挑战-应答机制和输入测试在原证明方法上只具备直接性这2个问题,成功地将输入测试运用于验证Yahalom协议,并将该证明方法推广到对Yahalom-Paulson协议的验证。新的证明方法扩展了输入测试的应用范围。; 代凯邓珍荣; 关键词：安全协议

带权相似度度量方法及其在光谱异常判定中的应用被引量：2: 2012年; 为了检测异常光谱以及判定异常光谱产生的原因,从相似学原理出发,提出带权相似度度量方法,利用光谱的相似度来判别异常光谱。以中药生产过程中的近红外光谱分析为例,利用带权相似度方法并结合特征谱段的相似性,对异常光谱进行判定。实验结果表明,相比常用的相关系数法、夹角余弦法,带权相似度法灵敏性更高,更能反映关键波长范围内的谱图变化,其判定结果与实际情况重合性较好,从而在近红外在线监测过程中具有很强的实用性。; 唐天彪杨辉华梁晓智郭拓李灵巧罗国安; 关键词：近红外在线监测光谱分析

WSDL-IO可扩展的无线传感网服务匹配机制: 2013年; 传统的Web服务描述语言(WSDL)无法合理刻画数量不断增加且动态改变的传感网服务,导致具备相似输入输出接口的传感网服务不能被区分且服务存储与搜索负担日益加重,对此,提出在WSDL语法框架上扩展基于逻辑表达式的服务输入输出关系,融合Google语义距离和Levenshtein编辑距离计算服务相似度,并在此基础上定义服务输入输出匹配等级.实验结果表明,通过对服务输入输出关系的语义扩展,能有效地提高传感网服务的检索和选取效率.; 徐月梅牛温佳赵志军唐晖慈松; 关键词：无线传感网 WEB服务描述语言

程序正确性验证的代数方法及其研究进展: 2013年; 程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性。最后,总结了各种验证方法的研究现状以及未来发展。; 廖苑蓉陈光喜; 关键词：终止性不动点秩函数

一种基于推荐偏差的多主体系统信任推荐模型被引量：1: 2014年; 已有的信任推荐模型认为推荐信任会沿传递路径衰减,这并不完全符合人类的信任习惯.针对这种情况,提出一种基于推荐偏差的多主体系统信任推荐模型:(1)对推荐信任沿传递路径衰减的不足之处进行了阐释并给出了推荐偏差的概念;(2)给出了利用推荐偏差计算推荐信任度的方法,该方法引入了信心指数来衡量被推荐者对推荐者以固定的推荐偏差向其进行推荐的信心;(3)给出了信任信息的传递方法;(4)使用了4组数据进行了场景分析,分析结果表明:当信任网络中存在信心指数较高的推荐者时,使用本方法得到的结果准确度较高.; 张大鹏左孟飞王新生; 关键词：多主体系统信心指数

基于形式化方法的服务自动测试方法: 2013年; 鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。; 张迎周符炜张卫丰; 关键词：WEB服务测试

一种过程间单子切片方法被引量：2: 2013年; 在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.; 张迎周符炜

基于AAM的人脸图像年龄组分类研究: 2014年; 针对随年龄的增长人脸图像年龄组分类准确率下降的问题,提出一种有效提高准确率和分类速度的年龄组分类方法。该方法结合主成分分析(PCA)和局部保持投影(LPP)建立主动外观模型(AAM),并对人脸图像进行特征点提取;在反向组合算法的基础上添加全局几何变换,增强AAM的表征能力,对输入人脸图像进行匹配;并利用支持向量机回归算法(SVR)对人脸图像进行年龄组分类。实验结果表明,该方法的年龄组分类准确率由79%提高到84%,分类耗时明显改善,且该方法更适用于亚洲人脸图像。; 陈剑刘建明彭智勇; 关键词：局部保持投影主动外观模型支持向量机回归

一种改进的基于FP-Tree的高效挖掘最大频繁项目集算法被引量：8: 2017年; 为了解决最大频繁项目集算法DMFIA(discover maximum frequent itemsets algorithm)在挖掘候选项目集维数较大而最大频繁项目集维数较小的情况下产生大量候选项目集的问题,提出一种改进的基于FP-Tree(frequent pattern tree)的最大频繁项目集挖掘的FP-EMFIA算法;该算法在挖掘过程中根据项目头表,采用自上而下和自下而上的双向搜索策略,并通过条件模式基中的频繁项目和较小维数的非频繁项目集对候选项目集进行降维和剪枝,以减少候选项目集的数量,加速对候选集计数的操作。在经典数据集mushroom、chess和connect上的实验结果表明,FP-EMFIA算法在支持度较小时的时间效率优于DMFIA、IDMFIA(improved algorithm of DMFIA)和BDRFI(algorithm for mining frequent itemsets based on decreasing dimensionality reduction of frequent itemsets)算法的,说明FP-EMFIA算法在候选项目集维数较大时有相对优势。; 尹治华张大鹏谭明王新生; 关键词：数据挖掘关联规则最大频繁项目集频繁模式树

基于JBPM的服务动态编排及迁移方案被引量：3: 2015年; 为了适应复杂环境下动态多变的业务需求,对以服务为核心的流程动态编排和再造提供支持,提出了基于JBPM工作流的流程动态编排与迁移方案,该方案分析了目前工作流在流程编排方面的局限性;结合柔性工作流的特点,给出了流程动态编排的模型,并对流程变更所产生的4类操作做了形式化的描述,通过对流程变更引发的流程进行迁移继而实现接续执行这一问题的研究,提出一种流程迁移算法。最后通过实例和性能测试工具验证了算法的可行性和高效性。; 王勇常静波强保华王玉峰张学庆; 关键词：柔性工作流

广西可信软件重点实验室开放基金

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

广西可信软件重点实验室开放基金

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈