中央高校基本科研业务费专项资金(GK201002011)
- 作品数：15 被引量：38H指数：4
- 相关作者：李蜀瑜刘博石彦华张金英高海宁更多>>
- 相关机构：陕西师范大学中国电子科技集团第五十八研究所西北工业大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 聚类反馈学习的数据清洗研究被引量：6
- 2011年
- 重复记录的清除是数据清洗领域的核心问题,但如何实施有效的清除一直是研究的难点。提出了一种通过建立聚类反馈模式规约来验证重复记录的有效性方法。依据经过聚类后各个类别间的关联性关系分析,首先提出了聚类模式和反馈模式的概念和实现方法;然后给出了数据清洗中聚类反馈模式规约;最后应用项目案例验证了它的有效性。
- 石彦华李蜀瑜
- 关键词：数据清洗聚类学习
- 动态服务的数据交换模型研究被引量：3
- 2011年
- 数据交换是解决信息孤岛问题的实用方法,但如何实施灵活有效的数据交换一直是研究的难点。基于此,提出了动态服务的数据交换方式来克服原有单一、固定的交换缺点。依据交换系统的现状,首先给出了静态服务库、动态服务库和静态交换系统、动态交换系统的概念;然后提出了动态服务的交换模型,并给出了交换的方法、原则和实现过程。最后,结合具体的应用实例,验证了模型的灵活性和有效性。
- 石彦华李蜀瑜
- 关键词：数据交换第三方服务信息孤岛服务代理
- 保证服务质量的Web服务优化选取
- 2011年
- 快速、准确地发现满足用户需求的Web服务是目前Web服务发现的一个研究重点。文中提出了一个基于服务质量的语义Web服务发现框架。首先采用遗传算法来实现服务的聚类预处理,以此来降低服务的查找空间,提高服务的查询效率。进一步,针对服务请求者对服务质量的需求,实现了基于WSMO-QoS的服务匹配策略。最后,实验结果表明了所提方法的有效性。
- 刘硕高海宁李蜀瑜
- 关键词：语义WEB服务遗传算法服务质量
- 基于混合协同进化算法的Web服务组合演化策略
- 2012年
- 为了在服务组合演化过程中高效地选择满足服务请求的Web服务,提出了一种基于混合协同进化算法的Web服务组合演化策略。首先,利用改进模糊C均值聚类算法将Web服务演化单元按应用分类;然后,利用带权值的粒子群算法对划分好的子群进行内部择优;最后,对各个子群进行协同进化,使得针对用户服务请求,能够选出最优Web服务演化组合。实验结果表明,混合协同进化算法无论在算法稳定性或是算法运算时间上都优于传统协同进化算法,且对于Web环境下大量的服务请求能够提供优质、高效的服务。
- 王萌李蜀瑜
- 关键词：WEB服务模糊C均值粒子群算法协同进化算法
- 基于NuSMV的AADL行为模型验证的探究被引量：8
- 2012年
- 鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构和NuSMV模型的验证方法。文中首先对当前的AADL发展情况作简单介绍,然后对NuSMV验证模型的结构作大致分析,在随后的文章中对NuSMV的验证过程作详细的介绍。与此同时,使用具体的汽车巡航控制系统作为实例进行具体分析。文中通过测试用例执行输出进行验证来判断该方法的正确性。
- 刘博李蜀瑜
- 基于语义相似度与QoS的Web服务匹配模型研究被引量：4
- 2013年
- 针对本体概念和Web服务活动的交互问题,提出了一种新的Web服务匹配技术,建立了基于语义相似度匹配和QoS匹配相结合的服务匹配模型。根据本体构造虚拟的映射函数,计算该函数涉及的本体概念的语义相似度,进行第一次服务匹配,计算第一次匹配得出的候选服务集属性的QoS效用值,根据效用值进行服务的第二次匹配,由此实现在功能性、非功能性方面都可以达到用户的需求目标。模拟实验验证了所提匹配策略的可行性与有效性。
- 张金英李蜀瑜
- 关键词：相似度本体本体映射QOS
- 基于扩展时间Petri网的Web服务组合的分析与验证被引量：3
- 2012年
- 为了进一步研究Web服务组合的时间成本问题,提出一种扩展时间Petri网,在变迁上添加了触发时间区间和发生优先级函数,在分析过程中提出了时间成本的计算方法,定义了变迁冲突的检测规则,更好地解决了可达分析中出现的冲突问题和时间成本问题,并给出了一个服务组合算法的描述,最后用实例验证了方法的可行性。
- 高海宁李蜀瑜
- CoSy C语言编译器程序缓冲区溢出研究被引量：1
- 2012年
- CoSy是ACE公司开发的编译器构架,为了保证CoSy C编译器输入程序的安全性,避免产生编译器缓冲区溢出问题,提出了编译器缓冲区溢出判断模型。根据C源程序编译器缓冲区溢出漏洞的特征,建立了编译器缓冲区溢出判断模型;给出了重建CoSy中间表示CCMIR(Common CoSy Medium-level Intermediate Representation)的方法;最后,给出了CC-MIR程序安全性判定算法。实验结果表明,这种模型可以有效地判断输入程序的安全性。因此,通过重建CCMIR模型可以有效地避免CoSy C语言编译器编译过程中的缓冲区溢出问题。
- 史岩李蜀瑜丘征陈长胜
- 关键词：COSY缓冲区溢出XML
- 数字档案馆数据交换系统的设计与实现
- 2012年
- 随着信息社会的迅猛发展和电子政务的普及,建设数字档案馆对实现档案资源的信息化管理有着重大意义。通过数据交换系统,可以为各部门提供数字档案和实体档案的归档和档案的接收;实现数字档案馆内部子系统间的数据交换。数据交换系统是数字档案馆相关子系统之间,以及数字档案馆和电子政务平台之间的档案数据交换平台,是数字档案馆的核心系统之一。文中分析了基于XOOPS的数字档案馆网络拓扑结构以及数据交换系统架构,从业务层、中间层和数据层对数字档案馆的关键子系统——数据交换系统进行了研究。
- 张金英李蜀瑜
- 关键词：软件体系架构网络拓扑结构数据交换
- 基于XML的UML模型向AADL模型的自动转换被引量：4
- 2014年
- UML已经成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化;AADL具有精确的语义和严格的语法规范,可用于描述嵌入式实时系统的软、硬件体系结构,并能分析系统的功能及非功能属性。UML和AADL模型的基本元对象有相互对应关系,并且两种模型的表示都能够采用标准的XML的交换格式。为充分发挥两种语言的优势,文中研究了UML模型向AADL模型的自动转换,以XML为媒介实现两种模型的元对象的对应转换,最终达到两种模型的转换,使用户在设计阶段能够结合运用AADL、UML工具的优点对系统进行分析。
- 万小平李蜀瑜
- 关键词：统一建模语言实时系统
