搜索筛选:
搜索耗时0.0920秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
类      型:
[学位论文] 作者:施小纯,, 来源: 年份:2004
模型检测技术是最近二十年来最成功的自动验证技术之一,目前已经被广泛地应用于有穷状态系统(包括电路设计和通信协议)的分析与验证。由于这一技术是基于对状念空间的穷尽搜索......
[报纸论文] 作者:施小纯, 来源:计算机世界 年份:2015
从更为宽广的产业经济视角来看,互联网金融的未来在于“互联网 ”的二次叠加:“互联网 ” “金融”。  中国的股市最近很火,身边的同事不论风险偏好是什么类型的似乎都投身于股市,不仅仅是A股,甚至转战港股、美股。突然从某天开始,身边的股神同事们似乎统一了投资风......
[会议论文] 作者:施小纯,张海旸, 来源:2004年全国理论计算机科学学术年会 年份:2004
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动终端同时请求接入基站时,......
[会议论文] 作者:施小纯[1]张海旸[2], 来源:2004年全国理论计算机科学学术年会 年份:2004
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传...
[期刊论文] 作者:吴鹏, 施小纯, 唐江峻, 林惠民, 陈宗岳, 来源:软件学报 年份:2005
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和...
相关搜索: