QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于概率模型检验的Web服务系统可靠性分析 期刊论文 东南大学学报（自然科学版）, 2017, 卷号: 47, 页码: 132-139 作者:  高洪皓[1];  开金宇[2];  周家安[3];  缪淮扣[4];  黄婉秋[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 Web服务系统  概率迁移矩阵  概率模型检验  可靠性分析  分布式日志处理   一种基于状态图的代码化验证方法 专利 申请日期: 2016-01-01, 作者:  高洪皓[1];  缪淮扣[2];  许杰品[3];  曾红卫[4];  开金宇[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 基于阈值筛选模糊分簇的WSN数据稳定汇聚算法 期刊论文 计算机工程与设计, 2016, 页码: 2315-2320 作者:  谷川[1];  张志彦[2];  开金宇[3] 收藏  |  浏览/下载：5/0  |  提交时间：2019/04/26 无线传感器网络  数据汇聚  模糊分簇  阈值筛选  周期轮换  剩余能量   Web服务计算组合流程QoS验证 期刊论文 计算机科学, 2015, 卷号: 42, 页码: 120-123,147 作者:  开金宇[1];  缪淮扣[2];  高洪皓[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30 Web服务质量需求  面向用户群组的服务流程QoS模型  概率模型检验   面向概率服务组合系统的需求描述 期刊论文 小型微型计算机系统, 2015, 卷号: 36, 页码: 2504-2509 作者:  开金宇[1];  缪淮扣[2];  高洪皓[3] 收藏  |  浏览/下载：5/0  |  提交时间：2019/04/30 随机场景  三段式概率消息  随机状态对象化  pLSC需求描述语言   用Python实现从XMI到SMV的程序转换器 期刊论文 福州大学学报（自然科学版）, 2014, 卷号: 42, 页码: 50-54 作者:  许明[1];  开金宇[2] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 Python  XMI  SMV代码  模型检验   反应式软件形式化系统研究系统分析 期刊论文 哈尔滨商业大学学报（自然科学版）, 2014, 页码: 477-481 作者:  许明[1];  开金宇[2];  肖蕾[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 形式化方法  形式化系统  形式化语言  迁移系统  计算模型   基于LSC的形式化验证方法 期刊论文 邵阳学院学报（自然科学版）, 2014, 页码: 6-11 作者:  许明[1];  开金宇[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 形式化验证技术  模型检验  LSC