国家自然科学基金(69973032)
- 作品数：28 被引量：139H指数：7
- 相关作者：尤晋元秦小麟包磊张保稳陈昊鹏更多>>
- 相关机构：上海交通大学南京航空航天大学中国人民解放军海军工程大学更多>>
- 发文基金：国家自然科学基金上海市科学技术发展基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理电子电信天文地球更多>>
- 从UML状态图到PVS规范的自动转换、验证被引量：17
- 2002年
- 将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.
- 赖明志尤晋元
- 关键词：UML状态图自动转换统一建模语言
- 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维平面上自由运动的移动点对象,引入灰建模方法来降低离散抽样数据本身包含的不确定性,能够给出对象在一定时间上的整体运动趋势,从而提供更加精确的时空预测。
- 包磊秦小麟钟勇
- 关键词：时空数据库时空数据模型灰预测
- Web应用有效性的模型验证方法
- 2003年
- Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.
- 王知镕
- 关键词：WEB应用有效性SPINPROMELA
- 基于Web服务的多Agent系统的研究被引量：23
- 2004年
- 该文阐述了多Agent系统的主要特点和Web服务的核心概念。在此基础上 ,提出了基于Web服务的多Agent系统的体系架构 ,并探讨了该架结对于构建开放的、动态的、异构的多Agent系统所具有的优越性。
- 韩晓峰徐良贤
- 关键词：WEB服务体系架构多智能体系统分布式系统
