中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	Local-Micro-Zone-Wise Time-Resolved Integrated Digital Image Correlation for Evaluating the Mechanical Properties of Welding Joints 期刊论文 OAI收割 EXPERIMENTAL TECHNIQUES, 2022, 页码: 15 作者: Li, Y.; Zhao, J.; Zhou, J.; Yang, Y.; 黄先富. \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2022/09/27 Stir friction welding DIC method Automatic partition Parameter inversion Plasticity theory
	A new method of target recognition based on rough set and support vector machine (EI CONFERENCE) 会议论文 OAI收割 2nd International Conference on Image Analysis and Signal Processing, IASP'2010, April 12, 2010 - April 14, 2010, Xiamen, China 作者: He X. 收藏 \| 浏览/下载：19/0 \| 提交时间：2013/03/25 Automatic target recognition (ATR) is an important task in image application. This paper concentrates on two key subroutines of ATR system: Pre-treatment and design of classifier. In the pre-treatment subroutine a new method based on Rough Set (RS) is proposed to partition the original sample set into some subsets and calculate their class membership so that some samples can be chosen by class membership to be trained. After pre-treatment an iterative algorithm based on Rough Set and Support Vector Machines (IRSSVM) is introduced to design a classifier for recognizing two types of targets. The experiment results show that IRSSVM needs less training time and the classifier is simpler and has more generalization and higher recognition rate. 2010 IEEE.
	a mechanical approach for deriving algorithmic programs 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/06/13 MPAR algorithm correctness automatic algorithm design executable language program formal algorithm program derivation mechanical partition-and-recur approach problem specification software reliability formal specification program verification software rel