龙环
- 作品数：6 被引量：8H指数：1
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学经济管理更多>>
- 灰箱演算的操作语义及表达能力研究
- 灰箱进程演算作为描述和分析移动计算系统的有效工具,因为其很强的抽象能力及其在理论和应用上的重要性,在进程演算领域一直得到广泛的关注。一方面,根据应用或理论研究的需要不断有新的灰箱演算类型被提出,随之而来的是在一些具体模型...
- 龙环
- 关键词：移动计算互模拟
- 文献传递
- 向量加法系统验证问题研究综述
- 2018年
- Petri网是形式化验证领域最重要的模型之一,具有重要的理论和应用价值.从验证算法分析的角度,Petri网可以被等价地抽象为向量加法系统.在对向量加法模型的研究中,人们又发展了一些重要的扩展模型.对近些年来国内外学者在向量加法系统验证领域取得的成果进行了系统总结.首先给出了向量加法系统及几个关键验证问题的形式化定义,并重点总结了一般向量加法系统模型上可达性问题的最新研究进展和关键技术;接着总结了当限定模型的维度为固定值时相关研究进展,重点给出了2维情况的核心定理;随后介绍了几个重要扩展模型,并总结了这些模型上验证问题研究的最新进展.在每一部分,都对未来研究方向及可能面临的挑战进行了展望.
- 张文博龙环
- 关键词：PETRI网可达性形式化验证
- 弱偏伪度量空间的完备和双完备被引量：1
- 2015年
- 对于一个弱偏伪度量空间而言,可以定义完备性、双完备性和Smyth完备性。每一个弱偏伪度量空间都是Smyth可完备的,特别地,而对于弱偏度量空间而言,双完备性等价于Smyth完备性。双完备的弱偏伪度量空间是Baire空间。
- 黄梦桥龙环李庆国
- 用P系统解决排序问题被引量：6
- 2008年
- 介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大大降低的可能性.
- 黄春毅董笑菊龙环
- 关键词：P系统
- 在权化的完备度量空间上解Divide&Conquer算法
- 2018年
- 每一个弱权化的度量空间可以序嵌入到一个度量空间的形式球中,并且这种嵌入是拓扑连续的。本文证明权化的完备度量空间上的收缩的弱Lipschitz函数的一个不动点定理,此不动点定理可以用来解Divide&Conquer算法。
- 黄梦桥龙环马昌社
- 基于非线性动力系统的产业结构分析
- 2018年
- 当一个动态对比结构满足广义Lotka-Volterra模型时,可以自然地建立关于该结构的对比度指标的二阶常微分方程。非线性的广义Lotka-Volterra模型蕴含一个线性动力系统,通过该线性动力系统,极小二乘法同样能够解决广义Lotka-Volterra理模型的参数估计问题。数值试验表明湖南省第三产业与其他两个产业建立的对比结构满足广义Lotka-Volterra模型,实证模型说明湖南省第三产业的发展动力来源于其自身,但受到其他两个产业的抑制。
- 黄梦桥龙环
- 关键词：动力系统非线性常微分方程产业结构
