检索结果-内蒙古大学图书馆

第十四届中国粗糙集与软计算学术会议、第八届中国Web智能学术研讨会及第八届中国粒计算学术研讨会联合会议

作者：余鹰苗夺谦赵才荣李峰同济大学计算机科学与技术系上海 201804 同济大学嵌入式系统与服务计算教育部重点实验室上海 201804 江西农业大学软件学院江西南昌 330013 同济大学计算机科学与技术系上海 201804 同济大学嵌入式系统与服务计算教育部重点实验室上海 201804

粗糙集理论已有的研究工作主要集中在单一决策系统的研究上,对于多决策系统是直接分解成多个单一决策系统。直接变换的方法忽视了决策属性之间的相关性和共现性,影响决策分类的精度。本文基于粗糙集模型,分别提出了离散型多标记决策系... 详细信息

粗糙集理论已有的研究工作主要集中在单一决策系统的研究上,对于多决策系统是直接分解成多个单一决策系统。直接变换的方法忽视了决策属性之间的相关性和共现性,影响决策分类的精度。本文基于粗糙集模型,分别提出了离散型多标记决策系统知识获取算法DML 和连续型多标记决策系统知识获取算法CML,此两种算法均考虑了标记之间的相关性。在离散型多标记决策系统中,采用决策链方式传递属性间的相关性;而在连续型多标记决策系统中,重新定义了上、下近似,扩展了粗糙集模型。实验表明,不论是离散型还是连续型多标记决策系统,考虑决策属性之间的相关性均可以提高预测的准确率。

关键词：多标记粗糙集决策系统规则提取

来源：评论

学校读者我要写书评

暂无评论

一种符号化执行的实时系统一致性测试生成方法

引用

电子学报 2013年第11期41卷 2276-2284页

作者：万勇兵徐中伟梅萌同济大学电子与信息工程学院上海201804 嵌入式系统与服务计算教育部重点实验室上海201804

系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于... 详细信息

系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性.

关键词：实时系统一致性测试时间安全输入输出符号变迁系统符号执行测试用例生成

来源：评论

学校读者我要写书评

暂无评论

一种新的基于小波包分解的EEG特征抽取与识别方法研究

引用

电子学报 2013年第1期41卷 193-198页

作者：王登苗夺谦王睿智同济大学计算机科学与技术系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

为了提高脑思维任务分类精度,提出一种新的脑电特征抽取与识别方法.首先进行小波包分解,然后结合能反映脑电信号在时域与频域上的能量分布特征的小波包熵概念,从小波包库中选择最优小波包基,对各个最优基所对应的小波系数求取统计特性,... 详细信息

为了提高脑思维任务分类精度,提出一种新的脑电特征抽取与识别方法.首先进行小波包分解,然后结合能反映脑电信号在时域与频域上的能量分布特征的小波包熵概念,从小波包库中选择最优小波包基,对各个最优基所对应的小波系数求取统计特性,然后根据不同脑思维任务下左右半脑各导联间的差异性对各个导联对求取不对称率构成分类特征向量,最后利用SVM分类器对其进行分类.实验结果表明：相对于一般的小波包分解,最优小波包基和自回归特征抽取方法,该方法对5类不同脑思维任务的所有10种不同组合任务对的平均分类预测精度可以达到95.41%~99.65%.

关键词：非平稳脑电信号特征抽取小波包分解脑机接口

来源：评论

学校读者我要写书评

暂无评论

基于应用驱动的异构体系结构模型

引用

清华大学学报（自然科学版） 2013年第2期53卷 234-241页

作者：沈来信杨帆王伟同济大学嵌入式系统与服务计算教育部重点实验室上海200092 黄山学院信息工程学院黄山245041

科学计算应用问题在计算模型、处理过程以及对处理器、存储器和通信的要求方面存在巨大的差异。同一种结构难以适应差异巨大的应用,造成效率低下。解决途径在于可变的体系结构,让体系结构去适应不同的应用,而不是让应用去适应单一的体... 详细信息

