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

计算机应用 2017年第A01期37卷 303-307页

作者：张颖纪文迪周毅萍王晓玲上海市高可信计算重点实验室(华东师范大学) 上海200000 上海中医药大学基础医学院上海200000

当前对中医学的怀疑关键在于其缺少科学数据的支撑,因此,把中医诊疗的过程数据化十分重要。针对该问题提出一种数据驱动的中医诊疗方法,基于对医案中病症和对应处方的隐语义分析,找出隐含病机,发现隐含病机与病症和药物间存在的关系,建... 详细信息

当前对中医学的怀疑关键在于其缺少科学数据的支撑,因此,把中医诊疗的过程数据化十分重要。针对该问题提出一种数据驱动的中医诊疗方法,基于对医案中病症和对应处方的隐语义分析,找出隐含病机,发现隐含病机与病症和药物间存在的关系,建立了一个基于传统中医医案挖掘的多内容隐含狄利克雷分布(LDA)模型。基于模型的结果,提出根据症状推荐药物的算法,并且建立了基于隐语义模型的中医在线辅助诊疗系统。通过实验评估推荐算法的有效性,在精度、召回率方面均好于基线方法。中医在线辅助诊疗系统能提供数据驱动的诊疗结果辅助中医师诊疗,帮助中医更准确、全面、智能地制定科学的治疗方案。

关键词：数据挖掘隐含狄利克雷分布隐语义模型推荐算法中医学

来源：评论

学校读者我要写书评

暂无评论

基于时空I/O混成自动机的物联网服务验证

引用

科技通报 2014年第5期30卷 95-101页

作者：赵文明张敏杭州职业技术学院信息电子系杭州310018 华东师范大学上海市高可信计算重点实验室上海200062

物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中,首先对物联网服务进行了描述,并... 详细信息

