搜索筛选:
搜索耗时3.3772秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：秦胜潮,
来源：北京大学 年份：2002
该文提出了一种基于程度代数的形式化的软硬件划分方法,并给出了基于此方法的三种不同的划分框架.我们首先研究了以协规范语言L（Occam子集）的程序代数为基础的划分框架.为了保...
[期刊论文] 作者：秦胜潮, 许智武, 明仲,,
来源：软件学报 年份：2017
自20世纪60年代以来，虽然有Floyd—Hoare逻辑的出现，但使用形式化工具对命令式程序的正确性和可靠性进行自动验证，一直被认为是极具挑战性、神圣不可及的工作．20世纪末，由于更多科......
[期刊论文] 作者：胡世超, 杨红丽, 秦胜潮, 王非, 刘渊,,
来源：计算机应用与软件 年份：2016
针对工业界实现的无线抄表路由协议WM2RP（Wireless Meter Reading Routing Protocol）,提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CB...
[期刊论文] 作者：王非,杨红丽,秦胜潮,胡世超,刘渊,,
来源：计算机应用 年份：2015
从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL Co Ver工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅......
[期刊论文] 作者：杨红丽,姜皓,秦胜潮,张健,严俊,
来源：计算机应用与软件 年份：2016
随着移动互联网技术的迅速发展，Android手机以其强大的功能为人们的日常生活提供便捷的服务。然而Android手机的电池能源非常有限，应用耗电行为将直接影响其电池的使用寿命，因此......
[期刊论文] 作者：秦胜潮,何积丰,裘宗燕,张乃孝,
来源：计算机科学技术学报(英文版) 年份：2002
Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of the co-de...
[期刊论文] 作者：冯亚超,杨红丽,王非,武文佳,秦胜潮,,
来源：计算机科学 年份：2016
无线传感器网络（Wireless Sensor Networks，WSNs）广泛应用于各类数据收集系统，如居民区无线抄表（包括水表、电表和燃气表）系统。数据收集协议设计的正确性与合理性是影响网络正常运......
[期刊论文] 作者：刘科,杨红丽,赵瑞芳,廖湖声,陈瑶,秦胜潮,
来源：计算机科学 年份：2015
Twig模式最小化作为XML查询优化的一个重要方面，由于在进行最小化的过程中通常要利用XML Schema中的约束信息，因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过...
相关搜索：
