检索结果-维普期刊中文期刊服务平台

基于Petri网的软件动态演化的一致性分析被引量：3: 1; 作者谢仲文明利 +3 位作者林英秦江龙莫启李彤《计算机科学》 CSCD 北大核心 2016年第11期234-241,共8页; 在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对... 展开更多; 关键词软件动态演化软件体系结构行为模拟一致性保持; 在线阅读下载PDF 职称材料

采样数据交互的异构非完整轮式机器人集群连通保持切换编队控制: 2; 作者陈晨殷诗雨 +2 位作者邱星星邹文成向峥嵘《南京理工大学学报》 CAS CSCD 北大核心 2024年第5期615-625,634,F0002,共13页; 轮式移动机器人作为一种体积小巧、操作灵活的机器人,广泛应用于工业、农业等领域。考虑到实际情况中,机器人间能够互相交流信息的通讯范围通常是有限制的,且存在非线性、非完整约束等特点,因此针对通讯范围受限的轮式移动机器人编队控... 展开更多; 关键词轮式移动机器人连通保持一致性编队控制预设性能控制采样数据控制滑模控制; 在线阅读下载PDF 职称材料

基于组合Web服务的电子商务解决方案被引量：4: 3; 作者邓桂英李桂芸《计算机应用与软件》 CSCD 2009年第12期139-142,共4页; Web服务作为一种新兴的Web应用模式,已成为电子商务的有效解决方案。它是崭新的分布式计算模型,是Web上资料和信息集成的有效机制。为提高电子商务中服务的质量,灵活地根据用户需求对子服务进行组合提出了电子商务中保持组合Web服务的... 展开更多; 关键词电子商务组合WEB服务一致性保持; 在线阅读下载PDF 职称材料

NoSQL系统的容错机制:原理与系统示例被引量：2: 4; 作者孔超钱卫宁周傲英《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第5期1-16,共16页; NoSQL数据管理系统因其具有良好的可扩展性和容错性,在以Web数据管理和分析处理为代表的新型大数据应用环境中得到了广泛使用.这些系统通过新型一致性模型和数据冗余等技术,实现了集群环境中的容错处理.本文在对集群环境数据管理系统的... 展开更多; 关键词 NoSQL系统容错一致性保持; 在线阅读下载PDF 职称材料

题名基于Petri网的软件动态演化的一致性分析被引量：3: 1; 作者谢仲文明利林英秦江龙莫启李彤; 机构云南大学软件学院云南省软件工程重点实验室; 出处《计算机科学》 CSCD 北大核心 2016年第11期234-241,共8页; 基金国家自然科学基金项目(61379032 61262024 +3 种基金 60122025) 2012SE309) 云南省教育厅科学研究基金(2014Y012)资助; 文摘在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。; 关键词软件动态演化软件体系结构行为模拟一致性保持; Keywords Software dynamic evolution Software architecture Behavior simulation Consistency preservation; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名采样数据交互的异构非完整轮式机器人集群连通保持切换编队控制: 2; 作者陈晨殷诗雨邱星星邹文成向峥嵘; 机构南京理工大学自动化学院; 出处《南京理工大学学报》 CAS CSCD 北大核心 2024年第5期615-625,634,F0002,共13页; 基金国家自然科学基金(62373191,62303224) 江苏省自然科学基金(BK20230920)。; 文摘轮式移动机器人作为一种体积小巧、操作灵活的机器人,广泛应用于工业、农业等领域。考虑到实际情况中,机器人间能够互相交流信息的通讯范围通常是有限制的,且存在非线性、非完整约束等特点,因此针对通讯范围受限的轮式移动机器人编队控制问题的研究很有价值。面对复杂的任务和环境,需要多种机器人的配合,因此该文研究了异构的非完整轮式移动机器人集群,构建了一种采样数据交互模式。采样数据虚拟框架为实际机器人系统提供参考轨迹,降低了机器人之间的通讯要求,不再需要时刻保持通讯。采用含预设性能的控制方法设计了实际机器人的控制器,保证机器人的跟踪误差满足工程应用中期望的稳态性能与瞬态性能要求。最后,通过数值仿真和机器人操作系统(ROS)物理仿真实验验证了所设计控制协议的有效性。; 关键词轮式移动机器人连通保持一致性编队控制预设性能控制采样数据控制滑模控制; Keywords wheeled mobile robots connectivity-preserving consensus formation control prescribed performance control sampled-data control sliding mode control; 分类号 TP13 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于组合Web服务的电子商务解决方案被引量：4: 3; 作者邓桂英李桂芸; 机构上海理工大学计算机与电气学院; 出处《计算机应用与软件》 CSCD 2009年第12期139-142,共4页; 文摘 Web服务作为一种新兴的Web应用模式,已成为电子商务的有效解决方案。它是崭新的分布式计算模型,是Web上资料和信息集成的有效机制。为提高电子商务中服务的质量,灵活地根据用户需求对子服务进行组合提出了电子商务中保持组合Web服务的一致性的解决方案,并通过实例说明该方案的正确性。; 关键词电子商务组合WEB服务一致性保持; Keywords E-commerce Composite Web services Consistency maintenance; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP393.4 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名NoSQL系统的容错机制:原理与系统示例被引量：2: 4; 作者孔超钱卫宁周傲英; 机构华东师范大学数据科学与工程研究院; 出处《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第5期1-16,共16页; 基金国家973课题(2010CB731402) 国家自然科学基金(61170086); 文摘 NoSQL数据管理系统因其具有良好的可扩展性和容错性,在以Web数据管理和分析处理为代表的新型大数据应用环境中得到了广泛使用.这些系统通过新型一致性模型和数据冗余等技术,实现了集群环境中的容错处理.本文在对集群环境数据管理系统的一致性保持和容错处理基本原理进行介绍的基础上,对Bigtable、HBase、Dynamo、Cassandra,以及PNUTS五个典型的NoSQL系统的容错机制及其实现进行分析与对比,并讨论它们的设计原则和实现技术对于系统的可用性、性能、复杂负载的处理能力等方面的影响.最后,讨论现有NoSQL系统容错机制对于设计和实现支持关键任务的内存数据管理系统的借鉴意义.; 关键词 NoSQL系统容错一致性保持; Keywords NoSQL systems fault-tolerance consistency preserve; 分类号 TP311.131 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Petri网的软件动态演化的一致性分析	谢仲文明利林英秦江龙莫启李彤	《计算机科学》 CSCD 北大核心	2016	3	在线阅读下载PDF 职称材料
2	采样数据交互的异构非完整轮式机器人集群连通保持切换编队控制	陈晨殷诗雨邱星星邹文成向峥嵘	《南京理工大学学报》 CAS CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
3	基于组合Web服务的电子商务解决方案	邓桂英李桂芸	《计算机应用与软件》 CSCD	2009	4	在线阅读下载PDF 职称材料
4	NoSQL系统的容错机制:原理与系统示例	孔超钱卫宁周傲英	《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料