您的位置： 专家智库 > >

华东师范大学软件学院计算机理论研究所

作品数：10 被引量：43H指数：3
相关作者：何沙赵吉沈宇更多>>
相关机构：安阳工学院计算机科学与信息工程学院上海大学计算机工程与科学学院上海师范大学数理信息学院更多>>
发文基金：国家自然科学基金上海市教育委员会重点学科基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作机构

文献类型

  • 10篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 5篇理学

主题

  • 3篇WEB服务
  • 2篇谱半径
  • 2篇矩阵
  • 1篇形式化
  • 1篇形式化验证
  • 1篇虚拟机
  • 1篇上界
  • 1篇设计模式
  • 1篇瞬时态
  • 1篇死锁
  • 1篇死锁检测
  • 1篇算子
  • 1篇跳过程
  • 1篇排序
  • 1篇转移矩阵
  • 1篇组合优化
  • 1篇微分
  • 1篇微分方程
  • 1篇连续PETR...
  • 1篇邻接

机构

  • 10篇华东师范大学
  • 2篇安阳工学院
  • 1篇上海师范大学
  • 1篇浙江理工大学
  • 1篇上海大学
  • 1篇杭州外国语学...

作者

  • 4篇刘静
  • 3篇曹利培
  • 2篇束金龙
  • 2篇陈仪香
  • 1篇李爱玲
  • 1篇孔娟
  • 1篇袁劲松
  • 1篇丁佐华
  • 1篇缪淮扣
  • 1篇余啸
  • 1篇苗康
  • 1篇何沙
  • 1篇沈宇
  • 1篇马艳芳
  • 1篇赵吉
  • 1篇吴新星
  • 1篇江明月
  • 1篇尹艳

传媒

  • 2篇模糊系统与数...
  • 2篇高校应用数学...
  • 1篇应用数学学报
  • 1篇计算机学报
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇计算机科学

年份

  • 2篇2010
  • 4篇2009
  • 2篇2008
  • 2篇2007
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
树的Nordhaus-Gaddum类型谱半径的排序被引量：2
2007年
给出了n阶树的Nordhaus-Gaddum类型谱半径即图及其补图的谱半径之和的可达上界:ρ(T)+ρ(Tc)≤■+n-2,等号成立当且仅当T K1,n-1,其中Tc为T的补图,K1,n-1为n阶星图.同时证明了对于n阶双星图S(a,b)的Nordhaus-Gaddum类型谱半径随a的值单调上升,其中[n-1/2]≤a≤n-3.
何沙束金龙
关键词：补图谱半径
跳过程的μ-不变测度-含单瞬时态情形
2010年
μ-不变测度是随机过程中一类重要的测度.首先,本文得到了含有单瞬时态的q-过程存在性定理,并进一步说明了在一些特殊情况下可以只对q-对加条件,定理仍成立.然后,对给了含单瞬时态q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的μ-不变测度的问题进行了讨论研究,并给出了一个充分条件.
吴新星
关键词：Q-过程瞬时态
Halin图谱半径的新上界及极图被引量：3
2008年
利用移接变形的方法再结合特征值的计算技巧刻画出Halin图中谱半径达到第二大的极图,从而得到除轮图以外的Halin图的谱半径的上界以及极图.
袁劲松束金龙
关键词：HALIN图谱半径邻接矩阵
基于常微分方程的死锁检测实验分析被引量：1
2009年
用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.
丁佐华江明月刘静
关键词：死锁检测并发程序连续PETRI网常微分方程
基于图的Web服务组合优化的研究被引量：18
2007年
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。
曹利培刘静缪淮扣
关键词：WEB服务OWL-S
基于QoS的两阶段Web服务选择方法被引量：12
2009年
分析了已有的服务选择方法所存在的不足,根据基于QoS的服务选择方法类型的特点,提出采用QoS属性计算与QoS语义二者结合的方法进行服务选择。通过功能分类、服务相似度比较、QoS排序选择筛选掉大量Web服务,降低了全局算法的计算量,通过最短路径算法进行服务选择克服了局部优化无法考虑全局QoS约束的缺点,达到既满足组合服务中单个服务选择的局部约束条件,又满足组合服务全局约束条件的效果,最终使用户得到相对最优的组合服务。最后通过实例对提出的方法进行了验证。
曹利培李爱玲刘静
关键词：WEB服务服务质量
基于关系演算的Java模式识别被引量：5
2010年
分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。
苗康余啸赵吉沈宇
关键词：设计模式JAVA虚拟机
基于R_0算子的模糊概念学习
2008年
讨论基于R0蕴涵算子的模糊概念学习,建立基于该算子的内涵映射和外延映射,讨论这两个映射的一些性质;通过这两个映射,从具有模糊属性的数据表中进行概念学习;并将R0算子与其它蕴涵算子进行比较。
尹艳陈仪香
完全相容稳定模糊谓词转换器
2009年
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。
马艳芳陈仪香
关键词：DOMAIN理论半拓扑
Web服务组合形式化验证方法研究被引量：2
2009年
Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩阵的方法确认组合的可达性。利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性,对于Web服务组合是一种可以推理的形式化验证方法。实验结果表明这种方法是一种很好的验证方法。
曹利培孔娟刘静
关键词：PETRI网关联矩阵转移矩阵
全选 清除 导出
共1页<1>
聚类工具0