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

电机与控制学报 2014年第12期18卷 24-30页

作者：杨克虎卫炜王聪袁如意郁文生中国矿业大学机电与信息工程学院北京100083 中国科学院自动化研究所综合信息中心北京100190 华东师范大学上海高可信计算重点实验室上海200062

数值算法和智能算法在求解特定消谐方程组时存在诸多局限,例如初值选取困难,只能得到局部最优解等。针对此问题,提出一种基于groebner基的完备算法。首先将消谐方程组转化为多项式方程组,再通过计算此多项式方程组在纯字典序下的约化gro... 详细信息

数值算法和智能算法在求解特定消谐方程组时存在诸多局限,例如初值选取困难,只能得到局部最优解等。针对此问题,提出一种基于groebner基的完备算法。首先将消谐方程组转化为多项式方程组,再通过计算此多项式方程组在纯字典序下的约化groebner基将其化为三角列,最后通过逐次的代入求解并结合约束条件完成对消谐方程组的求解。此方法的优点是无需给定初值且能够求出方程组的所有解,进而得到全局最优解,对于开关点数小于9的单相逆变器和开关点数小于6的三相逆变器都能快速有效求解。仿真结果验证了该方法所求开关角度的有效性。

关键词：特定谐波消除逆变器脉宽调制 groebner基全局最优解

来源：评论

学校读者我要写书评

暂无评论

基于评论分析的酒店推荐系统

基于评论分析的酒店推荐系统

引用

第31届中国数据库学术会议

作者：张凯王科强王晓玲金澈清周傲英华东师范大学软件学院上海市高可信计算重点实验室上海200062

个性化的推荐系统可以精准地为用户提供其感兴趣的结果.但是,酒店是一类特殊的商品,个体对其的偏好差异较大,简单的用户星级评分机制很难满足个性化需求.构建了一个基于位置服务(LBS)的应用,提供个性化的酒店推荐服务.设计思路如下:1)... 详细信息

个性化的推荐系统可以精准地为用户提供其感兴趣的结果.但是,酒店是一类特殊的商品,个体对其的偏好差异较大,简单的用户星级评分机制很难满足个性化需求.构建了一个基于位置服务(LBS)的应用,提供个性化的酒店推荐服务.设计思路如下:1)将目光投向内容丰富的用户评论数据,通过对评论进行主题建模来寻找与用户偏好相近的酒店,然后再根据评论的倾向,正面或负面,以及情感程度来衡量酒店质量,越符合用户偏好且评论情感越正面的酒店优先考虑;2)出行目的相同的人群往往具有相似的特征偏好,可以作为推荐依据;3)为了防止酒店推荐结果之间过于相似,综合考虑推荐列表的多样性.结果表明:推荐结果更符合用户需求.

关键词：推荐系统主题建模位置服务用户偏好特征偏好

来源：评论

学校读者我要写书评

暂无评论

误差可控计算软件Isreal

误差可控计算软件Isreal

引用

第六届全国计算机数学学术会议

作者：赵世忠华东师范大学上海市高可信计算重点实验室上海 200062

来源：评论

学校读者我要写书评

暂无评论

可信的"算术表达式计算器"

可信的"算术表达式计算器"

引用

2014年全国工业控制计算机技术年会

作者：赵世忠华东师范大学上海市高可信计算重点实验室上海 200062

最近几十年,人类对科学计算的精确性要求越来越高.作为一切运算的基础,算术表达式的精确计算具有重要意义.本文概述了经典的误差控制理论,分析了Maple与Matlab软件的计算准确性;对于由浮点数、整数、加减乘除四则运算以及对数指数幂等... 详细信息

最近几十年,人类对科学计算的精确性要求越来越高.作为一切运算的基础,算术表达式的精确计算具有重要意义.本文概述了经典的误差控制理论,分析了Maple与Matlab软件的计算准确性;对于由浮点数、整数、加减乘除四则运算以及对数指数幂等基本初等运算构成的算术表达式,通过精确控制每一个中间运算的精度,提出了误差可控的可信计算算法,并利用C++语言实现一个可信计算器.

关键词：算术表达式计算器误差控制理论计算准确性可信计算算法

来源：评论

学校读者我要写书评

暂无评论

面向用户观点分析的多分类器集成和优化技术

引用

计算机学报 2013年第8期36卷 1650-1658页

作者：林煜明朱涛王晓玲周傲英华东师范大学软件学院上海市高可信计算重点实验室上海200062