科学计算应用问题在计算模型、处理过程以及对处理器、存储器和通信的要求方面存在巨大的差异。同一种结构难以适应差异巨大的应用,造成效率低下。解决途径在于可变的体系结构,让体系结构去适应不同的应用,而不是让应用去适应单一的体系结构。不同的应用决定了不同的应用程序结构,对于不同的应用程序结构,采用最适合的体系结构去匹配,实现应用决定体系结构的模型。结果表明,基于应用驱动的异构体系结构异构模型能够达到使运算高效率、低能耗的目的。最后给出了从不同应用得到最适应体系结构的方法。

关键词：异构体系结构匹配应用驱动效率

来源：评论

学校读者我要写书评

暂无评论

移动环境下避免服务切换的选择算法

移动环境下避免服务切换的选择算法

引用

第五届中国计算机学会服务计算学术会议

作者：郑宇卫丁志军同济大学电子与信息工程学院计算机科学与技术系上海中国201804 同济大学嵌入式系统与服务计算教育部重点实验室上海中国200092

服务在移动环境下具有传统服务的一些特性如服务质量,但是相较传统互联网服务会拥有自身的一些特点.本文主要关注的内容是在移动环境下服务的可用性问题.由于移动环境下服务以无线传输的方式提供,使得服务会具有一定的物理服务范围,也... 详细信息

服务在移动环境下具有传统服务的一些特性如服务质量,但是相较传统互联网服务会拥有自身的一些特点.本文主要关注的内容是在移动环境下服务的可用性问题.由于移动环境下服务以无线传输的方式提供,使得服务会具有一定的物理服务范围,也使服务的可用性与用户的位置及其移动相关联.当用户的移动超出了服务的范围,服务相对用户便不可用了,从而导致服务失败,需要进行服务切换,带来额外的代价. 针对以上问题,本文提出了避免服务切换的服务选择算法(SASS),在满足避免服务切换的约束条件下寻求全局代价最小的服务选择方案,并且分别给出了SASS和线性规划两种具体算法实现.最后设计了模拟仿真实验以表明算法的有效性,并对实验结果进行了分析.

关键词：移动互联网服务切换选择算法服务质量

来源：评论

学校读者我要写书评

暂无评论

面向道路交通监控智能摄像头的自主协同跟踪模式

引用

计算机科学 2013年第11A期40卷 288-291,317页

作者：卢秀卿张亚英叶晨同济大学嵌入式系统与服务计算教育部重点实验室上海200092

在面向道路交通监控的嵌入式智能摄像头中引入动态角色和分布控制的思想,设计实现了一种摄像头自主协同目标跟踪模式。在本模式中摄像头之间能够动态组织对异常车辆目标的协同跟踪,跟踪过程由前端摄像头自主控制完成。这种分散控制模式... 详细信息

在面向道路交通监控的嵌入式智能摄像头中引入动态角色和分布控制的思想,设计实现了一种摄像头自主协同目标跟踪模式。在本模式中摄像头之间能够动态组织对异常车辆目标的协同跟踪,跟踪过程由前端摄像头自主控制完成。这种分散控制模式能够有效减缓交通监控系统中后端服务器的工作压力,并降低大量实时视频数据在路网中传输对道路信息网络带宽的要求,同时又使监控系统具有较强的灵活性和容错能力。

关键词：智能摄像头动态角色分布式控制协同跟踪

来源：评论

学校读者我要写书评

暂无评论

快速最小生成树Sollin求解算法

引用

信息网络安全 2014年第7期 87-91页

作者：张毅顾逸圣王伟同济大学计算机科学与技术系上海200092 国家高性能计算机工程技术中心同济分中心上海200092 同济大学嵌入式系统与服务计算教育部重点实验室上海200092

最小生成树算法在计算机网络、信息安全等领域中有着广泛的应用,目前比较普遍的求解算法有Prim算法和Kruskal算法,但这两种算法由于本身的数据结构特性和迭代过程的相关性限制而难以并行化,因而无法有效地利用通用GPU并行架构进行并行... 详细信息

