×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [11]
数学与系统科学研究院 [3]
软件研究所 [3]
清华大学 [2]
上海光学精密机械研究... [2]
北京航空航天大学 [1]
更多...
内容类型
期刊论文 [18]
其他 [8]
会议论文 [2]
学位论文 [1]
发表日期
2021 [1]
2018 [2]
2016 [3]
2015 [1]
2014 [3]
2013 [1]
更多...
学科主题
automation... [1]
光电子学 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共29条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
箱庭疗法缓解学龄前儿童焦虑的效果研究
学位论文
中国科学院心理研究所: 中国科学院大学, 2021
作者:
鲁倩倩
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2022/01/24
个体箱庭疗法
团体箱庭疗法
干预
焦虑
学龄前儿童
Observability of Automata Networks: Fixed and Switching Cases
期刊论文
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2018, 卷号: 29, 期号: 4, 页码: 1388-1394
作者:
Li, Rui
;
Hong, Yiguang
;
Wang, Xingyuan
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2018/07/30
Automata networks
conjugacy
observability
recurrent neural networks
switched systems
Sampling Based Histogram PCA and Its Mapreduce Parallel Implementation on Multicore
期刊论文
SYMMETRY-BASEL, 2018, 卷号: 10
作者:
Wang, Cheng
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
histogram-valued symbolic data
Principal component analysis
sampling
mapreduce
parallel
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93
作者:
Chen, Changbo
;
Maza, Marc Moreno
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2018/03/15
Quantifier elimination
Cylindrical algebraic decomposition
Regular chains
Triangular decomposition
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804
作者:
Sun Yao
;
Huang Zhenyu
;
Lin Dongdai
;
Wang Dingkang
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2018/07/30
Boolean polynomial rings
Grobner basis
implementation
linear algebra
Isomorphic Regression Testing: Executing Uncovered Branches without Test Augmentation
其他
2016-01-01
Zhang, Jie
;
Lou, Yiling
;
Zhang, Lingming
;
Hao, Dan
;
Zhang, Lu
;
Mei, Hong
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2017/12/03
software testing
regression testing
branch negation
TEST-DATA GENERATION
SYMBOLIC EXECUTION
SOFTWARE
A dynamic stochastic model for automatic grammar-based test generation
其他
2015-01-01
Guo, Hai-Feng
;
Qiu, Zongyan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
grammar-based test generation
software testing
fault localization
PROGRAMS
IMPLEMENTATION
STRATEGY
Implementation decision making for internetware driven by quality requirements
期刊论文
science china information sciences, 2014
Wei Bo
;
Jin Zhi
;
Zowghi, Didar
;
Yin Bin
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/11
design alternatives
decision making
implementation decision
internetware
quality requirements
GOAL MODELS
NONFUNCTIONAL REQUIREMENTS
TROPOS
TOOL
Symbolic Implementation of the New Elementary Operation Approach for MIMO Multidimensional Realization
会议论文
33rd Chinese Control Conference (CCC), Nanjing, PEOPLES R CHINA, JUL 28-30, 2014
作者:
Yan, S
;
Xu, L
;
Sun, LJ
;
Zhao, DD
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/01/18
Multidimensional Systems
Roesser State-Space Model
Linear Fractional Representation
Symbolic Implementation
implementationdecisionmakingforinternetwaredrivenbyqualityrequirements
期刊论文
sciencechinainformationscience, 2014, 卷号: 57, 期号: 7
作者:
Wei Bo
;
Jin Zhi
;
Zowghi Didar
;
Yin Bin
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/01/10
©版权所有 ©2017 CSpace - Powered by
CSpace