物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中,首先对物联网服务进行了描述,并使用时空I/O混成自动机对物联网服务进行建模。这些时空I/O混成自动机形成一个网络,刻画完整的物联网服务的通信并行过程。文中采用的形式化验证方法为微分动态逻辑(Differential Dynamic Logic,DL),其操作模型为HP(Hybrid Program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的物联网服务性质进行规约,最后使用定理证明器KeYmaera验证物联网服务的正确性。

关键词：物联网服务时空I O混成自动机微分动态逻辑时空一致性形式化验证 KeYmaera

来源：评论

学校读者我要写书评

暂无评论

求解特定消谐逆变器开关角度的完备算法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

LBS的隐私保护:模型与进展

引用

华东师范大学学报（自然科学版） 2015年第5期 28-45页

作者：赵大鹏梁磊田秀霞王晓玲华东师范大学数据科学与工程研究院上海市高可信计算重点实验室上海200062 上海电力学院计算机科学与技术学院上海201300

近些年来,随着配备定位功能的移动终端数量迅速增加,基于位置服务(LBS)的应用呈现爆炸式的增长,例如查找最邻近的加油站、一公里范围内的所有餐厅等.在用户享受着这些LBS服务为工作、生活带来方便的同时,许多隐私安全问题也逐渐引起了... 详细信息

近些年来,随着配备定位功能的移动终端数量迅速增加,基于位置服务(LBS)的应用呈现爆炸式的增长,例如查找最邻近的加油站、一公里范围内的所有餐厅等.在用户享受着这些LBS服务为工作、生活带来方便的同时,许多隐私安全问题也逐渐引起了人们的关注.全面了解基于位置服务中现有的隐私保护工作,有利于研究者把握该领域的研究现状、未来发展方向以及存在的挑战.本文对LBS隐私保护领域中近些年的发展进行了研究总结,重点介绍了LBS隐私保护领域现有的攻击模型、隐私保护模型、度量模型以及数据集,并对现有攻击模型与隐私保护模型进行分类总结,根据其特点进行对比分析,最后探讨了LBS隐私保护目前存在的问题以及未来的发展方向.

关键词：基于位置服务隐私保护攻击模型度量模型数据集

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 2015年第4期42卷 25-30页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

点集拓扑学之杨忠道定理的一个机械化证明

引用

中国科学：数学 2021年第1期51卷 257-288页

作者：曾振柄王建林杨争峰小林英恒上海大学数学系上海200444 河南大学计算机与信息工程学院开封475004 华东师范大学上海市高可信计算重点实验室上海200062 Department of Mathematics College of Science and TechnologyNihon UniversityTokyo 101-8308Japan

本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.

关键词：拓扑空间开集闭集导集杨忠道定理机器证明

来源：评论

学校读者我要写书评

暂无评论

云计算系统可靠性研究综述

引用

计算机研究与发展 2020年第1期57卷 102-123页

作者：段文雪胡铭周琼吴庭明周俊龙刘晓魏同权陈铭松华东师范大学上海市高可信计算重点实验室上海200062 上海外国语大学国际金融贸易学院上海200083 南京理工大学计算机科学与技术学院南京210094 迪肯大学信息技术学院澳大利亚墨尔本VIC 3125

云计算作为一种新型计算模式,已经受到了学术界和工业界的广泛关注.基于资源虚拟化技术,云计算能够以按需使用、按使用量付费的方式为用户提供基础设施、平台、软件等服务.因此,越来越多的企业和组织选择云计算来部署他们的科学或商业应... 详细信息

云计算作为一种新型计算模式,已经受到了学术界和工业界的广泛关注.基于资源虚拟化技术,云计算能够以按需使用、按使用量付费的方式为用户提供基础设施、平台、软件等服务.因此,越来越多的企业和组织选择云计算来部署他们的科学或商业应用.然而,随着用户数量的不断增加,数据中心的规模在迅速扩大、架构变得日益复杂,导致云计算系统的运行故障频繁发生,造成了巨大的损失.因此在规模巨大、架构复杂的云计算系统中,如何保障系统的可靠性已经成为一个极具挑战性的问题.针对云计算可靠性问题,概述了云计算系统中常见的各种故障,并详细描述了目前云计算中提高可靠性关键的故障管理技术;由于故障管理技术的应用会不可避免地增加系统的能耗,因此介绍了云计算中可靠性与能耗权衡问题的研究现状;最后列举了当前云计算可靠性研究中存在的主要挑战.

关键词：云计算虚拟化可靠性故障管理能耗

来源：评论

学校读者我要写书评

暂无评论

可满足性问题全部解的求解算法

引用

计算机工程与应用 2009年第3期45卷 35-37页

作者：毕忠勤陈光喜单美静华东师范大学上海市高可信计算重点实验室上海200062 桂林电子科技大学数学与计算科学学院广西桂林541004

SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究。利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后... 详细信息

SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究。利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT问题所有解的算法。

关键词：可满足性问题局部搜索多项式扩展自动求解

来源：评论

学校读者我要写书评

暂无评论

颜色密度直方图检索方法

引用

小型微型计算机系统 2021年第10期42卷 2085-2088页

作者：王小玲毛宏燕上海立信会计金融学院信息管理学院上海201620 华东师范大学上海高可信计算重点实验室上海200062

颜色是基于内容的图像检索的重要特征.传统颜色直方图由于只考虑色彩总量而无法区别色彩空间分布差异.本文提出了一种新的颜色密度直方图(Color Density Histogram CDH).通过计算主要颜色的密度,反映颜色的空间分布离散程度.密度大,颜... 详细信息

颜色是基于内容的图像检索的重要特征.传统颜色直方图由于只考虑色彩总量而无法区别色彩空间分布差异.本文提出了一种新的颜色密度直方图(Color Density Histogram CDH).通过计算主要颜色的密度,反映颜色的空间分布离散程度.密度大,颜色分布较集中,密度小,则颜色分布较分散.在HSV颜色空间上,使用CAREL的1000图像做测试数据集,在平均查准率、查全率上都优于颜色直方图方法.结果表明,CDH能够结合颜色和空间特征,比传统的颜色直方图具有具有更好的检索效果.

关键词：基于内容的图像检索颜色直方图空间分布基于颜色的图像检索

来源：评论

学校读者我要写书评

暂无评论

空间有理曲线的μ基及隐式化

空间有理曲线的μ基及隐式化

引用

全国第15届计算机辅助设计与图形学学术会议

作者：申立勇上海高可信计算重点实验室华东师范大学软件学院上海 200062

空间有理曲线是计算机辅助几何设计中常用曲线,本文以空间曲线为研究对象,讨论其μ基形式,并用μ基方法快速隐式化一类曲线.μ基方法是近年发展起来一个有效的代数工具,本文首先给出μ基定义和一些基本性质,之后基于μ基算法分析给出空... 详细信息

空间有理曲线是计算机辅助几何设计中常用曲线,本文以空间曲线为研究对象,讨论其μ基形式,并用μ基方法快速隐式化一类曲线.μ基方法是近年发展起来一个有效的代数工具,本文首先给出μ基定义和一些基本性质,之后基于μ基算法分析给出空间曲线μ基的符号公式,进一步,讨论了用μ基方法隐式化空间有理曲线.通过对结式性质的细致分析,本文得出一类空间曲线快速隐式化的结果,这类曲线隐式的仿射簇可以用μ基的两两单变量结式表示,对不满足条件的情况我们给出了反例.

关键词：空间曲线仿射簇隐式化 μ基计算机辅助设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：