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

计算机学报 2010年第5期33卷 908-918页

作者：庞善臣蒋昌俊山东科技大学信息科学与工程学院青岛山东266510 清华大学计算机科学与技术系北京100084 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工... 详细信息

基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上,利用矩姆函数,建立了工作流的时间性能分析方法,所得结果为工作流模型分析和验证提供了理论基础和依据,并可有效降低工作流系统的分析复杂度,对于分析工作流系统处理业务实例的能力,提高业务处理效率有重要意义,给出的实例验证了算法的有效性.

关键词：广义工作流网不变量矩姆函数多项式算法性能分析

来源：评论

学校读者我要写书评

暂无评论

同构DVS集群中基于自适应阈值的并行任务节能调度算法

引用

计算机学报 2013年第2期36卷 393-407页

作者：刘伟尹行段玉光杜薇王伟曾国荪武汉理工大学计算机科学与技术学院武汉430063 武汉大学软件工程国家重点实验室武汉430072 同济大学嵌入式系统与服务计算教育部重点实验室上海200092 同济大学计算机科学与技术系上海200092

目前,高能效的并行任务调度算法设计已经成为集群系统的研究热点.现有基于复制的节能调度算法主要利用阈值平衡系统的性能和能耗,但随机设置的阈值无法根据性能需求和环境参数等特征自动调节,导致调度算法存在一定的局限性.文中提出一... 详细信息

目前,高能效的并行任务调度算法设计已经成为集群系统的研究热点.现有基于复制的节能调度算法主要利用阈值平衡系统的性能和能耗,但随机设置的阈值无法根据性能需求和环境参数等特征自动调节,导致调度算法存在一定的局限性.文中提出一种面向同构集群系统的两阶段节能调度算法ATES(Adaptive Threshold-basedEnergy-efficient Scheduling).首先,设计一种基于自适应阈值的任务复制策略,该策略能够自动计算最佳阈值,利用该阈值获取近似最优的任务分组.然后,将各分组任务调度到支持DVS的处理器上,并充分利用任务之间的空闲时间降低处理器电压.该算法将任务复制策略与电压调节技术有机结合,在调度过程中能够自动调整阈值,有效提高调度算法的能效.为了验证ATES算法的合理性,通过典型应用进行仿真实验,并与常见任务调度算法进行比较,结果表明ATES算法能够更好地实现性能和能耗之间的平衡.

关键词：高性能集群动态电压调节任务复制自适应阈值调度算法

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的时间空间性能验证方法

引用

计算机学报 2010年第9期33卷 1621-1633页

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

对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Mark... 详细信息

对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Markov Reward Process,CTMRP)作为时间或空间性能验证模型;用正则式表示路径约束,扩展连续随机回报逻辑CSRL(Continuous Stochastic Reward Logic)的时态路径算子,用以刻画更加广泛的基于状态或路径的时间或空间性能验证属性;提出并证明CTMRP在确定性策略下空间时间可达概率的对偶性质,将带有约束的空间性能验证最终转化为时间性能的可达分析,给出验证算法.文中的结论和算法为复杂系统的性能分析提供了新的思路和方法.

关键词：不确定性模型检测时间空间性能可达概率对偶

来源：评论

学校读者我要写书评

暂无评论

从视频到语言:视频标题生成与描述研究综述

引用

自动化学报 2022年第2期48卷 375-397页

作者：汤鹏杰王瀚漓井冈山大学电子与信息工程学院吉安343009 同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室(同济大学) 上海200092 同济大学上海智能科学与技术研究院上海200092

视频标题生成与描述是使用自然语言对视频进行总结与重新表达.由于视频与语言之间存在异构特性,其数据处理过程较为复杂.本文主要对基于“编码−解码”架构的模型做了详细阐述,以视频特征编码与使用方式为依据,将其分为基于视觉特征均值... 详细信息

视频标题生成与描述是使用自然语言对视频进行总结与重新表达.由于视频与语言之间存在异构特性,其数据处理过程较为复杂.本文主要对基于“编码−解码”架构的模型做了详细阐述,以视频特征编码与使用方式为依据,将其分为基于视觉特征均值/最大值的方法、基于视频序列记忆建模的方法、基于三维卷积特征的方法及混合方法,并对各类模型进行了归纳与总结.最后,对当前存在的问题及可能趋势进行了总结与展望,指出需要生成融合情感、逻辑等信息的结构化语段,并在模型优化、数据集构建、评价指标等方面进行更为深入的研究.

关键词：视频描述卷积神经网络循环神经网络语段生成情感表达逻辑语义

来源：评论

学校读者我要写书评

暂无评论

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

引用

小型微型计算机系统 2015年第11期36卷 2445-2450页

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

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

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

关键词：移动服务服务选择服务质量可用性线性规划

来源：评论

学校读者我要写书评

暂无评论

基于属性层次的规则挖掘方法研究

引用

计算机科学 2013年第10期40卷 198-202页

作者：杨伟苗夺谦卫志华同济大学电子与信息工程学院计算机科学与技术系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

