宁波市自然科学基金(2010A610123)
- 作品数：3 被引量：7H指数：2
- 相关作者：曾国荪钮俊吕新荣王伟王伟更多>>
- 相关机构：浙江工商职业技术学院同济大学教育部更多>>
- 发文基金：宁波市自然科学基金上海市卫生系统百名跨世纪优秀学科带头人培养计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 随机模型检测连续时间Markov过程被引量：2
- 2011年
- 功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision process)能够统一刻画复杂系统的概率选择、随机时间及不确定性等重要特征。提出用CT-MDP作为系统定性验证和定量分析模型,将复杂系统的功能验证和性能分析转化为CTMDP中的可达概率求解,并证明验证过程的正确性,最终借助模型检测器MRMC(Markov Reward Model Checker)实现模型检测。理论分析表明,提出的针对CTMDP模型的验证需求是必要的,验证思路和方法具有可行性。
- 钮俊曾国荪吕新荣徐畅
- 关键词：功能性能
- 基于模型检测的时间空间性能验证方法被引量：6
- 2010年
- 对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Markov Reward Process,CTMRP)作为时间或空间性能验证模型;用正则式表示路径约束,扩展连续随机回报逻辑CSRL(Continuous Stochastic Reward Logic)的时态路径算子,用以刻画更加广泛的基于状态或路径的时间或空间性能验证属性;提出并证明CTMRP在确定性策略下空间时间可达概率的对偶性质,将带有约束的空间性能验证最终转化为时间性能的可达分析,给出验证算法.文中的结论和算法为复杂系统的性能分析提供了新的思路和方法.
- 钮俊曾国荪王伟
- 关键词：不确定性对偶
- 基于语义聚类的Web服务发现机制
- 2010年
- 本文提出了一种基于语义聚类算法的两阶段Web服务发现机制。第一阶段,给定一个查询,首先通过聚类算法过滤掉哪些内容与查询不符合的Web服务;第二阶段针对这个数据集使用PLSI算法,进一步进行聚类获得一个有限的语义相关组,使用PLSI方法可以发现隐藏在查询和Web服务中的语义概念,这样服务匹配可以在语义概念层次进行。
- 吕新荣
- 关键词：WEB服务发现WEB服务匹配语义聚类主题模型
