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

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

帮助

条数/页：排序方式：
	Simulation of genetic algorithm scheduling on extendsim based on COM technology 会议论文 OAI收割 2012 International Conference on Modelling, Identification and Control, ICMIC 2012, Wuhan, China, June 24-26, 2012 作者: Zhang SS(张诗珊); Peng H(彭慧); Liu C(刘昶); Yao LL(姚丽丽) 收藏 \| 浏览/下载：14/0 \| 提交时间：2012/11/29 Computer simulation languages Genetic algorithms Identification (control systems) Production control Production engineering
	detecting and correcting the index of dae by the combinatorial relaxation algorithm 会议论文 OAI收割 2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2011, Wuxi, Jiangsu, China, October 14 Yan Yongxin; Zhang Xiaolei; Wu Xuesong; Cao Jianwen \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2013/10/08 Algebra Algorithms Computer simulation Computer simulation languages Differential equations Distributed computer systems Indexing (materials working)
	axiomatic temporal logic programs verification 会议论文 OAI收割 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25, Yang Xiaoxiao; Duan Zhenhua \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/03/31 Computer simulation languages Logic programming Safety engineering Software engineering
	Sea surface simulation for SAR remote sensing based on the fractal model 会议论文 OAI收割 2009 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2009,, Cape Town, South africa, July 12, 2009 - July 17,2009 Guo, Ding; Gu, Xingfa; Yu, Tao; Li, Xiaoyin; Zheng, Jingjun; Xu, Hui 收藏 \| 浏览/下载：23/0 \| 提交时间：2014/12/07 Electromagnetic wave polarization Computer simulation languages Electric converters Electromagnetic wave diffraction Electromagnetic wave scattering Electromagnetic waves Electromagnetism Fractals Geology Image classification Imaging systems MATLAB Modulation Oceanography Radar Remote sensing Surface waters Synthetic aperture radar Synthetic apertures
	Wave simulation of SAR signal for two- dimensions sea surface 会议论文 OAI收割 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis, ICTD'09,, Chengdu, China, April 28, 2009 - April 29,2009 Guo, Ding; Gu, Xingfa; Yu, Tao; Li, Xiaoyin; Xu, Hui; Ma, Hongtao 收藏 \| 浏览/下载：31/0 \| 提交时间：2014/12/07 Synthetic aperture radar Computer simulation languages Imaging systems MATLAB Oceanography Radar cross section Remote sensing Surface waters Surface waves Synthetic apertures Water waves
	efficient state space reduction for automata by fair simulation 会议论文 OAI收割 International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19, Yi Jin; Zhang Wenhui \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/29 Computer programming languages Computer simulation Model checking Optimization
	a formal description of secimos operating system 期刊论文 OAI收割 COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 卷号: 3685, 页码: 286-297 Zhou ZY; Liang B; Jiang L; Shi WC; He YP \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/28 Computer hardware description languages Computer simulation Computer software Formal languages Mathematical models Security of data
	一种反应式SPM及其动态语义XYZ表示期刊论文 OAI收割 Ruan Jian Xue Bao/Journal of Software, 2005, 卷号: 16, 期号: 11, 页码: 1876-1885 Dong Guang-Zhi; Liu Jun-Fei; Qi Xuan \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/28 Computer programming languages Computer simulation Computer supported cooperative work Mathematical models Semantics
	a self-adaptive energy-aware data gathering mechanism for wireless sensor networks 会议论文 OAI收割 International Conference on Intelligent Computing, Hefei, PEOPLES R CHINA, AUG 23-26, Sun LM; Yan TX; Bi YZ; Zhu HS \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/28 Algorithms Computer simulation Data acquisition Query languages Routers Sensors Wireless telecommunication systems