中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共13条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于迭代轨迹划分的单分支循环程序终止性分析 期刊论文
计算机科学, 2023, 卷号: 50, 期号: 9, 页码: 108-116
作者:  王垚;  李轶
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/25
Program verification  Ranking functions  Machine learning  Program termination  程序验证  秩函数  机器学习  程序终止性  
一种布尔公式的代数逻辑约化新方法 期刊论文
计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32
作者:  刘江;  周鸿昊
收藏  |  浏览/下载：42/0  |  提交时间：2020/08/24
NP complete problem  Boolean satisfiability problem  1-in-3-SAT  XCNF  X pure literal  NP完全问题  布尔可满足性问题  1-in-3-SAT  XCNF  X-纯文字  
基于双区块链的基站动环信息监控系统 期刊论文
计算机科学, 2019, 卷号: 46, 期号: 12, 页码: 155
作者:  樊建峰;  李轶;  吴文渊;  冯勇
收藏  |  浏览/下载：109/0  |  提交时间：2020/08/24
Power and environment monitoring system of base station  Blockchain  Distributed system security  PBFT consensus  Access control  基站动环监控系统  区块链  分布式系统安全  PBFT共识算法  权限控制  
基于mlwe的低膨胀率加密算法 期刊论文
计算机科学, 2019, 卷号: 046, 期号: 004, 页码: 144
作者:  柯程松;  吴文渊;  冯勇
收藏  |  浏览/下载：347/0  |  提交时间：2019/12/03
基于k阶秩函数的线性赋值循环程序的终止性分析 期刊论文
计算机科学, 2018, 卷号: 045, 期号: 006, 页码: 151
作者:  李轶;  蔡天训;  吴文渊
收藏  |  浏览/下载：116/0  |  提交时间：2019/12/03
基于改进扩展卡尔曼滤波的姿态解算算法研究 期刊论文
计算机科学, 2017, 卷号: 044, 期号: 009, 页码: 227
作者:  冯少江;  徐泽宇;  石明全;  王晓东
收藏  |  浏览/下载：103/0  |  提交时间：2019/12/03
计算最终线性秩函数的新方法 期刊论文
计算机科学, 2017, 卷号: 044, 期号: 001, 页码: 194
作者:  朱广;  李轶;  吴文渊
收藏  |  浏览/下载：90/0  |  提交时间：2019/12/03
基于不协调置信优势原理关系的知识约简 期刊论文
计算机科学, 2016, 卷号: 043, 期号: 006, 页码: 204
作者:  苟光磊;  王国胤
收藏  |  浏览/下载：50/0  |  提交时间：2019/12/03
基于Relative-IDF的医药数据相似度算法研究 期刊论文
计算机科学, 2014, 期号: S1, 页码: 417-420
作者:  向林泓;  张炬;  孙启龙;  赵学良
Adobe PDF(561Kb)  |  收藏  |  浏览/下载：74/0  |  提交时间：2018/03/16
医药数据相似度  编辑距离  Relative-IDF  TF-IDF  
分布式系统监控资源多目标优化分配 期刊论文
计算机科学, 2014, 卷号: 041, 期号: 005, 页码: 64
作者:  何盼;  袁月;  吴开贵
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/03