中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
基于迭代轨迹划分的单分支循环程序终止性分析 期刊论文
计算机科学, 2023, 卷号: 50, 期号: 9, 页码: 108-116
作者:  王垚;  李轶
收藏  |  浏览/下载：56/0  |  提交时间：2023/12/25
Program verification  Ranking functions  Machine learning  Program termination  程序验证  秩函数  机器学习  程序终止性  
多项式循环程序的秩函数探测 期刊论文
软件学报, 2019, 卷号: 030, 期号: 011, 页码: 3243
作者:  李轶;  冯勇
收藏  |  浏览/下载：87/0  |  提交时间：2020/08/24
可信计算  多分支循环程序  终止性  秩函数  
探测光波长对太赫兹波电光取样探测技术的影响 期刊论文
红外与毫米波学报, 2017, 期号: 3, 页码: 266-269+294
作者:  杜海伟;  彭晓昱
Adobe PDF(1553Kb)  |  收藏  |  浏览/下载：108/0  |  提交时间：2018/03/16
太赫兹波  电光取样  探测激光  响应函数  
一种判别数学表达式有效性的方法 期刊论文
计算机应用, 2015, 期号: S1, 页码: 335-338
作者:  雷捷;  陈联;  李明
Adobe PDF(408Kb)  |  收藏  |  浏览/下载：60/0  |  提交时间：2018/03/16
数学表达式  有效性  递归  运算符优先级  函数  
双向认知计算的p阶正态云模型递归定义及分析 期刊论文
计算机学报, 2013, 期号: 11, 页码: 2316-2329
作者:  王国胤;  许昌林;  张清华;  王晓蓉
Adobe PDF(675Kb)  |  收藏  |  浏览/下载：71/0  |  提交时间：2018/03/16
双向认知计算  p阶正态云  不确定性  确定度  概率密度函数