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

计算机科学 2010年第9期37卷 127-130,150页

作者：程晓瑜曾国荪徐洪珍同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室上海201804

软件需要不断演化以适应复杂多变的环境和需求。为了分析软件演化的过程和规则,提出了一种特殊的图文法delta-grammar用以描述软件体系结构的演化,具体给出了增加、删除、替换、重组、拆分、并发等演化的产生式规则,从而能够方便、直观... 详细信息

软件需要不断演化以适应复杂多变的环境和需求。为了分析软件演化的过程和规则,提出了一种特殊的图文法delta-grammar用以描述软件体系结构的演化,具体给出了增加、删除、替换、重组、拆分、并发等演化的产生式规则,从而能够方便、直观、图示化地刻画演化过程。并且,以电子商务信息系统为例,展示了应用delta-grammar进行软件体系结构演化描述的过程和作用。

关键词：软件演化 Delta-grammar 产生式规则

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量结构分解的工作流性能分析方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种并行处理Skyline查询的有效方法

引用

自动化学报 2010年第7期36卷 968-975页

作者：黄震华向阳薛永生赵杠同济大学电子与信息工程学院上海200092 同济大学嵌入式系统与服务计算教育部重点实验室上海200092 厦门大学信息科学与技术学院厦门361005 复旦大学信息科学与工程学院上海200433

Skyline查询是近年来数据库领域的一个研究重点和热点,这主要是因为Skyline查询在许多领域有着广泛的应用.现有的工作大都集中于单处理机环境,然而,由于Skyline查询是CPU敏感的,因此,在实际应用中,现有的方法具有很大的局限性.基于此,... 详细信息

Skyline查询是近年来数据库领域的一个研究重点和热点,这主要是因为Skyline查询在许多领域有着广泛的应用.现有的工作大都集中于单处理机环境,然而,由于Skyline查询是CPU敏感的,因此,在实际应用中,现有的方法具有很大的局限性.基于此,提出一种有效降低处理Skyline查询时间开销的并行算法PAPSQ(Parallel algorithm for processing skyline queries).算法有机结合多维数据对象的自身特性和通用多处理机系统的实施优点,以Skyline查询搜索偏序格为底层结构,利用多维数据对象的同胚评估值和偏序格加权技术来有效提高并行处理Skyline查询的效率.实验评估表明,PAPSQ算法具有有效性和实用性.

关键词： Skyline查询并行处理搜索偏序格查询优化性能评估

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机学报 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在确定性策略下空间时间可达概率的对偶性质,将带有约束的空间性能验证最终转化为时间性能的可达分析,给出验证算法.文中的结论和算法为复杂系统的性能分析提供了新的思路和方法.

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

来源：评论

学校读者我要写书评

暂无评论

无线脉搏波测量及性别区分——基于在体传感网的多点测量应用

引用

计算机工程与应用 2010年第35期46卷 231-234页

作者：张伟颜仕星李国正同济大学电子与信息工程学院控制科学与工程系上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

人体脉搏波中包含着丰富的生理病理信息,在中国传统医学中深受重视。基于脉搏波测量传感器和在体传感器网络通信技术,设计并实现了一种无线脉搏波测量装置,使测量过程更加方便灵活,并能远程进行。在实测数据的基础上,引入多种时频特征... 详细信息

人体脉搏波中包含着丰富的生理病理信息,在中国传统医学中深受重视。基于脉搏波测量传感器和在体传感器网络通信技术,设计并实现了一种无线脉搏波测量装置,使测量过程更加方便灵活,并能远程进行。在实测数据的基础上,引入多种时频特征提取方法和支持向量机进行了男女性别区分的探索,频域特征准确率为56%,时域特征作用不明显。实验结果支持了中医界对切脉判定性别的说法,并说明频域特征对性别区分是有一定启示作用的。

关键词：在体传感网中医信息化脉搏波测量时频特征提取性别区分

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与应用 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最近邻粗糙集

来源：评论

