国家自然科学基金(69973032)
- 作品数:28 被引量:139H指数:7
- 相关作者:尤晋元秦小麟包磊张保稳陈昊鹏更多>>
- 相关机构:上海交通大学南京航空航天大学中国人民解放军海军工程大学更多>>
- 发文基金:国家自然科学基金上海市科学技术发展基金江苏省自然科学基金更多>>
- 相关领域:自动化与计算机技术经济管理电子电信天文地球更多>>
- 从UML状态图到PVS规范的自动转换、验证被引量:17
- 2002年
- 将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.
- 赖明志尤晋元
- 关键词:UML状态图自动转换统一建模语言
- 时空聚集计算研究进展被引量:2
- 2006年
- 时空数据库要处理大量的数据。相对于单个时空数据来说,大量数据的聚集计算结果更有信息量。本文综述了时态聚集、空间聚集和时空聚集计算领域的研究现状,着重分析了各类时空聚集算法的研究进展。讨论了目前时空聚集计算存在的问题,并指出了今后的发展方向。
- 包磊秦小麟
- 关键词:时空数据库聚集查询聚集函数
- 协调技术综述被引量:1
- 2002年
- 1引言
近年来,计算机的性能、价格、体积在不断发生巨大的变化,对此人们思维中的概念也不断更新:从单一的符号处理、数字计算演变为代表个人组织行使职能,且具有和外界交互的能力.协调技术(Coordination Technology)[1,2]正是一个新发展起来的研究领域,研究如何管理这种交互,从而使计算系统有效地进行协同工作.
- 夏顺东尤晋元
- 关键词:网络计算数据驱动计算机
- J2EE应用服务器内置部署器的设计与实现被引量:3
- 2004年
- 本文提出了一种J2EE应用服务器内置部署器的体系结构 ,并且给出了其实现方案。它完全符合J2EE规范的相应要求 ,并且具有良好的可扩展性 ,能够满足企业应用部署的要求。
- 陈昊鹏张保稳
- 关键词:J2EE服务器体系结构
- 利用灰集进行空间区域拓扑关系不确定性定量分析被引量:2
- 2011年
- 针对不确定性空间区域对象间拓扑关系不确定性的定量分析问题,提出了一种具有双隶属度函数的灰集表示模型,利用双隶属度函数的截集将不确定性空间区域对象转化为确定性区域对,借用相关的不确定性空间拓扑关系定性分析模型,将不确定性空间对象间拓扑关系的不确定性量化为一个可信度区间。
- 包磊罗兵秦小麟
- 关键词:地理信息系统拓扑分析不确定性
- 数据库时空选择性查询的灰色预测法被引量:2
- 2010年
- 提出了一种时空选择性查询的灰色预测法,采用自适应多维直方图对当前数据库时间上各对象的分布进行概括,用于时空选择性的快速估算;利用灰色预测模型GM(1,1)根据各个历史时间点上的查询值进行预测和估计.尽管单个时空对象的运动情况包含较大的随机性,但是大量对象的整体分布是随时间稳定变化的,利用灰预测模型可降低单个对象运动情况的高随机性对整体查询结果的影响.仿真实验结果表明本方法具有较好的精确度和稳定性.
- 包磊秦小麟
- 关键词:数据库直方图灰预测
- 身份托管方案研究
- 2002年
- 身份托管是在Kilian和Petrank于1998年提出的一种新的身份鉴定形式。在身份托管过程中,示证者A不将身份暴露给验证B,而是提供可以由授权第三方E鉴定出身份的信息。同时,B得到E可以根据这些信息鉴定出A身份的保证。本文提出了一种新的满足所有必要特性的身份托管方案。和已有的方案相比,该方案的优点是:既满足不可假冒性,又满足可分离性。此外,在该方案中,每个示证者只需要一个证书,从而提高了效率。
- 夏顺东尤晋元
- 关键词:身份鉴定离散对数信息安全密码
- 移动计算中维持可靠通讯链路的组件迁移
- 2002年
- 为了解决分布式系统中的动态负载均衡、容错、动态资源利用、隐式的颗粒度控制等问题,透明的组件迁移技术起了非常重要的作用。该文描述了一种在动态网络拓扑中有效地维持系统组件之间通讯链路的迁移机制,并考虑了对并发迁移情况的处理。提出的机制只用到较少的系统拓扑知识,在迁移过程中不阻塞进程,而只要求迁移组件本身停止计算,因而对非迁移系统组件的影响被减至最低。此迁移算法虽然是在移动代理系统中实现,但原理同样适用于其它分布式系统。
- 余敏尤晋元
- 关键词:移动计算动态网络拓扑移动代理系统负载均衡计算机网络
- 基于灰集的不确定性时空数据模型被引量:4
- 2005年
- 不确定性处理是时空数据库面临的新问题。其研究的首要任务是对不确定时空对象进行建模,研究时空不确定性的表示和存储,进而设计离散模型实现数据库系统。提出了建立在灰集理论上的时空数据抽象模型,适合处理部分已知部分未知的不确定对象。首先给出了抽象数据类型的定义,包括建立在灰集理论上的基本数据类型,空间数据类型和时空数据类型;随后对不确定时空分析操作进行了简单的定性分析;最后给出不确定性时空查询的表达方式。
- 包磊秦小麟
- 关键词:时空数据库不确定性抽象数据类型
- 用于运动趋势预测的灰色时空数据模型被引量:4
- 2005年
- 时空数据库是现代数据库技术研究的新领域,其研究工作还处在模型研究阶段,已有的模型面向对象的过去信息,缺乏对时空对象将来运动趋势的计算与预测能力。为此,提出了一种新的时空数据模型,该模型不仅可以用于分析处理时空对象过去时刻的运动情况,还可以以较高的精度对近期将来的时空演化进行预测。该模型针对2维平面上自由运动的移动点对象,引入灰建模方法来降低离散抽样数据本身包含的不确定性,能够给出对象在一定时间上的整体运动趋势,从而提供更加精确的时空预测。
- 包磊秦小麟钟勇
- 关键词:时空数据库时空数据模型灰预测