中国科学院重庆绿色智能技术研究院机构知识库

（本次检索基于用户作品认领结果）

浏览/检索结果: 共6条，第1-6条

帮助

限定条件	发表日期：2019    语种：英语    作者：李轶    第一作者

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择WOS被引频次升序WOS被引频次降序题名升序题名降序期刊影响因子升序期刊影响因子降序作者升序作者降序发表日期升序发表日期降序提交时间升序提交时间降序
	On ranking functions for single-path linear-constraint loops 期刊论文 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12 作者:  Li, Yi;  Wu, Wenyuan;  Feng, Yong 收藏  |  浏览/下载：90/0  |  提交时间：2020/08/24 Software reliability  Program termination  Linear ranking functions  Farkas' lemma
	Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5, 2019 - November 9, 2019 作者:  Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun 收藏  |  浏览/下载：288/0  |  提交时间：2020/02/18
	基于svm的多项式循环程序秩函数生成 期刊论文 软件学报, 2019, 卷号: 30, 期号: 7, 页码: 1903 作者:  李轶;  蔡天训;  樊建峰;  吴文渊;  冯勇 收藏  |  浏览/下载：313/0  |  提交时间：2019/12/03
	基于dixon结式和逐次差分代换的多项式秩函数探测方法 期刊论文 计算机应用, 2019, 卷号: 39, 期号: 7, 页码: 2065 作者:  袁月;  李轶 收藏  |  浏览/下载：193/0  |  提交时间：2019/12/03
	多项式循环程序的秩函数探测 期刊论文 软件学报, 2019, 卷号: 030, 期号: 011, 页码: 3243 作者:  李轶;  冯勇 收藏  |  浏览/下载：86/0  |  提交时间：2020/08/24 可信计算  多分支循环程序  终止性  秩函数
	基于双区块链的基站动环信息监控系统 期刊论文 计算机科学, 2019, 卷号: 46, 期号: 12, 页码: 155 作者:  樊建峰;  李轶;  吴文渊;  冯勇 收藏  |  浏览/下载：116/0  |  提交时间：2020/08/24 Power and environment monitoring system of base station  Blockchain  Distributed system security  PBFT consensus  Access control  基站动环监控系统  区块链  分布式系统安全  PBFT共识算法  权限控制