学校读者我要写书评

暂无评论

基于近似动态规划的微粒群系统参数优化研究

引用

自动化学报 2010年第8期36卷 1171-1181页

作者：康琦汪镭安静吴启迪同济大学电子与信息工程学院上海201804 同济大学教育部嵌入式与服务计算重点实验室上海201804 上海应用技术学院机械与自动化工程学院上海200235

从系统最优控制的角度对微粒群参数的动态优化问题进行探讨.针对离散动态规划的"维数灾"问题,将群体启发式随机搜索机制引入动态规划的最优策略求解,提出了一种群体智能近似动态规划模式;基于该模式给出简化的确定型微粒群反... 详细信息

从系统最优控制的角度对微粒群参数的动态优化问题进行探讨.针对离散动态规划的"维数灾"问题,将群体启发式随机搜索机制引入动态规划的最优策略求解,提出了一种群体智能近似动态规划模式;基于该模式给出简化的确定型微粒群反馈控制系统参数优化的近似计算方法,并扩展应用于具有随机变量的微粒群系统;仿真计算得到了微粒群加速因子的近似最优动态规律,并将所得策略与一种时变加速因子(Time-varying acceleration coefficients,TVAC)策略进行了函数优化性能的比较与分析,初步实验结果表明该近似动态规划模式可有效地用于微粒群系统参数的动态优化设置.

关键词：群体智能近似动态规划微粒群系统参数优化

来源：评论

学校读者我要写书评

暂无评论

LCC谐振软开关技术在感应加热电源中的应用

引用

机电一体化 2010年第10期16卷 70-75,79页

作者：许晶晶康劲松同济大学嵌入式系统与服务计算教育部重点实验室上海200092

在传统感应加热串联谐振模式的基础上,提出了一种新型串并联谐振模式,即LCC谐振电路。通过在电路中增加一个并联谐振元件,解决了串联谐振模式输出电压受限于输入电压的问题,避免高频负载匹配变压器的使用,缩小了感应加热电源的体积和重... 详细信息

在传统感应加热串联谐振模式的基础上,提出了一种新型串并联谐振模式,即LCC谐振电路。通过在电路中增加一个并联谐振元件,解决了串联谐振模式输出电压受限于输入电压的问题,避免高频负载匹配变压器的使用,缩小了感应加热电源的体积和重量,对LCC谐振模式的电路结构进行详细分析和参数选择,通过仿真验证了该谐振模式的可行性和参数设计的正确性,并通过设计使开关器件工作于零电压软开关模式,解决了高频化所带来的开关损耗大和开关器件应力大等问题。

关键词：感应加热软开关拓扑分析参数设计

来源：评论

学校读者我要写书评

暂无评论

醉酒者和正常人脑电的样本熵研究

引用

中国生物医学工程学报 2010年第6期29卷 939-942页

作者：邹阳苗夺谦王登同济大学电子与信息工程学院计算机科学与技术系上海201804 国家高性能计算机工程中心同济分中心同济大学嵌入式系统与服务计算教育部重点实验室

为了探索应用非线性动力学理论研究醉酒者脑电信号的新方法,采用非线性动力学指标:样本熵对醉酒者和正常人的脑电信号进行分析和比较。试验随机选取了相同数目的醉酒者和正常人,运用样本熵算法对他们的脑电数据进行计算,得到样本熵值,... 详细信息

为了探索应用非线性动力学理论研究醉酒者脑电信号的新方法,采用非线性动力学指标:样本熵对醉酒者和正常人的脑电信号进行分析和比较。试验随机选取了相同数目的醉酒者和正常人,运用样本熵算法对他们的脑电数据进行计算,得到样本熵值,然后对这些熵值进行分析。结果显示:醉酒者的样本熵普遍都大于正常人的样本熵,表明大脑在醉酒状态下复杂度会比正常状态要高。样本熵能够有效地区分醉酒者和正常人的脑电状态。

关键词：样本熵醉酒者正常人脑电

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：