上海市教育委员会重点学科基金(B412)

作品数：50被引量：608H指数：9
导出分析报告
相关作者：王晓玲周傲英金澈清曾振柄陈良育更多>>
相关机构：华东师范大学复旦大学上海电力学院安徽工程大学更多>>
相关期刊：《Communications in Theoretical Physics》《Chinese Physics B》《计算机工程与应用》《计算机应用与软件》更多>>
相关主题：EXACT_SOLUTIONS形式化验证数据集成隐私保护机器证明更多>>
相关领域：自动化与计算机技术理学机械工程电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于维基百科类别图的推特用户兴趣挖掘被引量：2
《计算机科学》2019年第9期79-84,共6页刘小捷 吕晓强 王晓玲 张伟 赵安 
国家自然科学基金(61472141);国家重点研发计划(2017YFC0803700);上海市重点学科建设项目(B412);上海市可信物联网软件协同创新中心(ZF1213)资助
以Twitter为代表的社交网络在人们的生活中发挥着重要作用,其庞大的用户群体给社交网络数据挖掘带来了巨大的价值。社交网络用户兴趣建模方法被广泛研究,并被用于提供个性化推荐。文中提出了一种基于维基百科类别图的Twitter用户兴趣挖...
关键词：社交网络 用户兴趣 个性化PageRank 推文推荐 
IM^2:一种改进的MIN/MAX窗口函数优化技术被引量：2
《华东师范大学学报（自然科学版）》2018年第1期103-116,共14页宋光旋 赵大鹏 王晓玲 
国家自然科学基金(61170085,61472141);上海市重点学科建设项目(B412);上海市可信物联网软件协同创新中心项目(ZF1213)
窗口函数作为一种分析型的OLAP函数加入SQL(Structured Query Language)标准已有十多年,而且随着分析型应用需求的增长窗口函数有着越来越广泛的应用前景.窗口函数的语法非常简单,却可以表达诸如rank、moving average、cumulative sum...
关键词：window函数 MIN/MAX 执行优化 POSTGRESQL 
基于隐语义模型的中医在线辅助诊疗系统被引量：3
《计算机应用》2017年第A01期303-307,共5页张颖 纪文迪 周毅萍 王晓玲 
国家自然科学基金资助项目(61532021;61472141);上海市重点学科建设项目(B412);上海市可信物联网软件协同创新中心资助项目(ZF1213)
当前对中医学的怀疑关键在于其缺少科学数据的支撑,因此,把中医诊疗的过程数据化十分重要。针对该问题提出一种数据驱动的中医诊疗方法,基于对医案中病症和对应处方的隐语义分析,找出隐含病机,发现隐含病机与病症和药物间存在的关系,建...
关键词：数据挖掘 隐含狄利克雷分布 隐语义模型 推荐算法 中医学 
Java应用系统的复杂网络分析(英文)被引量：1
《华东师范大学学报（自然科学版）》2017年第1期38-51,70,共15页沈娉婷 陈良育 
国家自然科学基金(61321064);上海市重点学科建设项目(B412)
大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程...
关键词：复杂网络 Java应用系统 幂律分布 类依赖图 函数依赖图 
基于查询概率的位置隐私保护方法被引量：10
《计算机应用》2017年第2期347-351,359,共6页赵大鹏 宋光旋 靳远远 王晓玲 
国家自然科学基金资助项目(61170085;61472141);上海市重点学科建设项目(B412);上海市可信物联网软件协同创新中心资助项目(ZF1213)~~
现有的隐私保护技术较少考虑到查询概率、map数据、信息点(POI)语义等边信息,攻击者可以将边信息与位置数据相结合推断出用户的隐私信息,为此提出一种新的方法 ARB来保护用户的位置隐私。该方法首先把空间划分为网格,根据历史查询数据...
关键词：基于位置的服务 位置隐私 边信息 查询概率 匿名 
轨迹数据压缩综述被引量：20
《华东师范大学学报（自然科学版）》2015年第5期61-76,共16页江俊文 王晓玲 
国家自然科学基金(61170085;61472141);上海市重点学科建设项目(B412);上海市可信物联网软件协同创新中心项目(ZF1213)
移动终端的普及和全球定位系统(Global Positioning System,GPS)的发展,产生了海量的移动轨迹数据.许多基于位置服务(Location-Based Services,LBS)利用这些轨迹数据为用户提供服务.但是轨迹数据的日益增多也带来了许多挑战:数据量巨大...
关键词：轨迹数据 压缩 查询 管理 压缩率 
LBS的隐私保护:模型与进展被引量：3
《华东师范大学学报（自然科学版）》2015年第5期28-45,共18页赵大鹏 梁磊 田秀霞 王晓玲 
国家自然科学基金(61170085;61472141);上海市重点学科建设项目(B412);上海市可信物联网软件协同创新中心(ZF1213)资助
近些年来,随着配备定位功能的移动终端数量迅速增加,基于位置服务(LBS)的应用呈现爆炸式的增长,例如查找最邻近的加油站、一公里范围内的所有餐厅等.在用户享受着这些LBS服务为工作、生活带来方便的同时,许多隐私安全问题也逐渐引起了...
关键词：基于位置服务 隐私保护 攻击模型 度量模型 数据集 
空间生命支持系统中VCCR子系统的安全性验证
《计算机科学》2014年第6期193-198,共6页李倩 郁文生 
国家自然科学基金(61370176;61070048);国家自然科学基金委员会创新研究群体科学基金(61021004);国家"863"计划(2011AA010101);国家"973"计划(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证...
关键词：混成系统 生命支持系统 VCCR系统 形式化验证 KeYmaera工具 
怎样用八段圆弧画一个与给定椭圆偏差最小的曲线?被引量：1
《数学的实践与认识》2013年第23期175-181,共7页曾振柄 陈明雁 
国家自然科学基金(61021004);上海市重点学科项目(B412)
通过分析传统的八心圆椭圆近似作图的误差,从曲线最佳逼近的角度出发,给出一种偏差接近最小、且容易用尺规作图完成的新画法.研究结果,可以应用到数控机床加工之中.
关键词：椭圆画法 圆弧 曲线逼近 八心圆画法 
Parallel computation of determinants of matrices with multivariate polynomial entries被引量：2
《Science China(Information Sciences)》2013年第11期154-169,共16页CHEN LiangYu ZENG ZhenBing 
supported by National Natural Science Foundation of China(Grant No.61021004);Specialized Research Fund for the Doctoral Program of Higher Education(Grant Nos.20110076110010,20110076120015);Shanghai Municipal Natural Science Foundation(Grant No.11ZR1411500);Innovation Program of Shanghai Municipal Education Commission(Grant No.11ZZ37);Shanghai Leading Academic Discipline Project(Grant No.B412);Fundamental Research Funds for the Central Universities(Grant No.78210152)
In this paper we present an extension to the work of Bjorck et al. for computing the determinants of matrices with univariate or bivariate polynomials as entries to multivariate case. The algorithm supports parallel c...
关键词：DETERMINANT INTERPOLATION parallel algorithm 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部