网络上用户生成的数据(User-Generated Data)富含用户的观点(情感),自动识别这些用户观点对很多的Web应用具有重要的作用,例如推荐系统和电子商务/政务智能系统等.但用户的观点表达通常与领域是相关的,因此对于不同的分析领域,用户难以... 详细信息

网络上用户生成的数据(User-Generated Data)富含用户的观点(情感),自动识别这些用户观点对很多的Web应用具有重要的作用,例如推荐系统和电子商务/政务智能系统等.但用户的观点表达通常与领域是相关的,因此对于不同的分析领域,用户难以选择到效果最好的分类器.文中针对用户观点分析问题设计了一个三阶段的多分类器集成框架,在此框架下用户只需指定可用的分类器,系统将自动选择一组最优的分类器组合,将它们的预测结果整合为最终分类结果,同时能够保证分类效果优越于最好的单分类器.针对分类器组的选择过程中面临的组合爆炸问题,文中在考虑分类器的准确度和多样性的基础上,设计了一个贪心算法选择成员分类器,并证明该算法是2-近似的.最后,在不同领域的真实数据集上进行了充分的实验,实验结果验证了文中提出的框架和算法的有效性.

关键词：观点分析集成学习分类准确度多样性近似算法

来源：评论

学校读者我要写书评

暂无评论

初等函数可验证赋值及误差分析

初等函数可验证赋值及误差分析

引用

2014湖北省计算机学会学术年会

作者：刘剑唐敏曾霞曾振柄华东师范大学上海高可信计算重点实验室上海200062 华东师范大学上海高可信计算重点实验室上海200062 桂林电子科技大学数学与计算机学院桂林541004

研究了GNU标准下初等函数的赋值原理及算法实现.基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析.利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写... 详细信息

研究了GNU标准下初等函数的赋值原理及算法实现.基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析.利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界.

关键词：初等函数误差分析区间算术可验证赋值

来源：评论

学校读者我要写书评

暂无评论

基于对象异常频度的数据流阈值查询

引用

计算机学报 2013年第8期36卷 1602-1615页

作者：张敬伟金澈清林煜明周傲英华东师范大学软件学院上海市高可信计算重点实验室上海200062 桂林电子科技大学广西可信软件重点实验室广西桂林541004

数据流查询与处理技术广泛应用在金融系统等诸多领域中,银行卡交易系统中存在的由终端复用所导致的不规范交易即是一个典型案例.此类不规范交易存在两个特点:(1)对象频繁出现;(2)对象的值序列频繁波动.然而,现有的频繁项挖掘算法仅考虑... 详细信息

数据流查询与处理技术广泛应用在金融系统等诸多领域中,银行卡交易系统中存在的由终端复用所导致的不规范交易即是一个典型案例.此类不规范交易存在两个特点:(1)对象频繁出现;(2)对象的值序列频繁波动.然而,现有的频繁项挖掘算法仅考虑第一个特点,无法有效解决问题,亟需开发新技术进行检测.文中首先形式化地定义了这类不规范交易查询,再设计了多个创新算法进行处理.此外,文中还将工作扩展到滑动窗口模型以处理数据流演化问题.理论分析与实验结果均表明所提方法具有较佳性能,空间复杂度与时间复杂度都较低.

关键词：数据流查询元素对采样异常频度滑动窗口

来源：评论

学校读者我要写书评

暂无评论

基于环境的多形态时间需求建模方法

引用

计算机学报 2013年第1期36卷 88-103页

作者：陈小红刘静华东师范大学上海市高可信计算重点实验室上海200062 北京大学高可信软件技术教育部重点实验室北京100871 浙江师范大学计算机软件与理论省级重中之重学科浙江金华321004

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该... 详细信息

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.

关键词：时间需求多形态时间基于环境建模嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

逆向序敏感查询在互联网广告投放中的应用

引用

华东师范大学学报（自然科学版） 2013年第3期 26-36,53页

作者：张召申凯文宫学庆华东师范大学软件学院上海市高可信计算重点实验室上海200062

产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的... 详细信息

产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的例子来对这几种查询方法进行形象化的展示.最后,对这几种查询进行了总结和展望.

关键词：广告投放序敏感查询逆向序查询

来源：评论

学校读者我要写书评

暂无评论

软件动态正确性的形式化描述

引用

计算机研究与发展 2013年第3期50卷 626-635页

作者：马艳芳张敏陈仪香淮北师范大学计算机科学与技术学院安徽淮北235000 上海市高可信计算重点实验室(华东师范大学软件学院) 上海200062

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互... 详细信息

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质.

关键词：软件正确性参数化互模拟形式化极限拓扑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：