期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Programming with Conditionals: Epistemic Programming for Scientific Discovery
1
作者 Jing\|de Cheng Department of Information and Computer Sciences, Saitama University Urawa, 338 8570, Japan 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期326-332,共7页
In order to provide scientists with a computational methodology and some computational tools to program their epistemic processes in scientific discovery, we are establishing a novel programming paradigm, named ‘Epis... In order to provide scientists with a computational methodology and some computational tools to program their epistemic processes in scientific discovery, we are establishing a novel programming paradigm, named ‘Epistemic Programming’, which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards epistemic processes as the subject of programming. This paper presents our fundamental observations and assumptions on scientific discovery processes and their automation, research problems on modeling, automating, and programming epistemic processes, and an outline of our research project of Epistemic Programming. 展开更多
关键词 scientific discovery conditional primary epistemic operations strong relevant logic epistemic programs temporal relevant logic
下载PDF
Matching suitable feature construction for SAR images based on evolutionary synthesis strategy
2
作者 Bu Yanlong Tang Geshi +1 位作者 Liu Hongfu Pan Liang 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2013年第6期1488-1497,共10页
In the paper,a set of algorithms to construct synthetic aperture radar(SAR)matching suitable features are frstly proposed based on the evolutionary synthesis strategy.During the process,on the one hand,the indexes o... In the paper,a set of algorithms to construct synthetic aperture radar(SAR)matching suitable features are frstly proposed based on the evolutionary synthesis strategy.During the process,on the one hand,the indexes of primary matching suitable features(PMSFs)are designed based on the characteristics of image texture,SAR imaging and SAR matching algorithm,which is a process involving expertise;on the other hand,by designing a synthesized operation expression tree based on PMSFs,a much more flexible expression form of synthesized features is built,which greatly expands the construction space.Then,the genetic algorithm-based optimized searching process is employed to search the synthesized matching suitable feature(SMSF)with the highest effciency,largely improving the optimized searching effciency.In addition,the experimental results of the airborne synthetic aperture radar ortho-images of C-band and P-band show that the SMSFs gained via the algorithms can reflect the matching suitability of SAR images accurately and the matching probabilities of selected matching suitable areas of ortho-images could reach 99±0.5%. 展开更多
关键词 Integrated navigation Matching suitability operation expression tree primary matching suitable feature(PMSF) SAR image Synthesized matching suitable feature(SMSF
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部