针对决策表中有隐含属性层次的决策表,讨论了属性层次树,定义出属性层次决策表,提出一个算法来对属性层次决策表进行规则挖掘,并通过实例分析了算法的有效性。实验结果表明,高属性层次决策表的对象数明显少于原决策表对象数。在对象数... 详细信息

针对决策表中有隐含属性层次的决策表,讨论了属性层次树,定义出属性层次决策表,提出一个算法来对属性层次决策表进行规则挖掘,并通过实例分析了算法的有效性。实验结果表明,高属性层次决策表的对象数明显少于原决策表对象数。在对象数明显减少的高属性层次决策表上的约简运算量比直接在原决策表上的要减小很多。

关键词：属性层次树属性层次决策表粗糙集属性约简

来源：评论

学校读者我要写书评

暂无评论

基于WLAN的三维室内定位机制的AP信号特性研究

引用

信息网络安全 2018年第6期 67-76页

作者：余润身米浩东陈敏军程成同济大学计算机科学与技术系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804 苏州科技大学电子工程系江苏苏州215009

现有GPS定位技术在室外环境中已经满足了移动终端的定位需求,但其在室内环境中基本失效。并且多数室内定位方案只针对室内一块较小的区域或局限于二维平面上,不利于推广并集成到室内地图或导航应用中。因此,基于各种无线技术如红外、蓝... 详细信息

现有GPS定位技术在室外环境中已经满足了移动终端的定位需求,但其在室内环境中基本失效。并且多数室内定位方案只针对室内一块较小的区域或局限于二维平面上,不利于推广并集成到室内地图或导航应用中。因此,基于各种无线技术如红外、蓝牙、超宽带、无线射频等室内定位技术纷纷被提出,其中,基于WLAN的室内定位技术因其具有高性价比优势而备受广泛关注。但是目前关于AP接收信号强度的特性缺乏系统性研究,无法满足具体室内定位环境所需要的AP特征,不能保证室内定位机制的正确性和合理性。因此,文章对AP附近产生的接收信号强度特性进行了深入研究,具体探讨了RSS随时间变化的正态分布性、稳定性及可探测性,并对可能干扰RSS的因素进行了分析和研究。基于以上研究结论,文章又对实际室内定位环境中基于概率型的位置指纹法适用性进行了讨论。

关键词： WLAN 定位技术三维室内定位 AP信号 RSS特性

来源：评论

学校读者我要写书评

暂无评论

两类关联约简构造性算法研究

引用

计算机工程与应用 2010年第29期46卷 127-130页

作者：姚荷岚苗夺谦周杰同济大学嵌入式系统与服务计算教育部重点实验室上海201804 同济大学电子与信息工程学院计算机科学与技术系上海201804

关联约简由Dominik首次提出,其采用粗糙集理论属性约简思想,从全局属性依赖的角度,挖掘出信息系统中所隐含的关联规则。由于求取给定信息系统所有关联约简和最优关联约简已被证明为NP-难问题,针对特定属性(事务)给出了两类关联约简构造... 详细信息

关联约简由Dominik首次提出,其采用粗糙集理论属性约简思想,从全局属性依赖的角度,挖掘出信息系统中所隐含的关联规则。由于求取给定信息系统所有关联约简和最优关联约简已被证明为NP-难问题,针对特定属性(事务)给出了两类关联约简构造性算法:Multi-Single算法和Single-Multi算法,从而挖掘出针对特定事务的关联规则,有益于综合评价各事务在信息系统中的作用。实例分析表明了所提算法的有效性。

关键词：关联约简关联规则粗糙集属性约简

来源：评论

学校读者我要写书评

暂无评论

基于粗糙集的快速KNN文本分类算法

引用

计算机工程 2010年第24期36卷 175-177页

作者：孙荣宗苗夺谦卫志华李文同济大学电子与信息工程学院计算机科学与技术系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

传统K最近邻一个明显缺陷是样本相似度的计算量很大,在具有大量高维样本的文本分类中,由于复杂度太高而缺乏实用性。为此,将粗糙集理论引入到文本分类中,利用上下近似概念刻画各类训练样本的分布,并在训练过程中计算出各类上下近似的范... 详细信息

传统K最近邻一个明显缺陷是样本相似度的计算量很大,在具有大量高维样本的文本分类中,由于复杂度太高而缺乏实用性。为此,将粗糙集理论引入到文本分类中,利用上下近似概念刻画各类训练样本的分布,并在训练过程中计算出各类上下近似的范围。在分类过程中根据待分类文本向量在样本空间中的分布位置,改进算法可以直接判定一些文本的归属,缩小K最近邻搜索范围。实验表明,该算法可以在保持K最近邻分类性能基本不变的情况下,显著提高分类效率。

关键词：文本分类 K最近邻粗糙集

来源：评论

学校读者我要写书评

暂无评论

信标可控性定义及问题

引用

自动化学报 2014年第12期40卷 2687-2696页

作者：尤丹王寿光周孟初浙江工商大学信息与电子工程学院杭州310018 同济大学教育部嵌入式系统与服务计算重点实验室上海201804 美国新泽西理工学院电子与计算机工程系美国纽瓦克市NJ07102

死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者... 详细信息

死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.

关键词： Petri网活性信标可控性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：