公共文化服务平台

华东师范大学软件学院上海市高可信计算重点实验室: 作品数：117 被引量：1,010H指数：13; 相关作者：刘静陈胜利关冬亮吴敏何向南更多>>; 相关机构：复旦大学计算机科学技术学院复旦大学计算机科学技术学院上海市智能信息处理重点实验室安徽工程大学计算机与信息学院更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>; 相关领域：自动化与计算机技术理学文化科学医药卫生更多>>

合作机构

算术表达式的一种可信计算算法及其软件ISReal被引量：4: 2016年; 算术表达式的精确计算是确保各类复杂计算正确性的基础.然而,对于大多数主流软件来说,计算过程中"不正确的舍入误差"与机器误差,导致计算结果不稳定.针对这种计算不稳定问题,本文提出中间运算的精度自适应技术,进而给出算术表达式的一种可信计算算法,并用C++实现软件ISReal.利用该算法(软件),不论计算模型是"良态的"还是"病态的",均可计算出其任意精度的值,即计算结果始终与理论结果相一致.; 赵世忠; 关键词：可信计算

TPCHSuite:一个TPC-H自动化测试工具的设计与实现被引量：2: 2013年; 随着数据库管理技术的发展,市面上出现了多种数据库管理系统产品.如何有效地评测数据库系统变得非常关键.TPC-H即是一个易用、面向决策支持系统的评测系统,它总共包含了22个SQL查询语句.实现了一个支持TPC-H的评测系统,该评测系统也支持以CPU利用率和内存占用率做为性能指标.此外,当用户使用全部22个查询进行测评时,在海量数据情况下,可能导致执行时间非常缓慢,甚至会得不到查询结果,本原型系统支持用户自主选择SQL语句进行查询.; 康强强江舟金澈清周傲英; 关键词：评测系统 CPU利用率海量数据

面向不确定图的k最近邻查询: 生物网络、社会网络、交际网络等复杂的网络被广泛的研究,由于数据抽出时引入的噪声和错误使这些数据具有不确定性,因此可以对这些应用使用不确定图模型建模,k最近邻查询问题是查询一个图上的距离某个特定点最近的k个邻居节点的问题,...; 张旭何向南金澈清周傲英; 关键词：数据挖掘信息处理 K最近邻查询

数集在不同进制下对应形式语言的研究: 本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理，证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无关语言。; 郭泽宇朱洪; 关键词：形式语言正则语言上下文无关语言

逻辑系统MTL_▽及其完备性被引量：2: 2011年; 在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL▽代数的概念,并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。; 时慧娴王国俊

数集在不同进制下对应形式语言的研究: 本文研究了整数B>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理，证明了该集合在B进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无关语言。; 文献传递网络资源链接

有限域上方程x^r=a的求解: 2014年; 有限域上方程求解在一些著名的公钥密码算法、二次筛法分解整数算法、椭圆曲线上点的计数及椭圆曲线素性检测中都有重要应用.在这篇文章中我们对Berlekamp在Fp上求解x2=a的随机算法进行了扩展,以用来对x3=a这样的代数方程来求解,同时利用分圆理论给出了其期望运行时间的分析.与以往的算法不同的是,我们使用二次剩余理论来对三次方程进行求解,计算的过程中并不需要寻找三次非剩余,该算法的期望运行时间为O(log2p(loglogp))次位操作.同时我们也将这一方法扩展到对Fp上任意的三次方程即x3+ax2+bx+c=0的求解,给出对于该方程解的个数并求得x3+ax2+bx+c=0的所有解.另外,我们将Cipolla-Lehmer方法通过计算有限域上元素范数的方法扩展到Fp上方程xr=a的求解,其中r为素数幂,该算法也是随机算法.我们通过构造Fq[x]上的不可约多项式f(x),来构造我们的算法,其中deg(f)=r且f(x)的常数项为(-1)ra.同时我们利用Davenport-Hasse关系和Double Counting技术,给出对我们的算法分析,其期望运行时间为O(logq)次Fq上的运算.对于满足r4=q的r,我们的算法是非常有效的.; 李哲董晓蕾曹珍富; 关键词：有限域

SERA:股票历史交易重现和分析系统: 2011年; 当前股票市场正在对国民经济发挥着越来越重要的影响,同时也作为一个窗口反映国家的经济状况.分析历史交易和重现历史交易过程能够给人们带来很多启发和新信息.但是,考虑到现有股票交易系统安全性、可靠性和价格因素,无法在原有系统上进行修改或二次开发.这就需要一个全新的系统对历史数据进行管理.提出的原型系统是利用廉价PC构成的分布式系统实现了对股票历史交易重现和对股票交易数据进行统计分析的功能.详细介绍了该系统的整体架构和各模块的实现方法,并提出了完整的测试方案.该原型系统为进一步进行股票交易系统的开发和股票交易数据的分析研究奠定了基础.; 周遥冯亮张俍翁念龙张蓉; 关键词：分布式系统

阿育吠陀医学与藏医学、蒙医学的渊源关系被引量：1: 2023年; 古印度作为世界四大文明古国之一,拥有独特的医学体系,其中阿育吠陀医学作为印度传统医学的主体,是历史最为悠久、具有代表性的医学体系。阿育吠陀医学、藏医学和蒙医学三者同为世界上较为古老的医学体系之一,相互之间存在着一定关联。藏医学与蒙医学皆不同程度地吸收阿育吠陀医学理论并结合自身特点从而进一步发展,藏医学也对蒙医学的发展有推进作用。从发展史、医学理论基础、针灸疗法、放血疗法、尿诊等方面对藏医学、蒙医学与阿育吠陀的区别与联系进行比较研究。; 平措绕吉王证德陈飞腾蔡景伟吴敏海梅荣; 关键词：藏医学蒙医学阿育吠陀渊源关系

一阶子句搜索方法被引量：1: 2009年; 子句集的可满足性判定是自动证明领域的热点之一。提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型。结合部分实例化方法将子句搜索方法提升至一阶。一阶子句搜索方法可以判定子句集的M可满足性,具备终止性、正确性和完备性,是一种判定子句集可满足性的有效方法。; 郭远华曾振柄; 关键词：一阶逻辑可满足性