最小生成树算法在计算机网络、信息安全等领域中有着广泛的应用,目前比较普遍的求解算法有Prim算法和Kruskal算法,但这两种算法由于本身的数据结构特性和迭代过程的相关性限制而难以并行化,因而无法有效地利用通用GPU并行架构进行并行化加速。Sollin算法虽然是最古老的最小生成树算法之一,但是在算法中经过初始化的森林迭代过程,每次迭代可以同时扩展合并多棵最小生成树,经过数次扩展和合并,最终由初始森林合并为一棵树,一旦成功扩展,这棵树一定是最小生成树。在扩展合并的过程中,每次迭代中每棵树的扩展和合并过程相互独立,这一特征使Sollin算法具有较好的并行性,可以利用目前流行的GPU并行架构进行快速求解优化。正因如此,文章针对传统CPU执行的串行Sollin算法,结合适用于通用GPU并行运算的数据结构特性,在提出可扩展树这一并行适用的数据存储结构的基础上,提出了一种基于可扩展树的快速扩展、合并最小生成树的方法,并针对通用GPU平台进行了实现。我们采用多组不同规模的测试数据进行实验。结果表明,相对传统串行Sollin最小生成树求解算法,该算法在用于较大数据规模的情况中具有明显的性能提升,同由CPU执行的传统串行方案相比,文章提出的方案获得了10至18倍的加速度。

关键词：最小生成树 Sollin 算法

来源：评论

学校读者我要写书评

暂无评论

WilsonTh数据剪辑在邻域粗糙协同分类中的应用研究

WilsonTh数据剪辑在邻域粗糙协同分类中的应用研究

引用

第十四届中国粗糙集与软计算学术会议、第八届中国Web智能学术研讨会及第八届中国粒计算学术研讨会联合会议

作者：张维苗夺谦李峰同济大学电子与信息工程学院计算机科学与技术系上海 201804 上海电力学院计算机科学与技术学院上海 200090 同济大学嵌入式系统与服务计算教育部重点实验室上海 201804 同济大学电子与信息工程学院计算机科学与技术系上海 201804 同济大学嵌入式系统与服务计算教育部重点实验室上海 201804

结合邻域粗糙集和协同学习理论构建的邻域粗糙协同分类模型可以处理连续型数据并可有效利用无标记数据提高分类的性能.在迭代学习过程中,分类器给无标记数据加上类别标记以扩大训练集使分类器再训练能获得更好的性能.然而无标记样本常... 详细信息

结合邻域粗糙集和协同学习理论构建的邻域粗糙协同分类模型可以处理连续型数据并可有效利用无标记数据提高分类的性能.在迭代学习过程中,分类器给无标记数据加上类别标记以扩大训练集使分类器再训练能获得更好的性能.然而无标记样本常被错误地标记而给训练集引入噪声样本,导致分类性能不稳定.针对该问题,本文探讨了WilsonTh 数据剪辑在邻域粗糙协同分类模型中的应用.UCI 数据集上实验结果表明,WilsonTh 数据剪辑能有效地提高加入训练集的样本质量从而增强邻域粗糙协同分类的性能.

关键词： WilsonTh数据剪辑邻域粗糙集邻域互信息协同学习连续型数据

来源：评论

学校读者我要写书评

暂无评论

医疗信息系统的集中式整合模式及其建模分析

引用

系统仿真学报 2013年第7期25卷 1435-1441页

作者：闫春钢汪明新刘关俊吴岩同济大学计算机科学与工程系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提出了基于IHE(Integra... 详细信息

优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提出了基于IHE(Integrating the Healthcare Enterprise)技术框架的医疗信息系统的集中式整合模式,克服了现有的互连式整合模式的若干不足。运用对象Petri网对集中式整合模式进行建模。首先对各个子系统进行建模,然后根据各子系统之间的关系建立系统的整合模型,并对整合后的医疗信息系统的合理性进行了分析,给出了在IHE框架下针对复杂系统建立工作流模型的过程及其分析方法。该模型为整合医疗信息系统的实现提供了理论基础和依据。

关键词： IHE技术框架颜色Petri网集中式整合对象Petri网

来源：评论

学校读者我要写书评

暂无评论

绿色评价模型的互模拟等价及逻辑保持

引用

计算机学报 2013年第5期36卷 967-976页

作者：钮俊曾国荪王伟宁波大学信息科学与工程学院浙江宁波315010 同济大学计算机科学及技术系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸... 详细信息

绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段.

关键词：绿色评价模型检测随机过程评价指标互模拟绿色计算

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：