×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [8]
兰州理工大学 [7]
数学与系统科学研究院 [4]
中国矿业大学（徐州） [2]
兰州大学 [2]
计算技术研究所 [2]
更多...
内容类型
期刊论文 [23]
学位论文 [10]
会议论文 [2]
专利 [1]
其他 [1]
发表日期
2021 [1]
2020 [2]
2016 [2]
2015 [3]
2014 [3]
2013 [1]
更多...
学科主题
哲学 [2]
计算机科学技术基础学... [2]
Computer S... [1]
动力与电气工程 [1]
地球科学::地质学 [1]
计算机软件 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共37条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
低压电机定子绝缘老化应力分析及寿命预测的研究
期刊论文
舰船电子工程, 2021, 卷号: 41, 期号: 08, 页码: 173-176+179
作者:
骆东松
;
胡晓盼
收藏
|
浏览/下载：4/0
|
提交时间：2021/10/20
低压电机
寿命预测
绝缘老化
威布尔分布
最小二乘法
湍流信道中FTN-WOC系统平均容量的简化计算方法
专利
申请日期: 2020-08-11, 公开日期: 2020-08-11
作者:
曹明华
;
康中将
;
王惠琴
;
张伟
;
吕佳芸
收藏
|
浏览/下载：10/0
|
提交时间：2020/11/11
一种布尔公式的代数逻辑约化新方法
期刊论文
计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32
作者:
刘江
;
周鸿昊
收藏
|
浏览/下载：12/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-纯文字
旋转对称逻辑公式的构造
期刊论文
模糊系统与数学, 2016, 卷号: 30, 期号: 2016年03期, 页码: 149-157
作者:
李骏
;
何金龙
收藏
|
浏览/下载：13/0
|
提交时间：2019/11/13
旋转对称逻辑公式
旋转对称布尔函数
长圈
汉明重量
构造
考虑维修的数控机床服役阶段可靠性建模与评估
学位论文
2016
作者:
任丽娜
收藏
|
浏览/下载：0/0
|
提交时间：2020/11/05
维修
数控机床
可靠性建模与评估
随机点过程
贝叶斯可靠性
行星轮轴承疲劳可靠性分析
期刊论文
2015, 2015
李威
;
贾志新
;
孟惠荣
收藏
|
浏览/下载：1/0
|
提交时间：2017/06/15
行星轮轴承
疲劳寿命
数字模型
计算
行星轮轴承疲劳可靠性分析
期刊论文
2015, 2015
李威
;
贾志新
;
孟惠荣
收藏
|
浏览/下载：1/0
|
提交时间：2017/06/15
行星轮轴承
疲劳寿命
数字模型
计算
计量逻辑学中的旋转对称逻辑公式
期刊论文
模糊系统与数学, 2015, 卷号: 29, 期号: 2015年02期, 页码: 62-67
作者:
李骏
;
何金龙
收藏
|
浏览/下载：15/0
|
提交时间：2019/11/13
旋转对称逻辑公式
旋转对称布尔函数
真度
轨道
反射变换
范式的直观图形求解法
期刊论文
兰州大学学报(社会科学版), 2014, 卷号: 42, 期号: 6, 页码: 160-164
作者:
邱德钧
收藏
|
浏览/下载：1/0
|
提交时间：2016/07/19
命题公式
范式
n维立方图
基于公式学习的循环不变式的推导
学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏
|
浏览/下载：20/0
|
提交时间：2014/06/06
循环不变式
CDNF
机器学习
布尔公式学习算法
形式验证
©版权所有 ©2017 CSpace - Powered by
CSpace
